(36 . 7)(36 . 6)
1415 end loop;
1416 return A;
1417 end FZ_EqP;
1418 pragma Inline_Always(FZ_EqP);
1419
1420
1421 -- 1 iff X < Y (branch-free); else 0
(47 . 7)(46 . 6)
1423 FZ_Sub(X, Y, Scratch, Borrow);
1424 return Borrow;
1425 end FZ_LessThanP;
1426 pragma Inline_Always(FZ_LessThanP);
1427
1428
1429 -- 1 iff X > Y (branch-free); else 0
(58 . 6)(56 . 5)
1431 FZ_Sub(Y, X, Scratch, Borrow);
1432 return Borrow;
1433 end FZ_GreaterThanP;
1434 pragma Inline_Always(FZ_GreaterThanP);
1435
1436 end FZ_Cmp;