x86: increment the stack pointer in lret inst
authorChristian Menard <Christian.Menard@tu-dresden.de>
Tue, 23 Apr 2013 05:03:04 +0000 (00:03 -0500)
committerChristian Menard <Christian.Menard@tu-dresden.de>
Tue, 23 Apr 2013 05:03:04 +0000 (00:03 -0500)
commit25a6b1866e7c195c45c3d23f00937aa13bb2a2ff
treed3e3c0d841ddb304c6ed5301fcd30ab0a4902caf
parentaa86800e7a142f41a8fe957c367c133dea8d61bf
x86: increment the stack pointer in lret inst
The 'lret' instruction reloads instruction pointer and code segment from the
stack and then pops them. But the popping part is missing from the current
implementation. This caused incorrect behavior in some code related to the
Fiasco OS. Microops are being added to rectify the behavior of the instruction.

Committed by: Nilay Vaish <nilay@cs.wisc.edu>
src/arch/x86/isa/insts/general_purpose/control_transfer/xreturn.py