test/CodeGen/X86/segmented-stacks.ll

; RUN: llc < %s -mtriple=i686-linux -segmented-stacks | FileCheck %s -check-prefix=X32
; RUN: llc < %s -mtriple=x86_64-linux  -segmented-stacks | FileCheck %s -check-prefix=X64

; Just to prevent the alloca from being optimized away
declare void @dummy_use(i32*, i32)

define i32 @test_basic(i32 %l) {
        %mem = alloca i32, i32 %l
        call void @dummy_use (i32* %mem, i32 %l)
        %terminate = icmp eq i32 %l, 0
        br i1 %terminate, label %true, label %false

true:
        ret i32 0

false:
        %newlen = sub i32 %l, 1
        %retvalue = call i32 @test_basic(i32 %newlen)
        ret i32 %retvalue

; X32:      test_basic:

; X32:      leal -12(%esp), %ecx
; X32-NEXT: cmpl %gs:48, %ecx

; X32:      subl $8, %esp
; X32-NEXT: pushl $4
; X32-NEXT: pushl $12
; X32-NEXT: calll __morestack
; X32-NEXT: addl $8, %esp
; X32-NEXT: ret 

; X32:      movl %eax, %esp

; X32:      subl $12, %esp
; X32-NEXT: pushl %ecx
; X32-NEXT: calll __morestack_allocate_stack_space
; X32-NEXT: addl $16, %esp

; X64:      test_basic:

; X64:      leaq -24(%rsp), %r11
; X64-NEXT: cmpq %fs:112, %r11

; X64:      movabsq $24, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret

; X64:      movq %rsp, %rax
; X64-NEXT: subq %rcx, %rax
; X64-NEXT: cmpq %rax, %fs:112

; X64:      movq %rax, %rsp

; X64:      movq %rcx, %rdi
; X64-NEXT: callq __morestack_allocate_stack_space

}

define i32 @test_nested(i32 * nest %closure, i32 %other) {
       %addend = load i32 * %closure
       %result = add i32 %other, %addend
       ret i32 %result

; X32:      leal (%esp), %edx
; X32-NEXT: cmpl %gs:48, %edx


; X32:      subl $8, %esp
; X32-NEXT: pushl $4
; X32-NEXT: pushl $0
; X32-NEXT: calll __morestack
; X32-NEXT: addl $8, %esp
; X32-NEXT: ret

; X64:      leaq (%rsp), %r11
; X64-NEXT: cmpq %fs:112, %r11

; X64:      movq %r10, %rax
; X64-NEXT: movabsq $0, %r10
; X64-NEXT: movabsq $0, %r11
; X64-NEXT: callq __morestack
; X64-NEXT: ret
; X64:      movq %rax, %r10

}