[Tests] More InlineCost tests with attributes only on callsites

diff --git a/llvm/test/Transforms/Inline/nonnull.ll b/llvm/test/Transforms/Inline/nonnull.ll
index 324afbb..5f8af7f 100644 (file)
--- a/llvm/test/Transforms/Inline/nonnull.ll
+++ b/llvm/test/Transforms/Inline/nonnull.ll
@@ -72,8 +72,45 @@ define void @caller2(ptr %arg) {
   ret void
 }
 
-define void @caller3(ptr dereferenceable(8) %arg) {
+define void @caller3(ptr %arg) {
 ; CHECK-LABEL: define void @caller3
+; CHECK-SAME: (ptr [[ARG:%.*]]) {
+; CHECK-NEXT:    [[CMP_I:%.*]] = icmp eq ptr [[ARG]], null
+; CHECK-NEXT:    br i1 [[CMP_I]], label [[EXPENSIVE_I:%.*]], label [[DONE_I:%.*]]
+; CHECK:       expensive.i:
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    call void @foo()
+; CHECK-NEXT:    br label [[CALLEE_EXIT:%.*]]
+; CHECK:       done.i:
+; CHECK-NEXT:    call void @bar()
+; CHECK-NEXT:    br label [[CALLEE_EXIT]]
+; CHECK:       callee.exit:
+; CHECK-NEXT:    ret void
+;
+  call void @callee(ptr nonnull %arg)
+  ret void
+}
+
+define void @caller4(ptr dereferenceable(8) %arg) {
+; CHECK-LABEL: define void @caller4
+; CHECK-SAME: (ptr dereferenceable(8) [[ARG:%.*]]) {
+; CHECK-NEXT:    call void @callee(ptr dereferenceable(8) [[ARG]])
+; CHECK-NEXT:    ret void
+;
+  call void @callee(ptr dereferenceable(8) %arg)
+  ret void
+}
+
+define void @caller5(ptr dereferenceable(8) %arg) {
+; CHECK-LABEL: define void @caller5
 ; CHECK-SAME: (ptr dereferenceable(8) [[ARG:%.*]]) {
 ; CHECK-NEXT:    call void @callee(ptr [[ARG]])
 ; CHECK-NEXT:    ret void
@@ -82,8 +119,8 @@ define void @caller3(ptr dereferenceable(8) %arg) {
   ret void
 }
 
-define void @caller4(ptr %arg) {
-; CHECK-LABEL: define void @caller4
+define void @caller6(ptr %arg) {
+; CHECK-LABEL: define void @caller6
 ; CHECK-SAME: (ptr [[ARG:%.*]]) {
 ; CHECK-NEXT:    call void @callee(ptr dereferenceable(8) [[ARG]])
 ; CHECK-NEXT:    ret void