xref: /llvm-project/llvm/test/CodeGen/SystemZ/ipra-04.ll (revision a1710eb3cd5823c5d14899112ca3086acbdbe9cb)
1; Test that the updated regmask on the call to @fun1 preserves %r14 and
2; %15. @fun1 will save and restore these registers since it contains a call.
3;
4; RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 -enable-ipra -print-regmask-num-regs=-1 \
5; RUN:   -debug-only=ip-regalloc 2>&1 < %s | FileCheck --check-prefix=DBG %s
6; REQUIRES: asserts
7;
8; DBG: fun1 function optimized for not having CSR
9; DBG: Call Instruction After Register Usage Info Propagation :
10; DBG-NEXT: CallBRASL @fun1{{.*}} $r14d $r15d
11
12declare dso_local fastcc signext i32 @foo(ptr, i32 signext) unnamed_addr
13
14define internal fastcc void @fun1(ptr %arg, ptr nocapture %arg1) unnamed_addr #0 {
15bb:
16  %tmp = load i16, ptr undef, align 2
17  %tmp2 = shl i16 %tmp, 4
18  %tmp3 = tail call fastcc signext i32 @foo(ptr nonnull %arg, i32 signext 5)
19  %tmp4 = or i16 0, %tmp2
20  %tmp5 = or i16 %tmp4, 0
21  store i16 %tmp5, ptr undef, align 2
22  %tmp6 = getelementptr inbounds i16, ptr %arg, i64 5
23  %tmp7 = load i16, ptr %tmp6, align 2
24  store i16 %tmp7, ptr %arg1, align 2
25  ret void
26}
27
28define fastcc void @fun0(ptr nocapture readonly %arg, ptr nocapture %arg1, i32 signext %arg2) unnamed_addr {
29bb:
30  %a = alloca i8, i64 undef
31  call fastcc void @fun1(ptr nonnull undef, ptr %arg1)
32  ret void
33}
34
35attributes #0 = { norecurse nounwind "frame-pointer"="none" }
36