DebugInfo: Assert that any CU for which debug_loc lists are emitted, has at least...
[oota-llvm.git] / test / DebugInfo / typedef.ll
1 ; REQUIRES: object-emission
2
3 ; RUN: %llc_dwarf -O0 -filetype=obj < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s
4
5 ; From source:
6 ; typedef void x;
7 ; x *y;
8
9 ; Check that a typedef with no DW_AT_type is produced. The absence of a type is used to imply the 'void' type.
10
11 ; CHECK: DW_TAG_typedef
12 ; CHECK-NOT: DW_AT_type
13 ; CHECK: {{DW_TAG|NULL}}
14
15 @y = global i8* null, align 8
16
17 !llvm.dbg.cu = !{!0}
18 !llvm.module.flags = !{!8, !9}
19 !llvm.ident = !{!10}
20
21 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5.0 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !2, metadata !3, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/typedef.cpp] [DW_LANG_C_plus_plus]
22 !1 = metadata !{metadata !"typedef.cpp", metadata !"/tmp/dbginfo"}
23 !2 = metadata !{}
24 !3 = metadata !{metadata !4}
25 !4 = metadata !{i32 786484, i32 0, null, metadata !"y", metadata !"y", metadata !"", metadata !5, i32 2, metadata !6, i32 0, i32 1, i8** @y, null} ; [ DW_TAG_variable ] [y] [line 2] [def]
26 !5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [/tmp/dbginfo/typedef.cpp]
27 !6 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !7} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from x]
28 !7 = metadata !{i32 786454, metadata !1, null, metadata !"x", i32 1, i64 0, i64 0, i64 0, i32 0, null} ; [ DW_TAG_typedef ] [x] [line 1, size 0, align 0, offset 0] [from ]
29 !8 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
30 !9 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
31 !10 = metadata !{metadata !"clang version 3.5.0 "}
32