I came accross a problem with debugging a 64 bit binary in Windows using IDA. Normally, after a push RSP value should be deducted by 8. But occasionally, from IDA I saw that RSP was only deducted by 2, and then 8 for the next Push.
The codes involved are
push rax
push rbx
push rsi
push rdi
I'm quite new to x64 environment, thus could anyone explain this behavior ?