so 'mov rcx, rsp' is simply storing the address of dummy (at this point stored at top of stack) into rcx (which has been chosen to match the 'r' constraint) to pass it to the inline asm. The address doesn't change and rcx is not clobbered, so it is loop invariant can be hoisted out of the loop.
But the mov cannot be removed totally, because the compiler doesn't look inside the asm, and as far as the compiler is knows, the rcx might be used by the asm body. As far as the compiler is concerned, the address of dummy has escaped, so stores into it cannot be optimized either, hence 'mov dword ptr [rsp], 3 ' appears in the final generated code.
If the compiler knew that the address was not used, then it would also be able to remove the store to dummy, as it would be able to prove that it is never read from.
Full title is "Why my Rust benchmarks were wrong, or how to [correctly] use std::hint::black_box?", but I had to remove something to get the title to fit.
> I have no idea what the mov rcx, rsp instruction is for. The rcx register is not read anywhere after that.
Anyone have any ideas? I’m surprised that the compiler emits a “useless” instruction at -o3.
That means that the black_box is working correctly. If it was possible to optimize it away, then it wouldn't work.
At the end of the day the black box is literally doing:
so 'mov rcx, rsp' is simply storing the address of dummy (at this point stored at top of stack) into rcx (which has been chosen to match the 'r' constraint) to pass it to the inline asm. The address doesn't change and rcx is not clobbered, so it is loop invariant can be hoisted out of the loop.But the mov cannot be removed totally, because the compiler doesn't look inside the asm, and as far as the compiler is knows, the rcx might be used by the asm body. As far as the compiler is concerned, the address of dummy has escaped, so stores into it cannot be optimized either, hence 'mov dword ptr [rsp], 3 ' appears in the final generated code.
If the compiler knew that the address was not used, then it would also be able to remove the store to dummy, as it would be able to prove that it is never read from.
Full title is "Why my Rust benchmarks were wrong, or how to [correctly] use std::hint::black_box?", but I had to remove something to get the title to fit.