1# Test of Push semantics for Y86-64
2 irmovq $0x100,%rsp # Initialize stack pointer
3 rrmovq %rsp,%rax # Save stack pointer
4 pushq %rsp # Push the stack pointer (old or new?)
5 popq %rdx # Get it back
6 subq %rdx,%rax # Compute difference. Either 0 (old) or 4 (new).
7 halt
stau.space