Tag checking procedure calls
AssigneeIntel Corporation
InventorsKshitij Arun Doshi, Francesc Guim Bernat
Life of this patent
Estimating the term…
Abstract
System and techniques for tag checking procedure calls include specifying a value for a color in a program-counter relative (PC-relative) call instruction from a call site to a call target. A pointer is provided to steer the PC-relative call instruction to the call target based on the color. A function call is generated to the call target based on the pointer. Other systems, methods and apparatuses are also described.
Claims24
At least one non-transitory machine readable medium including instructions for tag checking procedure calls, the instructions, when executed by processing circuitry, cause the processing circuitry to perform operations comprising:
- specifying a value for a color in a program-counter relative (PC-relative) call instruction from a call site to a call target, wherein a prototype of the call target specifies a correct color for the call target;
- providing a pointer to steer the PC-relative call instruction to the call target based on the color;
- and
- generating a function call to the call target based on the pointer.
A system comprising:
- memory configured to store tag parameters for assigning to call targets;
- and
- processing circuitry coupled to the memory and configured to:
- specify a value for a tag parameter in a program-counter relative (PC-relative) call instruction from a call site to a call target, wherein the tag parameter comprises a color assigned to the call target, wherein a prototype of the call target specifies a correct tag parameter for the call target;
- provide a pointer to steer the PC-relative call instruction to the call target based on the tag parameter;
- and
- generate a function call to the call target based on the pointer.
A method comprising:
- specifying a value for a color in a program-counter relative (PC-relative) call instruction from a call site to a call target, wherein a prototype of the call target specifies a correct color for the call target;
- providing a pointer to steer the PC-relative call instruction to the call target wherein upper bits of the pointer include the color;
- and
- generating a function call to the call target based on the pointer.
A system comprising:
- means to store tag parameters for assigning to call targets;
- and
- processing means to:
- specify a value for a tag parameter in a program-counter relative (PC-relative) call instruction from a call site to a call target, wherein the tag parameter comprises a color assigned to the call target, and wherein a prototype of the call target specifies a tag parameter for the call target;
- provide a pointer to steer the PC-relative call instruction to the call target based on the tag parameter;
- and
- generate a function call to the call target based on the pointer.
Dependencies are inferred from the claim text.