def clz.go

bend-kit-f64@0.1.0.0 · f64.bend:41

import Base

41def clz.go(k: Nat, z: Bool, n: U32, +x: U32) -> U32:
42  match k z:
43    case 0n _:
44      n
45    case 1n+p False{}:
46      n
47    case 1n+p True{}:
48      clz.go(p, U32.is_zero(((x << 1n) .&. 2147483648 : U32)), (n + 1 : U32), (x << 1n : U32))