CPSR的N位和V位什么时候都为1？

Question

ARM 文档说条件码 GE 在“N 等于 V”时为真，即符号位与溢出位相同。为什么这不仅仅是 N 和 V 都为零？由于 CMP 指令，N 和 V 都可以设置为 1 吗？即减法是否可以将符号和溢出都设置为1？

这个问题几乎和Assembly comparison flags understanding重复了

但是有人能用 ARM 汇编代码解释一下吗？我可以签到的东西（https://cpulator.01xz.net/?sys=arm）？

Answer 1

你可以在几分钟内写完：

#include <stdio.h>
int main ( void )
{
    unsigned int a,b,c,d;

    for(a=0;a<=7;a++)
    {
        for(b=0;b<=7;b++)
        {
            c = a+b;
            d = (a&3)+(b&3);
            d = (d&4)|(c&8);
            if(c&4)
            {
                if(d==0x4)
                {
                    printf("%u %u\n",a,b);
                }
            }
        }
    }
    return(0);
}


/*

1 3
2 2
2 3
3 1
3 2
3 3


   001
+  011
=======   

  0110
   001
+  011
=======   
   100

*/

因此，例如，如果您添加 0x20000000 和 0x60000000，您应该会看到 N = V = 1

编辑

基于上述

1+3

  001
+ 011
=======

1-(-3) 将 lsbit 向上移动到进位，以进行相同的数学运算但减法。

     1
   001
+  010
========

001 - 101 = 1 - (-3) = 1 + 3

  0111
   001
+  010
========
   100

0x20000000 - 0xA0000000

编辑 2

mov r0,#0x20000000
mov r1,#0xA0000000
cmp r0,r1
b .

在模拟器中将cpsr更改为0x900001d3，比较后设置为N和V。