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-NEXT: .section        __TEXT,__gcc_except_tab
  90 ; DARWIN64-NOT: .section
  91 ; DARWIN64: .section        __TEXT,__text,regular,pure_instructions
  92 ; DARWIN64-NOT: .section
  93 ; DARWIN64: LJTI{{.*}}:
  94
  95 ; int G1;
  96 @G1 = common global i32 0
  97
  98 ; LINUX: .type   G1,@object
  99 ; LINUX: .comm  G1,4,4
 100
 101 ; DARWIN: .comm _G1,4,2
 102
 103
 104
 105
 106 ; const int G2 __attribute__((weak)) = 42;
 107 @G2 = weak_odr unnamed_addr constant i32 42
 108
 109
 110 ; TODO: linux drops this into .rodata, we drop it into ".gnu.linkonce.r.G2"
 111
 112 ; DARWIN: .section __TEXT,__const_coal,coalesced
 113 ; DARWIN: _G2:
 114 ; DARWIN:    .long 42
 115
 116
 117 ; int * const G3 = &G1;
 118 @G3 = unnamed_addr constant i32* @G1
 119
 120 ; DARWIN: .section        __DATA,__const
 121 ; DARWIN: .globl _G3
 122 ; DARWIN: _G3:
 123 ; DARWIN:     .long _G1
 124
 125 ; LINUX:   .section        .rodata,"a",@progbits
 126 ; LINUX:   .globl  G3
 127
 128 ; LINUX-SECTIONS: .section        .rodata.G3,"a",@progbits
 129 ; LINUX-SECTIONS: .globl  G3
 130
 131 ; WIN32-SECTIONS: .section        .rdata,"dr",one_only,_G3
 132 ; WIN32-SECTIONS: .globl  _G3
 133
 134
 135 ; _Complex long long const G4 = 34;
 136 @G4 = private unnamed_addr constant {i64,i64} { i64 34, i64 0 }
 137
 138 ; DARWIN: .section        __TEXT,__literal16,16byte_literals
 139 ; DARWIN: L_G4:
 140 ; DARWIN:     .long 34
 141
 142 ; DARWIN-STATIC: .section        __TEXT,__literal16,16byte_literals
 143 ; DARWIN-STATIC: L_G4:
 144 ; DARWIN-STATIC:     .long 34
 145
 146 ; DARWIN64: .section        __TEXT,__literal16,16byte_literals
 147 ; DARWIN64: L_G4:
 148 ; DARWIN64:     .quad 34
 149
 150 ; int G5 = 47;
 151 @G5 = global i32 47
 152
 153 ; LINUX: .data
 154 ; LINUX: .globl G5
 155 ; LINUX: G5:
 156 ; LINUX:    .long 47
 157
 158 ; DARWIN: .section        __DATA,__data
 159 ; DARWIN: .globl _G5
 160 ; DARWIN: _G5:
 161 ; DARWIN:    .long 47
 162
 163
 164 ; PR4584
 165 @"foo bar" = linkonce global i32 42
 166
 167 ; LINUX: .type  "foo bar",@object
 168 ; LINUX: .weak  "foo bar"
 169 ; LINUX: "foo bar":
 170
 171 ; DARWIN: .section              __DATA,__datacoal_nt,coalesced
 172 ; DARWIN: .globl        "_foo bar"
 173 ; DARWIN:       .weak_definition "_foo bar"
 174 ; DARWIN: "_foo bar":
 175
 176 ; PR4650
 177 @G6 = weak_odr unnamed_addr constant [1 x i8] c"\01"
 178
 179 ; LINUX:   .type        G6,@object
 180 ; LINUX:   .weak        G6
 181 ; LINUX: G6:
 182 ; LINUX:   .byte        1
 183 ; LINUX:   .size        G6, 1
 184
 185 ; DARWIN:  .section __TEXT,__const_coal,coalesced
 186 ; DARWIN:  .globl _G6
 187 ; DARWIN:  .weak_definition _G6
 188 ; DARWIN:_G6:
 189 ; DARWIN:  .byte 1
 190
 191
 192 @G7 = unnamed_addr constant [10 x i8] c"abcdefghi\00"
 193
 194 ; DARWIN:       __TEXT,__cstring,cstring_literals
 195 ; DARWIN:       .globl _G7
 196 ; DARWIN: _G7:
 197 ; DARWIN:       .asciz  "abcdefghi"
 198
 199 ; LINUX:        .section        .rodata.str1.1,"aMS",@progbits,1
 200 ; LINUX:        .globl G7
 201 ; LINUX: G7:
 202 ; LINUX:        .asciz  "abcdefghi"
 203
 204 ; LINUX-SECTIONS: .section        .rodata.str1.1,"aMS",@progbits,1
 205 ; LINUX-SECTIONS:       .globl G7
 206
 207 ; WIN32-SECTIONS: .section        .rdata,"dr",one_only,_G7
 208 ; WIN32-SECTIONS:       .globl _G7
 209
 210
 211 @G8 = unnamed_addr constant [4 x i16] [ i16 1, i16 2, i16 3, i16 0 ]
 212
 213 ; DARWIN:       .section        __TEXT,__const
 214 ; DARWIN:       .globl _G8
 215 ; DARWIN: _G8:
 216
 217 ; LINUX:        .section        .rodata.str2.2,"aMS",@progbits,2
 218 ; LINUX:        .globl G8
 219 ; LINUX:G8:
 220
 221 @G9 = unnamed_addr constant [4 x i32] [ i32 1, i32 2, i32 3, i32 0 ]
 222
 223 ; DARWIN:       .globl _G9
 224 ; DARWIN: _G9:
 225
 226 ; LINUX:        .section        .rodata.str4.4,"aMS",@progbits,4
 227 ; LINUX:        .globl G9
 228 ; LINUX:G9
 229
 230
 231 @G10 = weak global [100 x i32] zeroinitializer, align 32 ; <[100 x i32]*> [#uses=0]
 232
 233
 234 ; DARWIN:       .section        __DATA,__datacoal_nt,coalesced
 235 ; DARWIN: .globl _G10
 236 ; DARWIN:       .weak_definition _G10
 237 ; DARWIN:       .align  5
 238 ; DARWIN: _G10:
 239 ; DARWIN:       .space  400
 240
 241 ; LINUX:        .bss
 242 ; LINUX:        .weak   G10
 243 ; LINUX:        .align  32
 244 ; LINUX: G10:
 245 ; LINUX:        .zero   400
 246
 247
 248
 249 ;; Zero sized objects should round up to 1 byte in zerofill directives.
 250 ; rdar://7886017
 251 @G11 = global [0 x i32] zeroinitializer
 252 @G12 = global {} zeroinitializer
 253 @G13 = global { [0 x {}] } zeroinitializer
 254
 255 ; DARWIN: .globl _G11
 256 ; DARWIN: .zerofill __DATA,__common,_G11,1,2
 257 ; DARWIN: .globl _G12
 258 ; DARWIN: .zerofill __DATA,__common,_G12,1,3
 259 ; DARWIN: .globl _G13
 260 ; DARWIN: .zerofill __DATA,__common,_G13,1,3
 261
 262 @G14 = private unnamed_addr constant [4 x i8] c"foo\00", align 1
 263
 264 ; LINUX-SECTIONS:        .type   .LG14,@object           # @G14
 265 ; LINUX-SECTIONS:        .section        .rodata.str1.1,"aMS",@progbits,1
 266 ; LINUX-SECTIONS: .LG14:
 267 ; LINUX-SECTIONS:        .asciz  "foo"
 268 ; LINUX-SECTIONS:        .size   .LG14, 4
 269
 270 ; WIN32-SECTIONS:        .section        .rdata,"dr"
 271 ; WIN32-SECTIONS: L_G14:
 272 ; WIN32-SECTIONS:        .asciz  "foo"
 273
 274 ; cannot be merged on MachO, but can on other formats.
 275 @G15 = unnamed_addr constant i64 0
 276
 277 ; LINUX: .section        .rodata.cst8,"aM",@progbits,8
 278 ; LINUX: G15:
 279
 280 ; DARWIN: .section      __TEXT,__const
 281 ; DARWIN: _G15:
 282
 283 ; DARWIN-STATIC: .section       __TEXT,__const
 284 ; DARWIN-STATIC: _G15:
 285
 286 ; DARWIN64: .section       __TEXT,__const
 287 ; DARWIN64: _G15:
 288
 289 ; LINUX-SECTIONS: .section      .rodata.cst8,"aM",@progbits,8
 290 ; LINUX-SECTIONS: G15:
 291
 292 ; WIN32-SECTIONS: .section      .rdata,"dr",one_only,_G15
 293 ; WIN32-SECTIONS: _G15: