- 5AD89E1C806E453F5F1A37C024F28B0A37D535395C301DE29AC3488A29F4670BF7517FE870EEA5B17033EC718B35A02A21CB6127B3A26B95D1F3631B83495F63
+ 922B4A0CACE3230D1CEE982C66C0D1237E0510F74D05E5B612947F5998FED01A655960731C392FB4F868AF2B8260ACBE0CA51E6C8A40E334C9698BDCE8F0A54E
ffa/libffa/fz_arith.ads
(33 . 7)(33 . 7)
135 OF_In : in WBool := 0);
136 pragma Inline_Always(FZ_Add_D);
137
138 -- Destructive Add: X := X + W; Overflow := Carry
139 -- Destructive Add: X := X + W; Overflow := Carry
140 procedure FZ_Add_D_W(X : in out FZ;
141 W : in Word;
142 Overflow : out WBool);
(62 . 12)(62 . 19)
144 Sum : out FZ);
145 pragma Inline_Always(FZ_Add_Gated);
146
147 -- Destructive Sub: X := X - Y; Underflow := Borrow
148 -- Destructive Subtract: X := X - Y; Underflow := Borrow
149 procedure FZ_Sub_D(X : in out FZ;
150 Y : in FZ;
151 Underflow : out WBool);
152 pragma Inline_Always(FZ_Sub_D);
153
154 -- Difference := X - W; Underflow := Borrow
155 procedure FZ_Sub_W(X : in FZ;
156 W : in Word;
157 Difference : out FZ;
158 Underflow : out WBool);
159 pragma Inline_Always(FZ_Sub_W);
160
161 -- Difference := X - Y; Underflow := Borrow
162 procedure FZ_Sub(X : in FZ;
163 Y : in FZ;