~/jendhub

def ad.blk.word

bend-osdev-aead@0.1.0.0 · aesround.bend:43

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

43def ad.blk.word(+xs: List<&2, U32>, +i: Nat) -> U32:
44  U32.or(U32.or(U32.shln(B.byte(ad.blk.at(xs, i)), 24n), U32.shln(B.byte(ad.blk.at(xs, Nat.add(i, 1n))), 16n)), U32.or(U32.shln(B.byte(ad.blk.at(xs, Nat.add(i, 2n))), 8n), B.byte(ad.blk.at(xs, Nat.add(i, 3n)))))

Uses (8)

Used by (1)