From: Sanjay Patel Date: Fri, 16 Sep 2016 17:54:52 +0000 (+0000) Subject: auto-generate checks X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=58071c976f1387442f67752d8813396c3138140a;p=llvm auto-generate checks git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@281756 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/ValueTracking/knownzero-shift.ll b/test/Analysis/ValueTracking/knownzero-shift.ll index 835d87a9d9c..2c4c1ef15af 100644 --- a/test/Analysis/ValueTracking/knownzero-shift.ll +++ b/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 }