La explicación es que aunque para ti esos códigos sean prácticamente iguales, el binario resultante puede ser muy diferente... incluso es altamente probable que las posiciones de memoria que te da cambien en función de si compilas con o sin optimizaciones
¿Y cual es la diferencia?
En tu caso la diferencia está en la variable i
. Ignoro qué compilador y opciones de compilación utilizas, como te digo el resultado es dependiente del compilador y de sus opciones... de hecho, si comparamos los códigos 2 y 3 que son los más sencillos podemos ver bastantes diferencias
Linux - Clang 6.0.0 - opciones: sin optimizaciones
Código 2
main: # @main
push rbp
mov rbp, rsp
sub rsp, 48
movabs rdi, offset .L.str
lea rsi, [rbp - 32]
mov dword ptr [rbp - 4], 0
mov al, 0
call printf
movabs rdi, offset .L.str
lea rsi, [rbp - 32]
add rsi, 4
mov dword ptr [rbp - 36], eax # 4-byte Spill
mov al, 0
call printf
movabs rdi, offset .L.str
lea rsi, [rbp - 32]
add rsi, 8
mov dword ptr [rbp - 40], eax # 4-byte Spill
mov al, 0
call printf
movabs rdi, offset .L.str
lea rsi, [rbp - 32]
add rsi, 12
mov dword ptr [rbp - 44], eax # 4-byte Spill
mov al, 0
call printf
xor ecx, ecx
mov dword ptr [rbp - 48], eax # 4-byte Spill
mov eax, ecx
add rsp, 48
pop rbp
ret
.L.str:
.asciz "%p\n"
Código 3
main: # @main
push rbp
mov rbp, rsp
sub rsp, 48
mov dword ptr [rbp - 4], 0
mov dword ptr [rbp - 36], 0
.LBB0_1: # =>This Inner Loop Header: Depth=1
cmp dword ptr [rbp - 36], 4
jge .LBB0_4
movabs rdi, offset .L.str
lea rax, [rbp - 32]
movsxd rcx, dword ptr [rbp - 36]
shl rcx, 2
add rax, rcx
mov edx, dword ptr [rbp - 36]
mov rsi, rax
mov al, 0
call printf
mov dword ptr [rbp - 40], eax # 4-byte Spill
mov eax, dword ptr [rbp - 36]
add eax, 1
mov dword ptr [rbp - 36], eax
jmp .LBB0_1
.LBB0_4:
xor eax, eax
add rsp, 48
pop rbp
ret
.L.str:
.asciz "%p arreglo[%d]\n"
Linux - Clang 6.0.0 - opciones: -O3
Código 2
main: # @main
sub rsp, 24
mov rsi, rsp
mov edi, offset .L.str
xor eax, eax
call printf
lea rsi, [rsp + 4]
mov edi, offset .L.str
xor eax, eax
call printf
lea rsi, [rsp + 8]
mov edi, offset .L.str
xor eax, eax
call printf
lea rsi, [rsp + 12]
mov edi, offset .L.str
xor eax, eax
call printf
xor eax, eax
add rsp, 24
ret
.L.str:
.asciz "%p\n"
Código 3
main: # @main
sub rsp, 24
mov rsi, rsp
mov edi, offset .L.str
xor edx, edx
xor eax, eax
call printf
lea rsi, [rsp + 4]
mov edi, offset .L.str
mov edx, 1
xor eax, eax
call printf
lea rsi, [rsp + 8]
mov edi, offset .L.str
mov edx, 2
xor eax, eax
call printf
lea rsi, [rsp + 12]
mov edi, offset .L.str
mov edx, 3
xor eax, eax
call printf
xor eax, eax
add rsp, 24
ret
.L.str:
.asciz "%p arreglo[%d]\n"
Fíjate que una vez aplicadas las optimizaciones los dos binarios son prácticamente iguales... mientras que sin optimizaciones se parecen más bien poco... y resultados diferentes obtendrás al cambiar de compilador... por ejemplo, si compilamos los dos ejemplo scon gcc 4.4.7
obtenemos:
sin optimizaciones
Código 2
.LC0:
.string "%p\n"
main:
push rbp
mov rbp, rsp
sub rsp, 16
lea rax, [rbp-16]
mov rsi, rax
mov edi, OFFSET FLAT:.LC0
mov eax, 0
call printf
lea rax, [rbp-16]
add rax, 4
mov rsi, rax
mov edi, OFFSET FLAT:.LC0
mov eax, 0
call printf
lea rax, [rbp-16]
add rax, 8
mov rsi, rax
mov edi, OFFSET FLAT:.LC0
mov eax, 0
call printf
lea rax, [rbp-16]
add rax, 12
mov rsi, rax
mov edi, OFFSET FLAT:.LC0
mov eax, 0
call printf
mov eax, 0
leave
ret
Código 3
.LC0:
.string "%p arreglo[%d]\n"
main:
push rbp
mov rbp, rsp
sub rsp, 32
mov DWORD PTR [rbp-4], 0
jmp .L2
.L3:
mov edx, DWORD PTR [rbp-4]
lea rax, [rbp-32]
movsx rdx, edx
sal rdx, 2
lea rcx, [rax+rdx]
mov eax, DWORD PTR [rbp-4]
mov edx, eax
mov rsi, rcx
mov edi, OFFSET FLAT:.LC0
mov eax, 0
call printf
add DWORD PTR [rbp-4], 1
.L2:
cmp DWORD PTR [rbp-4], 3
setle al
test al, al
jne .L3
mov eax, 0
leave
ret
con optimizaciones
Código 2
.LC0:
.string "%p\n"
main:
push rbx
mov edi, OFFSET FLAT:.LC0
xor eax, eax
sub rsp, 16
mov rsi, rsp
call printf
lea rsi, [rsp+4]
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
lea rsi, [rsp+8]
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
lea rsi, [rsp+12]
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
xor eax, eax
add rsp, 16
pop rbx
ret
Código 3
.LC0:
.string "%p arreglo[%d]\n"
main:
push rbx
xor edx, edx
mov edi, OFFSET FLAT:.LC0
xor eax, eax
sub rsp, 16
mov rsi, rsp
call printf
lea rsi, [rsp+4]
mov edx, 1
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
lea rsi, [rsp+8]
mov edx, 2
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
lea rsi, [rsp+12]
mov edx, 3
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
xor eax, eax
add rsp, 16
pop rbx
ret
Como ves, se parecen más bien poco... a grandes rasgos si tienen algunos detalles en común... pero iguales iguales no son.
No te preocupes por esos detalles ya que la posición exacta de un elemento pocas veces importa... lo realmente importante es que tus punteros apunten a donde deben... las posiciones de memoria son aleatorias y esa aleatoriedad crece conforme se incrementa la complejidad del programa.