def w4_hi

gralha-byte-words@0.1.0.0 · words.bend:79

import gralha-byte-words@0.1.0.0/words.bend as Words

import Base

79def w4_hi(r: Array<U32> & U32, +lo: U32, +sh: U32) -> Array<U32> & U32:
80  (a, v) = r
81  (a, (lo .|. (U32.shln(v, U32.to_nat((24 - sh : U32))) << 8n) : U32))

Uses (8)

Used by (1)

gralha-byte-words@0.1.0.0/words:w4_lo