CALL

Standard variant

Source: intel/CALL-Call-Procedure.xml/1

let new_rip :=
if is_relative then
Relative_Branch_Wrap(context.operand_size, Next_IP + Sign_Extend(src, 64))
else
Zero_Extend(src, 64);

let update_shadow_stack := CET::Is_Shadow_Stack_Enabled(CPL) and (not is_relative or not Is_Zero(src));

if not update_shadow_stack then
Check_New_RIP?(CS, new_rip);
endif;

let new_rsp := Push_Stack?(SS, RSP, CS, operand_size, operand_size, Next_IP[0 +: operand_size]);

if update_shadow_stack then
Check_New_RIP?(CS, new_rip);
SSP := CET::Shadow_Stack_Push?(SSP, Next_IP[0 +: Max(operand_size, 32)]);
endif;

RSP := new_rsp;
Branch_Near(new_rip);

if is_indirect and Is_End_Branch_Enabled_And_Not_Suppressed(CPL) then
if IA32_CET[CPL].NO_TRACK_EN == 0b0 or not is_no_track then
CET::Set_Tracker_Status(CPL);
endif;
endif;