Почему смещение компилятора осталось на 0?

После того, как я написал эту простую программу, когда я перешел в режим разборки в Visual Studio, я заметил что-то странное: компилятор добавил команду сдвинуть влево на 0 бит.

Почему он это делает?

Это код С++:

#include <iostream>

using namespace std;

int main(int argc, char **argv) {


    if (argc != 3)
        return 0;

    if (strcmp(argv[1], "-r") == 0) {
        printf("test");
    }

    return 0;
}

Это код сборки:

...
        return 0;
00131C94  xor         eax,eax  
00131C96  jmp         main+57h (0131CC7h)  

    if (strcmp(argv[1], "-r") == 0) {
00131C98  push        offset string "-r" (0138B30h)  
00131C9D  mov         eax,4  
00131CA2  shl         eax,0  <------------------------- HERE
00131CA5  mov         ecx,dword ptr [argv]  
00131CA8  mov         edx,dword ptr [ecx+eax]  
00131CAB  push        edx  
00131CAC  call        _strcmp (01313D9h)  
00131CB1  add         esp,8  
00131CB4  test        eax,eax  
00131CB6  jne         main+55h (0131CC5h)  
        printf("test");
00131CB8  push        offset string "test" (0138BD0h)  
00131CBD  call        _printf (01313E8h)  
00131CC2  add         esp,4  
...

Ответ 1

Обратите внимание, что это используется при оценке argv[1].

В общем случае argv[N] должен быть переведен компилятором на *((char**) ((char*) argv + N * sizeof *argv)): каждый указатель sizeof *argv bytes после следующего. Когда N не известно во время компиляции, необходимо, чтобы оно было там, и shl является обычным способом. ^*

Так как N известно во время компиляции, но вы не включили оптимизацию, я бы предположил, что это скомпилировалось бы

00131C9D  mov         eax,1
00131CA2  shl         eax,2

Очевидно, Visual Studio может упростить это, что вы видите, даже когда оптимизация отключена, но без оптимизаций она все еще не может полностью избавиться от shl.

_{^* В этом конкретном случае shl не понадобится, даже если N не известно во время компиляции: [ecx+eax*4] можно получить с помощью одной команды, Это будет другая оптимизация, которая обычно выполняется.}