アセンブリ言語のJAEのEFLAGS条件に付いて

前提:アセンブリ言語の条件付きジャンプ命令JAEについて。

CMP A,B JAE L1は符号なし整数で、AがBより上か等しいときに移動するところまで理解しています。
また、JAEの条件はCF=0であると知りました。

質問:A=Bのときは？

A=Bの時の挙動がわかりません。
例えば、
CMP 1010,1010をやるとします。
1010-1010を計算するわけですが、
-1010は2の補数に1を足して、0110と表現されると思います。
1010+0110=(1)0000で、CF=1になると思います。
このとき、なぜJLEで移動できるのでしょうか？

ZF=1 | CF=0

でなくていいのでしょうか？

行動規範の内容に同意します

回答3件

どのCPU、ってことではないんです。

だったら、回答不能です。アセンブラは、CPUに強く依存します。昔、良く言われたのが、Intel系は、movでフラグが変化しないが、Motorola系は、変化する、と。
(結構、引っ掛かる人が居た)

特定のCPUは想定しなくても、アセンブラの仕様がある筈なので、まず確認しましょう。

問題の "JAE L1" の動作ですが、検索してみると、アセンブラの基礎 3なんてページがありました。ここの解説では、CF=0 でジャンプのようです。従って、A=B でもジャンプとなります。

なお、アセンブラのニーモニックは、略号である事が多く、
jz ... Jump Zero, jnz .... Jump non Zero .... etc.
JAEは知らなかったのですが、どうも Jump Above Equ... のようです。
(より大きく、または、同じ場合に Jump)

投稿2018/07/16 07:46

pepperleaf

総合スコア6383

CPUは何? と聞こうと思ったら「どのCPU、ってことではない」ですか…。
これは少々困るのですが、キャリーフラグの扱いはCPUによって異なります。

1010+0110=(1)0000で、CF=1になると思います。

そうなるCPUもあります。具体例をあげればPICと6502とARMがそうです。
そのようなCPUであれば、

JAEの条件はCF=0であると知りました。

こうはなりません。ARMで「符号なし整数で、AがBより上か等しいときに移動する」を意味する命令はBHSですがこの条件はCF=1です。
逆にJAEの条件がCF=0であるようなCPUは、減算命令のとき「A-BはA+(-B)として計算」するのは確かですが、その上でそのキャリーをビット反転してからキャリーフラグに入れています。
あとは入ってくるキャリーもビット反転が必要だったかな。ちょっとこの辺反転が多くてこんがらがるのですが。

あと、