test/CodeGen/X86/segmented-stacks.ll

   1 ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32-Linux
   2 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux  -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux
   3 ; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32-Darwin
   4 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64-Darwin
   5 ; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32-MinGW
   6 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64-FreeBSD
   7
   8 ; We used to crash with filetype=obj
   9 ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -segmented-stacks -filetype=obj
  10 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -segmented-stacks -filetype=obj
  11 ; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -segmented-stacks -filetype=obj
  12 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -segmented-stacks -filetype=obj
  13 ; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -segmented-stacks -filetype=obj
  14 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -segmented-stacks -filetype=obj
  15
  16 ; RUN: not llc < %s -mcpu=generic -mtriple=x86_64-solaris -segmented-stacks 2> %t.log
  17 ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-Solaris
  18 ; RUN: not llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -segmented-stacks 2> %t.log
  19 ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-MinGW
  20 ; RUN: not llc < %s -mcpu=generic -mtriple=i686-freebsd -segmented-stacks 2> %t.log
  21 ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X32-FreeBSD
  22
  23 ; X64-Solaris: Segmented stacks not supported on this platform
  24 ; X64-MinGW: Segmented stacks not supported on this platform
  25 ; X32-FreeBSD: Segmented stacks not supported on FreeBSD i386
  26
  27 ; Just to prevent the alloca from being optimized away
  28 declare void @dummy_use(i32*, i32)
  29
  30 define void @test_basic() {
  31         %mem = alloca i32, i32 10
  32         call void @dummy_use (i32* %mem, i32 10)
  33         ret void
  34
  35 ; X32-Linux:       test_basic:
  36
  37 ; X32-Linux:       cmpl %gs:48, %esp
  38 ; X32-Linux-NEXT:  ja      .LBB0_2
  39
  40 ; X32-Linux:       pushl $0
  41 ; X32-Linux-NEXT:  pushl $60
  42 ; X32-Linux-NEXT:  calll __morestack
  43 ; X32-Linux-NEXT:  ret
  44
  45 ; X64-Linux:       test_basic:
  46
  47 ; X64-Linux:       cmpq %fs:112, %rsp
  48 ; X64-Linux-NEXT:  ja      .LBB0_2
  49
  50 ; X64-Linux:       movabsq $40, %r10
  51 ; X64-Linux-NEXT:  movabsq $0, %r11
  52 ; X64-Linux-NEXT:  callq __morestack
  53 ; X64-Linux-NEXT:  ret
  54
  55 ; X32-Darwin:      test_basic:
  56
  57 ; X32-Darwin:      movl $432, %ecx
  58 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %esp
  59 ; X32-Darwin-NEXT: ja      LBB0_2
  60
  61 ; X32-Darwin:      pushl $0
  62 ; X32-Darwin-NEXT: pushl $60
  63 ; X32-Darwin-NEXT: calll ___morestack
  64 ; X32-Darwin-NEXT: ret
  65
  66 ; X64-Darwin:      test_basic:
  67
  68 ; X64-Darwin:      cmpq %gs:816, %rsp
  69 ; X64-Darwin-NEXT: ja      LBB0_2
  70
  71 ; X64-Darwin:      movabsq $40, %r10
  72 ; X64-Darwin-NEXT: movabsq $0, %r11
  73 ; X64-Darwin-NEXT: callq ___morestack
  74 ; X64-Darwin-NEXT: ret
  75
  76 ; X32-MinGW:       test_basic:
  77
  78 ; X32-MinGW:       cmpl %fs:20, %esp
  79 ; X32-MinGW-NEXT:  ja      LBB0_2
  80
  81 ; X32-MinGW:       pushl $0
  82 ; X32-MinGW-NEXT:  pushl $48
  83 ; X32-MinGW-NEXT:  calll ___morestack
  84 ; X32-MinGW-NEXT:  ret
  85
  86 ; X64-FreeBSD:       test_basic:
  87
  88 ; X64-FreeBSD:       cmpq %fs:24, %rsp
  89 ; X64-FreeBSD-NEXT:  ja      .LBB0_2
  90
  91 ; X64-FreeBSD:       movabsq $40, %r10
  92 ; X64-FreeBSD-NEXT:  movabsq $0, %r11
  93 ; X64-FreeBSD-NEXT:  callq __morestack
  94 ; X64-FreeBSD-NEXT:  ret
  95
  96 }
  97
  98 define i32 @test_nested(i32 * nest %closure, i32 %other) {
  99        %addend = load i32 * %closure
 100        %result = add i32 %other, %addend
 101        ret i32 %result
 102
 103 ; X32-Linux:       cmpl %gs:48, %esp
 104 ; X32-Linux-NEXT:  ja      .LBB1_2
 105
 106 ; X32-Linux:       pushl $4
 107 ; X32-Linux-NEXT:  pushl $0
 108 ; X32-Linux-NEXT:  calll __morestack
 109 ; X32-Linux-NEXT:  ret
 110
 111 ; X64-Linux:       cmpq %fs:112, %rsp
 112 ; X64-Linux-NEXT:  ja      .LBB1_2
 113
 114 ; X64-Linux:       movq %r10, %rax
 115 ; X64-Linux-NEXT:  movabsq $0, %r10
 116 ; X64-Linux-NEXT:  movabsq $0, %r11
 117 ; X64-Linux-NEXT:  callq __morestack
 118 ; X64-Linux-NEXT:  ret
 119 ; X64-Linux-NEXT:  movq %rax, %r10
 120
 121 ; X32-Darwin:      movl $432, %edx
 122 ; X32-Darwin-NEXT: cmpl %gs:(%edx), %esp
 123 ; X32-Darwin-NEXT: ja      LBB1_2
 124
 125 ; X32-Darwin:      pushl $4
 126 ; X32-Darwin-NEXT: pushl $0
 127 ; X32-Darwin-NEXT: calll ___morestack
 128 ; X32-Darwin-NEXT: ret
 129
 130 ; X64-Darwin:      cmpq %gs:816, %rsp
 131 ; X64-Darwin-NEXT: ja      LBB1_2
 132
 133 ; X64-Darwin:      movq %r10, %rax
 134 ; X64-Darwin-NEXT: movabsq $0, %r10
 135 ; X64-Darwin-NEXT: movabsq $0, %r11
 136 ; X64-Darwin-NEXT: callq ___morestack
 137 ; X64-Darwin-NEXT: ret
 138 ; X64-Darwin-NEXT: movq %rax, %r10
 139
 140 ; X32-MinGW:       cmpl %fs:20, %esp
 141 ; X32-MinGW-NEXT:  ja      LBB1_2
 142
 143 ; X32-MinGW:       pushl $4
 144 ; X32-MinGW-NEXT:  pushl $0
 145 ; X32-MinGW-NEXT:  calll ___morestack
 146 ; X32-MinGW-NEXT:  ret
 147
 148 ; X64-FreeBSD:       cmpq %fs:24, %rsp
 149 ; X64-FreeBSD-NEXT:  ja      .LBB1_2
 150
 151 ; X64-FreeBSD:       movq %r10, %rax
 152 ; X64-FreeBSD-NEXT:  movabsq $0, %r10
 153 ; X64-FreeBSD-NEXT:  movabsq $0, %r11
 154 ; X64-FreeBSD-NEXT:  callq __morestack
 155 ; X64-FreeBSD-NEXT:  ret
 156 ; X64-FreeBSD-NEXT:  movq %rax, %r10
 157
 158 }
 159
 160 define void @test_large() {
 161         %mem = alloca i32, i32 10000
 162         call void @dummy_use (i32* %mem, i32 0)
 163         ret void
 164
 165 ; X32-Linux:       leal -40012(%esp), %ecx
 166 ; X32-Linux-NEXT:  cmpl %gs:48, %ecx
 167 ; X32-Linux-NEXT:  ja      .LBB2_2
 168
 169 ; X32-Linux:       pushl $0
 170 ; X32-Linux-NEXT:  pushl $40012
 171 ; X32-Linux-NEXT:  calll __morestack
 172 ; X32-Linux-NEXT:  ret
 173
 174 ; X64-Linux:       leaq -40008(%rsp), %r11
 175 ; X64-Linux-NEXT:  cmpq %fs:112, %r11
 176 ; X64-Linux-NEXT:  ja      .LBB2_2
 177
 178 ; X64-Linux:       movabsq $40008, %r10
 179 ; X64-Linux-NEXT:  movabsq $0, %r11
 180 ; X64-Linux-NEXT:  callq __morestack
 181 ; X64-Linux-NEXT:  ret
 182
 183 ; X32-Darwin:      leal -40012(%esp), %ecx
 184 ; X32-Darwin-NEXT: movl $432, %eax
 185 ; X32-Darwin-NEXT: cmpl %gs:(%eax), %ecx
 186 ; X32-Darwin-NEXT: ja      LBB2_2
 187
 188 ; X32-Darwin:      pushl $0
 189 ; X32-Darwin-NEXT: pushl $40012
 190 ; X32-Darwin-NEXT: calll ___morestack
 191 ; X32-Darwin-NEXT: ret
 192
 193 ; X64-Darwin:      leaq -40008(%rsp), %r11
 194 ; X64-Darwin-NEXT: cmpq %gs:816, %r11
 195 ; X64-Darwin-NEXT: ja      LBB2_2
 196
 197 ; X64-Darwin:      movabsq $40008, %r10
 198 ; X64-Darwin-NEXT: movabsq $0, %r11
 199 ; X64-Darwin-NEXT: callq ___morestack
 200 ; X64-Darwin-NEXT: ret
 201
 202 ; X32-MinGW:       leal -40008(%esp), %ecx
 203 ; X32-MinGW-NEXT:  cmpl %fs:20, %ecx
 204 ; X32-MinGW-NEXT:  ja      LBB2_2
 205
 206 ; X32-MinGW:       pushl $0
 207 ; X32-MinGW-NEXT:  pushl $40008
 208 ; X32-MinGW-NEXT:  calll ___morestack
 209 ; X32-MinGW-NEXT:  ret
 210
 211 ; X64-FreeBSD:       leaq -40008(%rsp), %r11
 212 ; X64-FreeBSD-NEXT:  cmpq %fs:24, %r11
 213 ; X64-FreeBSD-NEXT:  ja      .LBB2_2
 214
 215 ; X64-FreeBSD:       movabsq $40008, %r10
 216 ; X64-FreeBSD-NEXT:  movabsq $0, %r11
 217 ; X64-FreeBSD-NEXT:  callq __morestack
 218 ; X64-FreeBSD-NEXT:  ret
 219
 220 }
 221
 222 define fastcc void @test_fastcc() {
 223         %mem = alloca i32, i32 10
 224         call void @dummy_use (i32* %mem, i32 10)
 225         ret void
 226
 227 ; X32-Linux:       test_fastcc:
 228
 229 ; X32-Linux:       cmpl %gs:48, %esp
 230 ; X32-Linux-NEXT:  ja      .LBB3_2
 231
 232 ; X32-Linux:       pushl $0
 233 ; X32-Linux-NEXT:  pushl $60
 234 ; X32-Linux-NEXT:  calll __morestack
 235 ; X32-Linux-NEXT:  ret
 236
 237 ; X64-Linux:       test_fastcc:
 238
 239 ; X64-Linux:       cmpq %fs:112, %rsp
 240 ; X64-Linux-NEXT:  ja      .LBB3_2
 241
 242 ; X64-Linux:       movabsq $40, %r10
 243 ; X64-Linux-NEXT:  movabsq $0, %r11
 244 ; X64-Linux-NEXT:  callq __morestack
 245 ; X64-Linux-NEXT:  ret
 246
 247 ; X32-Darwin:      test_fastcc:
 248
 249 ; X32-Darwin:      movl $432, %eax
 250 ; X32-Darwin-NEXT: cmpl %gs:(%eax), %esp
 251 ; X32-Darwin-NEXT: ja      LBB3_2
 252
 253 ; X32-Darwin:      pushl $0
 254 ; X32-Darwin-NEXT: pushl $60
 255 ; X32-Darwin-NEXT: calll ___morestack
 256 ; X32-Darwin-NEXT: ret
 257
 258 ; X64-Darwin:      test_fastcc:
 259
 260 ; X64-Darwin:      cmpq %gs:816, %rsp
 261 ; X64-Darwin-NEXT: ja      LBB3_2
 262
 263 ; X64-Darwin:      movabsq $40, %r10
 264 ; X64-Darwin-NEXT: movabsq $0, %r11
 265 ; X64-Darwin-NEXT: callq ___morestack
 266 ; X64-Darwin-NEXT: ret
 267
 268 ; X32-MinGW:       test_fastcc:
 269
 270 ; X32-MinGW:       cmpl %fs:20, %esp
 271 ; X32-MinGW-NEXT:  ja      LBB3_2
 272
 273 ; X32-MinGW:       pushl $0
 274 ; X32-MinGW-NEXT:  pushl $48
 275 ; X32-MinGW-NEXT:  calll ___morestack
 276 ; X32-MinGW-NEXT:  ret
 277
 278 ; X64-FreeBSD:       test_fastcc:
 279
 280 ; X64-FreeBSD:       cmpq %fs:24, %rsp
 281 ; X64-FreeBSD-NEXT:  ja      .LBB3_2
 282
 283 ; X64-FreeBSD:       movabsq $40, %r10
 284 ; X64-FreeBSD-NEXT:  movabsq $0, %r11
 285 ; X64-FreeBSD-NEXT:  callq __morestack
 286 ; X64-FreeBSD-NEXT:  ret
 287
 288 }
 289
 290 define fastcc void @test_fastcc_large() {
 291         %mem = alloca i32, i32 10000
 292         call void @dummy_use (i32* %mem, i32 0)
 293         ret void
 294
 295 ; X32-Linux:       test_fastcc_large:
 296
 297 ; X32-Linux:       leal -40012(%esp), %eax
 298 ; X32-Linux-NEXT:  cmpl %gs:48, %eax
 299 ; X32-Linux-NEXT:  ja      .LBB4_2
 300
 301 ; X32-Linux:       pushl $0
 302 ; X32-Linux-NEXT:  pushl $40012
 303 ; X32-Linux-NEXT:  calll __morestack
 304 ; X32-Linux-NEXT:  ret
 305
 306 ; X64-Linux:       test_fastcc_large:
 307
 308 ; X64-Linux:       leaq -40008(%rsp), %r11
 309 ; X64-Linux-NEXT:  cmpq %fs:112, %r11
 310 ; X64-Linux-NEXT:  ja      .LBB4_2
 311
 312 ; X64-Linux:       movabsq $40008, %r10
 313 ; X64-Linux-NEXT:  movabsq $0, %r11
 314 ; X64-Linux-NEXT:  callq __morestack
 315 ; X64-Linux-NEXT:  ret
 316
 317 ; X32-Darwin:      test_fastcc_large:
 318
 319 ; X32-Darwin:      leal -40012(%esp), %eax
 320 ; X32-Darwin-NEXT: movl $432, %ecx
 321 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax
 322 ; X32-Darwin-NEXT: ja      LBB4_2
 323
 324 ; X32-Darwin:      pushl $0
 325 ; X32-Darwin-NEXT: pushl $40012
 326 ; X32-Darwin-NEXT: calll ___morestack
 327 ; X32-Darwin-NEXT: ret
 328
 329 ; X64-Darwin:      test_fastcc_large:
 330
 331 ; X64-Darwin:      leaq -40008(%rsp), %r11
 332 ; X64-Darwin-NEXT: cmpq %gs:816, %r11
 333 ; X64-Darwin-NEXT: ja      LBB4_2
 334
 335 ; X64-Darwin:      movabsq $40008, %r10
 336 ; X64-Darwin-NEXT: movabsq $0, %r11
 337 ; X64-Darwin-NEXT: callq ___morestack
 338 ; X64-Darwin-NEXT: ret
 339
 340 ; X32-MinGW:       test_fastcc_large:
 341
 342 ; X32-MinGW:       leal -40008(%esp), %eax
 343 ; X32-MinGW-NEXT:  cmpl %fs:20, %eax
 344 ; X32-MinGW-NEXT:  ja      LBB4_2
 345
 346 ; X32-MinGW:       pushl $0
 347 ; X32-MinGW-NEXT:  pushl $40008
 348 ; X32-MinGW-NEXT:  calll ___morestack
 349 ; X32-MinGW-NEXT:  ret
 350
 351 ; X64-FreeBSD:       test_fastcc_large:
 352
 353 ; X64-FreeBSD:       leaq -40008(%rsp), %r11
 354 ; X64-FreeBSD-NEXT:  cmpq %fs:24, %r11
 355 ; X64-FreeBSD-NEXT:  ja      .LBB4_2
 356
 357 ; X64-FreeBSD:       movabsq $40008, %r10
 358 ; X64-FreeBSD-NEXT:  movabsq $0, %r11
 359 ; X64-FreeBSD-NEXT:  callq __morestack
 360 ; X64-FreeBSD-NEXT:  ret
 361
 362 }
 363
 364 define fastcc void @test_fastcc_large_with_ecx_arg(i32 %a) {
 365         %mem = alloca i32, i32 10000
 366         call void @dummy_use (i32* %mem, i32 %a)
 367         ret void
 368
 369 ; This is testing that the Mac implementation preserves ecx
 370
 371 ; X32-Darwin:      test_fastcc_large_with_ecx_arg:
 372
 373 ; X32-Darwin:      leal -40012(%esp), %eax
 374 ; X32-Darwin-NEXT: pushl %ecx
 375 ; X32-Darwin-NEXT: movl $432, %ecx
 376 ; X32-Darwin-NEXT: cmpl %gs:(%ecx), %eax
 377 ; X32-Darwin-NEXT: popl %ecx
 378 ; X32-Darwin-NEXT: ja      LBB5_2
 379
 380 ; X32-Darwin:      pushl $0
 381 ; X32-Darwin-NEXT: pushl $40012
 382 ; X32-Darwin-NEXT: calll ___morestack
 383 ; X32-Darwin-NEXT: ret
 384
 385 }