代码生成阶段的循环不变量外提

来源 :计算机科学 | 被引量 : 0次 | 上传用户:gaofeinei3
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
循环不变量外提是一种传统的优化算法.在现代编译器中,循环不变量通常在编译器的中端中被删除或外提.中端的中间表示是目标处理机无关的,而编译器的后端的中间表示是目标处理机相关的.尽管中端的优化十分有效,但是从中端的中间表示向后端的中间表示转化的过程中会引入许多循环不变量.因此,有必要在后端再进行循环不变量外提.由于在指令调度的过程能够比较容易地决定一个循环不变量是否需要外提,我们将这一个阶段集成到指令调度中.为了降低指令调度的复杂性,我们把循环不变量的识别和外提区分开来."识别"独立进行,
其他文献
软件会随着时间变得越来越难以理解,越来越难以维护.因而,程序员必须在软件失去控制前重新构造它.重构是在保持程序外部可观察行为不变情况下,对软件的内部结构进行重新改造
针对某厂引进的二手3 454 mm四辊可逆式中厚板轧机油膜轴承频繁失效的现状,通过分析发现,油膜轴承传动侧损坏严重而操作侧损坏轻微,固定辊系损坏轻微而移动辊系损坏严重,认为
Grid computing is a new field which distinguished from conventional distributed computing by its focus on large-scale virtual organizations resources sharing. T
With the evolution of network and communication technology,Web service management has been a hot topic for the last couple of years. Firstly this paper introduc
本文结合混合遗传算法和异构分布式遗传算法两种思想提出了一种异构分布式混合遗传算法.实验表明,该算法在时间性能和优化性能上优于上述两种算法,并且提供了一种在最佳搜索
本文对微波印制板表面电镀镍金特点,工艺过程,工艺及质量控制进行了较为详细的论述。
实时系统开发必须强调时间的重要性,为了保证系统安全运行,需要验证系统是否在时限内完成各个任务,因此,当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非
This paper analyzes and studies the form and the ability of the Chemical Abstract Machine, or CHAM, ondescribing the system software architecture. After some ex
本文使用模糊聚类的方法对Web日志进行数据挖掘,实现用户聚类和页面聚类,并设计与实现了一个基于模糊聚类的Web日志挖掘系统.
Currently, component software is getting more and more widely used, but the deficiencies in traditionalwiring mechanisms may, to some extent, constrain the appl