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__num_bits_overlapping(NB_A: bits[32] id=22, BE_A: bits[32] id=23, NB_B: bits[32] id=24, BE_B: bits[32] id=25) -> bits[32] {
  literal.47: bits[1] = literal(value=0, id=47, pos=[(0,212,45)])
  concat.48: bits[33] = concat(literal.47, NB_A, id=48, pos=[(0,212,45)])
  lsb_a: bits[33] = sign_ext(BE_A, new_bit_count=33, id=49, pos=[(0,212,45)])
  concat.54: bits[33] = concat(literal.47, NB_B, id=54, pos=[(0,213,45)])
  lsb_b: bits[33] = sign_ext(BE_B, new_bit_count=33, id=55, pos=[(0,213,45)])
  add.50: bits[33] = add(concat.48, lsb_a, id=50, pos=[(0,193,60), (0,212,45)])
  literal.51: bits[33] = literal(value=8589934591, id=51, pos=[(0,193,60), (0,212,45)])
  add.56: bits[33] = add(concat.54, lsb_b, id=56, pos=[(0,193,60), (0,213,45)])
  msb_a: bits[33] = add(add.50, literal.51, id=52, pos=[(0,193,60), (0,212,45)])
  msb_b: bits[33] = add(add.56, literal.51, id=58, pos=[(0,193,60), (0,213,45)])
  sgt.67: bits[1] = sgt(BE_A, BE_B, id=67, pos=[(1,93,71), (0,216,51)])
  slt.59: bits[1] = slt(msb_a, msb_b, id=59, pos=[(1,110,71), (0,216,26)])
  sel.78: bits[32] = sel(sgt.67, cases=[BE_B, BE_A], id=78, pos=[(1,93,68), (0,216,51)])
  sel.60: bits[33] = sel(slt.59, cases=[msb_b, msb_a], id=60, pos=[(1,110,68), (0,216,26)])
  sign_ext.79: bits[33] = sign_ext(sel.78, new_bit_count=33, id=79, pos=[(1,93,68), (0,216,51)])
  sub.34: bits[33] = sub(sel.60, sign_ext.79, id=34, pos=[(0,216,26)])
  literal.35: bits[33] = literal(value=1, id=35, pos=[(0,216,68)])
  overlap: bits[33] = add(sub.34, literal.35, id=36, pos=[(0,216,26)])
  literal.37: bits[33] = literal(value=0, id=37, pos=[(0,217,22)])
  sgt.63: bits[1] = sgt(overlap, literal.37, id=63, pos=[(1,93,71), (0,217,12)])
  bit_slice.69: bits[32] = bit_slice(overlap, start=0, width=32, id=69, pos=[(1,93,68), (0,217,12)])
  sign_ext.74: bits[32] = sign_ext(sgt.63, new_bit_count=32, id=74, pos=[(1,93,68), (0,217,12)])
  ret and.75: bits[32] = and(bit_slice.69, sign_ext.74, id=75, pos=[(1,93,68), (0,217,12)])
}