- 1570D6BFA1EE2A3EB93A9255B60EDE80878BD262017FE490A263A0957451EAFD218C8FC257BBABFD9E6B31FED71A0BF5C1A0EE4831A5F988779E37AD04793C39
+ 4EE469C436ED539003D13F9247CEF562FA9AB00133A68E91C2550FD734FF4916153EC6FC3C4A4DDE4AFB25B0DA9E95EA6DD91DAD4CA16C984DEDA6BBA3BC5906
ffa/libffa/fz_shift.ads
(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;