(32 . 6)(32 . 22)
125 Overflow : out WBool);
126 pragma Precondition(X'Length = Y'Length and X'Length = Sum'Length);
127
128 -- Gate = 1: Sum := X + Y; Overflow := Carry
129 -- Gate = 0: Sum := X; Overflow := 0
130 procedure FZ_Add_Gated_O(X : in FZ;
131 Y : in FZ;
132 Gate : in WBool;
133 Sum : out FZ;
134 Overflow : out WBool);
135 pragma Precondition(X'Length = Y'Length and X'Length = Sum'Length);
136
137 -- Same as FZ_Add_Gated_O, but without Overflow output
138 procedure FZ_Add_Gated(X : in FZ;
139 Y : in FZ;
140 Gate : in WBool;
141 Sum : out FZ);
142 pragma Precondition(X'Length = Y'Length and X'Length = Sum'Length);
143
144 -- Difference := X - Y; Underflow := Borrow
145 procedure FZ_Sub(X : in FZ;
146 Y : in FZ;