def sp_op_unop

bend-osdev-legacy-ciphers@0.1.0.0 · PROOF.bend:1298

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend as P

1298def sp_op_unop(o: P.LcSpOp, +s: M.CmBlock) -> {s == P.sp.op(o, P.sp.unop(o, s)) : M.CmBlock}:
1299  match o:
1300    case P.LcSpBswap{}:
1301      sp_bswapd(s)
1302    case P.LcSpKey{k}:
1303      block_xx(s, k)
1304    case P.LcSpS{bx}:
1305      sp_sop_inv(bx, True{}, s)
1306    case P.LcSpLt{}:
1307      sp_lt_invd(s)