| /llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/IR/ |
| H A D | InferIntRangeInterfaceImpls.cpp | 92 ConstantIntRanges urange = computeBoundsBy( in inferResultRanges()
94 ConstantIntRanges srange = computeBoundsBy( in inferResultRanges()
117 ConstantIntRanges urange = computeBoundsBy( in inferResultRanges()
143 ConstantIntRanges urange = in inferResultRanges()
146 ConstantIntRanges srange = in inferResultRanges()
162 static ConstantIntRanges inferDivUIRange(const ConstantIntRanges &lhs, in inferDivUIRange()
191 static ConstantIntRanges inferDivSIRange(const ConstantIntRanges &lhs, in inferDivSIRange()
485 static ConstantIntRanges extSIRange(const ConstantIntRanges &range, in extSIRange()
503 static ConstantIntRanges truncIRange(const ConstantIntRanges &range, in truncIRange()
620 ConstantIntRanges urange = in inferResultRanges()
[all …]
|
| /llvm-project-15.0.7/mlir/lib/Interfaces/ |
| H A D | InferIntRangeInterface.cpp | 15 bool ConstantIntRanges::operator==(const ConstantIntRanges &other) const { in operator ==()
29 unsigned ConstantIntRanges::getStorageBitwidth(Type type) { in getStorageBitwidth()
38 ConstantIntRanges ConstantIntRanges::maxRange(unsigned bitwidth) { in maxRange()
42 ConstantIntRanges ConstantIntRanges::constant(const APInt &value) { in constant()
46 ConstantIntRanges ConstantIntRanges::range(const APInt &min, const APInt &max, in range()
53 ConstantIntRanges ConstantIntRanges::fromSigned(const APInt &smin, in fromSigned()
67 ConstantIntRanges ConstantIntRanges::fromUnsigned(const APInt &umin, in fromUnsigned()
81 ConstantIntRanges
82 ConstantIntRanges::rangeUnion(const ConstantIntRanges &other) const { in rangeUnion()
98 ConstantIntRanges
[all …]
|
| /llvm-project-15.0.7/mlir/unittests/Interfaces/ |
| H A D | InferIntRangeInterfaceTest.cpp | 34 ConstantIntRanges canPortToSigned = in TEST()
35 ConstantIntRanges::fromUnsigned(zero, maxInt); in TEST()
39 ConstantIntRanges cantPortToSigned = in TEST()
40 ConstantIntRanges::fromUnsigned(zero, minInt); in TEST()
44 ConstantIntRanges signedNegative = in TEST()
58 ConstantIntRanges noUnsignedBound = in TEST()
59 ConstantIntRanges::fromSigned(negOne, one); in TEST()
63 ConstantIntRanges positive = ConstantIntRanges::fromSigned(one, intMax); in TEST()
67 ConstantIntRanges negative = ConstantIntRanges::fromSigned(intMin, negOne); in TEST()
71 ConstantIntRanges preserved = ConstantIntRanges::fromSigned(zero, one); in TEST()
[all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Interfaces/ |
| H A D | InferIntRangeInterface.h | 26 class ConstantIntRanges {
30 ConstantIntRanges(const APInt &umin, const APInt &umax, const APInt &smin, in ConstantIntRanges() function
39 bool operator==(const ConstantIntRanges &other) const;
62 static ConstantIntRanges maxRange(unsigned bitwidth);
66 static ConstantIntRanges constant(const APInt &value);
71 static ConstantIntRanges range(const APInt &min, const APInt &max,
78 static ConstantIntRanges fromSigned(const APInt &smin, const APInt &smax);
87 ConstantIntRanges rangeUnion(const ConstantIntRanges &other) const;
91 ConstantIntRanges intersection(const ConstantIntRanges &other) const;
99 const ConstantIntRanges &range);
[all …]
|
| H A D | InferIntRangeInterface.td | 48 "::llvm::ArrayRef<::mlir::ConstantIntRanges>":$argRanges,
|
| /llvm-project-15.0.7/mlir/lib/Dialect/GPU/IR/ |
| H A D | InferIntRangeInterfaceImpls.cpp | 20 static ConstantIntRanges getIndexRange(uint64_t umin, uint64_t umax) { in getIndexRange()
22 return ConstantIntRanges::fromUnsigned(APInt(width, umin), in getIndexRange()
26 void BlockDimOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
31 void BlockIdOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
36 void GridDimOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
41 void ThreadIdOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
46 void LaneIdOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
51 void SubgroupIdOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
56 void GlobalIdOp::inferResultRanges(ArrayRef<ConstantIntRanges>, in inferResultRanges() argument
78 ConstantIntRanges dimRange = in inferResultRanges()
[all …]
|
| /llvm-project-15.0.7/mlir/lib/Analysis/DataFlow/ |
| H A D | IntegerRangeAnalysis.cpp | 27 unsigned width = ConstantIntRanges::getStorageBitwidth(value.getType()); in getPessimisticValueState()
78 SmallVector<ConstantIntRanges> argRanges( in visitOperation()
83 auto joinCallback = [&](Value v, const ConstantIntRanges &attrs) { in visitOperation()
120 SmallVector<ConstantIntRanges> argRanges( in visitNonControlFlowArguments()
125 auto joinCallback = [&](Value v, const ConstantIntRanges &attrs) { in visitNonControlFlowArguments()
163 unsigned int width = ConstantIntRanges::getStorageBitwidth(boundType); in visitNonControlFlowArguments()
211 auto ivRange = ConstantIntRanges::fromSigned(min, max); in visitNonControlFlowArguments()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/DataFlow/ |
| H A D | IntegerRangeAnalysis.h | 33 IntegerValueRange(ConstantIntRanges value) : value(std::move(value)) {} in IntegerValueRange()
36 const ConstantIntRanges &getValue() const { return value; } in getValue()
54 ConstantIntRanges value;
|
| /llvm-project-15.0.7/mlir/test/lib/Transforms/ |
| H A D | TestIntRangeInference.cpp | 30 const ConstantIntRanges &inferredRange = in replaceWithConstant()
|
| /llvm-project-15.0.7/mlir/test/lib/Dialect/Test/ |
| H A D | TestDialect.cpp | 1546 void TestWithBoundsOp::inferResultRanges(ArrayRef<ConstantIntRanges> argRanges, in inferResultRanges()
1577 ArrayRef<ConstantIntRanges> argRanges, SetIntRangeFn setResultRanges) { in inferResultRanges()
1582 void TestIncrementOp::inferResultRanges(ArrayRef<ConstantIntRanges> argRanges, in inferResultRanges()
1584 const ConstantIntRanges &range = argRanges[0]; in inferResultRanges()
1592 ArrayRef<ConstantIntRanges> argRanges, SetIntRangeFn setResultRanges) { in inferResultRanges()
1593 const ConstantIntRanges &range = argRanges[0]; in inferResultRanges()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/Transforms/ |
| H A D | UnsignedWhenEquivalent.cpp | 29 const ConstantIntRanges &range = result->getValue().getValue(); in staticallyNonNegative()
|