(35 . 20)(35 . 20)
2006 Count : in WBit_Index;
2007 Overflow : out Word;
2008 OF_in : in Word);
2009 pragma Precondition(N'Length = ShiftedN'Length);
2010 pragma Inline_Always(FZ_ShiftRight_O_I);
2011
2012 -- ShiftedN := N >> Count (with Overflow Output only)
2013 procedure FZ_ShiftRight_O(N : in FZ;
2014 ShiftedN : out FZ;
2015 Count : in WBit_Index;
2016 Overflow : out Word);
2017 pragma Precondition(N'Length = ShiftedN'Length);
2018 pragma Inline_Always(FZ_ShiftRight_O);
2019
2020 -- ShiftedN := N >> Count (no Overflow output or input)
2021 procedure FZ_ShiftRight(N : in FZ;
2022 ShiftedN : out FZ;
2023 Count : in WBit_Index);
2024 pragma Precondition(N'Length = ShiftedN'Length);
2025 pragma Inline_Always(FZ_ShiftRight);
2026
2027 --------------------------------------------------------------
2028 -- Shift Left
(60 . 19)(60 . 19)
2030 Count : in WBit_Index;
2031 Overflow : out Word;
2032 OF_in : in Word);
2033 pragma Precondition(N'Length = ShiftedN'Length);
2034 pragma Inline_Always(FZ_ShiftLeft_O_I);
2035
2036 -- ShiftedN := N << Count (with Overflow Output only)
2037 procedure FZ_ShiftLeft_O(N : in FZ;
2038 ShiftedN : out FZ;
2039 Count : in WBit_Index;
2040 Overflow : out Word);
2041 pragma Precondition(N'Length = ShiftedN'Length);
2042 pragma Inline_Always(FZ_ShiftLeft_O);
2043
2044 -- ShiftedN := N << Count (no Overflow output or input)
2045 procedure FZ_ShiftLeft(N : in FZ;
2046 ShiftedN : out FZ;
2047 Count : in WBit_Index);
2048 pragma Precondition(N'Length = ShiftedN'Length);
2049 pragma Inline_Always(FZ_ShiftLeft);
2050
2051 end FZ_Shift;