1; RUN: llc < %s -march=x86 -mattr=+sse2 | not grep test
2
3define float @tst1(float %a, float %b) {
4	%tmp = tail call float @copysignf( float %b, float %a )
5	ret float %tmp
6}
7
8define double @tst2(double %a, float %b, float %c) {
9	%tmp1 = fadd float %b, %c
10	%tmp2 = fpext float %tmp1 to double
11	%tmp = tail call double @copysign( double %a, double %tmp2 )
12	ret double %tmp
13}
14
15declare float @copysignf(float, float)
16declare double @copysign(double, double)
17