|
77
|
1 ; Check that madd.[ds], msub.[ds], nmadd.[ds], and nmsub.[ds] are supported
|
|
|
2 ; correctly.
|
|
|
3 ; The spec for nmadd.[ds], and nmsub.[ds] does not state that they obey the
|
|
|
4 ; the Has2008 and ABS2008 configuration bits which govern the conformance to
|
|
|
5 ; IEEE 754 (1985) and IEEE 754 (2008). These instructions are therefore only
|
|
|
6 ; available when -enable-no-nans-fp-math is given.
|
|
|
7
|
|
|
8 ; RUN: llc < %s -march=mipsel -mcpu=mips32 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=32 -check-prefix=32-NONAN
|
|
|
9 ; RUN: llc < %s -march=mipsel -mcpu=mips32r2 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=32R2 -check-prefix=32R2-NONAN
|
|
|
10 ; RUN: llc < %s -march=mipsel -mcpu=mips32r6 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=32R6 -check-prefix=32R6-NONAN
|
|
95
|
11 ; RUN: llc < %s -march=mips64el -mcpu=mips64 -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=64 -check-prefix=64-NONAN
|
|
|
12 ; RUN: llc < %s -march=mips64el -mcpu=mips64r2 -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=64R2 -check-prefix=64R2-NONAN
|
|
|
13 ; RUN: llc < %s -march=mips64el -mcpu=mips64r6 -target-abi=n64 -enable-no-nans-fp-math | FileCheck %s -check-prefix=ALL -check-prefix=64R6 -check-prefix=64R6-NONAN
|
|
77
|
14 ; RUN: llc < %s -march=mipsel -mcpu=mips32 | FileCheck %s -check-prefix=ALL -check-prefix=32 -check-prefix=32-NAN
|
|
|
15 ; RUN: llc < %s -march=mipsel -mcpu=mips32r2 | FileCheck %s -check-prefix=ALL -check-prefix=32R2 -check-prefix=32R2-NAN
|
|
|
16 ; RUN: llc < %s -march=mipsel -mcpu=mips32r6 | FileCheck %s -check-prefix=ALL -check-prefix=32R6 -check-prefix=32R6-NAN
|
|
95
|
17 ; RUN: llc < %s -march=mips64el -mcpu=mips64 -target-abi=n64 | FileCheck %s -check-prefix=ALL -check-prefix=64 -check-prefix=64-NAN
|
|
|
18 ; RUN: llc < %s -march=mips64el -mcpu=mips64r2 -target-abi=n64 | FileCheck %s -check-prefix=ALL -check-prefix=64R2 -check-prefix=64R2-NAN
|
|
|
19 ; RUN: llc < %s -march=mips64el -mcpu=mips64r6 -target-abi=n64 | FileCheck %s -check-prefix=ALL -check-prefix=64R6 -check-prefix=64R6-NAN
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 define float @FOO0float(float %a, float %b, float %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 entry:
|
|
77
|
23 ; ALL-LABEL: FOO0float:
|
|
|
24
|
|
|
25 ; 32-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
26 ; 32-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
27 ; 32-DAG: add.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
28 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
29 ; 32-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
30
|
|
|
31 ; 32R2: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
32 ; 32R2: madd.s $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
33 ; 32R2: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
34 ; 32R2: add.s $f0, $[[T1]], $[[T2]]
|
|
|
35
|
|
|
36 ; 32R6-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
37 ; 32R6-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
38 ; 32R6-DAG: add.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
39 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
40 ; 32R6-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
41
|
|
95
|
42 ; 64-DAG: madd.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
43 ; 64-DAG: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
44 ; 64-DAG: add.s $f0, $[[T0]], $[[T1]]
|
|
77
|
45
|
|
|
46 ; 64R2: madd.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
47 ; 64R2: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
48 ; 64R2: add.s $f0, $[[T0]], $[[T1]]
|
|
|
49
|
|
|
50 ; 64R6-DAG: mul.s $[[T0:f[0-9]+]], $f12, $f13
|
|
|
51 ; 64R6-DAG: add.s $[[T1:f[0-9]+]], $[[T0]], $f14
|
|
|
52 ; 64R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
53 ; 64R6-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
54
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 %mul = fmul float %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 %add = fadd float %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 %add1 = fadd float %add, 0.000000e+00
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 ret float %add1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 define float @FOO1float(float %a, float %b, float %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62 entry:
|
|
77
|
63 ; ALL-LABEL: FOO1float:
|
|
|
64
|
|
|
65 ; 32-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
66 ; 32-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
67 ; 32-DAG: sub.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
68 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
69 ; 32-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
70
|
|
|
71 ; 32R2: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
72 ; 32R2: msub.s $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
73 ; 32R2: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
74 ; 32R2: add.s $f0, $[[T1]], $[[T2]]
|
|
|
75
|
|
|
76 ; 32R6-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
77 ; 32R6-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
78 ; 32R6-DAG: sub.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
79 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
80 ; 32R6-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
81
|
|
95
|
82 ; 64-DAG: msub.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
83 ; 64-DAG: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
84 ; 64-DAG: add.s $f0, $[[T0]], $[[T1]]
|
|
77
|
85
|
|
|
86 ; 64R2: msub.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
87 ; 64R2: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
88 ; 64R2: add.s $f0, $[[T0]], $[[T1]]
|
|
|
89
|
|
|
90 ; 64R6-DAG: mul.s $[[T0:f[0-9]+]], $f12, $f13
|
|
|
91 ; 64R6-DAG: sub.s $[[T1:f[0-9]+]], $[[T0]], $f14
|
|
|
92 ; 64R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
93 ; 64R6-DAG: add.s $f0, $[[T1]], $[[T2]]
|
|
|
94
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 %mul = fmul float %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 %sub = fsub float %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
97 %add = fadd float %sub, 0.000000e+00
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
98 ret float %add
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
100
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101 define float @FOO2float(float %a, float %b, float %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 entry:
|
|
77
|
103 ; ALL-LABEL: FOO2float:
|
|
|
104
|
|
|
105 ; 32-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
106 ; 32-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
107 ; 32-DAG: add.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
108 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
109 ; 32-DAG: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
110
|
|
|
111 ; 32R2-NONAN: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
112 ; 32R2-NONAN: nmadd.s $f0, $[[T0]], $f12, $f14
|
|
|
113
|
|
|
114 ; 32R2-NAN: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
115 ; 32R2-NAN: madd.s $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
116 ; 32R2-NAN: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
117 ; 32R2-NAN: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
118
|
|
|
119 ; 32R6-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
120 ; 32R6-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
121 ; 32R6-DAG: add.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
122 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
123 ; 32R6-DAG: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
124
|
|
95
|
125 ; 64-NONAN: nmadd.s $f0, $f14, $f12, $f13
|
|
|
126
|
|
|
127 ; 64-NAN: madd.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
128 ; 64-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
129 ; 64-NAN: sub.s $f0, $[[T1]], $[[T0]]
|
|
77
|
130
|
|
|
131 ; 64R2-NONAN: nmadd.s $f0, $f14, $f12, $f13
|
|
|
132
|
|
|
133 ; 64R2-NAN: madd.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
134 ; 64R2-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
135 ; 64R2-NAN: sub.s $f0, $[[T1]], $[[T0]]
|
|
|
136
|
|
|
137 ; 64R6-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f13
|
|
|
138 ; 64R6-DAG: add.s $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
139 ; 64R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
140 ; 64R6-DAG: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
141
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 %mul = fmul float %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 %add = fadd float %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 %sub = fsub float 0.000000e+00, %add
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 ret float %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
148 define float @FOO3float(float %a, float %b, float %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
149 entry:
|
|
77
|
150 ; ALL-LABEL: FOO3float:
|
|
|
151
|
|
|
152 ; 32-DAG: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
153 ; 32-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f14
|
|
|
154 ; 32-DAG: sub.s $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
155 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
156 ; 32-DAG: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
157
|
|
|
158 ; 32R2-NONAN: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
159 ; 32R2-NONAN: nmsub.s $f0, $[[T0]], $f12, $f14
|
|
|
160
|
|
|
161 ; 32R2-NAN: mtc1 $6, $[[T0:f[0-9]+]]
|
|
|
162 ; 32R2-NAN: msub.s $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
163 ; 32R2-NAN: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
164 ; 32R2-NAN: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
165
|
|
95
|
166 ; 64-NAN: msub.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
167 ; 64-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
168 ; 64-NAN: sub.s $f0, $[[T1]], $[[T0]]
|
|
|
169
|
|
|
170 ; 64-NONAN: nmsub.s $f0, $f14, $f12, $f13
|
|
77
|
171
|
|
|
172 ; 64R2-NAN: msub.s $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
173 ; 64R2-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
174 ; 64R2-NAN: sub.s $f0, $[[T1]], $[[T0]]
|
|
|
175
|
|
|
176 ; 64R6-DAG: mul.s $[[T1:f[0-9]+]], $f12, $f13
|
|
|
177 ; 64R6-DAG: sub.s $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
178 ; 64R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
179 ; 64R6-DAG: sub.s $f0, $[[T2]], $[[T1]]
|
|
|
180
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181 %mul = fmul float %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
182 %sub = fsub float %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 %sub1 = fsub float 0.000000e+00, %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 ret float %sub1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
185 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
186
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187 define double @FOO10double(double %a, double %b, double %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188 entry:
|
|
77
|
189 ; ALL-LABEL: FOO10double:
|
|
|
190
|
|
|
191 ; 32-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
192 ; 32-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
193 ; 32-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
194 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
195 ; 32-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
196
|
|
|
197 ; 32R2: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
198 ; 32R2: madd.d $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
199 ; 32R2: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
200 ; 32R2: mthc1 $zero, $[[T2]]
|
|
|
201 ; 32R2: add.d $f0, $[[T1]], $[[T2]]
|
|
|
202
|
|
|
203 ; 32R6-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
204 ; 32R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
205 ; 32R6-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
206 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
207 ; 32R6-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
208
|
|
95
|
209 ; 64-DAG: madd.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
210 ; 64-DAG: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
211 ; 64-DAG: add.d $f0, $[[T0]], $[[T1]]
|
|
77
|
212
|
|
|
213 ; 64R2: madd.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
214 ; 64R2: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
215 ; 64R2: add.d $f0, $[[T0]], $[[T1]]
|
|
|
216
|
|
|
217 ; 64R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f13
|
|
|
218 ; 64R6-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
219 ; 64R6-DAG: dmtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
220 ; 64R6-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
221
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
222 %mul = fmul double %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
223 %add = fadd double %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 %add1 = fadd double %add, 0.000000e+00
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225 ret double %add1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
226 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
227
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
228 define double @FOO11double(double %a, double %b, double %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
229 entry:
|
|
77
|
230 ; ALL-LABEL: FOO11double:
|
|
|
231
|
|
|
232 ; 32-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
233 ; 32-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
234 ; 32-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
235 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
236 ; 32-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
237
|
|
|
238 ; 32R2: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
239 ; 32R2: msub.d $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
240 ; 32R2: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
241 ; 32R2: mthc1 $zero, $[[T2]]
|
|
|
242 ; 32R2: add.d $f0, $[[T1]], $[[T2]]
|
|
|
243
|
|
|
244 ; 32R6-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
245 ; 32R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
246 ; 32R6-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
247 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
248 ; 32R6-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
249
|
|
95
|
250 ; 64-DAG: msub.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
251 ; 64-DAG: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
252 ; 64-DAG: add.d $f0, $[[T0]], $[[T1]]
|
|
77
|
253
|
|
|
254 ; 64R2: msub.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
255 ; 64R2: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
256 ; 64R2: add.d $f0, $[[T0]], $[[T1]]
|
|
|
257
|
|
|
258 ; 64R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f13
|
|
|
259 ; 64R6-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
260 ; 64R6-DAG: dmtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
261 ; 64R6-DAG: add.d $f0, $[[T1]], $[[T2]]
|
|
|
262
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
263 %mul = fmul double %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
264 %sub = fsub double %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
265 %add = fadd double %sub, 0.000000e+00
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
266 ret double %add
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
267 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
268
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
269 define double @FOO12double(double %a, double %b, double %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270 entry:
|
|
77
|
271 ; ALL-LABEL: FOO12double:
|
|
|
272
|
|
|
273 ; 32-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
274 ; 32-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
275 ; 32-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
276 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
277 ; 32-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
278
|
|
|
279 ; 32R2-NONAN: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
280 ; 32R2-NONAN: nmadd.d $f0, $[[T0]], $f12, $f14
|
|
|
281
|
|
|
282 ; 32R2-NAN: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
283 ; 32R2-NAN: madd.d $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
284 ; 32R2-NAN: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
285 ; 32R2-NAN: mthc1 $zero, $[[T2]]
|
|
|
286 ; 32R2-NAN: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
287
|
|
|
288 ; 32R6-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
289 ; 32R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
290 ; 32R6-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
291 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
292 ; 32R6-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
293
|
|
95
|
294 ; 64-NONAN: nmadd.d $f0, $f14, $f12, $f13
|
|
|
295
|
|
|
296 ; 64-NAN: madd.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
297 ; 64-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
298 ; 64-NAN: sub.d $f0, $[[T1]], $[[T0]]
|
|
77
|
299
|
|
|
300 ; 64R2-NONAN: nmadd.d $f0, $f14, $f12, $f13
|
|
|
301
|
|
|
302 ; 64R2-NAN: madd.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
303 ; 64R2-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
304 ; 64R2-NAN: sub.d $f0, $[[T1]], $[[T0]]
|
|
|
305
|
|
|
306 ; 64R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f13
|
|
|
307 ; 64R6-DAG: add.d $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
308 ; 64R6-DAG: dmtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
309 ; 64R6-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
310
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
311 %mul = fmul double %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
312 %add = fadd double %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
313 %sub = fsub double 0.000000e+00, %add
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
314 ret double %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
315 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
316
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
317 define double @FOO13double(double %a, double %b, double %c) nounwind readnone {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
318 entry:
|
|
77
|
319 ; ALL-LABEL: FOO13double:
|
|
|
320
|
|
|
321 ; 32-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
322 ; 32-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
323 ; 32-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
324 ; 32-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
325 ; 32-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
326
|
|
|
327 ; 32R2-NONAN: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
328 ; 32R2-NONAN: nmsub.d $f0, $[[T0]], $f12, $f14
|
|
|
329
|
|
|
330 ; 32R2-NAN: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
331 ; 32R2-NAN: msub.d $[[T1:f[0-9]+]], $[[T0]], $f12, $f14
|
|
|
332 ; 32R2-NAN: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
333 ; 32R2-NAN: mthc1 $zero, $[[T2]]
|
|
|
334 ; 32R2-NAN: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
335
|
|
|
336 ; 32R6-DAG: ldc1 $[[T0:f[0-9]+]], 16($sp)
|
|
|
337 ; 32R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f14
|
|
|
338 ; 32R6-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $[[T0]]
|
|
|
339 ; 32R6-DAG: mtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
340 ; 32R6-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
341
|
|
95
|
342 ; 64-NONAN: nmsub.d $f0, $f14, $f12, $f13
|
|
|
343
|
|
|
344 ; 64-NAN: msub.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
345 ; 64-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
346 ; 64-NAN: sub.d $f0, $[[T1]], $[[T0]]
|
|
77
|
347
|
|
|
348 ; 64R2-NONAN: nmsub.d $f0, $f14, $f12, $f13
|
|
|
349
|
|
|
350 ; 64R2-NAN: msub.d $[[T0:f[0-9]+]], $f14, $f12, $f13
|
|
|
351 ; 64R2-NAN: mtc1 $zero, $[[T1:f[0-9]+]]
|
|
|
352 ; 64R2-NAN: sub.d $f0, $[[T1]], $[[T0]]
|
|
|
353
|
|
|
354 ; 64R6-DAG: mul.d $[[T1:f[0-9]+]], $f12, $f13
|
|
|
355 ; 64R6-DAG: sub.d $[[T2:f[0-9]+]], $[[T1]], $f14
|
|
|
356 ; 64R6-DAG: dmtc1 $zero, $[[T2:f[0-9]+]]
|
|
|
357 ; 64R6-DAG: sub.d $f0, $[[T2]], $[[T1]]
|
|
|
358
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
359 %mul = fmul double %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
360 %sub = fsub double %mul, %c
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
361 %sub1 = fsub double 0.000000e+00, %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
362 ret double %sub1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
363 }
|
