- 45E9005159D1D31DB9308676B44C7E70CCC98F1E2C01039510E17F332E24CAE7C0B95854E043FFB4B245340B2277B8A99FFE92BD7CA1CDDBAD38BD1B7EE0A7AA
+ F868F341DE78088C46182617DFE0C6D4ECBE52560FA457AD9C1B2F592566CD292890E8E0345F9799C98A5514192D765D2877F1A16C47A341AF7D31099084007C
ffa/libffa/fz_cmp.adb
(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);