aboutsummaryrefslogtreecommitdiff
path: root/mlir/lib/Interfaces/InferIntRangeInterface.cpp
diff options
context:
space:
mode:
authormakslevental <maksim.levental@gmail.com>2025-08-13 14:03:28 -0400
committermakslevental <maksim.levental@gmail.com>2025-08-13 14:03:28 -0400
commit5684d14131ea902e5b83dbaf1716ac6b37fd34d7 (patch)
treed95a359a57f1747bf956d4a98bfa9593bb809025 /mlir/lib/Interfaces/InferIntRangeInterface.cpp
parent4d3feaea66f43758518d15e07a975e3492317b1c (diff)
downloadllvm-users/makslevental/revert-jeff.zip
llvm-users/makslevental/revert-jeff.tar.gz
llvm-users/makslevental/revert-jeff.tar.bz2
Revert "[mlir] IntegerRangeAnalysis: return initialized state for noninteger values (#133541)"users/makslevental/revert-jeff
This reverts commit 5252bb1d
Diffstat (limited to 'mlir/lib/Interfaces/InferIntRangeInterface.cpp')
-rw-r--r--mlir/lib/Interfaces/InferIntRangeInterface.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/mlir/lib/Interfaces/InferIntRangeInterface.cpp b/mlir/lib/Interfaces/InferIntRangeInterface.cpp
index 9f3e97d..1801e3f 100644
--- a/mlir/lib/Interfaces/InferIntRangeInterface.cpp
+++ b/mlir/lib/Interfaces/InferIntRangeInterface.cpp
@@ -134,6 +134,9 @@ raw_ostream &mlir::operator<<(raw_ostream &os, const ConstantIntRanges &range) {
IntegerValueRange IntegerValueRange::getMaxRange(Value value) {
unsigned width = ConstantIntRanges::getStorageBitwidth(value.getType());
+ if (width == 0)
+ return {};
+
APInt umin = APInt::getMinValue(width);
APInt umax = APInt::getMaxValue(width);
APInt smin = width != 0 ? APInt::getSignedMinValue(width) : umin;