def low16

bend-osdev-bytes@0.1.1.0 · bytes.bend:107

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

107# the low 16 bits of a word
108def low16(v: U32) -> U32:
109  match v:
110    case U32{w}:
111      U32{W.W64.bits.cat(16n, 16n, W.W64.bits.lo(16n, 16n, w), Word.zero(16n))}