在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Loop-invariant code motion

查词链接:https://www.dute.org/dict/Loop-invariant_code_motion复制链接
循环不变代码外提(循环不变量是程序循环的属性,每次迭代前后都是真的逻辑断言。了解其对理解循环影响重要。在程序验证中,循环不变量由形式谓词逻辑表示,用于证明循环属性和正确性。循环不变量在进入循环和每次迭代后都是真的,从循环退出时可以保证循环不变量和终止条件)
查看英英释义
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.

网络释义
循环不变量代码移动
...ne内联)、公共子表达式消除、改进寄存器分配、省略运行时对数组边界的检查、循环不变量代码移动(loop-invariant code motion)、操作符长度消减(把指数操作转变为乘法操作,把乘法操作转变为移位操作或加法操作等)等。
外面
编译器将会开始进行最佳化(并不只有强度折减),回圈内的常数(不变式)将会被放到回圈外面(Loop-invariant code motion),常数可以在回圈外面载入,例如浮点数暂存器 fr3 及 fr4。
* 以上查询结果来自于网络,仅供参考。
正在查询...