位宽感知的寄存器绑定算法

作     者：高猛 赵家程 崔慧敏 冯晓兵 GAO Meng;ZHAO Jia-Cheng;CUI Hui-Min;FENG Xiao-Bing

作者机构：中国科学院计算技术研究所北京100190 中国科学院大学北京100049 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2024年第35卷第6期

页      码：2631-2647页

摘      要：寄存器绑定是高层次综合中的一个基础优化问题,主要目标是在保证电路功能的同时最小化寄存器资源的使用.传统的方法尝试将编译器的寄存器分配算法应用于寄存器绑定中,但却忽略了分配问题与绑定问题的差异性,因此在绑定过程中引入了额外的资源约束,或采用了不适合电路设计的编译优化技巧,从而导致资源浪费.为解决这些问题,将寄存器绑定问题转化为连续多重着色问题,并提出一种基于位宽与顶点度结合的启发式求解方法.所提方法通过对变量的位宽和活跃区间等信息的细粒度刻画和建模,能够进一步优化寄存器资源的开销,同时无需插入额外的指令.将该算法与两种典型算法进行比较,实验结果表明,所提算法在MiBench测试集的96.72%的测试用例中达到理论最优解,比其他两种方法分别提高31.5%和25.1%;在Rosetta测试集的所有测试用例中均表现为最优解,比其他两种方法分别提高7.41%和7.39%.

主 题 词：高层次综合 寄存器绑定 资源共享 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.007097

馆 藏 号：203128223...