xref: /llvm-project/llvm/test/CodeGen/X86/stack-clash-huge.ll (revision 3fb8c5b43195d6e11ff0557d07e75700343d369f)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --no_x86_scrub_sp
2; RUN: llc -mtriple=x86_64-linux-android -verify-machineinstrs < %s | FileCheck -check-prefix=CHECK-X64 %s
3; RUN: llc -mtriple=i686-linux-android -verify-machineinstrs < %s | FileCheck -check-prefix=CHECK-X86 %s
4; RUN: llc -mtriple=x86_64-linux-gnux32 -verify-machineinstrs < %s | FileCheck -check-prefix=CHECK-X32 %s
5
6define i32 @foo() local_unnamed_addr #0 {
7; CHECK-X64-LABEL: foo:
8; CHECK-X64:       # %bb.0:
9; CHECK-X64-NEXT:    movabsq $-2399997952, %r11 # imm = 0xFFFFFFFF70F2F000
10; CHECK-X64-NEXT:    addq %rsp, %r11
11; CHECK-X64-NEXT:    .cfi_def_cfa_register %r11
12; CHECK-X64-NEXT:    .cfi_adjust_cfa_offset 2399997952
13; CHECK-X64-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
14; CHECK-X64-NEXT:    subq $4096, %rsp # imm = 0x1000
15; CHECK-X64-NEXT:    movq $0, (%rsp)
16; CHECK-X64-NEXT:    cmpq %r11, %rsp
17; CHECK-X64-NEXT:    jne .LBB0_1
18; CHECK-X64-NEXT:  # %bb.2:
19; CHECK-X64-NEXT:    subq $1928, %rsp # imm = 0x788
20; CHECK-X64-NEXT:    .cfi_def_cfa_register %rsp
21; CHECK-X64-NEXT:    .cfi_def_cfa_offset 2399999888
22; CHECK-X64-NEXT:    movl $1, 264(%rsp)
23; CHECK-X64-NEXT:    movl $1, 28664(%rsp)
24; CHECK-X64-NEXT:    movl -128(%rsp), %eax
25; CHECK-X64-NEXT:    movl $2399999880, %ecx # imm = 0x8F0D1788
26; CHECK-X64-NEXT:    addq %rcx, %rsp
27; CHECK-X64-NEXT:    .cfi_def_cfa_offset 8
28; CHECK-X64-NEXT:    retq
29;
30; CHECK-X86-LABEL: foo:
31; CHECK-X86:       # %bb.0:
32; CHECK-X86-NEXT:    movl %esp, %eax
33; CHECK-X86-NEXT:    subl $2399997952, %eax # imm = 0x8F0D1000
34; CHECK-X86-NEXT:    .cfi_def_cfa_register %eax
35; CHECK-X86-NEXT:    .cfi_adjust_cfa_offset 2399997952
36; CHECK-X86-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
37; CHECK-X86-NEXT:    subl $4096, %esp # imm = 0x1000
38; CHECK-X86-NEXT:    movl $0, (%esp)
39; CHECK-X86-NEXT:    cmpl %eax, %esp
40; CHECK-X86-NEXT:    jne .LBB0_1
41; CHECK-X86-NEXT:  # %bb.2:
42; CHECK-X86-NEXT:    subl $2060, %esp # imm = 0x80C
43; CHECK-X86-NEXT:    .cfi_def_cfa_register %esp
44; CHECK-X86-NEXT:    .cfi_def_cfa_offset 2400000016
45; CHECK-X86-NEXT:    movl $1, 392(%esp)
46; CHECK-X86-NEXT:    movl $1, 28792(%esp)
47; CHECK-X86-NEXT:    movl (%esp), %eax
48; CHECK-X86-NEXT:    movl $2400000012, %ecx # imm = 0x8F0D180C
49; CHECK-X86-NEXT:    addl %ecx, %esp
50; CHECK-X86-NEXT:    .cfi_def_cfa_offset 4
51; CHECK-X86-NEXT:    retl
52;
53; CHECK-X32-LABEL: foo:
54; CHECK-X32:       # %bb.0:
55; CHECK-X32-NEXT:    movl %esp, %r11d
56; CHECK-X32-NEXT:    subl $2399997952, %r11d # imm = 0x8F0D1000
57; CHECK-X32-NEXT:    .cfi_def_cfa_register %r11
58; CHECK-X32-NEXT:    .cfi_adjust_cfa_offset 2399997952
59; CHECK-X32-NEXT:  .LBB0_1: # =>This Inner Loop Header: Depth=1
60; CHECK-X32-NEXT:    subl $4096, %esp # imm = 0x1000
61; CHECK-X32-NEXT:    movq $0, (%esp)
62; CHECK-X32-NEXT:    cmpl %r11d, %esp
63; CHECK-X32-NEXT:    jne .LBB0_1
64; CHECK-X32-NEXT:  # %bb.2:
65; CHECK-X32-NEXT:    subl $1928, %esp # imm = 0x788
66; CHECK-X32-NEXT:    .cfi_def_cfa_register %rsp
67; CHECK-X32-NEXT:    .cfi_def_cfa_offset 2399999888
68; CHECK-X32-NEXT:    movl $1, 264(%esp)
69; CHECK-X32-NEXT:    movl $1, 28664(%esp)
70; CHECK-X32-NEXT:    movl -128(%esp), %eax
71; CHECK-X32-NEXT:    movl $2399999880, %ecx # imm = 0x8F0D1788
72; CHECK-X32-NEXT:    addl %ecx, %esp
73; CHECK-X32-NEXT:    .cfi_def_cfa_offset 8
74; CHECK-X32-NEXT:    retq
75  %a = alloca i32, i64 600000000, align 16
76  %b0 = getelementptr inbounds i32, ptr %a, i64 98
77  %b1 = getelementptr inbounds i32, ptr %a, i64 7198
78  store volatile i32 1, ptr %b0
79  store volatile i32 1, ptr %b1
80  %c = load volatile i32, ptr %a
81  ret i32 %c
82}
83
84attributes #0 =  {"probe-stack"="inline-asm"}
85