package bfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/bfloat16.x"

fn __std__mask_bits__8() -> bits[8] {
  literal.2: bits[8] = literal(value=0, id=2, pos=[(0,835,41)])
  X: bits[32] = literal(value=8, id=1, pos=[(0,835,17)])
  ret not.3: bits[8] = not(literal.2, id=3, pos=[(0,835,40)])
}

fn __std__mask_bits__7() -> bits[7] {
  literal.5: bits[7] = literal(value=0, id=5, pos=[(0,835,41)])
  X: bits[32] = literal(value=7, id=4, pos=[(0,835,17)])
  ret not.6: bits[7] = not(literal.5, id=6, pos=[(0,835,40)])
}

fn __apfloat__max_normal__8_7(sign: bits[1] id=7) -> (bits[1], bits[8], bits[7]) {
  invoke.10: bits[8] = invoke(to_apply=__std__mask_bits__8, id=10, pos=[(1,171,29)])
  literal.11: bits[1] = literal(value=1, id=11, pos=[(1,171,43)])
  shll.12: bits[8] = shll(invoke.10, literal.11, id=12, pos=[(1,171,29)])
  invoke.13: bits[7] = invoke(to_apply=__std__mask_bits__7, id=13, pos=[(1,172,32)])
  EXP_SZ: bits[32] = literal(value=8, id=8, pos=[(1,168,18)])
  FRACTION_SZ: bits[32] = literal(value=7, id=9, pos=[(1,168,31)])
  ret tuple.14: (bits[1], bits[8], bits[7]) = tuple(sign, shll.12, invoke.13, id=14, pos=[(1,169,33)])
}

top fn __bfloat16__max_normal(sign: bits[1] id=15) -> (bits[1], bits[8], bits[7]) {
  ret invoke.16: (bits[1], bits[8], bits[7]) = invoke(sign, to_apply=__apfloat__max_normal__8_7, id=16, pos=[(2,39,23)])
}