溢出标志和条件跳转

Question

在幻灯片中， 本文档的第15条包含，

1100 = GT - Z清除，N设置和
V set，或N clear和V set （>）

在ARM汇编语言中。 我花了几个小时试图意识到这一点。 首先结果应为正数或正溢出值。 那不应该纠正，

或者，V置位且N置位或V清零，N也清零。

我已经对这个主题做过流畅的阅读，但是不明白为什么这应该是这样的。 http://teaching.idallen.com/dat2343/10f/notes/040_overflow.txt

ISA是ARM（高级Risc机器）但是溢出标志的解释在所有计算宇宙中是全局的吗？ 您能否回顾一下上述文字并告诉我这是错的？ 如果正确请解释。

Answer 1

是的，你是对的，pdf是错误的。 这显然是自相矛盾的。 通过检查Z标志， GE和GT案例应该不同。 对于GE它具有N set and V set, or N clear and V clear （并且这是正确的），因此GT应该与添加的Z=0检查相同。

Answer 2

查看infocenter.arm.com上的ARM ARM（arm架构参考手册），如果有疑问，只需获取ARMv5。

GE, signed greater than or equal, N==V
GT, signed greater than N==V and Z==0