(35 . 7)(35 . 6)
1912 end loop;
1913 return A;
1914 end FZ_ZeroP;
1915 pragma Inline_Always(FZ_ZeroP);
1916
1917
1918 -- 1 iff N != 0 (branch-free); else 0
(43 . 7)(42 . 6)
1920 begin
1921 return 1 xor FZ_ZeroP(N);
1922 end FZ_NZeroP;
1923 pragma Inline_Always(FZ_NZeroP);
1924
1925
1926 -- 1 iff N is odd
(51 . 6)(49 . 5)
1928 begin
1929 return W_OddP(N(N'First));
1930 end FZ_OddP;
1931 pragma Inline_Always(FZ_OddP);
1932
1933 end FZ_Pred;