llvm/test/CodeGen/X86/stack-clash-large.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --no_x86_scrub_sp
; RUN: llc -mtriple=x86_64-linux-android < %s | FileCheck -check-prefix=CHECK-X64 %s
; RUN: llc -mtriple=i686-linux-android < %s | FileCheck -check-prefix=CHECK-X86 %s
; RUN: llc -mtriple=x86_64-linux-gnux32 < %s | FileCheck -check-prefix=CHECK-X32 %s

define i32 @foo() local_unnamed_addr #0 {
; CHECK-X64-LABEL: foo:
; CHECK-X64:       # %bb.0:
; CHECK-X64-NEXT:    movq %rsp, %r11
; CHECK-X64-NEXT:    subq $69632, %r11 # imm = 0x11000
; CHECK-X64-NEXT:    .cfi_def_cfa_register %r11
; CHECK-X64-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X64-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
; CHECK-X64-NEXT:    subq $4096, %rsp # imm = 0x1000
; CHECK-X64-NEXT:    movq $0, (%rsp)
; CHECK-X64-NEXT:    cmpq %r11, %rsp
; CHECK-X64-NEXT:    jne .LBB0_1
; CHECK-X64-NEXT:  # %bb.2:
; CHECK-X64-NEXT:    subq $2248, %rsp # imm = 0x8C8
; CHECK-X64-NEXT:    .cfi_def_cfa_register %rsp
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 71888
; CHECK-X64-NEXT:    movl $1, 264(%rsp)
; CHECK-X64-NEXT:    movl $1, 28664(%rsp)
; CHECK-X64-NEXT:    movl -128(%rsp), %eax
; CHECK-X64-NEXT:    addq $71880, %rsp # imm = 0x118C8
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X64-NEXT:    retq
;
; CHECK-X86-LABEL: foo:
; CHECK-X86:       # %bb.0:
; CHECK-X86-NEXT:    movl %esp, %eax
; CHECK-X86-NEXT:    subl $69632, %eax # imm = 0x11000
; CHECK-X86-NEXT:    .cfi_def_cfa_register %eax
; CHECK-X86-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X86-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
; CHECK-X86-NEXT:    subl $4096, %esp # imm = 0x1000
; CHECK-X86-NEXT:    movl $0, (%esp)
; CHECK-X86-NEXT:    cmpl %eax, %esp
; CHECK-X86-NEXT:    jne .LBB0_1
; CHECK-X86-NEXT:  # %bb.2:
; CHECK-X86-NEXT:    subl $2380, %esp # imm = 0x94C
; CHECK-X86-NEXT:    .cfi_def_cfa_register %esp
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 72016
; CHECK-X86-NEXT:    movl $1, 392(%esp)
; CHECK-X86-NEXT:    movl $1, 28792(%esp)
; CHECK-X86-NEXT:    movl (%esp), %eax
; CHECK-X86-NEXT:    addl $72012, %esp # imm = 0x1194C
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 4
; CHECK-X86-NEXT:    retl
;
; CHECK-X32-LABEL: foo:
; CHECK-X32:       # %bb.0:
; CHECK-X32-NEXT:    movl %esp, %r11d
; CHECK-X32-NEXT:    subl $69632, %r11d # imm = 0x11000
; CHECK-X32-NEXT:    .cfi_def_cfa_register %r11
; CHECK-X32-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X32-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
; CHECK-X32-NEXT:    subl $4096, %esp # imm = 0x1000
; CHECK-X32-NEXT:    movq $0, (%esp)
; CHECK-X32-NEXT:    cmpl %r11d, %esp
; CHECK-X32-NEXT:    jne .LBB0_1
; CHECK-X32-NEXT:  # %bb.2:
; CHECK-X32-NEXT:    subl $2248, %esp # imm = 0x8C8
; CHECK-X32-NEXT:    .cfi_def_cfa_register %rsp
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 71888
; CHECK-X32-NEXT:    movl $1, 264(%esp)
; CHECK-X32-NEXT:    movl $1, 28664(%esp)
; CHECK-X32-NEXT:    movl -128(%esp), %eax
; CHECK-X32-NEXT:    addl $71880, %esp # imm = 0x118C8
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X32-NEXT:    retq
  %a = alloca i32, i64 18000, align 16
  %b0 = getelementptr inbounds i32, ptr %a, i64 98
  %b1 = getelementptr inbounds i32, ptr %a, i64 7198
  store volatile i32 1, ptr %b0
  store volatile i32 1, ptr %b1
  %c = load volatile i32, ptr %a
  ret i32 %c
}

