x86 程序集 rcl al,1 在 al 等于 0 时不清除进位标志

Question

标题总结了它。

如果在调用 rcl 指令时先前设置了进位标志并且 al 为零，则最高位 (0) 不会移入进位。

以下代码演示：

mov al,0
stc
setc byte ptr [before]
rcl al,1 ; rotate left one bit through carry flag (multiply by 2 once)
setc byte ptr [after]

所以输出：

before = 01
after = 01

进位标志没有像预期的那样被清除。阅读英特尔手册：

The shift arithmetic left (SAL) and shift logical left (SHL) instructions perform the same operation; they shift the
bits in the destination operand to the left (toward more significant bit locations). For each shift count, the most
significant bit of the destination operand is shifted into the CF flag, and the least significant bit is cleared (see
Figure 7-7 in the Intel® 64 and IA-32 Architectures Software Developer’s Manual, Volume 1).

在我看来，如果源值为零，则什么都不做，这是不正确的！

Answer 1

我的问题的明显原因（有三个）是 C 优化器剪切代码，因为它不知道汇编代码对某些变量有任何影响。

（我的代码示例与 6809/6309 CPU 模拟器有关）

我将总结三个问题。

1. rcl 汇编指令似乎没有设置进位标志。

   （记录在这篇文章中）

2. 当使用优化编译 C 代码时，汇编代码的运行速度会慢 100-1000 倍。

   （无法举例）

3. 某些代码需要进行混淆才能使代码正常工作。

以下代码：

static void(*JmpVec1[256])(void) = { ... };
...
unsigned char memByte = MemRead8(PC_REG++);
JmpVec1[memByte](); // Execute instruction pointed to by byte @ PC_REG
CycleCounter += instcycl1[memByte]; // Add instruction cycles

仅在使用以下代码时才有效：

static void(*JmpVec1[256])(void) = { ... };
...
unsigned char memByte = MemRead8(PC_REG++);
if (memByte == 0x34) // Just doesn't like instruction 0x34 Pushs register_list
{
    JmpVec1[memByte](); // Execute instruction pointed to by PC_REG
}
else
{
    JmpVec1[memByte](); // Execute instruction pointed to by PC_REG
}
CycleCounter += instcycl1[memByte]; // Add instruction cycles

由于 C 代码不知道 437 条模拟指令中的任何一条在做什么，或者这些指令有什么影响，为什么它选择指令 0x34 停止工作是一个谜。

解决问题并允许我删除混淆代码并允许我重新启用 C 优化的原因是使 CycleCounter (int) 变量易失。

解决了我所有的问题！！！

这个问题更加复杂，因为 vscode 没有反汇编支持，使得汇编程序的调试变得非常困难。

如果有人在 Linux 上使用好的 C/汇编 IDE，请发表评论。