1; If there's a call in the loop which dominates the backedge, we 2; don't need a safepoint poll (since the callee must contain a 3; poll test). 4;; RUN: opt < %s -place-safepoints -S | FileCheck %s 5 6declare void @foo() 7 8define void @test1() gc "statepoint-example" { 9; CHECK-LABEL: test1 10 11entry: 12; CHECK-LABEL: entry 13; CHECK: call void @do_safepoint 14 br label %loop 15 16loop: 17; CHECK-LABEL: loop 18; CHECK-NOT: call void @do_safepoint 19 call void @foo() 20 br label %loop 21} 22 23; This function is inlined when inserting a poll. 24declare void @do_safepoint() 25define void @gc.safepoint_poll() { 26; CHECK-LABEL: gc.safepoint_poll 27entry: 28 call void @do_safepoint() 29 ret void 30} 31