Namespaces | |
| namespace | detail |
Typedefs | |
| using | InferRangeFn |
| Function that performs inference on an array of ConstantIntRanges, abstracted away here to permit writing the function that handles both 64- and 32-bit index types. | |
| using | InferIntegerValueRangeFn |
| Function that performs inferrence on an array of IntegerValueRange. | |
| using | InferRangeWithOvfFlagsFn |
| Function that performs inference on an array of ConstantIntRanges while taking special overflow behavior into account. | |
Enumerations | |
| enum class | CmpMode : uint32_t { Both , Signed , Unsigned } |
| enum class | OverflowFlags : uint32_t { None = 0 , Nsw = 1 , Nuw = 2 } |
| enum class | CmpPredicate : uint64_t { eq , ne , slt , sle , sgt , sge , ult , ule , ugt , uge } |
| Copy of the enum from arith and index to allow the common integer range infrastructure to not depend on either dialect. More... | |
Variables | |
| static constexpr unsigned | indexMinWidth = 32 |
| static constexpr unsigned | indexMaxWidth = 64 |
Typedef Documentation
◆ InferIntegerValueRangeFn
Function that performs inferrence on an array of IntegerValueRange.
Definition at line 34 of file InferIntRangeCommon.h.
◆ InferRangeFn
Function that performs inference on an array of ConstantIntRanges, abstracted away here to permit writing the function that handles both 64- and 32-bit index types.
Definition at line 30 of file InferIntRangeCommon.h.
◆ InferRangeWithOvfFlagsFn
Function that performs inference on an array of ConstantIntRanges while taking special overflow behavior into account.
Definition at line 51 of file InferIntRangeCommon.h.
Enumeration Type Documentation
◆ CmpMode
|
strong |
| Enumerator | |
|---|---|
| Both | |
| Signed | |
| Unsigned | |
Definition at line 40 of file InferIntRangeCommon.h.
◆ CmpPredicate
|
strong |
Copy of the enum from arith and index to allow the common integer range infrastructure to not depend on either dialect.
| Enumerator | |
|---|---|
| eq | |
| ne | |
| slt | |
| sle | |
| sgt | |
| sge | |
| ult | |
| ule | |
| ugt | |
| uge | |
Definition at line 129 of file InferIntRangeCommon.h.
◆ OverflowFlags
|
strong |
| Enumerator | |
|---|---|
| None | |
| Nsw | |
| Nuw | |
Definition at line 42 of file InferIntRangeCommon.h.
Function Documentation
◆ evaluatePred()
| std::optional< bool > mlir::intrange::evaluatePred | ( | CmpPredicate | pred, |
| const ConstantIntRanges & | lhs, | ||
| const ConstantIntRanges & | rhs ) |
Returns a boolean value if pred is statically true or false for anypossible inputs falling within lhs and rhs, and std::nullopt if the value of the predicate cannot be determined.
Definition at line 725 of file InferIntRangeCommon.cpp.
References invertPredicate(), and isStaticallyTrue().
Referenced by foldCmpOfMaxOrMin().
◆ extRange()
| ConstantIntRanges mlir::intrange::extRange | ( | const ConstantIntRanges & | range, |
| unsigned | destWidth ) |
Independently zero-extend the unsigned values and sign-extend the signed values in range to destWidth bits, returning the resulting range.
Referenced by inferIndexCast(), and inferIndexOp().
◆ extSIRange()
| ConstantIntRanges mlir::intrange::extSIRange | ( | const ConstantIntRanges & | range, |
| unsigned | destWidth ) |
Use the signed values in range to sign-extend it to destWidth.
Definition at line 139 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromSigned(), mlir::ConstantIntRanges::smax(), and mlir::ConstantIntRanges::smin().
Referenced by makeLikeDest().
◆ extUIRange()
| ConstantIntRanges mlir::intrange::extUIRange | ( | const ConstantIntRanges & | range, |
| unsigned | destWidth ) |
Use the unsigned values in range to zero-extend it to destWidth.
Definition at line 132 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromUnsigned(), mlir::ConstantIntRanges::umax(), and mlir::ConstantIntRanges::umin().
Referenced by makeLikeDest().
◆ inferAdd()
| ConstantIntRanges mlir::intrange::inferAdd | ( | ArrayRef< ConstantIntRanges > | argRanges, |
| OverflowFlags | ovfFlags = OverflowFlags::None ) |
Definition at line 187 of file InferIntRangeCommon.cpp.
References b, computeBoundsBy(), mlir::ConstantIntRanges::intersection(), Nsw, Nuw, and result.
Referenced by inferAffineExpr().
◆ inferAffineExpr()
| ConstantIntRanges mlir::intrange::inferAffineExpr | ( | AffineExpr | expr, |
| ArrayRef< ConstantIntRanges > | dimRanges, | ||
| ArrayRef< ConstantIntRanges > | symbolRanges ) |
Infer the integer range for an affine expression given ranges for its dimensions and symbols.
Definition at line 792 of file InferIntRangeCommon.cpp.
References mlir::Add, mlir::CeilDiv, clampToPositive(), mlir::Constant, mlir::ConstantIntRanges::constant(), mlir::DimId, mlir::FloorDiv, mlir::ConstantIntRanges::fromUnsigned(), mlir::AffineExpr::getKind(), indexMaxWidth, inferAdd(), inferAffineExpr(), inferCeilDivS(), inferFloorDivS(), inferMul(), mlir::ConstantIntRanges::maxRange(), mlir::Mod, mlir::Mul, Nsw, and mlir::SymbolId.
Referenced by inferAffineExpr().
◆ inferAnd()
| ConstantIntRanges mlir::intrange::inferAnd | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 549 of file InferIntRangeCommon.cpp.
References b, minMaxBy(), and widenBitwiseBounds().
◆ inferCeilDivS()
| ConstantIntRanges mlir::intrange::inferCeilDivS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 370 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromSigned(), inferDivSRange(), and result.
Referenced by inferAffineExpr().
◆ inferCeilDivU()
| ConstantIntRanges mlir::intrange::inferCeilDivU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 322 of file InferIntRangeCommon.cpp.
References inferDivURange(), and result.
◆ inferDivS()
| ConstantIntRanges mlir::intrange::inferDivS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 363 of file InferIntRangeCommon.cpp.
References inferDivSRange(), and result.
◆ inferDivU()
| ConstantIntRanges mlir::intrange::inferDivU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 315 of file InferIntRangeCommon.cpp.
References inferDivURange(), and result.
◆ inferFloorDivS()
| ConstantIntRanges mlir::intrange::inferFloorDivS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 404 of file InferIntRangeCommon.cpp.
References inferDivSRange(), and result.
Referenced by inferAffineExpr().
◆ inferIndexOp()
| ConstantIntRanges mlir::intrange::inferIndexOp | ( | const InferRangeFn & | inferFn, |
| ArrayRef< ConstantIntRanges > | argRanges, | ||
| intrange::CmpMode | mode ) |
Compute inferFn on ranges, whose size should be the index storage bitwidth.
Then, compute the function on argRanges again after truncating the ranges to 32 bits. Finally, if the truncation of the 64-bit result is equal to the 32-bit result, use it (to preserve compatibility with folders and inference precision), and take the union of the results otherwise.
The mode argument specifies if the unsigned, signed, or both results of the inference computation should be used when comparing the results.
Definition at line 85 of file InferIntRangeCommon.cpp.
References Both, extRange(), indexMaxWidth, indexMinWidth, mlir::ConstantIntRanges::rangeUnion(), Signed, mlir::ConstantIntRanges::smax(), mlir::ConstantIntRanges::smin(), truncRange(), mlir::ConstantIntRanges::umax(), mlir::ConstantIntRanges::umin(), and Unsigned.
◆ inferMaxS()
| ConstantIntRanges mlir::intrange::inferMaxS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 495 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromSigned().
◆ inferMaxU()
| ConstantIntRanges mlir::intrange::inferMaxU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 504 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromUnsigned().
◆ inferMinS()
| ConstantIntRanges mlir::intrange::inferMinS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 513 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromSigned().
◆ inferMinU()
| ConstantIntRanges mlir::intrange::inferMinU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 522 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromUnsigned().
◆ inferMul()
| ConstantIntRanges mlir::intrange::inferMul | ( | ArrayRef< ConstantIntRanges > | argRanges, |
| OverflowFlags | ovfFlags = OverflowFlags::None ) |
Definition at line 252 of file InferIntRangeCommon.cpp.
References b, mlir::ConstantIntRanges::intersection(), minMaxBy(), Nsw, Nuw, and result.
Referenced by inferAffineExpr().
◆ inferOr()
| ConstantIntRanges mlir::intrange::inferOr | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 561 of file InferIntRangeCommon.cpp.
References b, minMaxBy(), and widenBitwiseBounds().
◆ inferRemS()
| ConstantIntRanges mlir::intrange::inferRemS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 425 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromSigned(), and ult.
◆ inferRemU()
| ConstantIntRanges mlir::intrange::inferRemU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 464 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromUnsigned(), and ult.
◆ inferShapedDimOpInterface()
| ConstantIntRanges mlir::intrange::inferShapedDimOpInterface | ( | ShapedDimOpInterface | op, |
| const IntegerValueRange & | maybeDim ) |
Returns the integer range for the result of a ShapedDimOpInterface given the optional inferred ranges for the dimension index maybeDim.
When a dynamic dimension is encountered, returns [0, signed_max(type(result))].
Definition at line 740 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::constant(), mlir::ConstantIntRanges::fromSigned(), mlir::ConstantIntRanges::getStorageBitwidth(), mlir::IntegerValueRange::getValue(), mlir::IntegerValueRange::isUninitialized(), result, mlir::ConstantIntRanges::smax(), and mlir::ConstantIntRanges::smin().
◆ inferShl()
| ConstantIntRanges mlir::intrange::inferShl | ( | ArrayRef< ConstantIntRanges > | argRanges, |
| OverflowFlags | ovfFlags = OverflowFlags::None ) |
Definition at line 599 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::intersection(), minMaxBy(), Nsw, Nuw, and result.
◆ inferShrS()
| ConstantIntRanges mlir::intrange::inferShrS | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 633 of file InferIntRangeCommon.cpp.
References minMaxBy().
◆ inferShrU()
| ConstantIntRanges mlir::intrange::inferShrU | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 645 of file InferIntRangeCommon.cpp.
References minMaxBy().
◆ inferSub()
| ConstantIntRanges mlir::intrange::inferSub | ( | ArrayRef< ConstantIntRanges > | argRanges, |
| OverflowFlags | ovfFlags = OverflowFlags::None ) |
Definition at line 220 of file InferIntRangeCommon.cpp.
References b, computeBoundsBy(), mlir::ConstantIntRanges::intersection(), Nsw, Nuw, and result.
◆ inferXor()
| ConstantIntRanges mlir::intrange::inferXor | ( | ArrayRef< ConstantIntRanges > | argRanges | ) |
Definition at line 583 of file InferIntRangeCommon.cpp.
References mlir::ConstantIntRanges::fromUnsigned(), getVaryingBitsMask(), max(), and min().
◆ truncRange()
| ConstantIntRanges mlir::intrange::truncRange | ( | const ConstantIntRanges & | range, |
| unsigned | destWidth ) |
Truncate range to destWidth bits, taking care to handle cases such as the truncation of [255, 256] to i8 not being a uniform range.
References None.
Referenced by inferIndexOp(), and makeLikeDest().
Variable Documentation
◆ indexMaxWidth
|
staticconstexpr |
Definition at line 38 of file InferIntRangeCommon.h.
Referenced by inferAffineExpr(), and inferIndexOp().
◆ indexMinWidth
|
staticconstexpr |
Definition at line 37 of file InferIntRangeCommon.h.
Referenced by inferIndexCast(), and inferIndexOp().
Generated on for MLIR by
1.14.0