diff options
Diffstat (limited to 'test/Transforms/Inline/debug-invoke.ll')
-rw-r--r-- | test/Transforms/Inline/debug-invoke.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Transforms/Inline/debug-invoke.ll b/test/Transforms/Inline/debug-invoke.ll new file mode 100644 index 0000000..41d6074 --- /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} |