高位合成向け非メモリアクセス領域抽出

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500034
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京理科大学
• 研究代表者: 滝本 宗宏 東京理科大学, 理工学部, 准教授 (00318205)
• 研究期間 (年度): 2010 – 2012
• キーワード: コンパイラ / 高位合成 / コード最適化 / 静的単一代入形式 / 網羅型データフロー解析 / 要求駆動型データフロー解析 / キャッシュ効率化 / 大域値番号付け

研究概要

主メモリへのアクセスを低減する手法として,同じ配列を参照するロード命令を連続するように集約し,キャッシュのヒット率を向上させる手法と,プログラム全体からループの繰返しを含めた配列アクセスをレジスタに置き換える大域スカラ置換を実現した.これらの手法を実現する上で必要な解析を効率的に行える,大域値番号付けを用いた要求駆動型部分冗長除去法を実現し,さらに,この要求駆動型の考え方を部分無用コード除去に応用した,要求駆動型部分無用コード除去法を実現した.

研究成果

• [雑誌論文] 効率的な要求駆動型部分冗長除去 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 雑誌名: 情報処理学会論文誌:プログラミング,掲載予定
  • 査読あり
• [雑誌論文] 配列の次元を考慮した大域ロード命令集約 (2012)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 雑誌名: 信学技報,電子情報通信学会 巻: Vol.112,No.164 ページ: 115-119
• [雑誌論文] Demand-driven Partial Dead Code Elimination (2012)
  • 著者名/発表者名: Takimoto, M.
  • 雑誌名: IPSJ Transactions on Programming 巻: Vol.5, No.1 ページ: 9-16
  • 査読あり
• [雑誌論文] Global Load Instruction Aggregation Based on Code Motion (2012)
  • 著者名/発表者名: Sumikawa, Y. and Takimoto, M.
  • 雑誌名: Proc. of IEEE International Symposium on Parallel Architectures,Algorithms and Programming, PAAP'12, IEEE Computer Society ページ: 149-156
  • 査読あり
• [学会発表] スピルコストを考慮した部分冗長除去 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 情報処理学会第75回全国大会講演論文集,情報処理学会
  • 発表場所: 仙台
  • 年月日: 2013-03-08
• [学会発表] 質問伝播に基づく大域ロード命令集約 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 第54回プログラミングシンポジウム,情報処理学会
  • 発表場所: 強羅
  • 年月日: 2013-01-11
• [学会発表] 効率的な要求駆動型部分冗長除去 (2012)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 情報処理学会第74回全国大会講演論文集,情報処理学会
  • 発表場所: 名 古屋
  • 年月日: 2012-03-06
• [学会発表] コード移動に基づく大域ロード命令集約 (2011)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 日本ソフトウェア科学会第28回大会講演論文集,日本ソフトウェア科学会
  • 発表場所: 那覇
  • 年月日: 2011-09-29