Adacovex.IR_Bounds¶
Lowered 32-bit signed type (synthesised declaration).
Note: All items in this package are public.
Types¶
type int32_t¶
type int32_t is new Adacovex.Target_Profiles.IR_Int32;
type int64_t¶
type int64_t is new Adacovex.Target_Profiles.IR_Int64;
Functions¶
function Add32 (A : Adacovex.IR_Bounds.int32_t; B : Adacovex.IR_Bounds.int32_t) return Adacovex.IR_Bounds.int32_t [Pre]¶
Parameter |
Description |
|---|---|
|
First operand. |
|
Second operand. |
Returns: The sum of A and B.
function Add64 (A : Adacovex.IR_Bounds.int64_t; B : Adacovex.IR_Bounds.int64_t) return Adacovex.IR_Bounds.int64_t [Pre]¶
Parameter |
Description |
|---|---|
|
First operand. |
|
Second operand. |
Returns: The sum of A and B.