define void @push_before_probe(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h) "probe-stack"="inline-asm" "no_caller_saved_registers" {
; CHECK-X64-LABEL: push_before_probe:
; CHECK-X64:       # %bb.0:
; CHECK-X64-NEXT:    pushq %rax
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X64-NEXT:    movq %rsp, %r11
; CHECK-X64-NEXT:    subq $69632, %r11 # imm = 0x11000
; CHECK-X64-NEXT:    .cfi_def_cfa_register %r11
; CHECK-X64-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X64-NEXT:  .LBB1_1: # =>This Inner Loop Header: Depth=1
; CHECK-X64-NEXT:    subq $4096, %rsp # imm = 0x1000
; CHECK-X64-NEXT:    movq $0, (%rsp)
; CHECK-X64-NEXT:    cmpq %r11, %rsp
; CHECK-X64-NEXT:    jne .LBB1_1
; CHECK-X64-NEXT:  # %bb.2:
; CHECK-X64-NEXT:    subq $2240, %rsp # imm = 0x8C0
; CHECK-X64-NEXT:    .cfi_def_cfa_register %rsp
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 71888
; CHECK-X64-NEXT:    .cfi_offset %rax, -16
; CHECK-X64-NEXT:    movl 71888(%rsp), %eax
; CHECK-X64-NEXT:    addl %esi, %edi
; CHECK-X64-NEXT:    addl %ecx, %edx
; CHECK-X64-NEXT:    addl %edi, %edx
; CHECK-X64-NEXT:    addl %r9d, %r8d
; CHECK-X64-NEXT:    addl 71896(%rsp), %eax
; CHECK-X64-NEXT:    addl %r8d, %eax
; CHECK-X64-NEXT:    addl %edx, %eax
; CHECK-X64-NEXT:    movl %eax, 264(%rsp)
; CHECK-X64-NEXT:    movl %eax, 28664(%rsp)
; CHECK-X64-NEXT:    addq $71872, %rsp # imm = 0x118C0
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X64-NEXT:    popq %rax
; CHECK-X64-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X64-NEXT:    retq
;
; CHECK-X86-LABEL: push_before_probe:
; CHECK-X86:       # %bb.0:
; CHECK-X86-NEXT:    pushl %esi
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X86-NEXT:    pushl %edx
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 12
; CHECK-X86-NEXT:    pushl %ecx
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X86-NEXT:    pushl %eax
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 20
; CHECK-X86-NEXT:    movl %esp, %eax
; CHECK-X86-NEXT:    subl $69632, %eax # imm = 0x11000
; CHECK-X86-NEXT:    .cfi_def_cfa_register %eax
; CHECK-X86-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X86-NEXT:  .LBB1_1: # =>This Inner Loop Header: Depth=1
; CHECK-X86-NEXT:    subl $4096, %esp # imm = 0x1000
; CHECK-X86-NEXT:    movl $0, (%esp)
; CHECK-X86-NEXT:    cmpl %eax, %esp
; CHECK-X86-NEXT:    jne .LBB1_1
; CHECK-X86-NEXT:  # %bb.2:
; CHECK-X86-NEXT:    subl $2380, %esp # imm = 0x94C
; CHECK-X86-NEXT:    .cfi_def_cfa_register %esp
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 72032
; CHECK-X86-NEXT:    .cfi_offset %eax, -20
; CHECK-X86-NEXT:    .cfi_offset %ecx, -16
; CHECK-X86-NEXT:    .cfi_offset %edx, -12
; CHECK-X86-NEXT:    .cfi_offset %esi, -8
; CHECK-X86-NEXT:    movl 72056(%esp), %eax
; CHECK-X86-NEXT:    movl 72048(%esp), %edx
; CHECK-X86-NEXT:    movl 72040(%esp), %ecx
; CHECK-X86-NEXT:    movl 72032(%esp), %esi
; CHECK-X86-NEXT:    addl 72036(%esp), %esi
; CHECK-X86-NEXT:    addl 72044(%esp), %ecx
; CHECK-X86-NEXT:    addl %esi, %ecx
; CHECK-X86-NEXT:    addl 72052(%esp), %edx
; CHECK-X86-NEXT:    addl 72060(%esp), %eax
; CHECK-X86-NEXT:    addl %edx, %eax
; CHECK-X86-NEXT:    addl %ecx, %eax
; CHECK-X86-NEXT:    movl %eax, 392(%esp)
; CHECK-X86-NEXT:    movl %eax, 28792(%esp)
; CHECK-X86-NEXT:    addl $72012, %esp # imm = 0x1194C
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 20
; CHECK-X86-NEXT:    popl %eax
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X86-NEXT:    popl %ecx
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 12
; CHECK-X86-NEXT:    popl %edx
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X86-NEXT:    popl %esi
; CHECK-X86-NEXT:    .cfi_def_cfa_offset 4
; CHECK-X86-NEXT:    retl
;
; CHECK-X32-LABEL: push_before_probe:
; CHECK-X32:       # %bb.0:
; CHECK-X32-NEXT:    pushq %rax
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X32-NEXT:    movl %esp, %r11d
; CHECK-X32-NEXT:    subl $69632, %r11d # imm = 0x11000
; CHECK-X32-NEXT:    .cfi_def_cfa_register %r11
; CHECK-X32-NEXT:    .cfi_adjust_cfa_offset 69632
; CHECK-X32-NEXT:  .LBB1_1: # =>This Inner Loop Header: Depth=1
; CHECK-X32-NEXT:    subl $4096, %esp # imm = 0x1000
; CHECK-X32-NEXT:    movq $0, (%esp)
; CHECK-X32-NEXT:    cmpl %r11d, %esp
; CHECK-X32-NEXT:    jne .LBB1_1
; CHECK-X32-NEXT:  # %bb.2:
; CHECK-X32-NEXT:    subl $2240, %esp # imm = 0x8C0
; CHECK-X32-NEXT:    .cfi_def_cfa_register %rsp
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 71888
; CHECK-X32-NEXT:    .cfi_offset %rax, -16
; CHECK-X32-NEXT:    movl 71888(%esp), %eax
; CHECK-X32-NEXT:    addl %esi, %edi
; CHECK-X32-NEXT:    addl %ecx, %edx
; CHECK-X32-NEXT:    addl %edi, %edx
; CHECK-X32-NEXT:    addl %r9d, %r8d
; CHECK-X32-NEXT:    addl 71896(%esp), %eax
; CHECK-X32-NEXT:    addl %r8d, %eax
; CHECK-X32-NEXT:    addl %edx, %eax
; CHECK-X32-NEXT:    movl %eax, 264(%esp)
; CHECK-X32-NEXT:    movl %eax, 28664(%esp)
; CHECK-X32-NEXT:    addl $71872, %esp # imm = 0x118C0
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 16
; CHECK-X32-NEXT:    popq %rax
; CHECK-X32-NEXT:    .cfi_def_cfa_offset 8
; CHECK-X32-NEXT:    retq
  %all = alloca i32, i64 18000, align 16
  %b0 = getelementptr inbounds i32, ptr %all, i64 98
  %b1 = getelementptr inbounds i32, ptr %all, i64 7198
  %ab = add i32 %a, %b
  %cd = add i32 %c, %d
  %ef = add i32 %e, %f
  %gh = add i32 %g, %h
  %abcd = add i32 %ab, %cd
  %efgh = add i32 %ef, %gh
  %sum = add i32 %abcd, %efgh
  store volatile i32 %sum, ptr %b0
  store volatile i32 %sum, ptr %b1
  ret void
}

attributes #0 =  {"probe-stack"="inline-asm"}