Avoid depending on LCSSA implicitly pulling in LoopSimplify.
[oota-llvm.git] / test / DebugInfo / 2010-04-06-NestedFnDbgInfo.ll
1 ; RUN: llvm-as < %s | llc -asm-verbose -O0 | grep AT_specification | count 2
2 ; Radar 7833483
3 ; Do not emit AT_specification for nested function foo.
4
5 %class.A = type { i8 }
6 %class.B = type { i8 }
7
8 define i32 @main() ssp {
9 entry:
10   %retval = alloca i32, align 4                   ; <i32*> [#uses=3]
11   %b = alloca %class.A, align 1                   ; <%class.A*> [#uses=1]
12   store i32 0, i32* %retval
13   call void @llvm.dbg.declare(metadata !{%class.A* %b}, metadata !0), !dbg !14
14   %call = call i32 @_ZN1B2fnEv(%class.A* %b), !dbg !15 ; <i32> [#uses=1]
15   store i32 %call, i32* %retval, !dbg !15
16   %0 = load i32* %retval, !dbg !16                ; <i32> [#uses=1]
17   ret i32 %0, !dbg !16
18 }
19
20 declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone
21
22 define linkonce_odr i32 @_ZN1B2fnEv(%class.A* %this) ssp align 2 {
23 entry:
24   %retval = alloca i32, align 4                   ; <i32*> [#uses=2]
25   %this.addr = alloca %class.A*, align 8          ; <%class.A**> [#uses=2]
26   %a = alloca %class.A, align 1                   ; <%class.A*> [#uses=1]
27   %i = alloca i32, align 4                        ; <i32*> [#uses=2]
28   store %class.A* %this, %class.A** %this.addr
29   call void @llvm.dbg.declare(metadata !{%class.A** %this.addr}, metadata !17), !dbg !18
30   %this1 = load %class.A** %this.addr             ; <%class.A*> [#uses=0]
31   call void @llvm.dbg.declare(metadata !{%class.A* %a}, metadata !19), !dbg !27
32   call void @llvm.dbg.declare(metadata !{i32* %i}, metadata !28), !dbg !29
33   %call = call i32 @_ZZN1B2fnEvEN1A3fooEv(%class.A* %a), !dbg !30 ; <i32> [#uses=1]
34   store i32 %call, i32* %i, !dbg !30
35   %tmp = load i32* %i, !dbg !31                   ; <i32> [#uses=1]
36   store i32 %tmp, i32* %retval, !dbg !31
37   %0 = load i32* %retval, !dbg !32                ; <i32> [#uses=1]
38   ret i32 %0, !dbg !32
39 }
40
41 define internal i32 @_ZZN1B2fnEvEN1A3fooEv(%class.A* %this) ssp align 2 {
42 entry:
43   %retval = alloca i32, align 4                   ; <i32*> [#uses=2]
44   %this.addr = alloca %class.A*, align 8          ; <%class.A**> [#uses=2]
45   store %class.A* %this, %class.A** %this.addr
46   call void @llvm.dbg.declare(metadata !{%class.A** %this.addr}, metadata !33), !dbg !34
47   %this1 = load %class.A** %this.addr             ; <%class.A*> [#uses=0]
48   store i32 42, i32* %retval, !dbg !35
49   %0 = load i32* %retval, !dbg !35                ; <i32> [#uses=1]
50   ret i32 %0, !dbg !35
51 }
52
53 !0 = metadata !{i32 524544, metadata !1, metadata !"b", metadata !3, i32 16, metadata !8} ; [ DW_TAG_auto_variable ]
54 !1 = metadata !{i32 524299, metadata !2, i32 15, i32 12} ; [ DW_TAG_lexical_block ]
55 !2 = metadata !{i32 524334, i32 0, metadata !3, metadata !"main", metadata !"main", metadata !"main", metadata !3, i32 15, metadata !5, i1 false, i1 true, i32 0, i32 0, null, i1 false} ; [ DW_TAG_subprogram ]
56 !3 = metadata !{i32 524329, metadata !"one.cc", metadata !"/tmp", metadata !4} ; [ DW_TAG_file_type ]
57 !4 = metadata !{i32 524305, i32 0, i32 4, metadata !"one.cc", metadata !"/tmp", metadata !"clang 1.5", i1 true, i1 false, metadata !"", i32 0} ; [ DW_TAG_compile_unit ]
58 !5 = metadata !{i32 524309, metadata !3, metadata !"", metadata !3, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !6, i32 0, null} ; [ DW_TAG_subroutine_type ]
59 !6 = metadata !{metadata !7}
60 !7 = metadata !{i32 524324, metadata !3, metadata !"int", metadata !3, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
61 !8 = metadata !{i32 524290, metadata !3, metadata !"B", metadata !3, i32 2, i64 8, i64 8, i64 0, i32 0, null, metadata !9, i32 0, null} ; [ DW_TAG_class_type ]
62 !9 = metadata !{metadata !10}
63 !10 = metadata !{i32 524334, i32 0, metadata !8, metadata !"fn", metadata !"fn", metadata !"_ZN1B2fnEv", metadata !3, i32 4, metadata !11, i1 false, i1 true, i32 0, i32 0, null, i1 false} ; [ DW_TAG_subprogram ]
64 !11 = metadata !{i32 524309, metadata !3, metadata !"", metadata !3, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !12, i32 0, null} ; [ DW_TAG_subroutine_type ]
65 !12 = metadata !{metadata !7, metadata !13}
66 !13 = metadata !{i32 524303, metadata !3, metadata !"", metadata !3, i32 0, i64 64, i64 64, i64 0, i32 64, metadata !8} ; [ DW_TAG_pointer_type ]
67 !14 = metadata !{i32 16, i32 5, metadata !1, null}
68 !15 = metadata !{i32 17, i32 3, metadata !1, null}
69 !16 = metadata !{i32 18, i32 1, metadata !2, null}
70 !17 = metadata !{i32 524545, metadata !10, metadata !"this", metadata !3, i32 4, metadata !13} ; [ DW_TAG_arg_variable ]
71 !18 = metadata !{i32 4, i32 7, metadata !10, null}
72 !19 = metadata !{i32 524544, metadata !20, metadata !"a", metadata !3, i32 9, metadata !21} ; [ DW_TAG_auto_variable ]
73 !20 = metadata !{i32 524299, metadata !10, i32 4, i32 12} ; [ DW_TAG_lexical_block ]
74 !21 = metadata !{i32 524290, metadata !10, metadata !"A", metadata !3, i32 5, i64 8, i64 8, i64 0, i32 0, null, metadata !22, i32 0, null} ; [ DW_TAG_class_type ]
75 !22 = metadata !{metadata !23}
76 !23 = metadata !{i32 524334, i32 0, metadata !21, metadata !"foo", metadata !"foo", metadata !"_ZZN1B2fnEvEN1A3fooEv", metadata !3, i32 7, metadata !24, i1 false, i1 true, i32 0, i32 0, null, i1 false} ; [ DW_TAG_subprogram ]
77 !24 = metadata !{i32 524309, metadata !3, metadata !"", metadata !3, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !25, i32 0, null} ; [ DW_TAG_subroutine_type ]
78 !25 = metadata !{metadata !7, metadata !26}
79 !26 = metadata !{i32 524303, metadata !3, metadata !"", metadata !3, i32 0, i64 64, i64 64, i64 0, i32 64, metadata !21} ; [ DW_TAG_pointer_type ]
80 !27 = metadata !{i32 9, i32 7, metadata !20, null}
81 !28 = metadata !{i32 524544, metadata !20, metadata !"i", metadata !3, i32 10, metadata !7} ; [ DW_TAG_auto_variable ]
82 !29 = metadata !{i32 10, i32 9, metadata !20, null}
83 !30 = metadata !{i32 10, i32 5, metadata !20, null}
84 !31 = metadata !{i32 11, i32 5, metadata !20, null}
85 !32 = metadata !{i32 12, i32 3, metadata !10, null}
86 !33 = metadata !{i32 524545, metadata !23, metadata !"this", metadata !3, i32 7, metadata !26} ; [ DW_TAG_arg_variable ]
87 !34 = metadata !{i32 7, i32 11, metadata !23, null}
88 !35 = metadata !{i32 7, i32 19, metadata !36, null}
89 !36 = metadata !{i32 524299, metadata !23, i32 7, i32 17} ; [ DW_TAG_lexical_block ]