(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;