1; Check whether nmadd/nmsub instructions are properly generated
2; RUN: llc < %s -march=mipsel   -mcpu=mips32r2 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NM
3; RUN: llc < %s -march=mipsel   -mcpu=mips32r2 -mattr=+fp64 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NM
4; RUN: llc < %s -march=mipsel   -mcpu=mips32r2 -mattr=micromips -enable-no-nans-fp-math -asm-show-inst | FileCheck %s -check-prefixes=ALL,CHECK-NM,CHECK-MM
5; RUN: llc < %s -march=mips64el -mcpu=mips64   -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NM-64
6; RUN: llc < %s -march=mips64el -mcpu=mips64r2 -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NM-64
7; RUN: llc < %s -march=mips64el -mcpu=mips4    -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NM-64
8; RUN: llc < %s -march=mipsel   -mcpu=mips32   -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NOT-NM
9; RUN: llc < %s -march=mipsel   -mcpu=mips32r6 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NOT-NM
10; RUN: llc < %s -march=mips64el -mcpu=mips3    -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NOT-NM-64
11; RUN-TODO: llc < %s -march=mipsel   -mcpu=mips32r6 -mattr=micromips -enable-no-nans-fp-math | FileCheck %s -check-prefixes=ALL,CHECK-NOT-NM
12
13define float @add1(float %f, float %g, float %h) local_unnamed_addr #0 {
14entry:
15; ALL-LABEL: add1
16
17; CHECK-NM-64:             nmadd.s $f0, $f14, $f12, $f13
18; CHECK-NM:                nmadd.s $f0, $f0, $f12, $f14
19; CHECK-MM:                NMADD_S_MM
20; CHECK-NOT-NM-64          mul.s $f0, $f12, $f13
21; CHECK-NOT-NM-64:         neg.s $f0, $f0
22; CHECK-NOT-NM:            mul.s $f0, $f12, $f14
23; CHECK-NOT-NM:            neg.s $f0, $f0
24
25  %mul = fmul nnan float %f, %g
26  %add = fadd nnan float %mul, %h
27  %sub = fsub nnan float -0.000000e+00, %add
28  ret float %sub
29}
30
31define double @add2(double %f, double %g, double %h) local_unnamed_addr #0 {
32entry:
33; ALL-LABEL: add2
34
35; CHECK-NM-64:             nmadd.d $f0, $f14, $f12, $f13
36; CHECK-NM:                nmadd.d $f0, $f0, $f12, $f14
37; CHECK-MM:                NMADD_D32_MM
38; CHECK-NOT-NM-64          mul.d $f0, $f12, $f13
39; CHECK-NOT-NM-64:         neg.d $f0, $f0
40; CHECK-NOT-NM:            mul.d $f0, $f12, $f14
41; CHECK-NOT-NM:            neg.d $f0, $f0
42
43  %mul = fmul nnan double %f, %g
44  %add = fadd nnan double %mul, %h
45  %sub = fsub nnan double -0.000000e+00, %add
46  ret double %sub
47}
48
49define float @sub1(float %f, float %g, float %h) local_unnamed_addr #0 {
50entry:
51; ALL-LABEL: sub1
52
53; CHECK-NM-64:             nmsub.s $f0, $f14, $f12, $f13
54; CHECK-NM:                nmsub.s $f0, $f0, $f12, $f14
55; CHECK-MM:                NMSUB_S_MM
56; CHECK-NOT-NM-64          mul.s $f0, $f12, $f13
57; CHECK-NOT-NM-64:         neg.s $f0, $f0
58; CHECK-NOT-NM:            mul.s $f0, $f12, $f14
59; CHECK-NOT-NM:            neg.s $f0, $f0
60
61  %mul = fmul nnan float %f, %g
62  %sub = fsub nnan float %mul, %h
63  %sub1 = fsub nnan float -0.000000e+00, %sub
64  ret float %sub1
65}
66
67define double @sub2(double %f, double %g, double %h) local_unnamed_addr #0 {
68entry:
69; ALL-LABEL: sub2
70
71; CHECK-NM-64:             nmsub.d $f0, $f14, $f12, $f13
72; CHECK-NM:                nmsub.d $f0, $f0, $f12, $f14
73; CHECK-MM:                NMSUB_D32_MM
74; CHECK-NOT-NM-64          mul.d $f0, $f12, $f13
75; CHECK-NOT-NM-64:         neg.d $f0, $f0
76; CHECK-NOT-NM:            mul.d $f0, $f12, $f14
77; CHECK-NOT-NM:            neg.d $f0, $f0
78
79  %mul = fmul nnan double %f, %g
80  %sub = fsub nnan double %mul, %h
81  %sub1 = fsub nnan double -0.000000e+00, %sub
82  ret double %sub1
83}
84