diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2024-06-05 11:57:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-05 11:57:55 +0100 |
| commit | 54b20cbb95fec00ebc0cc83c8d7ca885294c1016 (patch) | |
| tree | d573dfb39a89c1094994b741a33a28aae0c02eb9 /llvm/tools/llvm-cov/SourceCoverageViewHTML.cpp | |
| parent | 9b2a349991a87b2d9d576b0b1f63f357870449b1 (diff) | |
| download | llvm-54b20cbb95fec00ebc0cc83c8d7ca885294c1016.zip llvm-54b20cbb95fec00ebc0cc83c8d7ca885294c1016.tar.gz llvm-54b20cbb95fec00ebc0cc83c8d7ca885294c1016.tar.bz2 | |
[DAG] computeKnownBits - abds(x, y) will be zero in the upper bits if x and y are sign-extended (#94448)
As reported on #94442 - if x and y have more than one signbit, then the upper bits of its absolute value are guaranteed to be zero
Sibling PR to #94382
Alive2: https://alive2.llvm.org/ce/z/7_z2Vc
Fixes #94442
Diffstat (limited to 'llvm/tools/llvm-cov/SourceCoverageViewHTML.cpp')
0 files changed, 0 insertions, 0 deletions