llvm.org GIT mirror llvm / 55e9717
inlined function's arguments need a label to mark the start point because they are not directly attached to current function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104848 91177308-0d34-0410-b5e6-96231b3b80d8 Devang Patel 10 years ago
2 changed file(s) with 54 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
26342634 const MachineInstr *MI = II;
26352635 DebugLoc DL = MI->getDebugLoc();
26362636 if (MI->isDebugValue()) {
2637 // DBG_VALUE needs a label if the variable is local variable or
2638 // an argument whose location is changing.
26392637 assert (MI->getNumOperands() > 1 && "Invalid machine instruction!");
26402638 DIVariable DV(MI->getOperand(MI->getNumOperands() - 1).getMetadata());
26412639 if (!DV.Verify()) continue;
2640 // If DBG_VALUE is for a local variable then it needs a label.
26422641 if (DV.getTag() != dwarf::DW_TAG_arg_variable)
26432642 InsnNeedsLabel.insert(MI);
2643 // DBG_VALUE for inlined functions argument needs a label.
2644 else if (!DISubprogram(DV.getContext()).describes(MF->getFunction()))
2645 InsnNeedsLabel.insert(MI);
2646 // DBG_VALUE indicating argument location change needs a label.
26442647 else if (!ProcessedArgs.insert(DV))
26452648 InsnNeedsLabel.insert(MI);
26462649 } else {
0 ; RUN: llc < %s | FileCheck %s
1 ; Test to check separate label for inlined function argument.
2 define void @bar(double %x) nounwind {
3 entry:
4 %__x_addr.i = alloca double ; [#uses=2]
5 %retval.i = alloca i32 ; [#uses=2]
6 %0 = alloca i32 ; [#uses=2]
7 %x_addr = alloca double ; [#uses=2]
8 %"alloca point" = bitcast i32 0 to i32 ; [#uses=0]
9 call void @llvm.dbg.declare(metadata !{double* %x_addr}, metadata !0), !dbg !7
10 store double %x, double* %x_addr
11 %1 = load double* %x_addr, align 8, !dbg !8 ; [#uses=1]
12 call void @llvm.dbg.declare(metadata !{double* %__x_addr.i}, metadata !10), !dbg !15
13 store double %1, double* %__x_addr.i
14 %2 = load double* %__x_addr.i, align 8, !dbg !15 ; [#uses=1]
15 %3 = fptosi double %2 to i32, !dbg !15 ; [#uses=1]
16 store i32 %3, i32* %0, align 4, !dbg !15
17 %4 = load i32* %0, align 4, !dbg !15 ; [#uses=1]
18 store i32 %4, i32* %retval.i, align 4, !dbg !15
19 %retval1.i = load i32* %retval.i, !dbg !15 ; [#uses=0]
20 br label %return, !dbg !16
21
22 return: ; preds = %entry
23 ret void, !dbg !16
24 }
25
26 declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone
27
28 !0 = metadata !{i32 524545, metadata !1, metadata !"x", metadata !2, i32 7, metadata !6} ; [ DW_TAG_arg_variable ]
29 !1 = metadata !{i32 524334, i32 0, metadata !2, metadata !"bar", metadata !"bar", metadata !"bar", metadata !2, i32 7, metadata !4, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 false} ; [ DW_TAG_subprogram ]
30 !2 = metadata !{i32 524329, metadata !"2010-01-18-Inlined-Debug.c", metadata !"/Users/buildslave/zorg/buildbot/smooshlab/slave/build.llvm-gcc-powerpc-darwin9/llvm.src/test/FrontendC", metadata !3} ; [ DW_TAG_file_type ]
31 !3 = metadata !{i32 524305, i32 0, i32 1, metadata !"2010-01-18-Inlined-Debug.c", metadata !"/Users/buildslave/zorg/buildbot/smooshlab/slave/build.llvm-gcc-powerpc-darwin9/llvm.src/test/FrontendC", metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 true, i1 false, metadata !"", i32 0} ; [ DW_TAG_compile_unit ]
32 !4 = metadata !{i32 524309, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !5, i32 0, null} ; [ DW_TAG_subroutine_type ]
33 !5 = metadata !{null, metadata !6}
34 !6 = metadata !{i32 524324, metadata !2, metadata !"double", metadata !2, i32 0, i64 64, i64 64, i64 0, i32 0, i32 4} ; [ DW_TAG_base_type ]
35 !7 = metadata !{i32 7, i32 0, metadata !1, null}
36 !8 = metadata !{i32 8, i32 0, metadata !9, null}
37 !9 = metadata !{i32 524299, metadata !1, i32 7, i32 0} ; [ DW_TAG_lexical_block ]
38 !10 = metadata !{i32 524545, metadata !11, metadata !"__x", metadata !2, i32 5, metadata !6} ; [ DW_TAG_arg_variable ]
39 !11 = metadata !{i32 524334, i32 0, metadata !2, metadata !"foo", metadata !"foo", metadata !"foo", metadata !2, i32 5, metadata !12, i1 true, i1 true, i32 0, i32 0, null, i1 false, i1 false} ; [ DW_TAG_subprogram ]
40 !12 = metadata !{i32 524309, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !13, i32 0, null} ; [ DW_TAG_subroutine_type ]
41 !13 = metadata !{metadata !14, metadata !6}
42 !14 = metadata !{i32 524324, metadata !2, metadata !"int", metadata !2, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
43 !15 = metadata !{i32 5, i32 0, metadata !11, metadata !8}
44 !16 = metadata !{i32 9, i32 0, metadata !9, null}
45
46 ;CHECK: ##DEBUG_VALUE: bar:x
47 ;CHECK-NEXT:Ltmp1:
48 ;CHECK-NEXT ##DEBUG_VALUE: foo:__x