volatile
não é um mecanismo de otimização, e portanto quando o usou nada foi otimizado.
Quando você usa essa palavra chave está dizendo que essa informação pode ser mudada à qualquer momento sem seu estrito controle, então o que o compilador fez foi adicionar uma instrução extra, portanto ficará mais lento, e sua função foi proteger o dado que está sendo usado na comparação.
Se o que está dizendo que que ali pode ter uma alteração que você não tem controle está justamente mandando não otimizar porque a otimização poderia afetar isso erroneamente.
Se deseja alguma otimização, então mande otimizar, faça com a flag -O3
para obter o máximo de otimização de velocidade. Nada garante quais otimizações serão feitas porque a linguagem não exige nada disso, mas é provável que seja bem simplificado. O volatile
impedirá a otimização.
Seu código no GCC usando O3
:
.LC0:
.string "volatile"
main:
sub rsp, 8
.L2:
mov edi, OFFSET FLAT:.LC0
xor eax, eax
call printf
jmp .L2
Veja no Compiler Explorer.
No Clang:
main: # @main
push RBP
mov RBP, RSP
.LBB0_1: # =>This Inner Loop Header: Depth=1
mov EDI, .L.str
xor AL, AL
call printf
jmp .LBB0_1
.L.str:
.asciz "volatile"
Veja no Compiler Explorer.
No MSVC a otimização não é feita no momento até onde pude observar.
No ARM usando GCC:
main:
stp x29, x30, [sp, -32]!
mov x29, sp
str x19, [sp, 16]
adrp x19, .LC0
add x19, x19, :lo12:.LC0
.L2:
mov x0, x19
bl printf
b .L2
.LC0:
.string "volatile"
Veja no Compiler Explorer.