45 lines · plain
1; RUN: opt < %s -passes=always-inline -S | FileCheck %s2 3; Test that the debug location is preserved when rewriting an inlined call as an invoke4 5; CHECK: invoke void @test()6; CHECK-NEXT: to label {{.*}} unwind label {{.*}}, !dbg [[INL_LOC:!.*]]7; CHECK: [[SP:.*]] = distinct !DISubprogram(8; CHECK: [[INL_LOC]] = !DILocation(line: 1, scope: [[SP]], inlinedAt: [[INL_AT:.*]])9; CHECK: [[INL_AT]] = distinct !DILocation(line: 2, scope: [[SP]])10 11declare void @test()12declare i32 @__gxx_personality_v0(...)13 14attributes #0 = { alwaysinline }15define void @inl() #0 {16 call void @test(), !dbg !317 ret void18}19 20define void @caller() personality ptr @__gxx_personality_v0 {21 invoke void @inl()22 to label %cont unwind label %lpad, !dbg !423 24cont:25 ret void26 27lpad:28 landingpad { ptr, i32 }29 cleanup30 ret void31}32 33!llvm.module.flags = !{!1}34!llvm.dbg.cu = !{!5}35 36!1 = !{i32 2, !"Debug Info Version", i32 3}37!2 = distinct !DISubprogram(unit: !5)38!3 = !DILocation(line: 1, scope: !2)39!4 = !DILocation(line: 2, scope: !2)40!5 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang",41 file: !6,42 isOptimized: true, flags: "-O2",43 splitDebugFilename: "abc.debug", emissionKind: 2)44!6 = !DIFile(filename: "path/davidino", directory: "/path/to/dir")45