[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / ipra-04.ll
blob516d85952785b729175dfd3e27505b73dcd8e03e
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.
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
8 ; DBG: fun1 function optimized for not having CSR
9 ; DBG: Call Instruction After Register Usage Info Propagation : CallBRASL @fun1{{.*}} $r14d $r15d
11 declare dso_local fastcc signext i32 @foo(i16*, i32 signext) unnamed_addr
13 define internal fastcc void @fun1(i16* %arg, i16* nocapture %arg1) unnamed_addr #0 {
14 bb:
15   %tmp = load i16, i16* undef, align 2
16   %tmp2 = shl i16 %tmp, 4
17   %tmp3 = tail call fastcc signext i32 @foo(i16* nonnull %arg, i32 signext 5)
18   %tmp4 = or i16 0, %tmp2
19   %tmp5 = or i16 %tmp4, 0
20   store i16 %tmp5, i16* undef, align 2
21   %tmp6 = getelementptr inbounds i16, i16* %arg, i64 5
22   %tmp7 = load i16, i16* %tmp6, align 2
23   store i16 %tmp7, i16* %arg1, align 2
24   ret void
27 define fastcc void @fun0(i8* nocapture readonly %arg, i16* nocapture %arg1, i32 signext %arg2) unnamed_addr {
28 bb:
29   %a = alloca i8, i64 undef
30   call fastcc void @fun1(i16* nonnull undef, i16* %arg1)
31   ret void
34 attributes #0 = { norecurse nounwind "no-frame-pointer-elim"="false" }