// Skips to the next bitwidth if the min and max values are out of the range
    // for the current bitwidth.
    if (min.sle(limitMin) || max.sle(limitMin) || min.sge(limitMax) ||
        max.sge(limitMax)) {
      continue;
    }

    for (mlir::APInt& val : values) {
      val = val.trunc(bw);
    }
    break;
  }
}

}  // namespace

                    rewriter.create<arith::SubIOp>(loc, output_size, one))),
            input_size);
        Value cond = rewriter.create<mlir::arith::CmpIOp>(
            loc, arith::CmpIPredicate::sge, padding_needed, zero);
        padding_needed = rewriter.create<mlir::arith::SelectOp>(
            loc, padding_needed.getType(), cond, padding_needed, zero);
        *padding_low =