[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / RewriteStatepointsForGC / libcall.ll
blobcb548584db0c3fedde67a5e08ac3343271a592aa
1 ; A call to a libcall function is not a statepoint.
2 ; This test verifies that calls to libcalls functions do not get converted to
3 ; statepoint calls.
4 ; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s
5 ; RUN: opt -S -passes=rewrite-statepoints-for-gc < %s | FileCheck %s
7 declare double @ldexp(double %x, i32 %n) nounwind readnone
9 define double @test_libcall(double %x) gc "statepoint-example" {
10 ; CHECK-LABEL: test_libcall
11 ; CHECK-NEXT: %res = call double @ldexp(double %x, i32 5)
12 ; CHECK-NEXT: ret double %res
13   %res = call double @ldexp(double %x, i32 5) nounwind readnone
14   ret double %res