loop-invariantとは 意味・読み方・使い方

An intra-loop invariant deciding means 11 of a loop optimization processing part 1 retrieves expressions in a loop and decides intra-loop invariant, and from among the decided intra-loop invariants, an intra-loop invariant deciding means under a condition 12 selects an intra-loop invariant being under a condition.例文帳に追加

ループ最適化処理部１のループ内不変式決定手段１１によりループ内にある式を検索してループ内不変式を判定し、判定したループ内不変式の中から、条件下にあるループ内不変式決定手段１２により条件下にあるループ内不変式を選ぶ。 - 特許庁

OPTIMIZATION SYSTEM AND PROGRAM REGARDING MOVEMENT OF INTRA-LOOP INVARIANT例文帳に追加

ループ内不変な式の移動に関する最適化方式およびプログラム - 特許庁

When a condition deciding means 13 decides the condition of the intra-loop invariant being under a condition as intra-loop invariant, a condition copying means 14 copies the decided condition to the outside of the loop and an intra-loop invariant moving means 15 also moves the intra-loop invariant under a condition to under the copied condition.例文帳に追加

条件下にあるループ内不変式の条件が条件判定手段１３によりループ内不変と判定すると、その判定した条件を条件複写手段１４によりループの外へ複写するとともに、条件下にあるループ内不変式をループ内不変式移動手段１５により、複写された条件下へ移動する。 - 特許庁

To provide an optimization method for an intra-loop invariant which prevents side effects of optimization from occurring even if an intra-loop invariant under a condition is moved to the outside of the loop and whose execution time is short.例文帳に追加

条件下にあるループ内不変式をループの外へ移動しても、最適化の副作用が起こらず、実行時間が短いループ内不変式の最適化方式を提供すること。 - 特許庁

A widely-used compiler optimization involves moving loop-invariant expressions from the body of a loop to the loop’s preheader.発音を聞く 例文帳に追加

広く使われているコンパイラ最適化には、ループ本体からループのプリヘッダへ移動するループ不変式が含まれている。 - コンピューター用語辞典

Concerning the method for checking the correctness of scheduling of the circuit, a loop invariant term is extracted for determining the sufficient set of a non-cyclic thread while a loop is inside the circuit, a symbolic simulation is executed for extracting the loop invariant term, and the equivalency of the non-cyclic thread is proved.例文帳に追加

回路のスケジューリングの正当性をチェックする方法は、ループが回路内にあるときに非巡回スレッドの十分なセットを決定するためにループ不変項を抽出し、ループ不変項を抽出するためにシンボリックシミュレーションを実行し、非巡回スレッドの等価性を証明する。 - 特許庁