test/CodeGen/X86/segmented-stacks.ll

   1 ; RUN: llc < %s -mtriple=i686-linux -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X32
   2 ; RUN: llc < %s -mtriple=x86_64-linux  -segmented-stacks -verify-machineinstrs | FileCheck %s -check-prefix=X64
   3
   4 ; Just to prevent the alloca from being optimized away
   5 declare void @dummy_use(i32*, i32)
   6
   7 define i32 @test_basic(i32 %l) {
   8         %mem = alloca i32, i32 %l
   9         call void @dummy_use (i32* %mem, i32 %l)
  10         %terminate = icmp eq i32 %l, 0
  11         br i1 %terminate, label %true, label %false
  12
  13 true:
  14         ret i32 0
  15
  16 false:
  17         %newlen = sub i32 %l, 1
  18         %retvalue = call i32 @test_basic(i32 %newlen)
  19         ret i32 %retvalue
  20
  21 ; X32:      test_basic:
  22
  23 ; X32:      leal -12(%esp), %ecx
  24 ; X32-NEXT: cmpl %gs:48, %ecx
  25
  26 ; X32:      subl $8, %esp
  27 ; X32-NEXT: pushl $4
  28 ; X32-NEXT: pushl $12
  29 ; X32-NEXT: calll __morestack
  30 ; X32-NEXT: addl $8, %esp
  31 ; X32-NEXT: ret
  32
  33 ; X32:      movl %esp, %eax
  34 ; X32-NEXT: subl %ecx, %eax
  35 ; X32-NEXT: cmpl %eax, %gs:48
  36
  37 ; X32:      movl %eax, %esp
  38
  39 ; X32:      subl $12, %esp
  40 ; X32-NEXT: pushl %ecx
  41 ; X32-NEXT: calll __morestack_allocate_stack_space
  42 ; X32-NEXT: addl $16, %esp
  43
  44 ; X64:      test_basic:
  45
  46 ; X64:      leaq -24(%rsp), %r11
  47 ; X64-NEXT: cmpq %fs:112, %r11
  48
  49 ; X64:      movabsq $24, %r10
  50 ; X64-NEXT: movabsq $0, %r11
  51 ; X64-NEXT: callq __morestack
  52 ; X64-NEXT: ret
  53
  54 ; X64:      movq %rsp, %rdi
  55 ; X64-NEXT: subq %rax, %rdi
  56 ; X64-NEXT: cmpq %rdi, %fs:112
  57
  58 ; X64:      movq %rdi, %rsp
  59
  60 ; X64:      movq %rax, %rdi
  61 ; X64-NEXT: callq __morestack_allocate_stack_space
  62 ; X64-NEXT: movq %rax, %rdi
  63
  64 }
  65
  66 define i32 @test_nested(i32 * nest %closure, i32 %other) {
  67        %addend = load i32 * %closure
  68        %result = add i32 %other, %addend
  69        ret i32 %result
  70
  71 ; X32:      leal (%esp), %edx
  72 ; X32-NEXT: cmpl %gs:48, %edx
  73
  74
  75 ; X32:      subl $8, %esp
  76 ; X32-NEXT: pushl $4
  77 ; X32-NEXT: pushl $0
  78 ; X32-NEXT: calll __morestack
  79 ; X32-NEXT: addl $8, %esp
  80 ; X32-NEXT: ret
  81
  82 ; X64:      leaq (%rsp), %r11
  83 ; X64-NEXT: cmpq %fs:112, %r11
  84
  85 ; X64:      movq %r10, %rax
  86 ; X64-NEXT: movabsq $0, %r10
  87 ; X64-NEXT: movabsq $0, %r11
  88 ; X64-NEXT: callq __morestack
  89 ; X64-NEXT: ret
  90 ; X64-NEXT: movq %rax, %r10
  91
  92 }