~/jendhub

def cr.vm.last64

bend-osdev-crypto@0.1.0.0 · vmac.bend:272

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

272def cr.vm.last64(x: CrU128) -> W.W64:
273  match x:
274    case CrU128{h, +l}:
275      +y = W.W64.add(l, W.W64.mul(h, cr.vm.w(257)))
276      cr.vm.sub64.pick(W.W64.is_ge(y, cr.vm.p64()), y)

Uses (8)

Used by (1)