llvm-project
324e27e8
- [ValueTracking] Infer NonEqual from dominating conditions/assumptions (#117442)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
230 days ago
[ValueTracking] Infer NonEqual from dominating conditions/assumptions (#117442) This patch adds context-sensitive analysis support for `isKnownNonEqual`. It is required for https://github.com/llvm/llvm-project/issues/117436.
References
#117442 - [ValueTracking] Infer NonEqual from dominating conditions/assumptions
Author
dtcxzyw
Parents
085bdb1e
Loading