package fixed_point

file_number 0 "/inputs/subtree/xls/dslx/stdlib/fixed_point.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/std.x"

top fn __fixed_point__aligned_width(NB_A: bits[32] id=55, BE_A: bits[32] id=56, NB_B: bits[32] id=57, BE_B: bits[32] id=58) -> bits[32] {
  literal.117: bits[1] = literal(value=0, id=117, pos=[(0,227,45)])
  concat.118: bits[33] = concat(literal.117, NB_A, id=118, pos=[(0,227,45)])
  sign_ext.119: bits[33] = sign_ext(BE_A, new_bit_count=33, id=119, pos=[(0,227,45)])
  concat.120: bits[33] = concat(literal.117, NB_B, id=120, pos=[(0,228,45)])
  sign_ext.121: bits[33] = sign_ext(BE_B, new_bit_count=33, id=121, pos=[(0,228,45)])
  add.122: bits[33] = add(concat.118, sign_ext.119, id=122, pos=[(0,193,60), (0,227,45)])
  literal.123: bits[33] = literal(value=8589934591, id=123, pos=[(0,193,60), (0,227,45)])
  add.124: bits[33] = add(concat.120, sign_ext.121, id=124, pos=[(0,193,60), (0,228,45)])
  msb_a: bits[33] = add(add.122, literal.123, id=125, pos=[(0,193,60), (0,227,45)])
  msb_b: bits[33] = add(add.124, literal.123, id=126, pos=[(0,193,60), (0,228,45)])
  sgt.128: bits[1] = sgt(msb_a, msb_b, id=128, pos=[(1,93,71), (0,231,22)])
  bit_slice.154: bits[32] = bit_slice(msb_b, start=0, width=32, id=154, pos=[(1,93,68), (0,231,22)])
  bit_slice.155: bits[32] = bit_slice(msb_a, start=0, width=32, id=155, pos=[(1,93,68), (0,231,22)])
  slt.132: bits[1] = slt(BE_A, BE_B, id=132, pos=[(1,110,71), (0,232,22)])
  literal.127: bits[32] = literal(value=0, id=127)
  msb__1: bits[32] = sel(sgt.128, cases=[bit_slice.154, bit_slice.155], id=156, pos=[(1,93,68), (0,231,22)])
  sel.136: bits[32] = sel(slt.132, cases=[BE_B, BE_A], id=136, pos=[(1,110,68), (0,232,22)])
  after_all.59: token = after_all(id=59)
  ne.153: bits[1] = ne(NB_A, literal.127, id=153)
  ne.152: bits[1] = ne(NB_B, literal.127, id=152)
  sub.139: bits[32] = sub(msb__1, sel.136, id=139, pos=[(0,233,19)])
  literal.140: bits[32] = literal(value=1, id=140, pos=[(0,233,31)])
  assert_137: token = assert(after_all.59, ne.153, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/fixed_point.x:225:12-225:68", label="__fixed_point__aligned_width_0___itok__fixed_point__aligned_width_0_width_will_yield_nonsensical_results", id=144)
  assert_138: token = assert(after_all.59, ne.152, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/fixed_point.x:226:12-226:68", label="__fixed_point__aligned_width_0___itok__fixed_point__aligned_width_0_width_will_yield_nonsensical_results", id=145)
  ret num_bits__1: bits[32] = add(sub.139, literal.140, id=142, pos=[(0,233,19)])
}