<<<

Index

>>>

3-611

INSTRUCTION SET REFERENCE

RET—Return from Procedure (Continued)

RETURN-SAME-PRIVILEGE-LEVEL:

IF the return instruction pointer is not within ther return code segment limit 

THEN #GP(0); 

FI;

IF OperandSize=32

THEN

EIP 

<

 Pop();

CS 

<

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

ESP 

<

 ESP + SRC; (* release parameters from stack *)

ELSE (* OperandSize=16 *)

EIP 

<

 Pop();

EIP 

<

 EIP AND 0000FFFFH;

CS 

<

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

ESP 

<

 ESP + SRC; (* release parameters from stack *)

FI;

RETURN-OUTER-PRIVILEGE-LEVEL:

IF top (16 + SRC) bytes of stack are not within stack limits (OperandSize=32) 

OR top (8 + SRC) bytes of stack are not within stack limits (OperandSize=16)

THEN #SS(0); FI;

FI;

Read return segment selector;

IF stack segment selector is null THEN #GP(0); FI;

IF return stack segment selector index is not within its descriptor table limits

THEN #GP(selector); FI;

Read segment descriptor pointed to by return segment selector;

IF stack segment selector RPL 

?

 RPL of the return code segment selector

OR stack segment is not a writable data segment

OR stack segment descriptor DPL 

?

 RPL of the return code segment selector

THEN #GP(selector); FI;

IF stack segment not present THEN #SS(StackSegmentSelector); FI;

IF the return instruction pointer is not within the return code segment limit THEN #GP(0); FI:

 CPL 

<

 ReturnCodeSegmentSelector(RPL);

IF OperandSize=32

THEN

EIP 

<

 Pop();

CS 

<

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

 (* segment descriptor information also loaded *)

CS(RPL) 

<

 CPL;

ESP 

<

 ESP + SRC; (* release parameters from called procedure’s stack *)

tempESP 

<

 Pop();

tempSS 

<

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

 (* segment descriptor information also loaded *)

ESP 

<

 tempESP;

SS 

<

 tempSS;

<<<

Index

>>>