def zf

lawful-words@0.1.0.0 · proof_zb.bend:36

import Base

36# The zero-byte flags of v with subtrahend k, flag mask h and carry in c.
37def zf(+n: Nat, +v: Word(n), k: Word(n), h: Word(n), c: Bool) -> Word(n):
38  Word.and(n, Word.and(n, Word.adc(n, v, k, True{}, c), Word.not(n, v)), h)