値がディパーソン分解であることを確認してください

Question

私はC言語でRH850コントロールとコンパイラgreenHillsを使用しています。範囲チェックでは次のようになります。

if ((x>=2) && (x<=5)) 
    y=1 

Osizeオプションでコンパイルされます。それがコンパイルされたとき、このように見えた：

zxb r7 
addi -2,r7,r1 
cmp 3,r1 
bnh .L1295 

.L1295がy=1のラベル（このy=1はあまりにもいくつかの他の条件で、他の変更のために使用されている）です。どちらの命令も同じフラグに影響します。

チェック(x>=2)は、このコードで実現されます：addi -2,r7,r1。しかし、この命令のフラグ結果は、次の命令で掃除され、間違っています。少なくとも私はそう思う。

明らかに私は間違っています。誰かがこの逆アセンブラの断片を説明できますか？

Answer 1

次のようにチェックを変換されます。

x >= 2 && x <= 5 
= (x - 2) >= (2 - 2) && (x - 2) <= (5 - 2) 
= (x - 2) >= 0 && (x - 2) <= 3 

コードが3に、x - 2である、r1を比較し0, 1, 2, or 3（または2, 3, 4, or 5でx）でr1を意味する「枝高いそうでない場合は」に分岐しますy = 1と設定します。