一种基于过程图模型的编译优化测试程序自动生成方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:yec
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容。针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序。首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型—过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester。与已有方法相比,该方法对高级优化更具针对性,自动化程度较高。LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果。
其他文献
近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面
近期,从上海市科学院召开的第五届光电子产业与知识产权国际论坛上获悉,上海浦东张江高科技园区在光电子研究开发方面取得了重大突破,区内两家企业在光传输集成芯片等领域成功研
根据国家知识产权局统一部署和(2010.第四届中国专利周总体实施方案》要求。由国家知识产权局主办,内蒙古自治区知识产权局、呼和浩特市知识产权局、国家专利技术(呼和浩特)展示交
EP和GEMM是科学计算领域中常用的计算核心,并广泛应用于高性能计算机体系结构的性能评测.基于一种当今热门的体系结构--流体系结构,设计实现了这两个测试程序在FT64并行系统
在主流个人计算机硬件条件下,为加速百万以上三角面片构成的复杂稠密几何模型的绘制速度,综合基于几何的建模与绘制方法GBMR和基于点的建模与绘制方法PBMR的优点,提出了一种同时使用三角面片和点作为基本单元进行对象建模与绘制的点面混合方法.在预处理阶段,对模型表面进行网格分割,存储子块三角面片和顶点点云数据,同时对顶点点云按顶点重要度排序并序列化为线性结构.在实时绘制阶段,进行视相关的裁剪和背面剔除,
一等奖(2个)项目名称:伊利营养舒化奶系列产品完成单位:伊利实业集团股份有限公司主要完成人:潘刚、苏桄宇、云战友、巴根纳、王艳萍、郑卫东、卜建斌、杨博华、王彩云
一家位于西澳大利亚佩斯的购物中心,采用3.5米X2.5米的芯材复合材料螺旋带作为公司标志。
文章针对目前长三角主要城市之间流动性的增强,提出了基于分层模式的交通网络模型,从而给人们提供查询连接长三角城市任意两地的交通线路的服务。
历时5年的北京正负电子对撞机重大改造工程圆满完成。中科院高能物理研究所在京宣布了这一消息。
中国科学院遥感应用研究所、北京师范大学遥感科学国家重点实验室主任宫鹏研究员2月17日透露,我国首个全国湿地分布遥感制图完成。最新的研究成果显示,与1990年相比,2000年我国