[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / stackmap-shadow-optimization.ll
blob5b828e73eb949e0bda5e65b81961403914df2f88
1 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
3 ; Check that the stackmap shadow optimization is only outputting a 2-byte
4 ; nop here. 8-bytes are requested, but 6 are covered by the code for the call to
5 ; bar.  However, the frame teardown and the return do not count towards the
6 ; stackmap shadow as the call return counts as a branch target so must flush
7 ; the shadow.
8 ; Note that in order for a thread to not return in to the patched space
9 ; the call must be at the end of the shadow, so the required nop must be
10 ; before the call, not after.
11 define void @shadow_optimization_test() {
12 entry:
13 ; CHECK-LABEL:  shadow_optimization_test:
14 ; CHECK:        brasl %r14, bar@PLT
15 ; CHECK-NEXT:   .Ltmp
16 ; CHECK-NEXT:   bcr 0, %r0
17 ; CHECK-NEXT:   brasl %r14, bar@PLT
18 ; CHECK-NEXT:   brasl %r14, bar@PLT
19   call void @bar()
20   tail call void (i64, i32, ...) @llvm.experimental.stackmap(i64 0, i32 8)
21   call void @bar()
22   call void @bar()
23   ret void
25 declare void @bar()
27 declare void @llvm.experimental.stackmap(i64, i32, ...)