程序集中的switch語句

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       

我的第一個問題是為什么在<main+58>有ja指令，而不是jg ，因為我們使用的是有符號整數。 第二個問題是為什么在<main+63>有2位而不是任何其他值。

Answer 1

ja是將兩個簽名支票折疊成單個無符號支票的技巧。 if (x > 4 || x < 0) ，那么通過的唯一事情就是預期的0-4。

2位的移位是指針大小的縮放。 你已經切斷了反匯編的下一部分，我很確定你會看到間接跳過表格。 該表保存大小為4的指針（在您的體系結構上），因此索引應縮放4，這是2位的移位。