@@ -319,9 +319,8 @@ ConstantIntRanges
319
319
mlir::intrange::inferCeilDivU (ArrayRef<ConstantIntRanges> argRanges) {
320
320
const ConstantIntRanges &lhs = argRanges[0 ], &rhs = argRanges[1 ];
321
321
322
- DivisionFixupFn ceilDivUIFix =
323
- [](const APInt &lhs, const APInt &rhs,
324
- const APInt &result) -> std::optional<APInt> {
322
+ auto ceilDivUIFix = [](const APInt &lhs, const APInt &rhs,
323
+ const APInt &result) -> std::optional<APInt> {
325
324
if (!lhs.urem (rhs).isZero ()) {
326
325
bool overflowed = false ;
327
326
APInt corrected =
@@ -368,9 +367,8 @@ ConstantIntRanges
368
367
mlir::intrange::inferCeilDivS (ArrayRef<ConstantIntRanges> argRanges) {
369
368
const ConstantIntRanges &lhs = argRanges[0 ], &rhs = argRanges[1 ];
370
369
371
- DivisionFixupFn ceilDivSIFix =
372
- [](const APInt &lhs, const APInt &rhs,
373
- const APInt &result) -> std::optional<APInt> {
370
+ auto ceilDivSIFix = [](const APInt &lhs, const APInt &rhs,
371
+ const APInt &result) -> std::optional<APInt> {
374
372
if (!lhs.srem (rhs).isZero () && lhs.isNonNegative () == rhs.isNonNegative ()) {
375
373
bool overflowed = false ;
376
374
APInt corrected =
@@ -386,9 +384,8 @@ ConstantIntRanges
386
384
mlir::intrange::inferFloorDivS (ArrayRef<ConstantIntRanges> argRanges) {
387
385
const ConstantIntRanges &lhs = argRanges[0 ], &rhs = argRanges[1 ];
388
386
389
- DivisionFixupFn floorDivSIFix =
390
- [](const APInt &lhs, const APInt &rhs,
391
- const APInt &result) -> std::optional<APInt> {
387
+ auto floorDivSIFix = [](const APInt &lhs, const APInt &rhs,
388
+ const APInt &result) -> std::optional<APInt> {
392
389
if (!lhs.srem (rhs).isZero () && lhs.isNonNegative () != rhs.isNonNegative ()) {
393
390
bool overflowed = false ;
394
391
APInt corrected =
@@ -603,8 +600,7 @@ ConstantIntRanges
603
600
mlir::intrange::inferShrS (ArrayRef<ConstantIntRanges> argRanges) {
604
601
const ConstantIntRanges &lhs = argRanges[0 ], &rhs = argRanges[1 ];
605
602
606
- ConstArithFn ashr = [](const APInt &l,
607
- const APInt &r) -> std::optional<APInt> {
603
+ auto ashr = [](const APInt &l, const APInt &r) -> std::optional<APInt> {
608
604
return r.uge (r.getBitWidth ()) ? std::optional<APInt>() : l.ashr (r);
609
605
};
610
606
@@ -616,8 +612,7 @@ ConstantIntRanges
616
612
mlir::intrange::inferShrU (ArrayRef<ConstantIntRanges> argRanges) {
617
613
const ConstantIntRanges &lhs = argRanges[0 ], &rhs = argRanges[1 ];
618
614
619
- ConstArithFn lshr = [](const APInt &l,
620
- const APInt &r) -> std::optional<APInt> {
615
+ auto lshr = [](const APInt &l, const APInt &r) -> std::optional<APInt> {
621
616
return r.uge (r.getBitWidth ()) ? std::optional<APInt>() : l.lshr (r);
622
617
};
623
618
return minMaxBy (lshr, {lhs.umin (), lhs.umax ()}, {rhs.umin (), rhs.umax ()},
0 commit comments