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