test/CodeGen/X86/segmented-stacks.ll

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