def cr.vm.u32be

bend-osdev-crypto@0.1.0.0 · vmac.bend:90

import Base

90def cr.vm.u32be(+xs: List<&2, U32>, +i: Nat) -> U32:
91  U32.or(U32.or(U32.shln(cr.vm.at(xs, i), 24n), U32.shln(cr.vm.at(xs, Nat.add(i, 1n)), 16n)), U32.or(U32.shln(cr.vm.at(xs, Nat.add(i, 2n)), 8n), cr.vm.at(xs, Nat.add(i, 3n))))