llvm-project
6f68daa4 - [InstCombine] Recognize non-negative subtraction patterns (#182597)

Commit

34 days ago

[InstCombine] Recognize non-negative subtraction patterns (#182597) Alive2 proofs: smin pattern: https://alive2.llvm.org/ce/z/-E2Tpc

References

Author

user1342234

Parents