Add a test showing the problem in r228939.
[oota-llvm.git] / test / CodeGen / X86 / global-sections.ll
1 ; RUN: llc < %s -mtriple=i386-unknown-linux-gnu | FileCheck %s -check-prefix=LINUX
2 ; RUN: llc < %s -mtriple=i386-apple-darwin9.7 | FileCheck %s -check-prefix=DARWIN
3 ; RUN: llc < %s -mtriple=i386-apple-darwin10 -relocation-model=static | FileCheck %s -check-prefix=DARWIN-STATIC
4 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 | FileCheck %s -check-prefix=DARWIN64
5 ; RUN: llc < %s -mtriple=i386-unknown-linux-gnu -data-sections -function-sections | FileCheck %s -check-prefix=LINUX-SECTIONS
6 ; RUN: llc < %s -mtriple=i686-pc-win32 -data-sections -function-sections | FileCheck %s -check-prefix=WIN32-SECTIONS
7
8 define void @F1() {
9   ret void
10 }
11
12 ; WIN32-SECTIONS: .section        .text,"xr",one_only,_F1
13 ; WIN32-SECTIONS: .globl _F1
14
15 define void @F2(i32 %y) {
16 bb0:
17 switch i32 %y, label %bb5 [
18     i32 1, label %bb1
19     i32 2, label %bb2
20     i32 3, label %bb3
21     i32 4, label %bb4
22   ]
23 bb1:
24   ret void
25 bb2:
26   ret void
27 bb3:
28   ret void
29 bb4:
30   ret void
31 bb5:
32   ret void
33 }
34
35 ; LINUX:     .size   F2,
36 ; LINUX-NEX: .cfi_endproc
37 ; LINUX-NEX: .section        .rodata,"a",@progbits
38
39 ; LINUX-SECTIONS: .section        .text.F2,"ax",@progbits
40 ; LINUX-SECTIONS: .size   F2,
41 ; LINUX-SECTIONS-NEXT: .cfi_endproc
42 ; LINUX-SECTIONS-NEXT: .section        .rodata.F2,"a",@progbits
43
44 declare void @G()
45
46 define void @F3(i32 %y) {
47 bb0:
48   invoke void @G()
49           to label %bb2 unwind label %bb1
50 bb1:
51   landingpad { i8*, i32 } personality i8* bitcast (void ()* @G to i8*)
52           catch i8* null
53   br label %bb2
54 bb2:
55
56 switch i32 %y, label %bb7 [
57     i32 1, label %bb3
58     i32 2, label %bb4
59     i32 3, label %bb5
60     i32 4, label %bb6
61   ]
62 bb3:
63   ret void
64 bb4:
65   ret void
66 bb5:
67   ret void
68 bb6:
69   ret void
70 bb7:
71   ret void
72 }
73
74 ; DARWIN64: _F3:
75 ; DARWIN64: .cfi_endproc
76 ; DARWIN64-NEXT: Leh_func_end
77 ; DARWIN64-NEXT: .section        __TEXT,__gcc_except_tab
78 ; DARWIN64-NOT: .section
79 ; DARWIN64: .section        __TEXT,__text,regular,pure_instructions
80 ; DARWIN64-NOT: .section
81 ; DARWIN64: LJTI{{.*}}:
82
83 ; int G1;
84 @G1 = common global i32 0
85
86 ; LINUX: .type   G1,@object
87 ; LINUX: .comm  G1,4,4
88
89 ; DARWIN: .comm _G1,4,2
90
91
92
93
94 ; const int G2 __attribute__((weak)) = 42;
95 @G2 = weak_odr unnamed_addr constant i32 42     
96
97
98 ; TODO: linux drops this into .rodata, we drop it into ".gnu.linkonce.r.G2"
99
100 ; DARWIN: .section __TEXT,__const_coal,coalesced
101 ; DARWIN: _G2:
102 ; DARWIN:    .long 42
103
104
105 ; int * const G3 = &G1;
106 @G3 = unnamed_addr constant i32* @G1
107
108 ; DARWIN: .section        __DATA,__const
109 ; DARWIN: .globl _G3
110 ; DARWIN: _G3:
111 ; DARWIN:     .long _G1
112
113 ; LINUX:   .section        .rodata,"a",@progbits
114 ; LINUX:   .globl  G3
115
116 ; LINUX-SECTIONS: .section        .rodata.G3,"a",@progbits
117 ; LINUX-SECTIONS: .globl  G3
118
119 ; WIN32-SECTIONS: .section        .rdata,"dr",one_only,_G3
120 ; WIN32-SECTIONS: .globl  _G3
121
122
123 ; _Complex long long const G4 = 34;
124 @G4 = private unnamed_addr constant {i64,i64} { i64 34, i64 0 }
125
126 ; DARWIN: .section        __TEXT,__literal16,16byte_literals
127 ; DARWIN: L_G4:
128 ; DARWIN:     .long 34
129
130 ; DARWIN-STATIC: .section        __TEXT,__literal16,16byte_literals
131 ; DARWIN-STATIC: L_G4:
132 ; DARWIN-STATIC:     .long 34
133
134 ; DARWIN64: .section        __TEXT,__literal16,16byte_literals
135 ; DARWIN64: L_G4:
136 ; DARWIN64:     .quad 34
137
138 ; int G5 = 47;
139 @G5 = global i32 47
140
141 ; LINUX: .data
142 ; LINUX: .globl G5
143 ; LINUX: G5:
144 ; LINUX:    .long 47
145
146 ; DARWIN: .section        __DATA,__data
147 ; DARWIN: .globl _G5
148 ; DARWIN: _G5:
149 ; DARWIN:    .long 47
150
151
152 ; PR4584
153 @"foo bar" = linkonce global i32 42
154
155 ; LINUX: .type  "foo bar",@object
156 ; LINUX: .weak  "foo bar"
157 ; LINUX: "foo bar":
158
159 ; DARWIN: .section              __DATA,__datacoal_nt,coalesced
160 ; DARWIN: .globl        "_foo bar"
161 ; DARWIN:       .weak_definition "_foo bar"
162 ; DARWIN: "_foo bar":
163
164 ; PR4650
165 @G6 = weak_odr unnamed_addr constant [1 x i8] c"\01"
166
167 ; LINUX:   .type        G6,@object
168 ; LINUX:   .weak        G6
169 ; LINUX: G6:
170 ; LINUX:   .byte        1
171 ; LINUX:   .size        G6, 1
172
173 ; DARWIN:  .section __TEXT,__const_coal,coalesced
174 ; DARWIN:  .globl _G6
175 ; DARWIN:  .weak_definition _G6
176 ; DARWIN:_G6:
177 ; DARWIN:  .byte 1
178
179
180 @G7 = unnamed_addr constant [10 x i8] c"abcdefghi\00"
181
182 ; DARWIN:       __TEXT,__cstring,cstring_literals
183 ; DARWIN:       .globl _G7
184 ; DARWIN: _G7:
185 ; DARWIN:       .asciz  "abcdefghi"
186
187 ; LINUX:        .section        .rodata.str1.1,"aMS",@progbits,1
188 ; LINUX:        .globl G7
189 ; LINUX: G7:
190 ; LINUX:        .asciz  "abcdefghi"
191
192 ; LINUX-SECTIONS: .section        .rodata.str1.1,"aMS",@progbits,1
193 ; LINUX-SECTIONS:       .globl G7
194
195 ; WIN32-SECTIONS: .section        .rdata,"dr",one_only,_G7
196 ; WIN32-SECTIONS:       .globl _G7
197
198
199 @G8 = unnamed_addr constant [4 x i16] [ i16 1, i16 2, i16 3, i16 0 ]
200
201 ; DARWIN:       .section        __TEXT,__const
202 ; DARWIN:       .globl _G8
203 ; DARWIN: _G8:
204
205 ; LINUX:        .section        .rodata.str2.2,"aMS",@progbits,2
206 ; LINUX:        .globl G8
207 ; LINUX:G8:
208
209 @G9 = unnamed_addr constant [4 x i32] [ i32 1, i32 2, i32 3, i32 0 ]
210
211 ; DARWIN:       .globl _G9
212 ; DARWIN: _G9:
213
214 ; LINUX:        .section        .rodata.str4.4,"aMS",@progbits,4
215 ; LINUX:        .globl G9
216 ; LINUX:G9
217
218
219 @G10 = weak global [100 x i32] zeroinitializer, align 32 ; <[100 x i32]*> [#uses=0]
220
221
222 ; DARWIN:       .section        __DATA,__datacoal_nt,coalesced
223 ; DARWIN: .globl _G10
224 ; DARWIN:       .weak_definition _G10
225 ; DARWIN:       .align  5
226 ; DARWIN: _G10:
227 ; DARWIN:       .space  400
228
229 ; LINUX:        .bss
230 ; LINUX:        .weak   G10
231 ; LINUX:        .align  32
232 ; LINUX: G10:
233 ; LINUX:        .zero   400
234
235
236
237 ;; Zero sized objects should round up to 1 byte in zerofill directives.
238 ; rdar://7886017
239 @G11 = global [0 x i32] zeroinitializer
240 @G12 = global {} zeroinitializer
241 @G13 = global { [0 x {}] } zeroinitializer
242
243 ; DARWIN: .globl _G11
244 ; DARWIN: .zerofill __DATA,__common,_G11,1,2
245 ; DARWIN: .globl _G12
246 ; DARWIN: .zerofill __DATA,__common,_G12,1,3
247 ; DARWIN: .globl _G13
248 ; DARWIN: .zerofill __DATA,__common,_G13,1,3
249
250 @G14 = private unnamed_addr constant [4 x i8] c"foo\00", align 1
251
252 ; LINUX-SECTIONS:        .type   .LG14,@object           # @G14
253 ; LINUX-SECTIONS:        .section        .rodata.str1.1,"aMS",@progbits,1
254 ; LINUX-SECTIONS: .LG14:
255 ; LINUX-SECTIONS:        .asciz  "foo"
256 ; LINUX-SECTIONS:        .size   .LG14, 4
257
258 ; WIN32-SECTIONS:        .section        .rdata,"dr"
259 ; WIN32-SECTIONS: L_G14:
260 ; WIN32-SECTIONS:        .asciz  "foo"
261
262 ; cannot be merged on MachO, but can on other formats.
263 @G15 = unnamed_addr constant i64 0
264
265 ; LINUX: .section        .rodata.cst8,"aM",@progbits,8
266 ; LINUX: G15:
267
268 ; DARWIN: .section      __TEXT,__const
269 ; DARWIN: _G15:
270
271 ; DARWIN-STATIC: .section       __TEXT,__const
272 ; DARWIN-STATIC: _G15:
273
274 ; DARWIN64: .section       __TEXT,__const
275 ; DARWIN64: _G15:
276
277 ; LINUX-SECTIONS: .section      .rodata.cst8,"aM",@progbits,8
278 ; LINUX-SECTIONS: G15:
279
280 ; WIN32-SECTIONS: .section      .rdata,"dr",one_only,_G15
281 ; WIN32-SECTIONS: _G15: