(161 . 6)(161 . 26)
105 end FZ_Sub;
106
107
108 -- Difference := X - W; Underflow := Borrow
109 procedure FZ_Sub_W(X : in FZ;
110 W : in Word;
111 Difference : out FZ;
112 Underflow : out WBool) is
113 Borrow : Word := W;
114 begin
115 for i in 0 .. Word_Index(X'Length - 1) loop
116 declare
117 A : constant Word := X(X'First + i);
118 S : constant Word := A - Borrow;
119 begin
120 Difference(Difference'First + i) := S;
121 Borrow := W_Borrow(A, 0, S);
122 end;
123 end loop;
124 Underflow := Borrow;
125 end FZ_Sub_W;
126
127
128 -- Destructive: If Cond is 1, NotN := ~N; otherwise NotN := N.
129 procedure FZ_Not_Cond_D(N : in out FZ;
130 Cond : in WBool)is