DI: Require subprogram definitions to be distinct
[oota-llvm.git] / test / DebugInfo / X86 / tls.ll
1 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-unknown-linux-gnu \
2 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=SINGLE --check-prefix=SINGLE-64 --check-prefix=GNUOP %s
3
4 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=i386-linux-gnu \
5 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=SINGLE --check-prefix=SINGLE-32 --check-prefix=GNUOP %s
6
7 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-unknown-linux-gnu -split-dwarf=Enable \
8 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=FISSION --check-prefix=GNUOP %s
9
10 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-scei-ps4 \
11 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=SINGLE --check-prefix=SINGLE-64 --check-prefix=STDOP %s
12
13 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-apple-darwin \
14 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=DARWIN --check-prefix=STDOP %s
15
16 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-unknown-freebsd \
17 ; RUN:   | FileCheck --check-prefix=NOEMU --check-prefix=SINGLE --check-prefix=SINGLE-64 --check-prefix=STDOP %s
18
19 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=x86_64-unknown-linux-gnu -emulated-tls \
20 ; RUN:   | FileCheck --check-prefix=SINGLE --check-prefix=EMUSINGLE-64 \
21 ; RUN:     --check-prefix=EMUGNUOP --check-prefix=EMU %s
22
23 ; RUN: llc %s -o - -filetype=asm -O0 -mtriple=i386-linux-gnu -emulated-tls \
24 ; RUN:   | FileCheck --check-prefix=SINGLE --check-prefix=EMUSINGLE-32 \
25 ; RUN:     --check-prefix=EMUGNUOP --check-prefix=EMU %s
26
27 ; TODO: Add expected output for -emulated-tls tests.
28
29 ; FIXME: add relocation and DWARF expression support to llvm-dwarfdump & use
30 ; that here instead of raw assembly printing
31
32 ; FISSION: .section    .debug_info.dwo,
33 ; 3 bytes of data in this DW_FORM_block1 representation of the location of 'tls'
34 ; FISSION: .byte 3{{ *}}# DW_AT_location
35 ; DW_OP_GNU_const_index (0xfx == 252) to refer to the debug_addr table
36 ; FISSION-NEXT: .byte 252
37 ; an index of zero into the debug_addr table
38 ; FISSION-NEXT: .byte 0
39
40 ; SINGLE: .section     .debug_info,
41 ; DARWIN: .section     {{.*}}debug_info,
42
43 ; 10 bytes of data in this DW_FORM_block1 representation of the location of 'tls'
44 ; SINGLE-64: .byte     10 # DW_AT_location
45 ; DW_OP_const8u (0x0e == 14) of address
46 ; SINGLE-64-NEXT: .byte        14
47 ; SINGLE-64-NEXT: .quad tls@DTPOFF
48
49 ; DARWIN: .byte     10 ## DW_AT_location
50 ; DW_OP_const8u (0x0e == 14) of address
51 ; DARWIN-NEXT: .byte        14
52 ; DARWIN-NEXT: .quad _tls
53
54 ; 6 bytes of data in 32-bit mode
55 ; SINGLE-32: .byte     6 # DW_AT_location
56 ; DW_OP_const4u (0x0e == 12) of address
57 ; SINGLE-32-NEXT: .byte        12
58 ; SINGLE-32-NEXT: .long tls@DTPOFF
59
60 ; DW_OP_GNU_push_tls_address
61 ; GNUOP-NEXT: .byte 224
62 ; DW_OP_form_tls_address
63 ; STDOP-NEXT: .byte 155
64
65 ; FISSION: DW_TAG_variable
66 ; FISSION: .byte 2 # DW_AT_location
67 ; DW_OP_GNU_addr_index
68 ; FISSION-NEXT: .byte 251
69 ; FISSION-NEXT: .byte 1
70
71 ; FISSION: DW_TAG_template_value_parameter
72 ; FISSION: .byte 3 # DW_AT_location
73 ; DW_OP_GNU_addr_index
74 ; FISSION-NEXT: .byte 251
75 ; FISSION-NEXT: .byte 1
76 ; DW_OP_stack_value
77 ; FISSION-NEXT: .byte 159
78
79 ; check that the expected TLS address description is the first thing in the debug_addr section
80 ; FISSION: .section    .debug_addr
81 ; FISSION: addr_sec:
82 ; FISSION-NEXT: .quad  tls@DTPOFF
83 ; FISSION-NEXT: .quad  glbl
84 ; FISSION-NOT: .quad  glbl
85
86 ; Generated from:
87
88 ; __thread int tls;
89 ; int glbl;
90 ;
91 ; template <int *I>
92 ; int func() {
93 ;   return 0;
94 ; }
95 ;
96 ; template int func<&glbl>(); // create a second reference to 'glbl'
97
98
99 @tls = thread_local global i32 0, align 4
100 @glbl = global i32 0, align 4
101
102 ; Function Attrs: nounwind uwtable
103 define weak_odr i32 @_Z4funcIXadL_Z4glblEEEiv() #0 {
104 entry:
105   ret i32 0, !dbg !18
106 }
107
108 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
109
110 !llvm.dbg.cu = !{!0}
111 !llvm.module.flags = !{!15, !16}
112 !llvm.ident = !{!17}
113
114 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5 ", isOptimized: false, splitDebugFilename: "-.dwo", emissionKind: 0, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !12, imports: !2)
115 !1 = !DIFile(filename: "tls.cpp", directory: "/tmp/dbginfo")
116 !2 = !{}
117 !3 = !{!4}
118 !4 = distinct !DISubprogram(name: "func<&glbl>", linkageName: "_Z4funcIXadL_Z4glblEEEiv", line: 5, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 5, file: !1, scope: !5, type: !6, function: i32 ()* @_Z4funcIXadL_Z4glblEEEiv, templateParams: !9, variables: !2)
119 !5 = !DIFile(filename: "tls.cpp", directory: "/tmp/dbginfo")
120 !6 = !DISubroutineType(types: !7)
121 !7 = !{!8}
122 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
123 !9 = !{!10}
124 !10 = !DITemplateValueParameter(tag: DW_TAG_template_value_parameter, name: "I", type: !11, value: i32* @glbl)
125 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !8)
126 !12 = !{!13, !14}
127 !13 = !DIGlobalVariable(name: "tls", line: 1, isLocal: false, isDefinition: true, scope: null, file: !5, type: !8, variable: i32* @tls)
128 !14 = !DIGlobalVariable(name: "glbl", line: 2, isLocal: false, isDefinition: true, scope: null, file: !5, type: !8, variable: i32* @glbl)
129 !15 = !{i32 2, !"Dwarf Version", i32 4}
130 !16 = !{i32 1, !"Debug Info Version", i32 3}
131 !17 = !{!"clang version 3.5 "}
132 !18 = !DILocation(line: 6, scope: !4)