24531904_j

POPF/POPFD—Pop Stack into EFLAGS Register ( 続き )
FI;
FI;
IF CPL=0
THEN
IF OperandSize = 32;
THEN
EFLAGS ← Pop();
(* All non-reserved flags except VM, RF, VIP and VIF can be *)
(* modified; *)
ELSE (* OperandSize = 16 *)
EFLAGS[15:0] ← Pop(); (* All non-reserved flags can be modified; *)
FI;
ELSE (* CPL > 0 *)
IF OperandSize = 32;
THEN
EFLAGS ← Pop()
(* All non-reserved bits except IOPL, RF, VM, VIP, and VIF can *)
(* be modified; *)
(* IOPL is masked *)
ELSE (* OperandSize = 16 *)
EFLAGS[15:0] ← Pop();
(* All non-reserved bits except IOPL can be modified; IOPL is masked *)
FI;
FI;
ELSE (* In Virtual-8086 Mode *)
IF IOPL=3
THEN
IF OperandSize=32
THEN
EFLAGS ← Pop()
(* All non-reserved bits except VM, RF, IOPL, VIP, and VIF *)
(* can be modified; VM, RF, IOPL, VIP, and VIF are masked*)
ELSE
EFLAGS[15:0] ← Pop()
(* All non-reserved bits except IOPL can be modified; IOPL is *)
(* masked *)
FI;
ELSE (* IOPL < 3 *)
IF CR4.VME = 0
THEN #GP(0);
ELSE
IF ((OperandSize = 32) OR (STACK.TF = 1) OR (EFLAGS.VIP = 1
AND STACK.IF = 1)
THEN #GP(0);
ELSE
TempFlags