(2 . 7)(2 . 7)
1049 ------------------------------------------------------------------------------
1050 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
1051 -- --
1052 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
1053 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org ) --
1054 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
1055 -- --
1056 -- You do not have, nor can you ever acquire the right to use, copy or --
(27 . 6)(27 . 7)
1058 --------------------------------------------------------------
1059
1060 -- ShiftedN := N >> Count (with Overflow Input and Output)
1061 -- WARNING: OF_in MUST be of valid bit-width for the shift!
1062 procedure FZ_ShiftRight_O_I(N : in FZ;
1063 ShiftedN : out FZ;
1064 Count : in WBit_Index;
(69 . 6)(70 . 7)
1066 --------------------------------------------------------------
1067
1068 -- ShiftedN := N << Count (with Overflow Input and Output)
1069 -- WARNING: OF_in MUST be of valid bit-width for the shift!
1070 procedure FZ_ShiftLeft_O_I(N : in FZ;
1071 ShiftedN : out FZ;
1072 Count : in WBit_Index;