ffa_ch1_genesis.kv 1
ffa_ch1_genesis.kv 2
ffa_ch1_genesis.kv 3
ffa_ch1_genesis.kv 4
ffa_ch1_genesis.kv 5
ffa_ch1_genesis.kv 6
ffa_ch1_genesis.kv 7
ffa_ch1_genesis.kv 8
ffa_ch1_genesis.kv 9
ffa_ch1_genesis.kv 10
ffa_ch1_genesis.kv 11
ffa_ch1_genesis.kv 12
ffa_ch1_genesis.kv 13
ffa_ch1_genesis.kv 14
ffa_ch1_genesis.kv 15
ffa_ch1_genesis.kv 16
ffa_ch1_genesis.kv 17
ffa_ch1_genesis.kv 18
ffa_ch1_genesis.kv 19
ffa_ch1_genesis.kv 20 with Word_Ops; use Word_Ops;
ffa_ch1_genesis.kv 21
ffa_ch10_karatsub... 22
ffa_ch1_genesis.kv 23
ffa_ch1_genesis.kv 24 package body FZ_Arith is
ffa_ch1_genesis.kv 25
ffa_ch10_karatsub... 26
ffa_ch10_karatsub... 27 procedure FZ_Add_D(X : in out FZ;
ffa_ch10_karatsub... 28 Y : in FZ;
ffa_ch10_karatsub... 29 Overflow : out WBool;
ffa_ch10_karatsub... 30 OF_In : in WBool := 0) is
ffa_ch10_karatsub... 31 Carry : WBool := OF_In;
ffa_ch10_karatsub... 32 begin
ffa_ch10_karatsub... 33 for i in 0 .. Word_Index(X'Length - 1) loop
ffa_ch10_karatsub... 34 declare
ffa_ch10_karatsub... 35 A : constant Word := X(X'First + i);
ffa_ch10_karatsub... 36 B : constant Word := Y(Y'First + i);
ffa_ch10_karatsub... 37 S : constant Word := A + B + Carry;
ffa_ch10_karatsub... 38 begin
ffa_ch10_karatsub... 39 X(X'First + i) := S;
ffa_ch10_karatsub... 40 Carry := W_Carry(A, B, S);
ffa_ch10_karatsub... 41 end;
ffa_ch10_karatsub... 42 end loop;
ffa_ch10_karatsub... 43 Overflow := Carry;
ffa_ch10_karatsub... 44 end FZ_Add_D;
ffa_ch10_karatsub... 45
ffa_ch10_karatsub... 46
ffa_ch10_karatsub... 47
ffa_ch10_karatsub... 48 procedure FZ_Add_D_W(X : in out FZ;
ffa_ch10_karatsub... 49 W : in Word;
ffa_ch10_karatsub... 50 Overflow : out WBool) is
ffa_ch10_karatsub... 51 Carry : Word := W;
ffa_ch10_karatsub... 52 begin
ffa_ch10_karatsub... 53 for i in X'Range loop
ffa_ch10_karatsub... 54 declare
ffa_ch10_karatsub... 55 A : constant Word := X(I);
ffa_ch10_karatsub... 56 S : constant Word := A + Carry;
ffa_ch10_karatsub... 57 begin
ffa_ch10_karatsub... 58 X(i) := S;
ffa_ch10_karatsub... 59 Carry := W_Carry(A, 0, S);
ffa_ch10_karatsub... 60 end;
ffa_ch10_karatsub... 61 end loop;
ffa_ch10_karatsub... 62 Overflow := Carry;
ffa_ch10_karatsub... 63 end FZ_Add_D_W;
ffa_ch10_karatsub... 64
ffa_ch10_karatsub... 65
ffa_ch1_genesis.kv 66
ffa_ch1_genesis.kv 67 procedure FZ_Add(X : in FZ;
ffa_ch1_genesis.kv 68 Y : in FZ;
ffa_ch1_genesis.kv 69 Sum : out FZ;
ffa_ch1_genesis.kv 70 Overflow : out WBool) is
ffa_ch1_genesis.kv 71 Carry : WBool := 0;
ffa_ch1_genesis.kv 72 begin
ffa_ch10_karatsub... 73 for i in 0 .. Word_Index(X'Length - 1) loop
ffa_ch1_genesis.kv 74 declare
ffa_ch10_karatsub... 75 A : constant Word := X(X'First + i);
ffa_ch10_karatsub... 76 B : constant Word := Y(Y'First + i);
ffa_ch1_genesis.kv 77 S : constant Word := A + B + Carry;
ffa_ch1_genesis.kv 78 begin
ffa_ch10_karatsub... 79 Sum(Sum'First + i) := S;
ffa_ch1_genesis.kv 80 Carry := W_Carry(A, B, S);
ffa_ch1_genesis.kv 81 end;
ffa_ch1_genesis.kv 82 end loop;
ffa_ch1_genesis.kv 83 Overflow := Carry;
ffa_ch1_genesis.kv 84 end FZ_Add;
ffa_ch1_genesis.kv 85
ffa_ch1_genesis.kv 86
ffa_ch5_egypt.kv 87
ffa_ch5_egypt.kv 88
ffa_ch5_egypt.kv 89 procedure FZ_Add_Gated_O(X : in FZ;
ffa_ch5_egypt.kv 90 Y : in FZ;
ffa_ch5_egypt.kv 91 Gate : in WBool;
ffa_ch5_egypt.kv 92 Sum : out FZ;
ffa_ch5_egypt.kv 93 Overflow : out WBool) is
ffa_ch5_egypt.kv 94 Carry : WBool := 0;
ffa_ch5_egypt.kv 95 Mask : constant Word := 0 - Gate;
ffa_ch5_egypt.kv 96 begin
ffa_ch5_egypt.kv 97 for i in 0 .. Word_Index(X'Length - 1) loop
ffa_ch5_egypt.kv 98 declare
ffa_ch5_egypt.kv 99 A : constant Word := X(X'First + i);
ffa_ch5_egypt.kv 100 B : constant Word := Y(Y'First + i) and Mask;
ffa_ch5_egypt.kv 101 S : constant Word := A + B + Carry;
ffa_ch5_egypt.kv 102 begin
ffa_ch5_egypt.kv 103 Sum(Sum'First + i) := S;
ffa_ch5_egypt.kv 104 Carry := W_Carry(A, B, S);
ffa_ch5_egypt.kv 105 end;
ffa_ch5_egypt.kv 106 end loop;
ffa_ch5_egypt.kv 107 Overflow := Carry;
ffa_ch5_egypt.kv 108 end FZ_Add_Gated_O;
ffa_ch5_egypt.kv 109
ffa_ch5_egypt.kv 110
ffa_ch5_egypt.kv 111
ffa_ch5_egypt.kv 112 procedure FZ_Add_Gated(X : in FZ;
ffa_ch5_egypt.kv 113 Y : in FZ;
ffa_ch5_egypt.kv 114 Gate : in WBool;
ffa_ch5_egypt.kv 115 Sum : out FZ) is
ffa_ch5_egypt.kv 116 Overflow : Word;
ffa_ch5_egypt.kv 117 pragma Unreferenced(Overflow);
ffa_ch5_egypt.kv 118 begin
ffa_ch5_egypt.kv 119 FZ_Add_Gated_O(X, Y, Gate, Sum, Overflow);
ffa_ch5_egypt.kv 120 end FZ_Add_Gated;
ffa_ch5_egypt.kv 121
ffa_ch5_egypt.kv 122
ffa_ch1_genesis.kv 123
ffa_ch1_genesis.kv 124 procedure FZ_Sub(X : in FZ;
ffa_ch1_genesis.kv 125 Y : in FZ;
ffa_ch1_genesis.kv 126 Difference : out FZ;
ffa_ch1_genesis.kv 127 Underflow : out WBool) is
ffa_ch1_genesis.kv 128 Borrow : WBool := 0;
ffa_ch1_genesis.kv 129 begin
ffa_ch1_genesis.kv 130 for i in 0 .. Word_Index(X'Length - 1) loop
ffa_ch1_genesis.kv 131 declare
ffa_ch1_genesis.kv 132 A : constant Word := X(X'First + i);
ffa_ch1_genesis.kv 133 B : constant Word := Y(Y'First + i);
ffa_ch1_genesis.kv 134 S : constant Word := A - B - Borrow;
ffa_ch1_genesis.kv 135 begin
ffa_ch1_genesis.kv 136 Difference(Difference'First + i) := S;
ffa_ch1_genesis.kv 137 Borrow := W_Borrow(A, B, S);
ffa_ch1_genesis.kv 138 end;
ffa_ch1_genesis.kv 139 end loop;
ffa_ch1_genesis.kv 140 Underflow := Borrow;
ffa_ch1_genesis.kv 141 end FZ_Sub;
ffa_ch1_genesis.kv 142
ffa_ch10_karatsub... 143
ffa_ch10_karatsub... 144
ffa_ch10_karatsub... 145 procedure FZ_Not_Cond_D(N : in out FZ;
ffa_ch10_karatsub... 146 Cond : in WBool)is
ffa_ch10_karatsub... 147
ffa_ch10_karatsub... 148
ffa_ch10_karatsub... 149 Inv : constant Word := 0 - Cond;
ffa_ch10_karatsub... 150
ffa_ch10_karatsub... 151 begin
ffa_ch10_karatsub... 152
ffa_ch10_karatsub... 153 for i in N'Range loop
ffa_ch10_karatsub... 154
ffa_ch10_karatsub... 155
ffa_ch10_karatsub... 156 N(i) := N(i) xor Inv;
ffa_ch10_karatsub... 157
ffa_ch10_karatsub... 158 end loop;
ffa_ch10_karatsub... 159
ffa_ch10_karatsub... 160 end FZ_Not_Cond_D;
ffa_ch10_karatsub... 161
ffa_ch10_karatsub... 162
ffa_ch10_karatsub... 163
ffa_ch10_karatsub... 164 procedure FZ_Sub_Abs(X : in FZ;
ffa_ch10_karatsub... 165 Y : in FZ;
ffa_ch10_karatsub... 166 Difference : out FZ;
ffa_ch10_karatsub... 167 Underflow : out WBool) is
ffa_ch10_karatsub... 168
ffa_ch10_karatsub... 169 O : Word := 0;
ffa_ch10_karatsub... 170 pragma Unreferenced(O);
ffa_ch10_karatsub... 171
ffa_ch10_karatsub... 172 begin
ffa_ch10_karatsub... 173
ffa_ch10_karatsub... 174
ffa_ch10_karatsub... 175 FZ_Sub(X, Y, Difference, Underflow);
ffa_ch10_karatsub... 176
ffa_ch10_karatsub... 177
ffa_ch10_karatsub... 178 FZ_Not_Cond_D(Difference, Underflow);
ffa_ch10_karatsub... 179
ffa_ch10_karatsub... 180
ffa_ch10_karatsub... 181 FZ_Add_D_W(Difference, Underflow, O);
ffa_ch10_karatsub... 182
ffa_ch10_karatsub... 183 end FZ_Sub_Abs;
ffa_ch10_karatsub... 184
ffa_ch10_karatsub... 185
ffa_ch1_genesis.kv 186 end FZ_Arith;