[mlir][arith] Optimize arith.cmpi based on integer range analysis.
authorIvan Butygin <ivan.butygin@gmail.com>
Fri, 23 Dec 2022 15:20:20 +0000 (16:20 +0100)
committerIvan Butygin <ivan.butygin@gmail.com>
Wed, 11 Jan 2023 11:15:58 +0000 (12:15 +0100)
commit1a867bf1c7ccd4fe38ca59346f4b6268643940bb
tree1b3f3b7852ff9748219cb2ad18df71aa17ffe876
parent9e0474fbb9c56725a1dfd1658837f07db73f4d8d
[mlir][arith] Optimize arith.cmpi based on integer range analysis.

Add a pass which do arith dialect ops optimization based on integer range analysis (only cmpi for now).

Differential Revision: https://reviews.llvm.org/D140629
mlir/include/mlir/Dialect/Arith/Transforms/Passes.h
mlir/include/mlir/Dialect/Arith/Transforms/Passes.td
mlir/lib/Dialect/Arith/Transforms/CMakeLists.txt
mlir/lib/Dialect/Arith/Transforms/IntRangeOptimizations.cpp [new file with mode: 0644]
mlir/test/Dialect/Arith/int-range-opts.mlir [new file with mode: 0644]