package float32

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/float32.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 __apfloat__inf__8_23(sign: bits[1] id=4) -> (bits[1], bits[8], bits[23]) {
  invoke.7: bits[8] = invoke(to_apply=__std__mask_bits__8, id=7, pos=[(1,78,28)])
  literal.8: bits[23] = literal(value=0, id=8, pos=[(1,79,18)])
  EXP_SZ: bits[32] = literal(value=8, id=5, pos=[(1,75,11)])
  FRACTION_SZ: bits[32] = literal(value=23, id=6, pos=[(1,75,24)])
  ret tuple.9: (bits[1], bits[8], bits[23]) = tuple(sign, invoke.7, literal.8, id=9, pos=[(1,76,33)])
}

top fn __float32__inf(sign: bits[1] id=10) -> (bits[1], bits[8], bits[23]) {
  F32_EXP_SZ: bits[32] = literal(value=8, id=11, pos=[(2,18,23)])
  F32_FRACTION_SZ: bits[32] = literal(value=23, id=12, pos=[(2,19,28)])
  ret invoke.13: (bits[1], bits[8], bits[23]) = invoke(sign, to_apply=__apfloat__inf__8_23, id=13, pos=[(2,31,42)])
}