[llvm] r290797 - [InstCombine] add test to show potential nonnull attribute propagation; NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Sun Jan  1 11:18:00 2017
New Revision: 290797

URL: http://llvm.org/viewvc/llvm-project?rev=290797&view=rev
Log:
[InstCombine] add test to show potential nonnull attribute propagation; NFC

This will change with the current draft of:
https://reviews.llvm.org/D28204

Modified:
    llvm/trunk/test/Transforms/InstCombine/call_nonnull_arg.ll

Modified: llvm/trunk/test/Transforms/InstCombine/call_nonnull_arg.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/call_nonnull_arg.ll?rev=290797&r1=290796&r2=290797&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/call_nonnull_arg.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/call_nonnull_arg.ll Sun Jan  1 11:18:00 2017
@@ -31,3 +31,17 @@ dead:
   unreachable
 }
 
+declare void @bar(i8*, i8* nonnull)
+declare void @baz(i8*, i8*)
+
+define void @deduce_nonnull_from_another_call(i8* %a, i8* %b) {
+; CHECK-LABEL: @deduce_nonnull_from_another_call(
+; CHECK-NEXT:    call void @bar(i8* %a, i8* %b)
+; CHECK-NEXT:    call void @baz(i8* %b, i8* %b)
+; CHECK-NEXT:    ret void
+;
+  call void @bar(i8* %a, i8* %b)
+  call void @baz(i8* %b, i8* %b)
+  ret void
+}
+