Gf128.Gf128.double_le: def of bend-osdev-gf@0.1.1.0
Import: import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
Lines 116-119 of bend-osdev-gf@0.1.1.0/gf128.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&start_line=116&end_line=119

import Base

def Gf128.double_le(v: Gf128) -> Gf128:
  match v:
    case Gf128{+w0, +w1, +w2, +w3}:
      Gf128{U32.xor(gf128.le.shift(w0), U32.and(2264924160, gf128.mask(U32.shrn(w3, 7n)))), U32.or(gf128.le.shift(w1), gf128.le.carry(w0)), U32.or(gf128.le.shift(w2), gf128.le.carry(w1)), U32.or(gf128.le.shift(w3), gf128.le.carry(w2))}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=gf128.le.carry
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=gf128.le.shift
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=gf128.mask