diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2016-09-16 17:54:52 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2016-09-16 17:54:52 +0000 |
| commit | e104a5f35aafa305f43f836c7217d4a907775606 (patch) | |
| tree | b275cee3b403a0ee5460b17031fda72be67442dd /llvm/test/Analysis/ValueTracking | |
| parent | 0417c7c3ef063e2d48c12341ae7dc9534b7640e7 (diff) | |
| download | bcm5719-llvm-e104a5f35aafa305f43f836c7217d4a907775606.tar.gz bcm5719-llvm-e104a5f35aafa305f43f836c7217d4a907775606.zip | |
auto-generate checks
llvm-svn: 281756
Diffstat (limited to 'llvm/test/Analysis/ValueTracking')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/knownzero-shift.ll | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/test/Analysis/ValueTracking/knownzero-shift.ll b/llvm/test/Analysis/ValueTracking/knownzero-shift.ll index 835d87a9d9c..2c4c1ef15af 100644 --- a/llvm/test/Analysis/ValueTracking/knownzero-shift.ll +++ b/llvm/test/Analysis/ValueTracking/knownzero-shift.ll @@ -1,13 +1,15 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -instsimplify -S < %s | FileCheck %s -; CHECK-LABEL: @test define i1 @test(i8 %p, i8* %pq) { +; CHECK-LABEL: @test( +; CHECK-NEXT: ret i1 false +; %q = load i8, i8* %pq, !range !0 ; %q is known nonzero; no known bits %1 = or i8 %p, 2 ; %1[1] = 1 %2 = and i8 %1, 254 ; %2[0] = 0, %2[1] = 1 %A = lshr i8 %2, 1 ; We should know that %A is nonzero. %x = icmp eq i8 %A, 0 - ; CHECK: ret i1 false ret i1 %x } |
