ffa_ch3_shifts.kv 1
ffa_ch3_shifts.kv 2
ffa_ch3_shifts.kv 3
ffa_ch3_shifts.kv 4
ffa_ch3_shifts.kv 5
ffa_ch3_shifts.kv 6
ffa_ch3_shifts.kv 7
ffa_ch3_shifts.kv 8
ffa_ch3_shifts.kv 9
ffa_ch3_shifts.kv 10
ffa_ch3_shifts.kv 11
ffa_ch3_shifts.kv 12
ffa_ch3_shifts.kv 13
ffa_ch3_shifts.kv 14
ffa_ch3_shifts.kv 15
ffa_ch3_shifts.kv 16
ffa_ch3_shifts.kv 17
ffa_ch3_shifts.kv 18
ffa_ch3_shifts.kv 19
ffa_ch3_shifts.kv 20 with W_Shifts; use W_Shifts;
ffa_ch3_shifts.kv 21
ffa_ch3_shifts.kv 22
ffa_ch3_shifts.kv 23 package body FZ_Shift is
ffa_ch3_shifts.kv 24
ffa_ch3_shifts.kv 25
ffa_ch3_shifts.kv 26
ffa_ch3_shifts.kv 27
ffa_ch3_shifts.kv 28
ffa_ch3_shifts.kv 29
ffa_ch3_shifts.kv 30 procedure FZ_ShiftRight_O_I(N : in FZ;
ffa_ch3_shifts.kv 31 ShiftedN : out FZ;
ffa_ch3_shifts.kv 32 Count : in WBit_Index;
ffa_ch3_shifts.kv 33 Overflow : out Word;
ffa_ch3_shifts.kv 34 OF_in : in Word) is
ffa_ch3_shifts.kv 35 Ni : Word;
ffa_ch3_shifts.kv 36 Carry : Word := OF_in;
ffa_ch3_shifts.kv 37 begin
ffa_ch3_shifts.kv 38 for i in reverse N'Range loop
ffa_ch3_shifts.kv 39 Ni := N(i);
ffa_ch3_shifts.kv 40 ShiftedN(i) := Shift_Right(Ni, Count) or Carry;
ffa_ch3_shifts.kv 41 Carry := Shift_Left(Ni, Bitness - Count);
ffa_ch3_shifts.kv 42 end loop;
ffa_ch3_shifts.kv 43 Overflow := Carry;
ffa_ch3_shifts.kv 44 end FZ_ShiftRight_O_I;
ffa_ch3_shifts.kv 45
ffa_ch3_shifts.kv 46
ffa_ch3_shifts.kv 47
ffa_ch3_shifts.kv 48 procedure FZ_ShiftRight_O(N : in FZ;
ffa_ch3_shifts.kv 49 ShiftedN : out FZ;
ffa_ch3_shifts.kv 50 Count : in WBit_Index;
ffa_ch3_shifts.kv 51 Overflow : out Word) is
ffa_ch3_shifts.kv 52 begin
ffa_ch3_shifts.kv 53 FZ_ShiftRight_O_I(N, ShiftedN, Count, Overflow, 0);
ffa_ch3_shifts.kv 54 end FZ_ShiftRight_O;
ffa_ch3_shifts.kv 55
ffa_ch3_shifts.kv 56
ffa_ch3_shifts.kv 57
ffa_ch3_shifts.kv 58 procedure FZ_ShiftRight(N : in FZ;
ffa_ch3_shifts.kv 59 ShiftedN : out FZ;
ffa_ch3_shifts.kv 60 Count : in WBit_Index) is
ffa_ch3_shifts.kv 61 Overflow : Word;
ffa_ch3_shifts.kv 62 pragma Unreferenced(Overflow);
ffa_ch3_shifts.kv 63 begin
ffa_ch3_shifts.kv 64 FZ_ShiftRight_O_I(N, ShiftedN, Count, Overflow, 0);
ffa_ch3_shifts.kv 65 end FZ_ShiftRight;
ffa_ch3_shifts.kv 66
ffa_ch3_shifts.kv 67
ffa_ch3_shifts.kv 68
ffa_ch3_shifts.kv 69
ffa_ch3_shifts.kv 70
ffa_ch3_shifts.kv 71
ffa_ch3_shifts.kv 72 procedure FZ_ShiftLeft_O_I(N : in FZ;
ffa_ch3_shifts.kv 73 ShiftedN : out FZ;
ffa_ch3_shifts.kv 74 Count : in WBit_Index;
ffa_ch3_shifts.kv 75 Overflow : out Word;
ffa_ch3_shifts.kv 76 OF_in : in Word) is
ffa_ch3_shifts.kv 77 Ni : Word;
ffa_ch3_shifts.kv 78 Carry : Word := OF_in;
ffa_ch3_shifts.kv 79 begin
ffa_ch3_shifts.kv 80 for i in N'Range loop
ffa_ch3_shifts.kv 81 Ni := N(i);
ffa_ch3_shifts.kv 82 ShiftedN(i) := Shift_Left(Ni, Count) or Carry;
ffa_ch3_shifts.kv 83 Carry := Shift_Right(Ni, Bitness - Count);
ffa_ch3_shifts.kv 84 end loop;
ffa_ch3_shifts.kv 85 Overflow := Carry;
ffa_ch3_shifts.kv 86 end FZ_ShiftLeft_O_I;
ffa_ch3_shifts.kv 87
ffa_ch3_shifts.kv 88
ffa_ch3_shifts.kv 89
ffa_ch3_shifts.kv 90 procedure FZ_ShiftLeft_O(N : in FZ;
ffa_ch3_shifts.kv 91 ShiftedN : out FZ;
ffa_ch3_shifts.kv 92 Count : in WBit_Index;
ffa_ch3_shifts.kv 93 Overflow : out Word) is
ffa_ch3_shifts.kv 94 begin
ffa_ch3_shifts.kv 95 FZ_ShiftLeft_O_I(N, ShiftedN, Count, Overflow, 0);
ffa_ch3_shifts.kv 96 end FZ_ShiftLeft_O;
ffa_ch3_shifts.kv 97
ffa_ch3_shifts.kv 98
ffa_ch3_shifts.kv 99
ffa_ch3_shifts.kv 100 procedure FZ_ShiftLeft(N : in FZ;
ffa_ch3_shifts.kv 101 ShiftedN : out FZ;
ffa_ch3_shifts.kv 102 Count : in WBit_Index) is
ffa_ch3_shifts.kv 103 Overflow : Word;
ffa_ch3_shifts.kv 104 pragma Unreferenced(Overflow);
ffa_ch3_shifts.kv 105 begin
ffa_ch3_shifts.kv 106 FZ_ShiftLeft_O_I(N, ShiftedN, Count, Overflow, 0);
ffa_ch3_shifts.kv 107 end FZ_ShiftLeft;
ffa_ch3_shifts.kv 108
ffa_ch3_shifts.kv 109 end FZ_Shift;