Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 7c801dc90b0dfda7ec74738cdf15c009fa92efeb / . / llvm / test / CodeGen / X86 / stackmap-shadow-optimization.ll
blob: a3725f2c5b72135b772f41e9de9c2c775be8a9ce [file] [log] [blame]
Juergen Ributzka99bd3cb2014-10-02 22:21:49 +0000[diff] [blame]1; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7 | FileCheck %s
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000[diff] [blame]2
Pete Cooper3c0af3522014-10-27 19:40:35 +0000[diff] [blame]3; Check that the X86 stackmap shadow optimization is only outputting a 3-byte
4; nop here. 8-bytes are requested, but 5 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.
Pete Cooper7c801dc2014-10-27 22:38:45 +0000[diff] [blame^]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.
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000[diff] [blame]11define void @shadow_optimization_test() {
12entry:
13; CHECK-LABEL: shadow_optimization_test:
14; CHECK: callq _bar
Pete Cooper7c801dc2014-10-27 22:38:45 +0000[diff] [blame^]15; CHECK: nop
16; CHECK: callq _bar
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000[diff] [blame]17; CHECK-NOT: nop
18; CHECK: callq _bar
Pete Cooper7c801dc2014-10-27 22:38:45 +0000[diff] [blame^]19; CHECK-NOT: nop
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000[diff] [blame]20 call void @bar()
21 tail call void (i64, i32, ...)* @llvm.experimental.stackmap(i64 0, i32 8)
22 call void @bar()
Pete Cooper7c801dc2014-10-27 22:38:45 +0000[diff] [blame^]23 call void @bar()
Lang Hamesf49bc3f2014-07-24 20:40:55 +0000[diff] [blame]24 ret void
25}
26
27declare void @llvm.experimental.stackmap(i64, i32, ...)
Juergen Ributzka99bd3cb2014-10-02 22:21:49 +0000[diff] [blame]28declare void @bar()