reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15

; 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 -rewrite-statepoints-for-gc < %s | FileCheck %s
; 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
}