1; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
2
3; CHECK-LABEL: @test_stack_guard
4; CHECK: ear [[REG1:%r[1-9][0-9]?]], %a0
5; CHECK: sllg [[REG1]], [[REG1]], 32
6; CHECK: ear [[REG1]], %a1
7; CHECK: lg [[REG1]], 40([[REG1]])
8; CHECK: stg [[REG1]], {{[0-9]*}}(%r15)
9; CHECK: brasl %r14, foo3@PLT
10; CHECK: ear [[REG2:%r[1-9][0-9]?]], %a0
11; CHECK: sllg [[REG2]], [[REG2]], 32
12; CHECK: ear [[REG2]], %a1
13; CHECK: lg [[REG2]], 40([[REG2]])
14; CHECK: sg [[REG2]], {{[0-9]*}}(%r15)
15
16define i32 @test_stack_guard() #0 {
17entry:
18  %a1 = alloca [256 x i32], align 4
19  %0 = bitcast [256 x i32]* %a1 to i8*
20  call void @llvm.lifetime.start(i64 1024, i8* %0)
21  %arraydecay = getelementptr inbounds [256 x i32], [256 x i32]* %a1, i64 0, i64 0
22  call void @foo3(i32* %arraydecay)
23  call void @llvm.lifetime.end(i64 1024, i8* %0)
24  ret i32 0
25}
26
27; Function Attrs: nounwind
28declare void @llvm.lifetime.start(i64, i8* nocapture)
29
30declare void @foo3(i32*)
31
32; Function Attrs: nounwind
33declare void @llvm.lifetime.end(i64, i8* nocapture)
34
35attributes #0 = { sspstrong }
36