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