On top of assembler being complicated, the CPUs contain another sort of compiler and optimizations, so it gets even harder to know what exactly happens.

I thought that moving is optional in a sense, and the compiler could decide to copy instead of move (?)