[llvm] r281756 - auto-generate checks
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 16 10:54:52 PDT 2016
Author: spatel
Date: Fri Sep 16 12:54:52 2016
New Revision: 281756
URL: http://llvm.org/viewvc/llvm-project?rev=281756&view=rev
Log:
auto-generate checks
Modified:
llvm/trunk/test/Analysis/ValueTracking/knownzero-shift.ll
Modified: llvm/trunk/test/Analysis/ValueTracking/knownzero-shift.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ValueTracking/knownzero-shift.ll?rev=281756&r1=281755&r2=281756&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ValueTracking/knownzero-shift.ll (original)
+++ llvm/trunk/test/Analysis/ValueTracking/knownzero-shift.ll Fri Sep 16 12:54:52 2016
@@ -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
}
More information about the llvm-commits
mailing list