llvm-project
db43e54c
- [ConstraintElim] Add trunc nuw support to condition checks (#209844)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 days ago
[ConstraintElim] Add trunc nuw support to condition checks (#209844) Adding support for trunc nuw %x to i1 by using the m_ICmpLike pattern in conditions the same way as icmp ne %x, 0 proof: https://alive2.llvm.org/ce/z/ZyDWZ2
References
#209844 - [ConstraintElim] Add trunc nuw support to condition checks
Author
andjo403
Parents
5fc5c2e4
Loading