def gf128.le.carry

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

import Base

112# the carry out of w's last byte, into the first byte of the next word
113def gf128.le.carry(w: U32) -> U32:
114  U32.shln(U32.and(128, w), 17n)