diff options
| author | Xinliang David Li <davidxl@google.com> | 2017-04-21 21:20:56 +0000 |
|---|---|---|
| committer | Xinliang David Li <davidxl@google.com> | 2017-04-21 21:20:56 +0000 |
| commit | 0e9f6df169fd6acd0fd08d590f458d58f3ae8c26 (patch) | |
| tree | 780fa9e0501af8502e8579eb094befb66e0027d8 /llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll | |
| parent | 04593000d871943ca37efa1ace6e63c401d633bf (diff) | |
| download | bcm5719-llvm-0e9f6df169fd6acd0fd08d590f458d58f3ae8c26.tar.gz bcm5719-llvm-0e9f6df169fd6acd0fd08d590f458d58f3ae8c26.zip | |
[PartialInliner] Partial inliner needs to check use kind before transformation
Differential Revision: https://reviews.llvm.org/D32373
llvm-svn: 301042
Diffstat (limited to 'llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll')
| -rw-r--r-- | llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll b/llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll new file mode 100644 index 00000000000..4465a0fd485 --- /dev/null +++ b/llvm/test/Transforms/CodeExtractor/PartialInlineCallRef.ll @@ -0,0 +1,56 @@ +; RUN: opt < %s -partial-inliner -S | FileCheck %s +; RUN: opt < %s -passes=partial-inliner -S | FileCheck %s + + +; Function Attrs: nounwind +declare void @foo(...) local_unnamed_addr #0 + +; Function Attrs: noinline +define i32 @caller(i32 (i32)* nocapture %arg, i32 (i32)* nocapture %arg1, i32 %arg2) local_unnamed_addr #1 { +bb: + %tmp = tail call i32 %arg(i32 %arg2) #0 + %tmp3 = tail call i32 %arg1(i32 %arg2) #0 + %tmp4 = add nsw i32 %tmp3, %tmp + ret i32 %tmp4 +} + +; Function Attrs: nounwind +define i32 @bar(i32 %arg) #0 { +bb: + %tmp = icmp slt i32 %arg, 0 + br i1 %tmp, label %bb1, label %bb2 + +bb1: ; preds = %bb + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + tail call void (...) @foo() #0 + br label %bb2 + +bb2: ; preds = %bb1, %bb + %tmp3 = phi i32 [ 0, %bb1 ], [ 1, %bb ] + ret i32 %tmp3 +} + +; Function Attrs: nounwind +define i32 @dummy_caller(i32 %arg) local_unnamed_addr #0 { +bb: +; CHECK-LABEL: @dummy_caller +; check that caller is not wrongly inlined by partial inliner +; CHECK: call i32 @caller +; CHECK-NOT: call .* @bar + %tmp = tail call i32 @caller(i32 (i32)* nonnull @bar, i32 (i32)* nonnull @bar, i32 %arg) + ret i32 %tmp +} + +attributes #0 = { nounwind } +attributes #1 = { noinline } + +!llvm.ident = !{!0} + +!0 = !{!"clang version 5.0.0 (trunk 300897) (llvm/trunk 300947)"} |
