Arith lacks support for this fold unlike LLVM: Example: https://godbolt.org/z/1v5jGTsh1 Proof: https://alive2.llvm.org/ce/z/Wq8ALG
Arith lacks support for this fold unlike LLVM: Example: https://godbolt.org/z/1v5jGTsh1 Proof: https://alive2.llvm.org/ce/z/Wq8ALG