【loop-invariant_code_motion】什么意思_英语loop-invariant_code_motion的翻译_音标_读音_用法_例句_在线翻译

Loop-invariant code motion

循环不变代码外提（循环不变量是程序循环的属性，每次迭代前后都是真的逻辑断言。了解其对理解循环影响重要。在程序验证中，循环不变量由形式谓词逻辑表示，用于证明循环属性和正确性。循环不变量在进入循环和每次迭代后都是真的，从循环退出时可以保证循环不变量和终止条件）

循环不变量代码移动

...ne内联）、公共子表达式消除、改进寄存器分配、省略运行时对数组边界的检查、循环不变量代码移动（loop-invariant code motion）、操作符长度消减（把指数操作转变为乘法操作，把乘法操作转变为移位操作或加法操作等）等。

基于32个网页-相关网页

外面

编译器将会开始进行最佳化（并不只有强度折减），回圈内的常数（不变式）将会被放到回圈外面（Loop-invariant code motion），常数可以在回圈外面载入，例如浮点数暂存器 fr3 及 fr4。

基于1个网页-相关网页

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: In computer programming, loop-invariant code consists of statements or expressions (in an imperative programming language) which can be moved outside the body of a loop without affecting the semantics of the program. Loop-invariant code motion (also called hoisting or scalar promotion) is a compiler optimization which performs this movement automatically.

以上来源于: WordNet

Loop invariant code motion (LICM) is a traditional optimization.

循环不变量外提是一种传统的优化算法。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句