You are right. I was lazy, I compiled it with gcc -O2 and extracted the assembler with objdump -Mintel -d.