diff options
| author | Stephen Hines <srhines@google.com> | 2014-07-21 00:45:20 -0700 |
|---|---|---|
| committer | Stephen Hines <srhines@google.com> | 2014-07-21 00:45:20 -0700 |
| commit | c6a4f5e819217e1e12c458aed8e7b122e23a3a58 (patch) | |
| tree | 81b7dd2bb4370a392f31d332a566c903b5744764 /test/Transforms/Inline | |
| parent | 19c6fbb3e8aaf74093afa08013134b61fa08f245 (diff) | |
| download | external_llvm-c6a4f5e819217e1e12c458aed8e7b122e23a3a58.tar.gz external_llvm-c6a4f5e819217e1e12c458aed8e7b122e23a3a58.tar.bz2 external_llvm-c6a4f5e819217e1e12c458aed8e7b122e23a3a58.zip | |
Update LLVM for rebase to r212749.
Includes a cherry-pick of:
r212948 - fixes a small issue with atomic calls
Change-Id: Ib97bd980b59f18142a69506400911a6009d9df18
Diffstat (limited to 'test/Transforms/Inline')
| -rw-r--r-- | test/Transforms/Inline/blockaddress.ll | 5 | ||||
| -rw-r--r-- | test/Transforms/Inline/debug-invoke.ll | 37 | ||||
| -rw-r--r-- | test/Transforms/Inline/null-function.ll | 9 |
3 files changed, 49 insertions, 2 deletions
diff --git a/test/Transforms/Inline/blockaddress.ll b/test/Transforms/Inline/blockaddress.ll index 4206312d77..8eb3072503 100644 --- a/test/Transforms/Inline/blockaddress.ll +++ b/test/Transforms/Inline/blockaddress.ll @@ -1,8 +1,9 @@ ; RUN: opt -inline -S < %s | FileCheck %s ; PR10162 -; Make sure the blockaddress is mapped correctly when doit is inlined -; CHECK: store i8* blockaddress(@f, %here.i), i8** @ptr1, align 8 +; Make sure doit is not inlined since the blockaddress is taken +; which could be unsafe +; CHECK: store i8* blockaddress(@doit, %here), i8** %pptr, align 8 @i = global i32 1, align 4 @ptr1 = common global i8* null, align 8 diff --git a/test/Transforms/Inline/debug-invoke.ll b/test/Transforms/Inline/debug-invoke.ll new file mode 100644 index 0000000000..41d60742fd --- /dev/null +++ b/test/Transforms/Inline/debug-invoke.ll @@ -0,0 +1,37 @@ +; RUN: opt < %s -always-inline -S | FileCheck %s + +; Test that the debug location is preserved when rewriting an inlined call as an invoke + +; CHECK: invoke void @test() +; CHECK-NEXT: to label {{.*}} unwind label {{.*}}, !dbg [[INL_LOC:!.*]] +; CHECK: [[EMPTY:.*]] = metadata !{} +; CHECK: [[INL_LOC]] = metadata !{i32 1, i32 0, metadata [[EMPTY]], metadata [[INL_AT:.*]]} +; CHECK: [[INL_AT]] = metadata !{i32 2, i32 0, metadata [[EMPTY]], null} + +declare void @test() +declare i32 @__gxx_personality_v0(...) + +attributes #0 = { alwaysinline } +define void @inl() #0 { + call void @test(), !dbg !3 + ret void +} + +define void @caller() { + invoke void @inl() + to label %cont unwind label %lpad, !dbg !4 + +cont: + ret void + +lpad: + landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + cleanup + ret void +} + +!llvm.module.flags = !{!1} +!1 = metadata !{i32 2, metadata !"Debug Info Version", i32 1} +!2 = metadata !{} +!3 = metadata !{i32 1, i32 0, metadata !2, null} +!4 = metadata !{i32 2, i32 0, metadata !2, null} diff --git a/test/Transforms/Inline/null-function.ll b/test/Transforms/Inline/null-function.ll new file mode 100644 index 0000000000..2aecfa85cd --- /dev/null +++ b/test/Transforms/Inline/null-function.ll @@ -0,0 +1,9 @@ +; RUN: opt -print-before=always-inline -always-inline < %s -o /dev/null 2>&1 | FileCheck %s + +define i32 @main() #0 { +entry: + ret i32 0 +} + +; CHECK: *** IR Dump Before Inliner for always_inline functions *** +; CHECK: Printing <null> Function |