From abede4a41cef0d3b973b4a2ca690839278c54400 Mon Sep 17 00:00:00 2001 From: Folkert Kevelam Date: Tue, 24 Jun 2025 22:38:09 +0200 Subject: [PATCH] Initial commit --- runtime/adainclude/interfaces.ads | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 runtime/adainclude/interfaces.ads diff --git a/runtime/adainclude/interfaces.ads b/runtime/adainclude/interfaces.ads new file mode 100644 index 0000000..4f56bb9 --- /dev/null +++ b/runtime/adainclude/interfaces.ads @@ -0,0 +1,18 @@ +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;