24531904_j

LOOP/LOOPcc—Loop According to ECX Counter
オペコード 命令 説明
E2 cb LOOP rel8 カウントをデクリメントし、カウント ≠ 0 の場合 short ジャンプす
る。
E1 cb LOOPE rel8 カウントをデクリメントし、カウント ≠ 0 でかつ ZF=1 の場合 short
ジャンプする。
E1 cb LOOPZ rel8 カウントをデクリメントし、カウント ≠ 0 でかつ ZF=1 の場合 short
ジャンプする。
E0 cb LOOPNE rel8 カウントをデクリメントし、カウント ≠ 0 でかつ ZF=0 の場合 short
ジャンプする。
E0 cb LOOPNZ rel8 カウントをデクリメントし、カウント ≠ 0 でかつ ZF=0 の場合 short
ジャンプする。
説明
ECX または CX レジスタをカウンタ と して使用して、 ループ操作を実行する。 LOOP 命令
が実行されるたびに、 カ ウ ン ト ・ レ ジス タが 1 デク リ メント され、 次に 0 かどうかチェ ッ
クされる。 カウントが0 である場合は、 ループは終了し、 LOOP 命令の次の命令から プロ
グラムの実行が継続される。 カウン トが 0 でない場合は、 デステ ィ ネーシ ョ ン ( ターゲッ
ト ) オペラン ド への near ジャンプが行われる。 ターゲットはおそら くループの先頭であ
る。 ア ド レス ・ サイズ属性が 32 ビッ トである場合は、 カウント ・レジスタとしてECX レ
ジスタが使用される。 そうでない場合は、 CX レジスタが使用される。
ターゲッ ト命令は相対オフセット (EIP レジスタ内の命令ポインタの現在値に相対的な符
号付き オ フ セ ッ ト ) で指定される。 相対オフセ ッ ト は、 アセンブ リ ・ コ ー ド では一般的
にラベルとして指定されるが、 マシン ・ コー ド ・ レベルでは、 符号付きの 8 ビッ ト即値
と して コ ー ド 化され、 命令ポ イ ン タ に加算される。 こ の命令には、 -128 ~ +127 までの
オフセッ トが使用できる。
ループ命令(LOOPcc) の一部の形式では、 カ ウ ン ト が 0 に達する前にループを終了させ
る ための条件 と して ZF フ ラ グ も 指定で き る。 それ ら の形式の命令に は、 各命令に条件
コード (cc) が対応してお り、 それぞれにテス ト される条件を示している。 その場合、
LOOPcc 命令その も のは ZF フラグの状態を変えない。 ZF フ ラ グを変更す る のは、 ルー
プ内の他の命令である。
すべての分岐は、 ジ ャンプ ・ ア ド レスやキャ ッ シュの可否に関係な く 、 1 つまたは 2 つ
のキャ ッシュ ・ ラインのコ ー ド ・ フ ェ ッチに変換される。
操作
IF AddressSize = 32
THEN
Count is ECX;
ELSE (* AddressSize = 16 *)
Count is CX;
FI;
Count ← Count - 1;
IF instruction in not LOOP
THEN
IF (instruction = LOOPE) OR (instruction = LOOPZ)
THEN
IF (ZF =1) AND (Count ≠ 0)
THEN BranchCond ← 1;
ELSE BranchCond ← 0;
第 3 巻 : IA-32 基本命令リファレンス 3:647