程序集

Question

我试图了解switch语句在程序集中的工作方式，我有以下程序：

int main (int argc, char **argv)
{
    int     x = argc > 1 ? atoi(argv[1]) : 2;
    int     y;

    switch (x) {
        case 0:
            y = 0;
            break;
        case 1:
            y = 1;
            break;
        case 2:
            y = 2;
            break;
        case 3:
            y = 3;
            // this case "drops through"
        case 4:
            y = 4;
            break;
        default:
            y = -1;
            break;
        }

    return 0;
}

在装配中它看起来像：

0x804842f <main+19>     cmpl   $0x1,(%eax)
0x8048432 <main+22>     jle    0x804844a <main+46>                                                                                          
0x8048434 <main+24>     mov    0x4(%eax),%eax
0x8048437 <main+27>     add    $0x4,%eax
0x804843a <main+30>     mov    (%eax),%eax
0x804843c <main+32>     sub    $0xc,%esp
0x804843f <main+35>     push   %eax
0x8048440 <main+36>     call   0x8048310 <atoi@plt>
0x8048445 <main+41>     add    $0x10,%esp
0x8048448 <main+44>     jmp    0x804844f <main+51>
0x804844a <main+46>     mov    $0x2,%eax
0x804844f <main+51>     mov    %eax,-0xc(%ebp)
0x8048452 <main+54>     cmpl   $0x4,-0xc(%ebp)
0x8048456 <main+58>     ja     0x8048492 <main+118>
0x8048458 <main+60>     mov    -0xc(%ebp),%eax
0x804845b <main+63>     shl    $0x2,%eax
0x804845e <main+66>     add    $0x8048540,%eax       

我的第一个问题是为什么ja中有<main+58>指令，而不是jg，因为我们使用的是有符号整数。第二个问题是为什么在<main+63>中有2位而不是任何其他值。

Answer 1

ja是将两个签名支票折叠成单个无符号支票的技巧。这实际上是if (x > 4 || x < 0)，所以唯一传递的东西是0-4，如预期的那样。

2位的移位是指针大小的缩放。你已经切断了反汇编的下一部分，我很确定你会看到间接跳过表格。该表保存大小为4的指针（在您的体系结构上），因此索引应缩放4，这是2位的移位。