def varint.add.pick

bend-kit-protobuf@0.2.0.0 · protobuf.bend:83

import Base

83def varint.add.pick(low: Bool, +i: U32, +v: U32, w: Word64) -> Word64:
84  match low:
85    case True{}:
86      Word64{h, l} = w
87      varint.add.low(U32.is_eq(i, 4), i, v, h, l)
88    case False{}:
89      Word64{h, l} = w
90      Word64{(h .|. (v << U32.to_nat((i * 7 - 32 : U32))) : U32), l}