[mlir][arith] Fold `andi x, not(x)` to zero
A bitwise and with the bitwise negate of itself is always 0, regardless of the integer type. This patch adds detection of such a pattern in `arith.andi`s `fold` method. Differential Revision: https://reviews.llvm.org/D131860
Loading
Please sign in to comment