File size: 1,862 Bytes
52edc5a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | with Core_Types; use Core_Types;
package Math_Utils is
function Safe_Add (A, B : Word32; Overflow : out Boolean) return Word32;
function Safe_Sub (A, B : Word32; Underflow : out Boolean) return Word32;
function Safe_Mul (A, B : Word32; Overflow : out Boolean) return Word32;
function Modulo (A : Word32; M : Word32) return Word32 with Pre => M > 0;
function Rotate_Left (Value : Word16; Amount : Natural) return Word16;
function Rotate_Right (Value : Word16; Amount : Natural) return Word16;
function Bit_Count (Value : Word32) return Natural;
function Simple_Checksum (Data : Byte_Array; Seed : Word16) return Word16;
function Fletcher16 (Data : Byte_Array) return Word16;
function Clamp (Value : Word32; Lo, Hi : Word32) return Word32 with Pre => Lo <= Hi;
function ISqrt (N : Word32) return Word32;
function Is_Power_Of_Two (N : Word32) return Boolean;
function Min_W32 (A, B : Word32) return Word32;
function Max_W32 (A, B : Word32) return Word32;
function GCD (A, B : Word32) return Word32;
function LCM (A, B : Word32) return Word32;
function Abs_Diff (A, B : Word32) return Word32;
function Saturating_Add (A, B : Word32) return Word32;
function Saturating_Sub (A, B : Word32) return Word32;
function Align_Up (Value : Word32; Alignment : Word32) return Word32
with Pre => Alignment > 0 and then Is_Power_Of_Two (Alignment);
function Align_Down (Value : Word32; Alignment : Word32) return Word32
with Pre => Alignment > 0 and then Is_Power_Of_Two (Alignment);
function Next_Power_Of_Two (N : Word32) return Word32;
function Log2_Floor (N : Word32) return Natural with Pre => N > 0;
function Is_Even (N : Word32) return Boolean;
function Is_Odd (N : Word32) return Boolean;
function Clamp_Byte (V : Integer) return Byte;
end Math_Utils;
|