(19 . 6)(19 . 7)
182
183 with W_Pred; use W_Pred;
184 with FZ_Arith; use FZ_Arith;
185 with FZ_Pred; use FZ_Pred;
186
187
188 package body FZ_Cmp is
(38 . 6)(39 . 13)
190 end FZ_EqP;
191
192
193 -- 1 iff X == W (branch-free); else 0
194 function FZ_EqP_W(X : in FZ; W : in Word) return WBool is
195 begin
196 return FZ_OneWordP(X) and W_EqP(X(X'First), W);
197 end FZ_EqP_W;
198
199
200 -- 1 iff X < Y (branch-free); else 0
201 function FZ_LessThanP(X : in FZ; Y : in FZ) return WBool is
202 Scratch : FZ(X'Range);