部分冗余删除的证明变换研究

摘要：

部分冗余删除优化是一个同时包含有公共子表达式删除和表达式提升的复杂优化,但是对基于部分冗余删除优化的证明变换研究,还停留在对一些简单情况的处理和讨论上.本文在实验室前期优化对证明调整的研究基础上,总结简单优化行为对证明变换的调整过程,通过将部分冗余删除优化细分为简单的PRE、复杂的PRE、复制代码的PRE、前瞻的PRE,给出了不仅是简单的优化调整证明方法,而是包含有基于复杂的部分冗余删除优化的证明变换的方法.

关键词：部分冗余删除、编译器优化、证明变换、携带证明的代码

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170018;安徽大学211经费资助

在线出版日期：2017-08-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：15-19