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:      cmpl %gs:48, %esp
  24
  25 ; X32:      pushl $4
  26 ; X32-NEXT: pushl $12
  27 ; X32-NEXT: calll __morestack
  28 ; X32-NEXT: ret
  29
  30 ; X32:      movl %esp, %eax
  31 ; X32-NEXT: subl %ecx, %eax
  32 ; X32-NEXT: cmpl %eax, %gs:48
  33
  34 ; X32:      movl %eax, %esp
  35
  36 ; X32:      subl $12, %esp
  37 ; X32-NEXT: pushl %ecx
  38 ; X32-NEXT: calll __morestack_allocate_stack_space
  39 ; X32-NEXT: addl $16, %esp
  40
  41 ; X64:      test_basic:
  42
  43 ; X64:      cmpq %fs:112, %rsp
  44
  45 ; X64:      movabsq $24, %r10
  46 ; X64-NEXT: movabsq $0, %r11
  47 ; X64-NEXT: callq __morestack
  48 ; X64-NEXT: ret
  49
  50 ; X64:      movq %rsp, %rdi
  51 ; X64-NEXT: subq %rax, %rdi
  52 ; X64-NEXT: cmpq %rdi, %fs:112
  53
  54 ; X64:      movq %rdi, %rsp
  55
  56 ; X64:      movq %rax, %rdi
  57 ; X64-NEXT: callq __morestack_allocate_stack_space
  58 ; X64-NEXT: movq %rax, %rdi
  59
  60 }
  61
  62 define i32 @test_nested(i32 * nest %closure, i32 %other) {
  63        %addend = load i32 * %closure
  64        %result = add i32 %other, %addend
  65        ret i32 %result
  66
  67 ; X32:      cmpl %gs:48, %esp
  68
  69 ; X32:      pushl $4
  70 ; X32-NEXT: pushl $0
  71 ; X32-NEXT: calll __morestack
  72 ; X32-NEXT: ret
  73
  74 ; X64:      cmpq %fs:112, %rsp
  75
  76 ; X64:      movq %r10, %rax
  77 ; X64-NEXT: movabsq $0, %r10
  78 ; X64-NEXT: movabsq $0, %r11
  79 ; X64-NEXT: callq __morestack
  80 ; X64-NEXT: ret
  81 ; X64-NEXT: movq %rax, %r10
  82
  83 }
  84
  85 define void @test_large() {
  86         %mem = alloca i32, i32 10000
  87         call void @dummy_use (i32* %mem, i32 0)
  88         ret void
  89
  90 ; X32:      leal -40012(%esp), %ecx
  91 ; X32-NEXT: cmpl %gs:48, %ecx
  92
  93 ; X32:      pushl $0
  94 ; X32-NEXT: pushl $40012
  95 ; X32-NEXT: calll __morestack
  96 ; X32-NEXT: ret
  97
  98 ; X64:      leaq -40008(%rsp), %r11
  99 ; X64-NEXT: cmpq %fs:112, %r11
 100
 101 ; X64:      movabsq $40008, %r10
 102 ; X64-NEXT: movabsq $0, %r11
 103 ; X64-NEXT: callq __morestack
 104 ; X64-NEXT: ret
 105
 106 }