-
题名Matrix编译器If转换算法的实现
- 1
-
-
作者
刘飞
陈跃跃
孙海燕
阳柳
-
机构
国防科技大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2013年第4期55-58,77,共5页
-
文摘
指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对matrix体系结构特点,对GCC中现有if转换算法进行了移植与改进,实现了matrix编译器的if转换算法。实验证明,改进后的if转换算法能够更有效地移除分支,减少基本块的数量,扩大单个基本块的范围,有助于编译器生成更加优化的代码。
-
关键词
谓词执行
if转换
条件执行
指令级并行
MATRIX
VLIW
-
Keywords
Predicate execution
If-convertion
Conditional execution
ILP
Matrix
VLIW
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件流水中隐式控制流恢复技术
- 2
-
-
作者
汪淼
赵荣彩
蔡国明
丁志芳
-
机构
解放军信息工程大学信息工程学院
解放军信息工程大学理学院
解放军信息工程大学电子技术学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第10期272-274,共3页
-
基金
国防重点科研项目资助
-
文摘
具有条件分支的循环通过IF转换将显式的控制流转换为隐式的控制流,从而为指令调度提供进一步的机会。但它往往将程序的代码进行深度重构,增加了程序的理解和代码重建工作的复杂性。提出了一种软件流水循环中的隐式控制流恢复技术,用于重构软件流水循环中的条件分支,提高软件逆向工程中生成的目标代码的质量。
-
关键词
软件流水
if转换
谓词执行
寄存器旋转
-
Keywords
Software pipelining, If-conversion, Predicated execution, Register rotation
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TN929.1
[电子电信—通信与信息系统]
-
-
题名基于条件分类的控制流向量化
被引量：1
- 3
-
-
作者
孙回回
赵荣彩
高伟
李雁冰
-
机构
解放军信息工程大学
数学工程与先进计算国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2015年第11期240-247,共8页
-
基金
"核高基"国家科技重大专项(2009ZX01036)资助
-
文摘
现代编译器越来越依赖SIMD指令来提高向量化性能,但控制流的复杂性严重阻碍了SIMD向量化的发掘。现有的控制流向量化方法对于单层控制流的向量化很有效,但对嵌套等复杂控制流无法取得令人满意的效果。因此,提出了一种基于条件分类的控制流向量化方法。该方法对条件为循环不变量的控制流,以层次遍历的顺序实施IF外提;对条件为循环变量的控制流,结合语句匹配和条件合并递归地进行IF转换,生成相应的SIMD指令,从而实现嵌套控制流的向量化。实验结果表明,该方法能够有效消除循环中的嵌套控制流,提高向量化发掘的能力,有效提升测试程序的性能。
-
关键词
控制流
SIMD向量化
条件分类
IF外提
if转换
-
Keywords
Control flow, SIMD vectorization, Conditions classification, Loop unswitching, IF conversion
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
