檢查值是否在diapason拆卸

Question

我正在使用RH850控制器和編譯器greenHills在C語言。在範圍內檢查是這樣的：

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 

的碼進行比較r1，其是x - 2，以3和「分支如果不是更高的」，意思是在0, 1, 2, or 3（或在2, 3, 4, or 5x）r1將跳轉到設置y = 1。