ARM處理器CPSR標志位和條件符之間的關系
應該利用哪個標志,則由程序員來決定。也就是說,如果將參加運算的操作數認為是無符號數,就應該關心進位;認為是有符號數,則要注意是否溢出。
判斷運算結果是否溢出有一個簡單的規(guī)則:只有當兩個相同符號數相加,而運算結果的符號與原數據符號相反時,產生溢出;其他情況下,則不會產生溢出。
代碼舉例1:
LDR r0, =0x7fffffff
LDR r1, =0x70000000;
ADDS r0, r0, r1; //結果=0xefffffff
對于無符號數運算來說,沒有進位。
對于有符號數運算來說,溢出。
此時C=0 V=1;
代碼舉例2:
LDR r0, =0xffffffff
LDR r1, =0x70000000;
ADDS r0, r0, r1; //結果=0x6fffffff
對于無符號數運算來說,有進位。
對于有符號數運算來說,無溢出。
此時C=1 V=0;
代碼舉例3:
LDR r0, =0x8fffffff
LDR r1, =0xf0000000 ;
ADDS r0, r0, r1; //結果=0x7fffffff
此時C=? V=?;(思考一下,然后在ARM模擬器中驗證下)
代碼舉例4://思考減法時,C值的影響
LDR r0, =0x3
LDR r1, =0x2
SUBS r0, r0, r1
對比:
LDR r0, =0x3
LDR r1, =-2;(-2的補碼0xfffffffe會送到r1)
ADDS r0, r0, r1
四、CPSR狀態(tài)標志和ARM指令的條件符之間的關系
有了上面的背景知識以后,接下來思考表1中CPSR狀態(tài)標志和ARM指令的條件符之間的關系,下面選取其中的一項來分析。
如:GE:(有符號數大于等于)
N=0 V=0:結果是大于等于0的數,且無符合溢出,所以大于等于關系成立
N=1 V=1:結果小于0,但有符號溢出
考慮以下情況:c=a-b
1.a0, b0
減法操作時不可能符號溢出
2.a>0, b0
可能出現(xiàn)N=V=1?? 如(8位數):100-(-100)=200
顯然a>b
3.a0, b>0
參照上面提到過的判斷溢出標志的簡單規(guī)則,可以得出:在此情況下,
減法操作時如果結果小于0 (N=1),則不會出現(xiàn)符號溢出
所以(在N=1 V=1前提下a0,b>0)這種情況不可能出現(xiàn)
4.a>0, b>0
減法操作不可能出現(xiàn)符號溢出。
其它項的分析過程類似。
五、總結
盡管以上分析看起來有點復雜,但使用時在大多數情況下用一個簡單的條件測試指令即可,不需要程序員計算出條件碼的精確值即可得到需要的結果。
評論