1; RUN: llc  < %s -march=mips64el -mcpu=mips4 -mattr=n64 | FileCheck %s -check-prefix=64
2; RUN: llc  < %s -march=mips64el -mcpu=mips64 -mattr=n64 | FileCheck %s -check-prefix=64
3; RUN: llc  < %s -march=mips64el -mcpu=mips64r2 -mattr=n64 | FileCheck %s -check-prefix=64R2
4
5declare double @copysign(double, double) nounwind readnone
6
7declare float @copysignf(float, float) nounwind readnone
8
9define float @func2(float %d, double %f) nounwind readnone {
10entry:
11; 64:     func2
12; 64-DAG: lui  $[[T0:[0-9]+]], 32767
13; 64-DAG: ori  $[[MSK0:[0-9]+]], $[[T0]], 65535
14; 64-DAG: and  $[[AND0:[0-9]+]], ${{[0-9]+}}, $[[MSK0]]
15; 64-DAG: dsrl $[[DSRL:[0-9]+]], ${{[0-9]+}}, 63
16; 64-DAG: sll  $[[SLL0:[0-9]+]], $[[DSRL]], 0
17; 64-DAG: sll  $[[SLL1:[0-9]+]], $[[SLL0]], 31
18; 64:     or   $[[OR:[0-9]+]], $[[AND0]], $[[SLL1]]
19; 64:     mtc1 $[[OR]], $f0
20
21; 64R2: dext ${{[0-9]+}}, ${{[0-9]+}}, 63, 1
22; 64R2: ins  $[[INS:[0-9]+]], ${{[0-9]+}}, 31, 1
23; 64R2: mtc1 $[[INS]], $f0
24
25  %add = fadd float %d, 1.000000e+00
26  %conv = fptrunc double %f to float
27  %call = tail call float @copysignf(float %add, float %conv) nounwind readnone
28  ret float %call
29}
30
31define double @func3(double %d, float %f) nounwind readnone {
32entry:
33
34; 64:     func3
35; 64-DAG: daddiu $[[T0:[0-9]+]], $zero, 1
36; 64-DAG: dsll   $[[T1:[0-9]+]], $[[T0]], 63
37; 64-DAG: daddiu $[[MSK0:[0-9]+]], $[[T1]], -1
38; 64-DAG: and    $[[AND0:[0-9]+]], ${{[0-9]+}}, $[[MSK0]]
39; 64-DAG: srl    $[[SRL:[0-9]+]], ${{[0-9]+}}, 31
40; 64-DAG: sll    $[[SLL:[0-9]+]], $[[SRL]], 0
41; 64-DAG: dsll   $[[DSLL:[0-9]+]], $[[SLL]], 63
42; 64:     or     $[[OR:[0-9]+]], $[[AND0]], $[[DSLL]]
43; 64:     dmtc1  $[[OR]], $f0
44
45; 64R2: ext   ${{[0-9]+}}, ${{[0-9]+}}, 31, 1
46; 64R2: dins  $[[INS:[0-9]+]], ${{[0-9]+}}, 63, 1
47; 64R2: dmtc1 $[[INS]], $f0
48
49  %add = fadd double %d, 1.000000e+00
50  %conv = fpext float %f to double
51  %call = tail call double @copysign(double %add, double %conv) nounwind readnone
52  ret double %call
53}
54
55