]> granicus.if.org Git - llvm/commitdiff
auto-generate checks
authorSanjay Patel <spatel@rotateright.com>
Fri, 16 Sep 2016 17:54:52 +0000 (17:54 +0000)
committerSanjay Patel <spatel@rotateright.com>
Fri, 16 Sep 2016 17:54:52 +0000 (17:54 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@281756 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/ValueTracking/knownzero-shift.ll

index 835d87a9d9c198ef9e2bd2b35ecfbda5325f8c91..2c4c1ef15af644c9f33873d6a27e74b57dae7f58 100644 (file)
@@ -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
 }