~/jendhub

def gf128.le.shift

bend-osdev-gf@0.1.1.0 · gf128.bend:108

import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
import Base

108# each byte of w shifted left, with the carries between w's own bytes
109def gf128.le.shift(+w: U32) -> U32:
110  U32.or(U32.and(4278124286, U32.shl(w)), U32.and(65793, U32.shrn(w, 15n)))

Uses (5)

Used by (1)