Comment by WalterBright

Here's how D does it for the x86_64:

https://github.com/dlang/dmd/blob/master/druntime/src/core/i...

It's the statement form, uses Intel syntax, and the compiler keeps track of which registers are modified.