1) Optimizing Compilation
优化编译
1.
High Level Shading Language and Its Optimizing Compilation;
高级着色语言及其优化编译
2.
Two kinds of program transformations widely-used in optimizing compilation, statement exchange and variable substitution, are investigated and their soundness conditions are formally defined with CTL-FV, an extension of the temporal logic CTL (computation tree logic).
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明。
2) compiler optimization
编译优化
1.
However, its increased complexity brought about challenges to compiler optimizations.
XScale引入了一系列高性能微处理器的设计技术,XScale体系结构的复杂性给编译优化带来了挑战。
2.
Basic-Block reordering is a kind of compiler optimization technique which has the effect of reducing branch penalty and I-cache miss cost by reordering basic blocks in memory.
基本块重排是一类通过重新排布基本块在存储中的位置,以减少转移开销和指令cache失效率的编译优化技术。
3.
Based on loop-carried dependence of global schedule, the compiler optimization technology of low power software pipeline scheduling is studied as a kind of ILP formulation for a given loop L under the configuration M with dynamic frequency/voltage scalable multi -function units.
对具有可动态独立调整运行频率/电压的多功能部件配置结构M,基于全局调度的循环依赖关系,使用ILP形式化框架,研究了对给定循环L进行动态频率/电压调整的低功耗软件流水调度的编译优化技术,提出了一种合理而有效的低功耗最优化软件流水调度方法,使其在运行时保持性能不变而消耗的功耗/能量最小。
3) compilation optimization
编译优化
1.
Method of compilation optimization for avoiding the execution of useless instructions in PLC
一种避免PLC无效指令执行的编译优化方法
2.
Compilation optimization is an important aspect of the compiler design.
编译优化是编译器设计的一个重要方面，尤其是在高性能编译器设计中，先进的编译优化技术可以大幅提高编译器的性能。
4) compiling optimization
编译优化
1.
Approach based on compiling optimization and disassembling to detect program similarity;
基于编译优化和反汇编的程序相似性检测方法
2.
Program Control Structure Generation Algorithm for Compiling Optimization Testing;
一种用于测试编译优化的程序控制结构生成算法
5) compiler optimization
编译器优化
1.
Introduced the embedded system processor resource distribution principle and the occered question,this paper proposes the compiler optimization technology based on register for enhance the processor performance.
介绍了嵌入式系统处理器的资源分配原理及其存在问题,为了提高嵌入式系统性能,提出了基于寄存器的编译器优化技术,在寄存器和Cache之间增加一级起特殊缓冲作用的寄存器,用于寄存器的快速恢复和保留。
2.
This paper presents a compiler optimization technique specific to instruction set of IXP network processor.
该文介绍一种针对IXP网络处理器指令集的编译器优化技术,该技术将位信息记录引入到传统数据流分析过程当中,通过使用模式匹配技术生成高效的目标代码,试验数据表明利用位操作优化最终生成的指令数可以减少1。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条