diff options
| author | Huihui Zhang <huihuiz@quicinc.com> | 2019-06-25 00:14:02 +0000 |
|---|---|---|
| committer | Huihui Zhang <huihuiz@quicinc.com> | 2019-06-25 00:14:02 +0000 |
| commit | 2cc3b3856e273662bc6d7cbc12edb1441a6de5b5 (patch) | |
| tree | 792a4ce28f5e140227b081c2800781b5eaf33d73 /clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | 4626613ffe067e808994215460a1582aca4e102a (diff) | |
| download | bcm5719-llvm-2cc3b3856e273662bc6d7cbc12edb1441a6de5b5.tar.gz bcm5719-llvm-2cc3b3856e273662bc6d7cbc12edb1441a6de5b5.zip | |
[InstCombine][NFC] Add test to show missing fold for icmp ult/uge (shl %x, C2), C1.
Summary:
'shl' inequality test
```
icmp ult/uge (shl %x, C2), C1 iff C1 is power of two
```
can be simplified as 'and' equality test
```
icmp eq/ne (and %x, (lshr -C1, C2)), 0.
```
Reviewers: lebedev.ri, efriedma
Reviewed By: lebedev.ri
Subscribers: llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D63670
llvm-svn: 364256
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp')
0 files changed, 0 insertions, 0 deletions
