Intel 8085带前序借位减法执行机制及GNUSim8085仿真疑问

问题1：减数Y=FFH且借位标志为1时的减法结果 #

按照8位无符号减法规则，X - Y - 借位的两种计算方式完全等价，代入Y=0xFF、借位=1可得：
X - (0xFF + 1) = X - 0x100
由于8位寄存器存储的X最大值为0xFF，该减法必然产生下溢，需要从更高位借位，因此运算结束后进位（借位）标志CY会被置1，运算的8位结果为X（因为X - 0x100在8位模256运算下等价于X本身）。

问题2：GNUSim8085运行结果异常的原因 #

这是GNUSim8085的实现缺陷，物理Intel 8085芯片不会出现该问题：

• Intel官方对SBI（带借位减立即数）指令的定义是：累加器A = A - 立即数 - CY，若减法过程发生下溢则置CY=1，否则清CY=0。
• 第一段代码的预期运行结果应为A=0xFF, CY=1：
  1. STC：置CY=1
  2. MVI A,0FFH：给A赋值0xFF
  3. SBI 0FFH：计算0xFF - 0xFF - 1 = 0xFF，过程发生下溢，CY置1
  4. HLT：停机
• 模拟器运行第一段代码时CY未置位，是其内部减法的边界条件判断逻辑错误导致，大概率是处理Y + 借位 = 0x100的场景时，未正确识别借位产生的条件。
• 第二段代码的运行结果符合真实硬件逻辑，只是刚好没有触发模拟器的边界bug。

内容的提问来源于stack exchange，提问作者codeR