1 ; RUN: opt -S -place-safepoints < %s | FileCheck %s 2 3 ; Libcalls will not contain a safepoint poll, so check that we insert 4 ; a safepoint in a loop containing a libcall. 5 declare double @ldexp(double %x, i32 %n) nounwind readnone 6 define double @test_libcall(double %x) gc "statepoint-example" { 7 ; CHECK-LABEL: test_libcall 8 9 entry: 10 ; CHECK: entry 11 ; CHECK-NEXT: call void @do_safepoint 12 ; CHECK-NEXT: br label %loop 13 br label %loop 14 15 loop: 16 ; CHECK: loop 17 ; CHECK-NEXT: %x_loop = phi double [ %x, %entry ], [ %x_exp, %loop ] 18 ; CHECK-NEXT: %x_exp = call double @ldexp(double %x_loop, i32 5) 19 ; CHECK-NEXT: %done = fcmp ogt double %x_exp, 1.5 20 ; CHECK-NEXT: call void @do_safepoint 21 %x_loop = phi double [ %x, %entry ], [ %x_exp, %loop ] 22 %x_exp = call double @ldexp(double %x_loop, i32 5) nounwind readnone 23 %done = fcmp ogt double %x_exp, 1.5 24 br i1 %done, label %end, label %loop 25 end: 26 %x_end = phi double [%x_exp, %loop] 27 ret double %x_end 28 } 29 30 ; This function is inlined when inserting a poll. 31 declare void @do_safepoint() 32 define void @gc.safepoint_poll() { 33 ; CHECK-LABEL: gc.safepoint_poll 34 entry: 35 call void @do_safepoint() 36 ret void 37 } 38
