fc3f69b3584c05b21bcbf791fd88ff6c3a968131
[oota-llvm.git] / test / DebugInfo / X86 / 2011-12-16-BadStructRef.ll
1 ; RUN: llc -mtriple=x86_64-apple-macosx10.7 %s -o %t -filetype=obj
2 ; RUN: llvm-dwarfdump -debug-dump=info %t | FileCheck %s
3
4 ; CHECK: b_ref
5 ; CHECK-NOT: AT_bit_size
6
7 %struct.bar = type { %struct.baz, %struct.baz* }
8 %struct.baz = type { i32 }
9
10 define i32 @main(i32 %argc, i8** %argv) uwtable ssp {
11 entry:
12   %retval = alloca i32, align 4
13   %argc.addr = alloca i32, align 4
14   %argv.addr = alloca i8**, align 8
15   %myBar = alloca %struct.bar, align 8
16   store i32 0, i32* %retval
17   store i32 %argc, i32* %argc.addr, align 4
18   call void @llvm.dbg.declare(metadata i32* %argc.addr, metadata !49, metadata !DIExpression()), !dbg !50
19   store i8** %argv, i8*** %argv.addr, align 8
20   call void @llvm.dbg.declare(metadata i8*** %argv.addr, metadata !51, metadata !DIExpression()), !dbg !52
21   call void @llvm.dbg.declare(metadata %struct.bar* %myBar, metadata !53, metadata !DIExpression()), !dbg !55
22   call void @_ZN3barC1Ei(%struct.bar* %myBar, i32 1), !dbg !56
23   ret i32 0, !dbg !57
24 }
25
26 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
27
28 define linkonce_odr void @_ZN3barC1Ei(%struct.bar* %this, i32 %x) unnamed_addr uwtable ssp align 2 {
29 entry:
30   %this.addr = alloca %struct.bar*, align 8
31   %x.addr = alloca i32, align 4
32   store %struct.bar* %this, %struct.bar** %this.addr, align 8
33   call void @llvm.dbg.declare(metadata %struct.bar** %this.addr, metadata !58, metadata !DIExpression()), !dbg !59
34   store i32 %x, i32* %x.addr, align 4
35   call void @llvm.dbg.declare(metadata i32* %x.addr, metadata !60, metadata !DIExpression()), !dbg !61
36   %this1 = load %struct.bar*, %struct.bar** %this.addr
37   %0 = load i32, i32* %x.addr, align 4, !dbg !62
38   call void @_ZN3barC2Ei(%struct.bar* %this1, i32 %0), !dbg !62
39   ret void, !dbg !62
40 }
41
42 define linkonce_odr void @_ZN3barC2Ei(%struct.bar* %this, i32 %x) unnamed_addr uwtable ssp align 2 {
43 entry:
44   %this.addr = alloca %struct.bar*, align 8
45   %x.addr = alloca i32, align 4
46   store %struct.bar* %this, %struct.bar** %this.addr, align 8
47   call void @llvm.dbg.declare(metadata %struct.bar** %this.addr, metadata !63, metadata !DIExpression()), !dbg !64
48   store i32 %x, i32* %x.addr, align 4
49   call void @llvm.dbg.declare(metadata i32* %x.addr, metadata !65, metadata !DIExpression()), !dbg !66
50   %this1 = load %struct.bar*, %struct.bar** %this.addr
51   %b = getelementptr inbounds %struct.bar, %struct.bar* %this1, i32 0, i32 0, !dbg !67
52   %0 = load i32, i32* %x.addr, align 4, !dbg !67
53   call void @_ZN3bazC1Ei(%struct.baz* %b, i32 %0), !dbg !67
54   %1 = getelementptr inbounds %struct.bar, %struct.bar* %this1, i32 0, i32 1, !dbg !67
55   %b2 = getelementptr inbounds %struct.bar, %struct.bar* %this1, i32 0, i32 0, !dbg !67
56   store %struct.baz* %b2, %struct.baz** %1, align 8, !dbg !67
57   ret void, !dbg !68
58 }
59
60 define linkonce_odr void @_ZN3bazC1Ei(%struct.baz* %this, i32 %a) unnamed_addr uwtable ssp align 2 {
61 entry:
62   %this.addr = alloca %struct.baz*, align 8
63   %a.addr = alloca i32, align 4
64   store %struct.baz* %this, %struct.baz** %this.addr, align 8
65   call void @llvm.dbg.declare(metadata %struct.baz** %this.addr, metadata !70, metadata !DIExpression()), !dbg !71
66   store i32 %a, i32* %a.addr, align 4
67   call void @llvm.dbg.declare(metadata i32* %a.addr, metadata !72, metadata !DIExpression()), !dbg !73
68   %this1 = load %struct.baz*, %struct.baz** %this.addr
69   %0 = load i32, i32* %a.addr, align 4, !dbg !74
70   call void @_ZN3bazC2Ei(%struct.baz* %this1, i32 %0), !dbg !74
71   ret void, !dbg !74
72 }
73
74 define linkonce_odr void @_ZN3bazC2Ei(%struct.baz* %this, i32 %a) unnamed_addr nounwind uwtable ssp align 2 {
75 entry:
76   %this.addr = alloca %struct.baz*, align 8
77   %a.addr = alloca i32, align 4
78   store %struct.baz* %this, %struct.baz** %this.addr, align 8
79   call void @llvm.dbg.declare(metadata %struct.baz** %this.addr, metadata !75, metadata !DIExpression()), !dbg !76
80   store i32 %a, i32* %a.addr, align 4
81   call void @llvm.dbg.declare(metadata i32* %a.addr, metadata !77, metadata !DIExpression()), !dbg !78
82   %this1 = load %struct.baz*, %struct.baz** %this.addr
83   %h = getelementptr inbounds %struct.baz, %struct.baz* %this1, i32 0, i32 0, !dbg !79
84   %0 = load i32, i32* %a.addr, align 4, !dbg !79
85   store i32 %0, i32* %h, align 4, !dbg !79
86   ret void, !dbg !80
87 }
88
89 !llvm.dbg.cu = !{!0}
90 !llvm.module.flags = !{!83}
91
92 !0 = !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.1 (trunk 146596)", isOptimized: false, emissionKind: 0, file: !82, enums: !1, retainedTypes: !3, subprograms: !27, globals: !1, imports:  !1)
93 !1 = !{}
94 !3 = !{!5, !9}
95 !5 = !DICompositeType(tag: DW_TAG_class_type, name: "bar", line: 9, size: 128, align: 64, file: !82, elements: !7)
96 !6 = !DIFile(filename: "main.cpp", directory: "/Users/echristo/tmp/bad-struct-ref")
97 !7 = !{!8, !19, !21}
98 !8 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 11, size: 32, align: 32, file: !82, scope: !5, baseType: !9)
99 !9 = !DICompositeType(tag: DW_TAG_class_type, name: "baz", line: 3, size: 32, align: 32, file: !82, elements: !10)
100 !10 = !{!11, !13}
101 !11 = !DIDerivedType(tag: DW_TAG_member, name: "h", line: 5, size: 32, align: 32, file: !82, scope: !9, baseType: !12)
102 !12 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
103 !13 = !DISubprogram(name: "baz", line: 6, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: !9, type: !14)
104 !14 = !DISubroutineType(types: !15)
105 !15 = !{null, !16, !12}
106 !16 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial, baseType: !9)
107 !19 = !DIDerivedType(tag: DW_TAG_member, name: "b_ref", line: 12, size: 64, align: 64, offset: 64, file: !82, scope: !5, baseType: !20)
108 !20 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !9)
109 !21 = !DISubprogram(name: "bar", line: 13, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: !5, type: !22)
110 !22 = !DISubroutineType(types: !23)
111 !23 = !{null, !24, !12}
112 !24 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial, baseType: !5)
113 !27 = !{!29, !37, !40, !43, !46}
114 !29 = !DISubprogram(name: "main", line: 17, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: !6, type: !30, function: i32 (i32, i8**)* @main)
115 !30 = !DISubroutineType(types: !31)
116 !31 = !{!12, !12, !32}
117 !32 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !33)
118 !33 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !34)
119 !34 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
120 !35 = !{!36}
121 !36 = !{} ; previously: invalid DW_TAG_base_type
122 !37 = !DISubprogram(name: "bar", linkageName: "_ZN3barC1Ei", line: 13, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: null, type: !22, function: void (%struct.bar*, i32)* @_ZN3barC1Ei, declaration: !21)
123 !38 = !{!39}
124 !39 = !{} ; previously: invalid DW_TAG_base_type
125 !40 = !DISubprogram(name: "bar", linkageName: "_ZN3barC2Ei", line: 13, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: null, type: !22, function: void (%struct.bar*, i32)* @_ZN3barC2Ei, declaration: !21)
126 !41 = !{!42}
127 !42 = !{} ; previously: invalid DW_TAG_base_type
128 !43 = !DISubprogram(name: "baz", linkageName: "_ZN3bazC1Ei", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: null, type: !14, function: void (%struct.baz*, i32)* @_ZN3bazC1Ei, declaration: !13)
129 !44 = !{!45}
130 !45 = !{} ; previously: invalid DW_TAG_base_type
131 !46 = !DISubprogram(name: "baz", linkageName: "_ZN3bazC2Ei", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, file: !82, scope: null, type: !14, function: void (%struct.baz*, i32)* @_ZN3bazC2Ei, declaration: !13)
132 !49 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "argc", line: 16, arg: 1, scope: !29, file: !6, type: !12)
133 !50 = !DILocation(line: 16, column: 14, scope: !29)
134 !51 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "argv", line: 16, arg: 2, scope: !29, file: !6, type: !32)
135 !52 = !DILocation(line: 16, column: 27, scope: !29)
136 !53 = !DILocalVariable(tag: DW_TAG_auto_variable, name: "myBar", line: 18, scope: !54, file: !6, type: !5)
137 !54 = distinct !DILexicalBlock(line: 17, column: 1, file: !82, scope: !29)
138 !55 = !DILocation(line: 18, column: 9, scope: !54)
139 !56 = !DILocation(line: 18, column: 17, scope: !54)
140 !57 = !DILocation(line: 19, column: 5, scope: !54)
141 !58 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "this", line: 13, arg: 1, flags: DIFlagArtificial, scope: !37, file: !6, type: !24)
142 !59 = !DILocation(line: 13, column: 5, scope: !37)
143 !60 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "x", line: 13, arg: 2, scope: !37, file: !6, type: !12)
144 !61 = !DILocation(line: 13, column: 13, scope: !37)
145 !62 = !DILocation(line: 13, column: 34, scope: !37)
146 !63 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "this", line: 13, arg: 1, flags: DIFlagArtificial, scope: !40, file: !6, type: !24)
147 !64 = !DILocation(line: 13, column: 5, scope: !40)
148 !65 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "x", line: 13, arg: 2, scope: !40, file: !6, type: !12)
149 !66 = !DILocation(line: 13, column: 13, scope: !40)
150 !67 = !DILocation(line: 13, column: 33, scope: !40)
151 !68 = !DILocation(line: 13, column: 34, scope: !69)
152 !69 = distinct !DILexicalBlock(line: 13, column: 33, file: !82, scope: !40)
153 !70 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "this", line: 6, arg: 1, flags: DIFlagArtificial, scope: !43, file: !6, type: !16)
154 !71 = !DILocation(line: 6, column: 5, scope: !43)
155 !72 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "a", line: 6, arg: 2, scope: !43, file: !6, type: !12)
156 !73 = !DILocation(line: 6, column: 13, scope: !43)
157 !74 = !DILocation(line: 6, column: 24, scope: !43)
158 !75 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "this", line: 6, arg: 1, flags: DIFlagArtificial, scope: !46, file: !6, type: !16)
159 !76 = !DILocation(line: 6, column: 5, scope: !46)
160 !77 = !DILocalVariable(tag: DW_TAG_arg_variable, name: "a", line: 6, arg: 2, scope: !46, file: !6, type: !12)
161 !78 = !DILocation(line: 6, column: 13, scope: !46)
162 !79 = !DILocation(line: 6, column: 23, scope: !46)
163 !80 = !DILocation(line: 6, column: 24, scope: !81)
164 !81 = distinct !DILexicalBlock(line: 6, column: 23, file: !82, scope: !46)
165 !82 = !DIFile(filename: "main.cpp", directory: "/Users/echristo/tmp/bad-struct-ref")
166 !83 = !{i32 1, !"Debug Info Version", i32 3}