law rotl1_rotl31

bend-osdev-cipher-core@0.1.0.0 · LAWS.bend:49

import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L

49# the rotations by 1 and 31 bits on bits undo each other, and the byte swap
50# on bits undoes itself, for every word
51law rotl1_rotl31:
52  for x: U32
53  {x == L.lc.rotl1.bits(L.lc.rotl31.bits(x)) : U32}