~/jendhub

def ap.isb

bend-osdev-aes@0.1.0.0 · PROOF.bend:1784

import bend-osdev-aes@0.1.0.0/PROOF.bend as PROOF
import Base

1784def ap.isb(+x: U32, +y: U32, +e: {x == U32.and(255, y) : U32}) -> {x == U32.and(255, x) : U32}:
1785  %Equal.sym(U32, x, U32.and(255, y), e) : {_ == U32.and(255, _) : U32}
1786  Equal.sym(U32, U32.and(255, U32.and(255, y)), U32.and(255, y), ap.bb(y))

Uses (4)

Used by (1)