auto-generate checks

llvm-svn: 281756
This commit is contained in:
Sanjay Patel 2016-09-16 17:54:52 +00:00
parent 0417c7c3ef
commit e104a5f35a
1 changed files with 4 additions and 2 deletions

View 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
}