1 ; RUN: opt < %s -S -rewrite-statepoints-for-gc | FileCheck %s 2 3 declare void @foo() "gc-leaf-function" 4 declare void @bar() 5 6 ; Calls of functions with the "gc-leaf-function" attribute shouldn't be turned 7 ; into a safepoint. An entry safepoint should get inserted, though. 8 define void @test_leaf_function() gc "statepoint-example" { 9 ; CHECK-LABEL: test_leaf_function 10 ; CHECK-NOT: gc.statepoint 11 ; CHECK-NOT: gc.result 12 entry: 13 call void @foo() 14 ret void 15 } 16 17 define void @test_leaf_function_call() gc "statepoint-example" { 18 ; CHECK-LABEL: test_leaf_function_call 19 ; CHECK-NOT: gc.statepoint 20 ; CHECK-NOT: gc.result 21 entry: 22 call void @bar() "gc-leaf-function" 23 ret void 24 } 25 26 ; This function is inlined when inserting a poll. 27 declare void @do_safepoint() 28 define void @gc.safepoint_poll() { 29 ; CHECK-LABEL: gc.safepoint_poll 30 entry: 31 call void @do_safepoint() 32 ret void 33 } 34
