diff options
Diffstat (limited to 'llvm/test/Transforms/Inline/nonnull.ll')
| -rw-r--r-- | llvm/test/Transforms/Inline/nonnull.ll | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/llvm/test/Transforms/Inline/nonnull.ll b/llvm/test/Transforms/Inline/nonnull.ll deleted file mode 100644 index 46665466924..00000000000 --- a/llvm/test/Transforms/Inline/nonnull.ll +++ /dev/null @@ -1,46 +0,0 @@ -; RUN: opt -S -inline %s | FileCheck %s -; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s - -declare void @foo() -declare void @bar() - -define void @callee(i8* %arg) { - %cmp = icmp eq i8* %arg, null - br i1 %cmp, label %expensive, label %done - -; This block is designed to be too expensive to inline. We can only inline -; callee if this block is known to be dead. -expensive: - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - call void @foo() - ret void - -done: - call void @bar() - ret void -} - -; Positive test - arg is known non null -define void @caller(i8* nonnull %arg) { -; CHECK-LABEL: @caller -; CHECK: call void @bar() - call void @callee(i8* nonnull %arg) - ret void -} - -; Negative test - arg is not known to be non null -define void @caller2(i8* %arg) { -; CHECK-LABEL: @caller2 -; CHECK: call void @callee( - call void @callee(i8* %arg) - ret void -} - |
