(2 . 7)(2 . 7)
1077 ------------------------------------------------------------------------------
1078 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
1079 -- --
1080 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
1081 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org ) --
1082 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
1083 -- --
1084 -- You do not have, nor can you ever acquire the right to use, copy or --
(26 . 10)(26 . 16)
1086 pragma Pure;
1087
1088 --------------------------------------------------------------
1089 -- WARNING: These ops are not precondition-shielded, and
1090 -- must never be directly exposed via the user API ( ffa.ads )
1091 --------------------------------------------------------------
1092
1093 --------------------------------------------------------------
1094 -- Shift Right
1095 --------------------------------------------------------------
1096
1097 -- ShiftedN := N >> Count (with Overflow Input and Output)
1098 -- WARNING: OF_in MUST be of valid bit-width for the shift!
1099 procedure FZ_ShiftRight_O_I(N : in FZ;
1100 ShiftedN : out FZ;
1101 Count : in WBit_Index;
(55 . 6)(61 . 7)
1103 --------------------------------------------------------------
1104
1105 -- ShiftedN := N << Count (with Overflow Input and Output)
1106 -- WARNING: OF_in MUST be of valid bit-width for the shift!
1107 procedure FZ_ShiftLeft_O_I(N : in FZ;
1108 ShiftedN : out FZ;
1109 Count : in WBit_Index;