diff options
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/test/Transforms/PlaceSafepoints/leaf-function.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/llvm/test/Transforms/PlaceSafepoints/leaf-function.ll b/llvm/test/Transforms/PlaceSafepoints/leaf-function.ll new file mode 100644 index 00000000000..3942abde183 --- /dev/null +++ b/llvm/test/Transforms/PlaceSafepoints/leaf-function.ll @@ -0,0 +1,24 @@ +; RUN: opt %s -S -place-safepoints | FileCheck %s + +declare void @foo() "gc-leaf-function" + +; Calls of functions with the "gc-leaf-function" attribute shouldn't get +; safepoints. An entry safepoint should get inserted, though. +define void @test_leaf_function() gc "statepoint-example" { +; CHECK-LABEL: test_leaf_function +; CHECK: gc.statepoint.p0f_isVoidf +; CHECK-NOT: statepoint +; CHECK-NOT: gc.result +entry: + call void @foo() + ret void +} + +; This function is inlined when inserting a poll. +declare void @do_safepoint() +define void @gc.safepoint_poll() { +; CHECK-LABEL: gc.safepoint_poll +entry: + call void @do_safepoint() + ret void +} |
