def find2.start

lawful-bytes@0.1.1.0 · fast.bend:95

import Base

95def find2.start(n: Nat, r: Array<U32> & U32, +from: U32, +r1: U32, +r2: U32) -> Array<U32> & U32:
96  (a, +w) = r
97  +wi = (from >> 2n : U32)
98  +lo = U32.not(low(from))
99  +m = (zb(((w .^. r1 : U32) .|. lo : U32)) .|. zb(((w .^. r2 : U32) .|. lo : U32)) : U32)
100  find2.go(n, U32.is_zero(m), Array.get(U32, a, (wi + 1 : U32)), wi, m, r1, r2)