During vmlaunch/vmresume, several checks are performed on the guest state area. I was wondering if anyone else had noticed that Guest RSP field is never checked for a non-canonical address. The virtualization spec talks about such checks for Guest RIP or GDTR or IDTR. I was wondering why this check was not done for the Guest RSP?
For more complete information about compiler optimizations, see our Optimization Notice.