<<<

Index

>>>

3-610

INSTRUCTION SET REFERENCE

RET—Return from Procedure (Continued)

IF OperandSize = 32

THEN

IF top 12 bytes of stack not within stack limits THEN #SS(0); FI;

EIP 

<

 Pop();

CS 

<

 Pop(); (* 32-bit pop, high-order 16 bits discarded *)

ELSE (* OperandSize = 16 *)

IF top 6 bytes of stack not within stack limits THEN #SS(0); FI;

tempEIP 

<

 Pop();

tempEIP 

<

 tempEIP AND 0000FFFFH;

IF tempEIP not within code segment limits THEN #GP(0); FI;

EIP 

<

 tempEIP;

CS 

<

 Pop(); (* 16-bit pop *)

FI;

IF instruction has immediate operand 

THEN 

SP 

<

 SP + (SRC AND FFFFH); (* release parameters from stack *)

FI;

FI;

(* Protected mode, not virtual-8086 mode *)

IF (PE = 1 AND VM = 0) AND instruction = far RET

THEN

IF OperandSize = 32

THEN 

IF second doubleword on stack is not within stack limits THEN #SS(0); FI;

ELSE (* OperandSize = 16 *)

IF second word on stack is not within stack limits THEN #SS(0); FI;

FI;

IF return code segment selector is null THEN GP(0); FI;

IF return code segment selector addrsses descriptor beyond diescriptor table limit 

THEN GP(selector; FI;

Obtain descriptor to which return code segment selector points from descriptor table

IF return code segment descriptor is not a code segment THEN #GP(selector); FI;

if return code segment selector RPL < CPL THEN #GP(selector); FI;

IF return code segment descriptor is conforming

AND return code segment DPL > return code segment selector RPL

THEN #GP(selector); FI;

IF return code segment descriptor is not present THEN #NP(selector); FI:

IF return code segment selector RPL > CPL 

THEN GOTO RETURN-OUTER-PRIVILEGE-LEVEL;

ELSE GOTO RETURN-TO-SAME-PRIVILEGE-LEVEL

FI;

END;FI;

<<<

Index

>>>