| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -verify-machineinstrs | FileCheck %s -check-prefix=X86 |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -verify-machineinstrs | FileCheck %s -check-prefix=X64 |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -verify-machineinstrs | FileCheck %s -check-prefix=X32ABI |
| ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -filetype=obj |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux -filetype=obj |
| ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux-gnux32 -filetype=obj |
| |
| ; Just to prevent the alloca from being optimized away |
| declare void @dummy_use(ptr, i32) |
| |
| define i32 @test_basic(i32 %l) #0 { |
| ; X86-LABEL: test_basic: |
| ; X86: # %bb.0: |
| ; X86-NEXT: cmpl %gs:48, %esp |
| ; X86-NEXT: jbe .LBB0_1 |
| ; X86-NEXT: .LBB0_2: |
| ; X86-NEXT: pushl %ebp |
| ; X86-NEXT: .cfi_def_cfa_offset 8 |
| ; X86-NEXT: .cfi_offset %ebp, -8 |
| ; X86-NEXT: movl %esp, %ebp |
| ; X86-NEXT: .cfi_def_cfa_register %ebp |
| ; X86-NEXT: pushl %esi |
| ; X86-NEXT: pushl %eax |
| ; X86-NEXT: .cfi_offset %esi, -12 |
| ; X86-NEXT: movl 8(%ebp), %esi |
| ; X86-NEXT: leal 15(,%esi,4), %ecx |
| ; X86-NEXT: andl $-16, %ecx |
| ; X86-NEXT: movl %esp, %eax |
| ; X86-NEXT: subl %ecx, %eax |
| ; X86-NEXT: cmpl %eax, %gs:48 |
| ; X86-NEXT: jg .LBB0_4 |
| ; X86-NEXT: # %bb.3: |
| ; X86-NEXT: movl %eax, %esp |
| ; X86-NEXT: jmp .LBB0_5 |
| ; X86-NEXT: .LBB0_4: |
| ; X86-NEXT: subl $12, %esp |
| ; X86-NEXT: pushl %ecx |
| ; X86-NEXT: calll __morestack_allocate_stack_space |
| ; X86-NEXT: addl $16, %esp |
| ; X86-NEXT: .LBB0_5: |
| ; X86-NEXT: subl $8, %esp |
| ; X86-NEXT: pushl %esi |
| ; X86-NEXT: pushl %eax |
| ; X86-NEXT: calll dummy_use@PLT |
| ; X86-NEXT: addl $16, %esp |
| ; X86-NEXT: testl %esi, %esi |
| ; X86-NEXT: je .LBB0_6 |
| ; X86-NEXT: # %bb.8: # %false |
| ; X86-NEXT: decl %esi |
| ; X86-NEXT: subl $12, %esp |
| ; X86-NEXT: pushl %esi |
| ; X86-NEXT: calll test_basic@PLT |
| ; X86-NEXT: jmp .LBB0_7 |
| ; X86-NEXT: .LBB0_6: # %true |
| ; X86-NEXT: xorl %eax, %eax |
| ; X86-NEXT: .LBB0_7: # %true |
| ; X86-NEXT: leal -4(%ebp), %esp |
| ; X86-NEXT: popl %esi |
| ; X86-NEXT: popl %ebp |
| ; X86-NEXT: .cfi_def_cfa %esp, 4 |
| ; X86-NEXT: retl |
| ; X86-NEXT: .LBB0_1: |
| ; X86-NEXT: .cfi_restore %ebp |
| ; X86-NEXT: .cfi_restore %esi |
| ; X86-NEXT: pushl $4 |
| ; X86-NEXT: pushl $12 |
| ; X86-NEXT: calll __morestack |
| ; X86-NEXT: retl |
| ; X86-NEXT: jmp .LBB0_2 |
| ; |
| ; X64-LABEL: test_basic: |
| ; X64: # %bb.0: |
| ; X64-NEXT: cmpq %fs:112, %rsp |
| ; X64-NEXT: jbe .LBB0_1 |
| ; X64-NEXT: .LBB0_2: |
| ; X64-NEXT: pushq %rbp |
| ; X64-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NEXT: .cfi_offset %rbp, -16 |
| ; X64-NEXT: movq %rsp, %rbp |
| ; X64-NEXT: .cfi_def_cfa_register %rbp |
| ; X64-NEXT: pushq %rbx |
| ; X64-NEXT: pushq %rax |
| ; X64-NEXT: .cfi_offset %rbx, -24 |
| ; X64-NEXT: movl %edi, %ebx |
| ; X64-NEXT: movl %edi, %eax |
| ; X64-NEXT: leaq 15(,%rax,4), %rax |
| ; X64-NEXT: andq $-16, %rax |
| ; X64-NEXT: movq %rsp, %rdi |
| ; X64-NEXT: subq %rax, %rdi |
| ; X64-NEXT: cmpq %rdi, %fs:112 |
| ; X64-NEXT: jg .LBB0_4 |
| ; X64-NEXT: # %bb.3: |
| ; X64-NEXT: movq %rdi, %rsp |
| ; X64-NEXT: jmp .LBB0_5 |
| ; X64-NEXT: .LBB0_4: |
| ; X64-NEXT: movq %rax, %rdi |
| ; X64-NEXT: callq __morestack_allocate_stack_space |
| ; X64-NEXT: movq %rax, %rdi |
| ; X64-NEXT: .LBB0_5: |
| ; X64-NEXT: movl %ebx, %esi |
| ; X64-NEXT: callq dummy_use@PLT |
| ; X64-NEXT: testl %ebx, %ebx |
| ; X64-NEXT: je .LBB0_6 |
| ; X64-NEXT: # %bb.8: # %false |
| ; X64-NEXT: decl %ebx |
| ; X64-NEXT: movl %ebx, %edi |
| ; X64-NEXT: callq test_basic@PLT |
| ; X64-NEXT: jmp .LBB0_7 |
| ; X64-NEXT: .LBB0_6: # %true |
| ; X64-NEXT: xorl %eax, %eax |
| ; X64-NEXT: .LBB0_7: # %true |
| ; X64-NEXT: leaq -8(%rbp), %rsp |
| ; X64-NEXT: popq %rbx |
| ; X64-NEXT: popq %rbp |
| ; X64-NEXT: .cfi_def_cfa %rsp, 8 |
| ; X64-NEXT: retq |
| ; X64-NEXT: .LBB0_1: |
| ; X64-NEXT: .cfi_restore %rbx |
| ; X64-NEXT: .cfi_restore %rbp |
| ; X64-NEXT: movl $24, %r10d |
| ; X64-NEXT: movl $0, %r11d |
| ; X64-NEXT: callq __morestack |
| ; X64-NEXT: retq |
| ; X64-NEXT: jmp .LBB0_2 |
| ; |
| ; X32ABI-LABEL: test_basic: |
| ; X32ABI: # %bb.0: |
| ; X32ABI-NEXT: cmpl %fs:64, %esp |
| ; X32ABI-NEXT: jbe .LBB0_1 |
| ; X32ABI-NEXT: .LBB0_2: |
| ; X32ABI-NEXT: pushq %rbp |
| ; X32ABI-NEXT: .cfi_def_cfa_offset 16 |
| ; X32ABI-NEXT: .cfi_offset %rbp, -16 |
| ; X32ABI-NEXT: movl %esp, %ebp |
| ; X32ABI-NEXT: .cfi_def_cfa_register %rbp |
| ; X32ABI-NEXT: pushq %rbx |
| ; X32ABI-NEXT: pushq %rax |
| ; X32ABI-NEXT: .cfi_offset %rbx, -24 |
| ; X32ABI-NEXT: movl %edi, %ebx |
| ; X32ABI-NEXT: leal 15(,%rbx,4), %eax |
| ; X32ABI-NEXT: andl $-16, %eax |
| ; X32ABI-NEXT: movl %esp, %edi |
| ; X32ABI-NEXT: subl %eax, %edi |
| ; X32ABI-NEXT: cmpl %edi, %fs:64 |
| ; X32ABI-NEXT: jg .LBB0_4 |
| ; X32ABI-NEXT: # %bb.3: |
| ; X32ABI-NEXT: movl %edi, %esp |
| ; X32ABI-NEXT: jmp .LBB0_5 |
| ; X32ABI-NEXT: .LBB0_4: |
| ; X32ABI-NEXT: movl %eax, %edi |
| ; X32ABI-NEXT: callq __morestack_allocate_stack_space |
| ; X32ABI-NEXT: movl %eax, %edi |
| ; X32ABI-NEXT: .LBB0_5: |
| ; X32ABI-NEXT: movl %ebx, %esi |
| ; X32ABI-NEXT: callq dummy_use@PLT |
| ; X32ABI-NEXT: testl %ebx, %ebx |
| ; X32ABI-NEXT: je .LBB0_6 |
| ; X32ABI-NEXT: # %bb.8: # %false |
| ; X32ABI-NEXT: decl %ebx |
| ; X32ABI-NEXT: movl %ebx, %edi |
| ; X32ABI-NEXT: callq test_basic@PLT |
| ; X32ABI-NEXT: jmp .LBB0_7 |
| ; X32ABI-NEXT: .LBB0_6: # %true |
| ; X32ABI-NEXT: xorl %eax, %eax |
| ; X32ABI-NEXT: .LBB0_7: # %true |
| ; X32ABI-NEXT: leal -8(%ebp), %esp |
| ; X32ABI-NEXT: popq %rbx |
| ; X32ABI-NEXT: popq %rbp |
| ; X32ABI-NEXT: .cfi_def_cfa %rsp, 8 |
| ; X32ABI-NEXT: retq |
| ; X32ABI-NEXT: .LBB0_1: |
| ; X32ABI-NEXT: .cfi_def_cfa_register 4294967294 |
| ; X32ABI-NEXT: .cfi_restore %rbx |
| ; X32ABI-NEXT: .cfi_restore %rbp |
| ; X32ABI-NEXT: movl $24, %r10d |
| ; X32ABI-NEXT: movl $0, %r11d |
| ; X32ABI-NEXT: callq __morestack |
| ; X32ABI-NEXT: retq |
| ; X32ABI-NEXT: jmp .LBB0_2 |
| %mem = alloca i32, i32 %l |
| call void @dummy_use (ptr %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 |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| } |
| |
| attributes #0 = { "split-stack" } |