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() local_unnamed_addr #0 {
8
9; CHECK-LABEL: foo:
10; CHECK:      # %bb.0:
11; CHECK-NEXT: subq	$4096, %rsp             # imm = 0x1000
12; CHECK-NEXT: movq	$0, (%rsp)
13; CHECK-NEXT: subq	$3784, %rsp             # imm = 0xEC8
14; CHECK-NEXT: .cfi_def_cfa_offset 7888
15; CHECK-NEXT: movl	$1, 672(%rsp)
16; CHECK-NEXT: movl	-128(%rsp), %eax
17; CHECK-NEXT: addq	$7880, %rsp             # imm = 0x1EC8
18; CHECK-NEXT: .cfi_def_cfa_offset 8
19; CHECK-NEXT: retq
20
21
22
23  %a = alloca i32, i64 2000, align 16
24  %b = getelementptr inbounds i32, i32* %a, i64 200
25  store volatile i32 1, i32* %b
26  %c = load volatile i32, i32* %a
27  ret i32 %c
28}
29
30attributes #0 =  {"probe-stack"="inline-asm"}
31