def lc.wrotl

bend-osdev-legacy-ciphers@0.1.0.0 · legacy_ciphers.bend:78

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

78# the (m + n)-bit word w rotated left by n
79def lc.wrotl(+m: Nat, +n: Nat, +w: Word(Nat.add(m, n))) -> Word(Nat.add(n, m)):
80  W.W64.bits.cat(n, m, W.W64.bits.hi(m, n, w), W.W64.bits.lo(m, n, w))