From 2d82aa7af7a45ba84dba1d185b9ebc2cf5a28027 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Fri, 16 Dec 2016 16:58:54 +0000
Subject: [InstCombine] auto-generate checks; NFC

llvm-svn: 289959
---
 llvm/test/Transforms/InstCombine/call_nonnull_arg.ll | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'llvm/test/Transforms/InstCombine/call_nonnull_arg.ll')

diff --git a/llvm/test/Transforms/InstCombine/call_nonnull_arg.ll b/llvm/test/Transforms/InstCombine/call_nonnull_arg.ll
index b10411f622b..58cf3bcb756 100644
--- a/llvm/test/Transforms/InstCombine/call_nonnull_arg.ll
+++ b/llvm/test/Transforms/InstCombine/call_nonnull_arg.ll
@@ -1,11 +1,23 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instcombine -S | FileCheck %s
 
 ; InstCombine should mark null-checked argument as nonnull at callsite
 declare void @dummy(i32*, i32)
 
 define void @test(i32* %a, i32 %b) {
-; CHECK-LABEL: @test
-; CHECK: call void @dummy(i32* nonnull %a, i32 %b)
+; CHECK-LABEL: @test(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[COND1:%.*]] = icmp eq i32* %a, null
+; CHECK-NEXT:    br i1 [[COND1]], label %dead, label %not_null
+; CHECK:       not_null:
+; CHECK-NEXT:    [[COND2:%.*]] = icmp eq i32 %b, 0
+; CHECK-NEXT:    br i1 [[COND2]], label %dead, label %not_zero
+; CHECK:       not_zero:
+; CHECK-NEXT:    call void @dummy(i32* nonnull %a, i32 %b)
+; CHECK-NEXT:    ret void
+; CHECK:       dead:
+; CHECK-NEXT:    unreachable
+;
 entry:
   %cond1 = icmp eq i32* %a, null
   br i1 %cond1, label %dead, label %not_null
@@ -18,3 +30,4 @@ not_zero:
 dead:
   unreachable
 }
+
-- 
cgit v1.2.3