diff options
| author | Antonio Frighetto <me@antoniofrighetto.com> | 2024-06-06 08:26:40 +0200 |
|---|---|---|
| committer | Antonio Frighetto <me@antoniofrighetto.com> | 2024-06-17 21:13:52 +0200 |
| commit | c22d3917b93a6d54613d2e5b2ea4c97546144c46 (patch) | |
| tree | 7ffae85640b3d3449a92ffa7a878aa2fac39381e /llvm/tools/llvm-cov/SourceCoverageViewHTML.cpp | |
| parent | c9549e10e9ea70428ada80a34d15afeaf5710b2d (diff) | |
| download | llvm-c22d3917b93a6d54613d2e5b2ea4c97546144c46.zip llvm-c22d3917b93a6d54613d2e5b2ea4c97546144c46.tar.gz llvm-c22d3917b93a6d54613d2e5b2ea4c97546144c46.tar.bz2 | |
[LVI][ConstantRange] Generalize mask not equal conditions handling
Extend `V & Mask != 0` for non-zero constants if satisfiable, when
retrieving constraint value information from a non-equality comparison.
Proof: https://alive2.llvm.org/ce/z/dc5BeT.
Motivating example: https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/vrp76.c.
Diffstat (limited to 'llvm/tools/llvm-cov/SourceCoverageViewHTML.cpp')
0 files changed, 0 insertions, 0 deletions