Re-land "[mlir] Add integer range inference analysis""
authorKrzysztof Drewniak <Krzysztof.Drewniak@amd.com>
Thu, 2 Jun 2022 21:45:52 +0000 (21:45 +0000)
committerKrzysztof Drewniak <Krzysztof.Drewniak@amd.com>
Fri, 3 Jun 2022 17:13:48 +0000 (17:13 +0000)
commit95aff23e29214543360d893f9a61df0ebd1b65d2
tree065f3d9d83071a92714cc10a338e157f927702b5
parent7e48dae5a1805303b0d546e3d060c7096a75d718
Re-land "[mlir] Add integer range inference analysis""

This reverts commit 4e5ce2056e3e85f109a074e80bdd23a10ca2bed9.

This relands commit 1350c9887dca5ba80af8e3c1e61b29d6696eb240.

Reinstates the range analysis with the build issue fixed.

Differential Revision: https://reviews.llvm.org/D126926
19 files changed:
mlir/include/mlir/Analysis/IntRangeAnalysis.h [new file with mode: 0644]
mlir/include/mlir/Interfaces/CMakeLists.txt
mlir/include/mlir/Interfaces/InferIntRangeInterface.h [new file with mode: 0644]
mlir/include/mlir/Interfaces/InferIntRangeInterface.td [new file with mode: 0644]
mlir/lib/Analysis/CMakeLists.txt
mlir/lib/Analysis/DataFlowAnalysis.cpp
mlir/lib/Analysis/IntRangeAnalysis.cpp [new file with mode: 0644]
mlir/lib/Interfaces/CMakeLists.txt
mlir/lib/Interfaces/InferIntRangeInterface.cpp [new file with mode: 0644]
mlir/test/Interfaces/InferIntRangeInterface/infer-int-range-test-ops.mlir [new file with mode: 0644]
mlir/test/lib/Dialect/Test/CMakeLists.txt
mlir/test/lib/Dialect/Test/TestDialect.cpp
mlir/test/lib/Dialect/Test/TestDialect.h
mlir/test/lib/Dialect/Test/TestOps.td
mlir/test/lib/Transforms/CMakeLists.txt
mlir/test/lib/Transforms/TestIntRangeInference.cpp [new file with mode: 0644]
mlir/tools/mlir-opt/mlir-opt.cpp
mlir/unittests/Interfaces/CMakeLists.txt
mlir/unittests/Interfaces/InferIntRangeInterfaceTest.cpp [new file with mode: 0644]