[mlir][arith] Fold `or(x, xor(x, 1))` -> `1`
authorIvan Butygin <ivan.butygin@gmail.com>
Wed, 17 May 2023 18:22:27 +0000 (20:22 +0200)
committerIvan Butygin <ivan.butygin@gmail.com>
Fri, 19 May 2023 20:31:56 +0000 (22:31 +0200)
commit5011b8896dfa63881161f7824357666e7d3af654
tree53f2cfe0296fc3b9a79e780d8157d139e2cd5fbe
parentc86a1e6903e9935b808c1406f480c769279b69fa
[mlir][arith] Fold `or(x, xor(x, 1))` -> `1`

Differential Revision: https://reviews.llvm.org/D150808
mlir/lib/Dialect/Arith/IR/ArithOps.cpp
mlir/test/Dialect/Arith/canonicalize.mlir