diff options
| author | Florian Hahn <flo@fhahn.com> | 2021-02-22 17:35:25 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2021-02-22 17:54:36 +0000 |
| commit | 95daec6a8497dae8fe359b8b2b363e28cb3cff23 (patch) | |
| tree | b451e69fd1739b42559524bed10d03d3ec848e89 /llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp | |
| parent | 1aeb927fedbeee328913ba085bb8860fbafaa1b1 (diff) | |
| download | llvm-95daec6a8497dae8fe359b8b2b363e28cb3cff23.zip llvm-95daec6a8497dae8fe359b8b2b363e28cb3cff23.tar.gz llvm-95daec6a8497dae8fe359b8b2b363e28cb3cff23.tar.bz2 | |
[ConstraintElimination] Use unsigned > 0 instead of != 0.
ICMP_NE predicates cannot be directly represented as constraint. But we
can use ICMP_UGT instead ICMP_NE for %x != 0.
See https://alive2.llvm.org/ce/z/XlLCsW
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp')
0 files changed, 0 insertions, 0 deletions