def x64.bytes

bend-kit-hash@0.3.0.2 · hash.bend:562

import Base

562# The last len % 8 bytes: a 4-byte lane when there is one, then single bytes.
563def x64.bytes(four: Bool, +k: Nat, h: W64, m: W64) -> W64:
564  match four:
565    case True{}:
566      match m:
567        case W64{+hi, +lo}:
568          tail(~W64, ~x64.byte, k, hi, x64.four(h, lo))
569    case False{}:
570      match m:
571        case W64{hi, +lo}:
572          tail(~W64, ~x64.byte, k, lo, h)