; A call to a libcall function is not a statepoint.
; This test verifies that calls to libcalls functions do not get converted to
; statepoint calls.
; RUN: opt -S -passes=rewrite-statepoints-for-gc < %s | FileCheck %s

declare double @ldexp(double %x, i32 %n) nounwind readnone

define double @test_libcall(double %x) gc "statepoint-example" {
; CHECK-LABEL: test_libcall
; CHECK-NEXT: %res = call double @ldexp(double %x, i32 5)
; CHECK-NEXT: ret double %res
  %res = call double @ldexp(double %x, i32 5) nounwind readnone
  ret double %res
}