Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers

使用时序逻辑和优化器的高级扩展生成和验证 COINS 编译器优化器

• 批准号: 22300007
• 负责人: SASSA Masataka
• 金额: $ 11.56万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22300007/
• 关键词: コンパイラ; コード最適化; 時相論理; 静的単一代入形式; 網羅型データフロー 解析; 要求駆動型データフロー解析; キャッシュ効率化; 大域値番号付け; 最適化; COINS; スカラー置換; 部分冗長性除去; 部分無用コード除去; キャッシュ最適化; 時相論理理; CTL

We generated a C language compiler optimizers using the low-level intermediate form of the COINS compiler. We specify patterns and transformations of optimizers in CTL-FV, which is a bi-directional temporal logic, and performed model checking.On the other hand, a generic algorithm is made, which converts partial redundancy elimination (PRE) in the normal form into one in the static single assignment form. In addition to the generalization, we have improved the effectiveness and the efficiency of the PRE and the partial dead code elimination which is another code optimization technique similar to PRE. As a new code optimization, we also have proposed atechnique that increases cache-hit ratio.

我们使用COINS编译器的低级中间形式生成了一个C语言编译器优化器。我们在CTL-FV（一种双向时序逻辑）中定义了优化器的模式和转换，并进行了模型检测，另一方面，我们提出了一种通用算法，将规范形式的部分冗余消除（PRE）转换为静态单赋值形式的部分冗余消除。除了推广之外，我们还改进了PRE和部分死代码消除的有效性和效率，这是另一种类似于PRE的代码优化技术。作为一种新的代码优化方法，我们还提出了一种提高缓存命中率的技术。

项目成果

Global Load Instruction Aggregation Based on Code Motion

基于代码运动的全局加载指令聚合

• 发表时间: 2012
• 期刊: Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'12
• 作者: Sumikawa;Y.
• 通讯作者: Y.

質問伝播に基づく大域ロード命令集約

基于问题传播的全局加载指令聚合

• 发表时间: 2013
• 作者: Uchida;S.;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏

効率的な要求駆動型部分冗長除去

高效的需求驱动部分冗余去除

• 发表时间: 2013
• 期刊: 情報処理学会論文誌:プログラミング
• 作者: Uchida;S.;Yamashita S;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏

Global Load Instruction Aggregation Based on Code Motion, Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'12

基于代码运动的全局加载指令聚合，Proc。

• 发表时间: 2012
• 期刊: IEEE Computer Society
• 作者: Sumikawa;Y. and Takimoto;M.
• 通讯作者: M.

スピルコストを考慮した部分冗長除去

考虑溢出成本的部分冗余去除

• 发表时间: 2013
• 作者: 杉木 章義,奥畑 聡仁;加藤 和彦;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