周期常量的检测与传播

摘要：

周期常量是指循环中值呈周期性出现的递归标量.它的存在不仅带来循环内与跨循环数据相关, 更导致一些不必要的控制相关.该文介绍了周期常量的概念及递归标量转化为差分方程的过程, 并应用代数的相关知识提出并证明了周期常量存在的一个充分必要条件,由此给出了检测与传播周期常量的一个有效算法. 该算法应用于ADPCM编/解码器,得到了平均超过10%的加速比.

关键词：常量传播、周期常量、差分方程、周期解

所属期刊栏目：27

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

资助基金：国家自然科学基金60273046;上海市重点基础研究项目02JC14013;高等学校博士学科点专项科研项目20050246020

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

页数：共5页

页码：2156-2160