def exec.bytes.go.if

bend-kit-regex@0.8.0.0 · regex.bend:2089

import Base

2089# Short large programs use the plain VM; long large programs can use 2048 states.
2090def exec.bytes.go.if(use: Bool, +len: U32, +from: U32, buf: Array<U32>, +prog: Trie<Inst>, +fuel: Nat, +init: List<&2, Maybe<&2, U32>>, +start: Maybe<&2, List<&2, Inst>>, +asc: Maybe<&2, Asc>, +any: Bool, +slots: Nat) -> Array<U32> & Maybe<&2, List<&2, Maybe<&2, U32>>>:
2091  match use:
2092    case True{}:
2093      +small = U32.is_lt(len, 4096)
2094      +wide = Nat.is_ge(fuel, 300n)
2095      +cap = Bool.pick(U32, small, 8, Bool.pick(U32, wide, 2048, 256))
2096      runqa(Nat.add(U32.to_nat((len - from : U32)), 2n), qa.seed(rq.of(rb.seed(dec(buf, len, from), from, prog, fuel, init, start), Array.new(Tr, Bool.pick(Nat, small, 10n, Bool.pick(Nat, wide, 18n, 15n)), TrNo{}), TTip{}, 0, cap), init), len, prog, fuel, init, start, asc, any, slots, cap)
2097    case False{}:
2098      runb(Nat.add(U32.to_nat((len - from : U32)), 2n), rb.seed(dec(buf, len, from), from, prog, fuel, init, start), len, prog, fuel, init, start, asc, any)