如何将含多分支if逻辑的x86汇编代码转换为C代码？

变量映射说明 #

• DWORD PTR [ebp-4]：初始赋值为4，对应C变量 int var1 = 4;
• DWORD PTR [ebp-16]：初始为0，后续被分支逻辑赋值，对应C变量 int var2;
• DWORD PTR [ebp-8]：初始为0，循环累加值，对应C变量 int sum = 0;
• DWORD PTR [ebp-12]：循环计数器，对应C变量 int i;

原汇编分支逻辑拆解 #

原汇编核心分支判断的汇编代码：

mov eax, DWORD PTR [ebp-4]  ; 加载var1到eax
cmp eax, 1
je  .L3                     ; var1 ==1 时跳转到.L3
cmp eax, 4
je  .L4                     ; var1 ==4 时跳转到.L4
jmp .L9                     ; 其他情况跳转到.L9
.L3:
mov DWORD PTR [ebp-16], 1   ; var2 = 1
jmp .L5                     ; 跳转到循环逻辑
.L4:
mov DWORD PTR [ebp-16], 2   ; var2 = 2
jmp .L5
.L9:
mov DWORD PTR [ebp-16], 3   ; var2 = 3

对应的逻辑规则：

• 当var1 == 1，设置var2 = 1
• 当var1 == 4，设置var2 = 2
• 其余所有情况，设置var2 = 3

你的C代码错误分析 #

你之前编写的C代码：

if (var1 != 1)
{
   if(var1!=4)
    {
        var2=1;
    }
}

这段代码的逻辑是仅当var1既不等于1也不等于4时，才给var2赋值1，完全颠倒了原汇编的分支逻辑，而且没有处理var1==1和var1==4的情况，所以编译后生成的汇编和原代码不符。

正确的C代码转换 #

结合完整汇编的循环逻辑，以下两种写法都能完美匹配原汇编的逻辑：

写法1：if-else分支 #

#include <stdio.h>

int main() {
    int var1 = 4;
    int var2;
    int sum = 0;
    int i;

    // 对应原汇编的分支判断
    if (var1 == 1) {
        var2 = 1;
    } else if (var1 == 4) {
        var2 = 2;
    } else {
        var2 = 3;
    }

    // 对应原汇编的循环逻辑
    i = 0;
    do {
        sum += i;
        i++;
    } while (i < var2);

    return 0;
}

写法2：switch分支（更贴合汇编跳转逻辑） #

#include <stdio.h>

int main() {
    int var1 = 4;
    int var2;
    int sum = 0;
    int i;

    // 对应原汇编的分支跳转
    switch(var1) {
        case 1:
            var2 = 1;
            break;
        case 4:
            var2 = 2;
            break;
        default:
            var2 = 3;
            break;
    }

    i = 0;
    do {
        sum += i;
        i++;
    } while (i < var2);

    return 0;
}

这两段代码编译后生成的汇编逻辑会和你提供的原汇编完全一致，尤其是分支部分的跳转流程。

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