首页 | 本学科首页   官方微博 | 高级检索  
     

一种新的数组逻辑结构猜想方法
作者姓名:夏军  戴华东  杨学军
作者单位:国防科技大学计算机学院,湖南,长沙,410073;国防科技大学计算机学院,湖南,长沙,410073;国防科技大学计算机学院,湖南,长沙,410073
基金项目:国家自然科学基金重点资助项目(69933030),国家杰出青年科学基金资助项目(69825104)
摘    要:许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。

关 键 词:数组逻辑结构  访问矩阵  下标表达式向量  偏移向量  维长向量
文章编号:1001-2486(2004)01-0029-07
收稿时间:2003-08-21
修稿时间:2003-08-21
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《国防科技大学学报》浏览原始摘要信息
点击此处可从《国防科技大学学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号