1; RUN: llc < %s | FileCheck %s
2
3
4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-unknown-linux-gnu"
6
7define i32 @foo_noprotect() local_unnamed_addr {
8; CHECK-LABEL: foo_noprotect:
9; CHECK:       # %bb.0:
10; CHECK-NEXT:	pushq	%rbp
11; CHECK-NEXT:	.cfi_def_cfa_offset 16
12; CHECK-NEXT:	.cfi_offset %rbp, -16
13; CHECK-NEXT:	movq	%rsp, %rbp
14; CHECK-NEXT:	.cfi_def_cfa_register %rbp
15; CHECK-NEXT:	andq	$-65536, %rsp
16; CHECK-NEXT:	subq	$65536, %rsp
17; CHECK-NEXT:	movl	$1, 392(%rsp)
18; CHECK-NEXT:	movl	(%rsp), %eax
19; CHECK-NEXT:	movq	%rbp, %rsp
20; CHECK-NEXT:	popq	%rbp
21; CHECK-NEXT:	.cfi_def_cfa %rsp, 8
22; CHECK-NEXT:	retq
23
24
25
26  %a = alloca i32, i64 100, align 65536
27  %b = getelementptr inbounds i32, i32* %a, i64 98
28  store volatile i32 1, i32* %b
29  %c = load volatile i32, i32* %a
30  ret i32 %c
31}
32
33define i32 @foo_protect() local_unnamed_addr #0 {
34; CHECK-LABEL: foo_protect:
35; CHECK:       # %bb.0:
36; CHECK-NEXT:	pushq	%rbp
37; CHECK-NEXT:	.cfi_def_cfa_offset 16
38; CHECK-NEXT:	.cfi_offset %rbp, -16
39; CHECK-NEXT:	movq	%rsp, %rbp
40; CHECK-NEXT:	.cfi_def_cfa_register %rbp
41; CHECK-NEXT:	movq	%rsp, %r11
42; CHECK-NEXT:	andq	$-65536, %r11                   # imm = 0xFFFF0000
43; CHECK-NEXT:	cmpq	%rsp, %r11
44; CHECK-NEXT:	je	.LBB1_4
45; CHECK-NEXT:# %bb.1:
46; CHECK-NEXT:	subq	$4096, %rsp                     # imm = 0x1000
47; CHECK-NEXT:	cmpq	%rsp, %r11
48; CHECK-NEXT:	jb	.LBB1_3
49; CHECK-NEXT:.LBB1_2:                                # =>This Inner Loop Header: Depth=1
50; CHECK-NEXT:	movq	$0, (%rsp)
51; CHECK-NEXT:	subq	$4096, %rsp                     # imm = 0x1000
52; CHECK-NEXT:	cmpq	%rsp, %r11
53; CHECK-NEXT:	jb	.LBB1_2
54; CHECK-NEXT:.LBB1_3:
55; CHECK-NEXT:	movq	%r11, %rsp
56; CHECK-NEXT:	movq	$0, (%rsp)
57; CHECK-NEXT:.LBB1_4:
58; CHECK-NEXT:	movq	%rsp, %r11
59; CHECK-NEXT:	subq	$65536, %r11                    # imm = 0x10000
60; CHECK-NEXT:.LBB1_5:                                # =>This Inner Loop Header: Depth=1
61; CHECK-NEXT:	subq	$4096, %rsp                     # imm = 0x1000
62; CHECK-NEXT:	movq	$0, (%rsp)
63; CHECK-NEXT:	cmpq	%r11, %rsp
64; CHECK-NEXT:	jne	.LBB1_5
65; CHECK-NEXT:# %bb.6:
66; CHECK-NEXT:	movl	$1, 392(%rsp)
67; CHECK-NEXT:	movl	(%rsp), %eax
68; CHECK-NEXT:	movq	%rbp, %rsp
69; CHECK-NEXT:	popq	%rbp
70; CHECK-NEXT:	.cfi_def_cfa %rsp, 8
71; CHECK-NEXT:	retq
72
73
74
75
76  %a = alloca i32, i64 100, align 65536
77  %b = getelementptr inbounds i32, i32* %a, i64 98
78  store volatile i32 1, i32* %b
79  %c = load volatile i32, i32* %a
80  ret i32 %c
81}
82
83attributes #0 =  {"probe-stack"="inline-asm"}
84