19 lines
783 B
Ada
19 lines
783 B
Ada
package Interfaces
|
|
with Pure is
|
|
|
|
type Integer_32 is range -2**31 .. 2**31 - 1;
|
|
type Unsigned_32 is mod 2**32;
|
|
|
|
function Shift_Left (Value : Unsigned_32; Amount : Natural)
|
|
return Unsigned_32 with Import, Convention => Intrinsic;
|
|
function Shift_Right (Value : Unsigned_32; Amount : Natural)
|
|
return Unsigned_32 with Import, Convention => Intrinsic;
|
|
function Shift_Right_Arithmetic (Value : Unsigned_32; Amount : Natural)
|
|
return Unsigned_32 with Import, Convention => Intrinsic;
|
|
function Rotate_Left (Value : Unsigned_32; Amount : Natural)
|
|
return Unsigned_32 with Import, Convention => Intrinsic;
|
|
function Rotate_Right (Value : Unsigned_32; Amount : Natural)
|
|
return Unsigned_32 with Import, Convention => Intrinsic;
|
|
|
|
end Interfaces;
|