blob: fc6ce90d21f8f0874bd5c8e0fb42c18fee67f93a [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
Ralf Baechle3f7cac42014-04-26 01:49:14 +02002 * cp1emu.c: a MIPS coprocessor 1 (FPU) instruction emulator
Linus Torvalds1da177e2005-04-16 15:20:36 -07003 *
4 * MIPS floating point support
5 * Copyright (C) 1994-2000 Algorithmics Ltd.
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 *
7 * Kevin D. Kissell, kevink@mips.com and Carsten Langgaard, carstenl@mips.com
8 * Copyright (C) 2000 MIPS Technologies, Inc.
9 *
10 * This program is free software; you can distribute it and/or modify it
11 * under the terms of the GNU General Public License (Version 2) as
12 * published by the Free Software Foundation.
13 *
14 * This program is distributed in the hope it will be useful, but WITHOUT
15 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 * for more details.
18 *
19 * You should have received a copy of the GNU General Public License along
20 * with this program; if not, write to the Free Software Foundation, Inc.,
Ralf Baechle3f7cac42014-04-26 01:49:14 +020021 * 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Linus Torvalds1da177e2005-04-16 15:20:36 -070022 *
23 * A complete emulator for MIPS coprocessor 1 instructions. This is
24 * required for #float(switch) or #float(trap), where it catches all
25 * COP1 instructions via the "CoProcessor Unusable" exception.
26 *
27 * More surprisingly it is also required for #float(ieee), to help out
Ralf Baechle3f7cac42014-04-26 01:49:14 +020028 * the hardware FPU at the boundaries of the IEEE-754 representation
Linus Torvalds1da177e2005-04-16 15:20:36 -070029 * (denormalised values, infinities, underflow, etc). It is made
30 * quite nasty because emulation of some non-COP1 instructions is
31 * required, e.g. in branch delay slots.
32 *
Ralf Baechle3f7cac42014-04-26 01:49:14 +020033 * Note if you know that you won't have an FPU, then you'll get much
Linus Torvalds1da177e2005-04-16 15:20:36 -070034 * better performance by compiling with -msoft-float!
35 */
36#include <linux/sched.h>
Atsushi Nemoto83fd38c2007-07-07 23:21:49 +090037#include <linux/debugfs.h>
Ralf Baechle08a07902014-04-19 13:11:37 +020038#include <linux/kconfig.h>
Ralf Baechle85c51c52014-04-16 02:46:11 +020039#include <linux/percpu-defs.h>
Deng-Cheng Zhu7f788d22010-10-12 19:37:21 +080040#include <linux/perf_event.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070041
Ralf Baechlecd8ee342014-04-16 02:09:53 +020042#include <asm/branch.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070043#include <asm/inst.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070044#include <asm/ptrace.h>
45#include <asm/signal.h>
Ralf Baechlecd8ee342014-04-16 02:09:53 +020046#include <asm/uaccess.h>
47
48#include <asm/processor.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070049#include <asm/fpu_emulator.h>
Leonid Yegoshin102cedc2013-03-25 12:09:02 -050050#include <asm/fpu.h>
Leonid Yegoshinb0a668f2014-12-03 15:47:03 +000051#include <asm/mips-r2-to-r6-emul.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070052
53#include "ieee754.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070054
Linus Torvalds1da177e2005-04-16 15:20:36 -070055/* Function which emulates a floating point instruction. */
56
Atsushi Nemotoeae89072006-05-16 01:26:03 +090057static int fpu_emu(struct pt_regs *, struct mips_fpu_struct *,
Linus Torvalds1da177e2005-04-16 15:20:36 -070058 mips_instruction);
59
Linus Torvalds1da177e2005-04-16 15:20:36 -070060static int fpux_emu(struct pt_regs *,
David Daney515b0292010-10-21 16:32:26 -070061 struct mips_fpu_struct *, mips_instruction, void *__user *);
Linus Torvalds1da177e2005-04-16 15:20:36 -070062
Linus Torvalds1da177e2005-04-16 15:20:36 -070063/* Control registers */
64
65#define FPCREG_RID 0 /* $0 = revision id */
66#define FPCREG_CSR 31 /* $31 = csr */
67
Linus Torvalds1da177e2005-04-16 15:20:36 -070068/* convert condition code register number to csr bit */
Leonid Yegoshinb0a668f2014-12-03 15:47:03 +000069const unsigned int fpucondbit[8] = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070070 FPU_CSR_COND0,
71 FPU_CSR_COND1,
72 FPU_CSR_COND2,
73 FPU_CSR_COND3,
74 FPU_CSR_COND4,
75 FPU_CSR_COND5,
76 FPU_CSR_COND6,
77 FPU_CSR_COND7
78};
Linus Torvalds1da177e2005-04-16 15:20:36 -070079
Leonid Yegoshin102cedc2013-03-25 12:09:02 -050080/* (microMIPS) Convert certain microMIPS instructions to MIPS32 format. */
81static const int sd_format[] = {16, 17, 0, 0, 0, 0, 0, 0};
82static const int sdps_format[] = {16, 17, 22, 0, 0, 0, 0, 0};
83static const int dwl_format[] = {17, 20, 21, 0, 0, 0, 0, 0};
84static const int swl_format[] = {16, 20, 21, 0, 0, 0, 0, 0};
85
86/*
87 * This functions translates a 32-bit microMIPS instruction
88 * into a 32-bit MIPS32 instruction. Returns 0 on success
89 * and SIGILL otherwise.
90 */
91static int microMIPS32_to_MIPS32(union mips_instruction *insn_ptr)
92{
93 union mips_instruction insn = *insn_ptr;
94 union mips_instruction mips32_insn = insn;
95 int func, fmt, op;
96
97 switch (insn.mm_i_format.opcode) {
98 case mm_ldc132_op:
99 mips32_insn.mm_i_format.opcode = ldc1_op;
100 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
101 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
102 break;
103 case mm_lwc132_op:
104 mips32_insn.mm_i_format.opcode = lwc1_op;
105 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
106 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
107 break;
108 case mm_sdc132_op:
109 mips32_insn.mm_i_format.opcode = sdc1_op;
110 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
111 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
112 break;
113 case mm_swc132_op:
114 mips32_insn.mm_i_format.opcode = swc1_op;
115 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
116 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
117 break;
118 case mm_pool32i_op:
119 /* NOTE: offset is << by 1 if in microMIPS mode. */
120 if ((insn.mm_i_format.rt == mm_bc1f_op) ||
121 (insn.mm_i_format.rt == mm_bc1t_op)) {
122 mips32_insn.fb_format.opcode = cop1_op;
123 mips32_insn.fb_format.bc = bc_op;
124 mips32_insn.fb_format.flag =
125 (insn.mm_i_format.rt == mm_bc1t_op) ? 1 : 0;
126 } else
127 return SIGILL;
128 break;
129 case mm_pool32f_op:
130 switch (insn.mm_fp0_format.func) {
131 case mm_32f_01_op:
132 case mm_32f_11_op:
133 case mm_32f_02_op:
134 case mm_32f_12_op:
135 case mm_32f_41_op:
136 case mm_32f_51_op:
137 case mm_32f_42_op:
138 case mm_32f_52_op:
139 op = insn.mm_fp0_format.func;
140 if (op == mm_32f_01_op)
141 func = madd_s_op;
142 else if (op == mm_32f_11_op)
143 func = madd_d_op;
144 else if (op == mm_32f_02_op)
145 func = nmadd_s_op;
146 else if (op == mm_32f_12_op)
147 func = nmadd_d_op;
148 else if (op == mm_32f_41_op)
149 func = msub_s_op;
150 else if (op == mm_32f_51_op)
151 func = msub_d_op;
152 else if (op == mm_32f_42_op)
153 func = nmsub_s_op;
154 else
155 func = nmsub_d_op;
156 mips32_insn.fp6_format.opcode = cop1x_op;
157 mips32_insn.fp6_format.fr = insn.mm_fp6_format.fr;
158 mips32_insn.fp6_format.ft = insn.mm_fp6_format.ft;
159 mips32_insn.fp6_format.fs = insn.mm_fp6_format.fs;
160 mips32_insn.fp6_format.fd = insn.mm_fp6_format.fd;
161 mips32_insn.fp6_format.func = func;
162 break;
163 case mm_32f_10_op:
164 func = -1; /* Invalid */
165 op = insn.mm_fp5_format.op & 0x7;
166 if (op == mm_ldxc1_op)
167 func = ldxc1_op;
168 else if (op == mm_sdxc1_op)
169 func = sdxc1_op;
170 else if (op == mm_lwxc1_op)
171 func = lwxc1_op;
172 else if (op == mm_swxc1_op)
173 func = swxc1_op;
174
175 if (func != -1) {
176 mips32_insn.r_format.opcode = cop1x_op;
177 mips32_insn.r_format.rs =
178 insn.mm_fp5_format.base;
179 mips32_insn.r_format.rt =
180 insn.mm_fp5_format.index;
181 mips32_insn.r_format.rd = 0;
182 mips32_insn.r_format.re = insn.mm_fp5_format.fd;
183 mips32_insn.r_format.func = func;
184 } else
185 return SIGILL;
186 break;
187 case mm_32f_40_op:
188 op = -1; /* Invalid */
189 if (insn.mm_fp2_format.op == mm_fmovt_op)
190 op = 1;
191 else if (insn.mm_fp2_format.op == mm_fmovf_op)
192 op = 0;
193 if (op != -1) {
194 mips32_insn.fp0_format.opcode = cop1_op;
195 mips32_insn.fp0_format.fmt =
196 sdps_format[insn.mm_fp2_format.fmt];
197 mips32_insn.fp0_format.ft =
198 (insn.mm_fp2_format.cc<<2) + op;
199 mips32_insn.fp0_format.fs =
200 insn.mm_fp2_format.fs;
201 mips32_insn.fp0_format.fd =
202 insn.mm_fp2_format.fd;
203 mips32_insn.fp0_format.func = fmovc_op;
204 } else
205 return SIGILL;
206 break;
207 case mm_32f_60_op:
208 func = -1; /* Invalid */
209 if (insn.mm_fp0_format.op == mm_fadd_op)
210 func = fadd_op;
211 else if (insn.mm_fp0_format.op == mm_fsub_op)
212 func = fsub_op;
213 else if (insn.mm_fp0_format.op == mm_fmul_op)
214 func = fmul_op;
215 else if (insn.mm_fp0_format.op == mm_fdiv_op)
216 func = fdiv_op;
217 if (func != -1) {
218 mips32_insn.fp0_format.opcode = cop1_op;
219 mips32_insn.fp0_format.fmt =
220 sdps_format[insn.mm_fp0_format.fmt];
221 mips32_insn.fp0_format.ft =
222 insn.mm_fp0_format.ft;
223 mips32_insn.fp0_format.fs =
224 insn.mm_fp0_format.fs;
225 mips32_insn.fp0_format.fd =
226 insn.mm_fp0_format.fd;
227 mips32_insn.fp0_format.func = func;
228 } else
229 return SIGILL;
230 break;
231 case mm_32f_70_op:
232 func = -1; /* Invalid */
233 if (insn.mm_fp0_format.op == mm_fmovn_op)
234 func = fmovn_op;
235 else if (insn.mm_fp0_format.op == mm_fmovz_op)
236 func = fmovz_op;
237 if (func != -1) {
238 mips32_insn.fp0_format.opcode = cop1_op;
239 mips32_insn.fp0_format.fmt =
240 sdps_format[insn.mm_fp0_format.fmt];
241 mips32_insn.fp0_format.ft =
242 insn.mm_fp0_format.ft;
243 mips32_insn.fp0_format.fs =
244 insn.mm_fp0_format.fs;
245 mips32_insn.fp0_format.fd =
246 insn.mm_fp0_format.fd;
247 mips32_insn.fp0_format.func = func;
248 } else
249 return SIGILL;
250 break;
251 case mm_32f_73_op: /* POOL32FXF */
252 switch (insn.mm_fp1_format.op) {
253 case mm_movf0_op:
254 case mm_movf1_op:
255 case mm_movt0_op:
256 case mm_movt1_op:
257 if ((insn.mm_fp1_format.op & 0x7f) ==
258 mm_movf0_op)
259 op = 0;
260 else
261 op = 1;
262 mips32_insn.r_format.opcode = spec_op;
263 mips32_insn.r_format.rs = insn.mm_fp4_format.fs;
264 mips32_insn.r_format.rt =
265 (insn.mm_fp4_format.cc << 2) + op;
266 mips32_insn.r_format.rd = insn.mm_fp4_format.rt;
267 mips32_insn.r_format.re = 0;
268 mips32_insn.r_format.func = movc_op;
269 break;
270 case mm_fcvtd0_op:
271 case mm_fcvtd1_op:
272 case mm_fcvts0_op:
273 case mm_fcvts1_op:
274 if ((insn.mm_fp1_format.op & 0x7f) ==
275 mm_fcvtd0_op) {
276 func = fcvtd_op;
277 fmt = swl_format[insn.mm_fp3_format.fmt];
278 } else {
279 func = fcvts_op;
280 fmt = dwl_format[insn.mm_fp3_format.fmt];
281 }
282 mips32_insn.fp0_format.opcode = cop1_op;
283 mips32_insn.fp0_format.fmt = fmt;
284 mips32_insn.fp0_format.ft = 0;
285 mips32_insn.fp0_format.fs =
286 insn.mm_fp3_format.fs;
287 mips32_insn.fp0_format.fd =
288 insn.mm_fp3_format.rt;
289 mips32_insn.fp0_format.func = func;
290 break;
291 case mm_fmov0_op:
292 case mm_fmov1_op:
293 case mm_fabs0_op:
294 case mm_fabs1_op:
295 case mm_fneg0_op:
296 case mm_fneg1_op:
297 if ((insn.mm_fp1_format.op & 0x7f) ==
298 mm_fmov0_op)
299 func = fmov_op;
300 else if ((insn.mm_fp1_format.op & 0x7f) ==
301 mm_fabs0_op)
302 func = fabs_op;
303 else
304 func = fneg_op;
305 mips32_insn.fp0_format.opcode = cop1_op;
306 mips32_insn.fp0_format.fmt =
307 sdps_format[insn.mm_fp3_format.fmt];
308 mips32_insn.fp0_format.ft = 0;
309 mips32_insn.fp0_format.fs =
310 insn.mm_fp3_format.fs;
311 mips32_insn.fp0_format.fd =
312 insn.mm_fp3_format.rt;
313 mips32_insn.fp0_format.func = func;
314 break;
315 case mm_ffloorl_op:
316 case mm_ffloorw_op:
317 case mm_fceill_op:
318 case mm_fceilw_op:
319 case mm_ftruncl_op:
320 case mm_ftruncw_op:
321 case mm_froundl_op:
322 case mm_froundw_op:
323 case mm_fcvtl_op:
324 case mm_fcvtw_op:
325 if (insn.mm_fp1_format.op == mm_ffloorl_op)
326 func = ffloorl_op;
327 else if (insn.mm_fp1_format.op == mm_ffloorw_op)
328 func = ffloor_op;
329 else if (insn.mm_fp1_format.op == mm_fceill_op)
330 func = fceill_op;
331 else if (insn.mm_fp1_format.op == mm_fceilw_op)
332 func = fceil_op;
333 else if (insn.mm_fp1_format.op == mm_ftruncl_op)
334 func = ftruncl_op;
335 else if (insn.mm_fp1_format.op == mm_ftruncw_op)
336 func = ftrunc_op;
337 else if (insn.mm_fp1_format.op == mm_froundl_op)
338 func = froundl_op;
339 else if (insn.mm_fp1_format.op == mm_froundw_op)
340 func = fround_op;
341 else if (insn.mm_fp1_format.op == mm_fcvtl_op)
342 func = fcvtl_op;
343 else
344 func = fcvtw_op;
345 mips32_insn.fp0_format.opcode = cop1_op;
346 mips32_insn.fp0_format.fmt =
347 sd_format[insn.mm_fp1_format.fmt];
348 mips32_insn.fp0_format.ft = 0;
349 mips32_insn.fp0_format.fs =
350 insn.mm_fp1_format.fs;
351 mips32_insn.fp0_format.fd =
352 insn.mm_fp1_format.rt;
353 mips32_insn.fp0_format.func = func;
354 break;
355 case mm_frsqrt_op:
356 case mm_fsqrt_op:
357 case mm_frecip_op:
358 if (insn.mm_fp1_format.op == mm_frsqrt_op)
359 func = frsqrt_op;
360 else if (insn.mm_fp1_format.op == mm_fsqrt_op)
361 func = fsqrt_op;
362 else
363 func = frecip_op;
364 mips32_insn.fp0_format.opcode = cop1_op;
365 mips32_insn.fp0_format.fmt =
366 sdps_format[insn.mm_fp1_format.fmt];
367 mips32_insn.fp0_format.ft = 0;
368 mips32_insn.fp0_format.fs =
369 insn.mm_fp1_format.fs;
370 mips32_insn.fp0_format.fd =
371 insn.mm_fp1_format.rt;
372 mips32_insn.fp0_format.func = func;
373 break;
374 case mm_mfc1_op:
375 case mm_mtc1_op:
376 case mm_cfc1_op:
377 case mm_ctc1_op:
Steven J. Hill9355e592013-11-07 12:48:29 +0000378 case mm_mfhc1_op:
379 case mm_mthc1_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500380 if (insn.mm_fp1_format.op == mm_mfc1_op)
381 op = mfc_op;
382 else if (insn.mm_fp1_format.op == mm_mtc1_op)
383 op = mtc_op;
384 else if (insn.mm_fp1_format.op == mm_cfc1_op)
385 op = cfc_op;
Steven J. Hill9355e592013-11-07 12:48:29 +0000386 else if (insn.mm_fp1_format.op == mm_ctc1_op)
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500387 op = ctc_op;
Steven J. Hill9355e592013-11-07 12:48:29 +0000388 else if (insn.mm_fp1_format.op == mm_mfhc1_op)
389 op = mfhc_op;
390 else
391 op = mthc_op;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500392 mips32_insn.fp1_format.opcode = cop1_op;
393 mips32_insn.fp1_format.op = op;
394 mips32_insn.fp1_format.rt =
395 insn.mm_fp1_format.rt;
396 mips32_insn.fp1_format.fs =
397 insn.mm_fp1_format.fs;
398 mips32_insn.fp1_format.fd = 0;
399 mips32_insn.fp1_format.func = 0;
400 break;
401 default:
402 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500403 }
404 break;
405 case mm_32f_74_op: /* c.cond.fmt */
406 mips32_insn.fp0_format.opcode = cop1_op;
407 mips32_insn.fp0_format.fmt =
408 sdps_format[insn.mm_fp4_format.fmt];
409 mips32_insn.fp0_format.ft = insn.mm_fp4_format.rt;
410 mips32_insn.fp0_format.fs = insn.mm_fp4_format.fs;
411 mips32_insn.fp0_format.fd = insn.mm_fp4_format.cc << 2;
412 mips32_insn.fp0_format.func =
413 insn.mm_fp4_format.cond | MM_MIPS32_COND_FC;
414 break;
415 default:
416 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500417 }
418 break;
419 default:
420 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500421 }
422
423 *insn_ptr = mips32_insn;
424 return 0;
425}
426
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427/*
428 * Redundant with logic already in kernel/branch.c,
429 * embedded in compute_return_epc. At some point,
430 * a single subroutine should be used across both
431 * modules.
432 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500433static int isBranchInstr(struct pt_regs *regs, struct mm_decoded_insn dec_insn,
434 unsigned long *contpc)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700435{
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500436 union mips_instruction insn = (union mips_instruction)dec_insn.insn;
437 unsigned int fcr31;
438 unsigned int bit = 0;
439
440 switch (insn.i_format.opcode) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700441 case spec_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500442 switch (insn.r_format.func) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700443 case jalr_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500444 regs->regs[insn.r_format.rd] =
445 regs->cp0_epc + dec_insn.pc_inc +
446 dec_insn.next_pc_inc;
447 /* Fall through */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700448 case jr_op:
Markos Chandras5f9f41c2014-11-25 15:54:14 +0000449 /* For R6, JR already emulated in jalr_op */
450 if (NO_R6EMU && insn.r_format.opcode == jr_op)
451 break;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500452 *contpc = regs->regs[insn.r_format.rs];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 return 1;
454 }
455 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456 case bcond_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500457 switch (insn.i_format.rt) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458 case bltzal_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459 case bltzall_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000460 if (NO_R6EMU && (insn.i_format.rs ||
461 insn.i_format.rt == bltzall_op))
462 break;
463
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500464 regs->regs[31] = regs->cp0_epc +
465 dec_insn.pc_inc +
466 dec_insn.next_pc_inc;
467 /* Fall through */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500468 case bltzl_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000469 if (NO_R6EMU)
470 break;
471 case bltz_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500472 if ((long)regs->regs[insn.i_format.rs] < 0)
473 *contpc = regs->cp0_epc +
474 dec_insn.pc_inc +
475 (insn.i_format.simmediate << 2);
476 else
477 *contpc = regs->cp0_epc +
478 dec_insn.pc_inc +
479 dec_insn.next_pc_inc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500481 case bgezal_op:
482 case bgezall_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000483 if (NO_R6EMU && (insn.i_format.rs ||
484 insn.i_format.rt == bgezall_op))
485 break;
486
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500487 regs->regs[31] = regs->cp0_epc +
488 dec_insn.pc_inc +
489 dec_insn.next_pc_inc;
490 /* Fall through */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500491 case bgezl_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000492 if (NO_R6EMU)
493 break;
494 case bgez_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500495 if ((long)regs->regs[insn.i_format.rs] >= 0)
496 *contpc = regs->cp0_epc +
497 dec_insn.pc_inc +
498 (insn.i_format.simmediate << 2);
499 else
500 *contpc = regs->cp0_epc +
501 dec_insn.pc_inc +
502 dec_insn.next_pc_inc;
503 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 }
505 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506 case jalx_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500507 set_isa16_mode(bit);
508 case jal_op:
509 regs->regs[31] = regs->cp0_epc +
510 dec_insn.pc_inc +
511 dec_insn.next_pc_inc;
512 /* Fall through */
513 case j_op:
514 *contpc = regs->cp0_epc + dec_insn.pc_inc;
515 *contpc >>= 28;
516 *contpc <<= 28;
517 *contpc |= (insn.j_format.target << 2);
518 /* Set microMIPS mode bit: XOR for jalx. */
519 *contpc ^= bit;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500521 case beql_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000522 if (NO_R6EMU)
523 break;
524 case beq_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500525 if (regs->regs[insn.i_format.rs] ==
526 regs->regs[insn.i_format.rt])
527 *contpc = regs->cp0_epc +
528 dec_insn.pc_inc +
529 (insn.i_format.simmediate << 2);
530 else
531 *contpc = regs->cp0_epc +
532 dec_insn.pc_inc +
533 dec_insn.next_pc_inc;
534 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500535 case bnel_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000536 if (NO_R6EMU)
537 break;
538 case bne_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500539 if (regs->regs[insn.i_format.rs] !=
540 regs->regs[insn.i_format.rt])
541 *contpc = regs->cp0_epc +
542 dec_insn.pc_inc +
543 (insn.i_format.simmediate << 2);
544 else
545 *contpc = regs->cp0_epc +
546 dec_insn.pc_inc +
547 dec_insn.next_pc_inc;
548 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500549 case blezl_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000550 if (NO_R6EMU)
551 break;
552 case blez_op:
Markos Chandrasa8ff66f2014-11-26 12:57:54 +0000553
554 /*
555 * Compact branches for R6 for the
556 * blez and blezl opcodes.
557 * BLEZ | rs = 0 | rt != 0 == BLEZALC
558 * BLEZ | rs = rt != 0 == BGEZALC
559 * BLEZ | rs != 0 | rt != 0 == BGEUC
560 * BLEZL | rs = 0 | rt != 0 == BLEZC
561 * BLEZL | rs = rt != 0 == BGEZC
562 * BLEZL | rs != 0 | rt != 0 == BGEC
563 *
564 * For real BLEZ{,L}, rt is always 0.
565 */
566 if (cpu_has_mips_r6 && insn.i_format.rt) {
567 if ((insn.i_format.opcode == blez_op) &&
568 ((!insn.i_format.rs && insn.i_format.rt) ||
569 (insn.i_format.rs == insn.i_format.rt)))
570 regs->regs[31] = regs->cp0_epc +
571 dec_insn.pc_inc;
572 *contpc = regs->cp0_epc + dec_insn.pc_inc +
573 dec_insn.next_pc_inc;
574
575 return 1;
576 }
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500577 if ((long)regs->regs[insn.i_format.rs] <= 0)
578 *contpc = regs->cp0_epc +
579 dec_insn.pc_inc +
580 (insn.i_format.simmediate << 2);
581 else
582 *contpc = regs->cp0_epc +
583 dec_insn.pc_inc +
584 dec_insn.next_pc_inc;
585 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500586 case bgtzl_op:
Markos Chandras319824e2014-11-25 16:02:23 +0000587 if (NO_R6EMU)
588 break;
589 case bgtz_op:
Markos Chandrasf1b44062014-11-26 13:05:09 +0000590 /*
591 * Compact branches for R6 for the
592 * bgtz and bgtzl opcodes.
593 * BGTZ | rs = 0 | rt != 0 == BGTZALC
594 * BGTZ | rs = rt != 0 == BLTZALC
595 * BGTZ | rs != 0 | rt != 0 == BLTUC
596 * BGTZL | rs = 0 | rt != 0 == BGTZC
597 * BGTZL | rs = rt != 0 == BLTZC
598 * BGTZL | rs != 0 | rt != 0 == BLTC
599 *
600 * *ZALC varint for BGTZ &&& rt != 0
601 * For real GTZ{,L}, rt is always 0.
602 */
603 if (cpu_has_mips_r6 && insn.i_format.rt) {
604 if ((insn.i_format.opcode == blez_op) &&
605 ((!insn.i_format.rs && insn.i_format.rt) ||
606 (insn.i_format.rs == insn.i_format.rt)))
607 regs->regs[31] = regs->cp0_epc +
608 dec_insn.pc_inc;
609 *contpc = regs->cp0_epc + dec_insn.pc_inc +
610 dec_insn.next_pc_inc;
611
612 return 1;
613 }
614
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500615 if ((long)regs->regs[insn.i_format.rs] > 0)
616 *contpc = regs->cp0_epc +
617 dec_insn.pc_inc +
618 (insn.i_format.simmediate << 2);
619 else
620 *contpc = regs->cp0_epc +
621 dec_insn.pc_inc +
622 dec_insn.next_pc_inc;
623 return 1;
Markos Chandrasc893ce32014-11-26 14:08:52 +0000624 case cbcond0_op:
Markos Chandras10d962d2014-11-26 15:03:54 +0000625 case cbcond1_op:
Markos Chandrasc893ce32014-11-26 14:08:52 +0000626 if (!cpu_has_mips_r6)
627 break;
628 if (insn.i_format.rt && !insn.i_format.rs)
629 regs->regs[31] = regs->cp0_epc + 4;
630 *contpc = regs->cp0_epc + dec_insn.pc_inc +
631 dec_insn.next_pc_inc;
632
633 return 1;
David Daneyc26d4212013-08-19 12:10:34 -0700634#ifdef CONFIG_CPU_CAVIUM_OCTEON
635 case lwc2_op: /* This is bbit0 on Octeon */
636 if ((regs->regs[insn.i_format.rs] & (1ull<<insn.i_format.rt)) == 0)
637 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
638 else
639 *contpc = regs->cp0_epc + 8;
640 return 1;
641 case ldc2_op: /* This is bbit032 on Octeon */
642 if ((regs->regs[insn.i_format.rs] & (1ull<<(insn.i_format.rt + 32))) == 0)
643 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
644 else
645 *contpc = regs->cp0_epc + 8;
646 return 1;
647 case swc2_op: /* This is bbit1 on Octeon */
648 if (regs->regs[insn.i_format.rs] & (1ull<<insn.i_format.rt))
649 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
650 else
651 *contpc = regs->cp0_epc + 8;
652 return 1;
653 case sdc2_op: /* This is bbit132 on Octeon */
654 if (regs->regs[insn.i_format.rs] & (1ull<<(insn.i_format.rt + 32)))
655 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
656 else
657 *contpc = regs->cp0_epc + 8;
658 return 1;
Markos Chandras8467ca02014-11-26 13:56:51 +0000659#else
660 case bc6_op:
661 /*
662 * Only valid for MIPS R6 but we can still end up
663 * here from a broken userland so just tell emulator
664 * this is not a branch and let it break later on.
665 */
666 if (!cpu_has_mips_r6)
667 break;
668 *contpc = regs->cp0_epc + dec_insn.pc_inc +
669 dec_insn.next_pc_inc;
670
671 return 1;
Markos Chandras84fef632014-11-26 15:43:11 +0000672 case balc6_op:
673 if (!cpu_has_mips_r6)
674 break;
675 regs->regs[31] = regs->cp0_epc + 4;
676 *contpc = regs->cp0_epc + dec_insn.pc_inc +
677 dec_insn.next_pc_inc;
678
679 return 1;
Markos Chandras69b9a2f2014-11-27 09:32:25 +0000680 case beqzcjic_op:
681 if (!cpu_has_mips_r6)
682 break;
683 *contpc = regs->cp0_epc + dec_insn.pc_inc +
684 dec_insn.next_pc_inc;
685
686 return 1;
Markos Chandras28d6f932015-01-08 11:55:20 +0000687 case bnezcjialc_op:
688 if (!cpu_has_mips_r6)
689 break;
690 if (!insn.i_format.rs)
691 regs->regs[31] = regs->cp0_epc + 4;
692 *contpc = regs->cp0_epc + dec_insn.pc_inc +
693 dec_insn.next_pc_inc;
694
695 return 1;
David Daneyc26d4212013-08-19 12:10:34 -0700696#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700697 case cop0_op:
698 case cop1_op:
Markos Chandrasc8a34582014-11-26 10:10:18 +0000699 /* Need to check for R6 bc1nez and bc1eqz branches */
700 if (cpu_has_mips_r6 &&
701 ((insn.i_format.rs == bc1eqz_op) ||
702 (insn.i_format.rs == bc1nez_op))) {
703 bit = 0;
704 switch (insn.i_format.rs) {
705 case bc1eqz_op:
706 if (get_fpr32(&current->thread.fpu.fpr[insn.i_format.rt], 0) & 0x1)
707 bit = 1;
708 break;
709 case bc1nez_op:
710 if (!(get_fpr32(&current->thread.fpu.fpr[insn.i_format.rt], 0) & 0x1))
711 bit = 1;
712 break;
713 }
714 if (bit)
715 *contpc = regs->cp0_epc +
716 dec_insn.pc_inc +
717 (insn.i_format.simmediate << 2);
718 else
719 *contpc = regs->cp0_epc +
720 dec_insn.pc_inc +
721 dec_insn.next_pc_inc;
722
723 return 1;
724 }
725 /* R2/R6 compatible cop1 instruction. Fall through */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700726 case cop2_op:
727 case cop1x_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500728 if (insn.i_format.rs == bc_op) {
729 preempt_disable();
730 if (is_fpu_owner())
Manuel Lauss842dfc12014-11-07 14:13:54 +0100731 fcr31 = read_32bit_cp1_register(CP1_STATUS);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500732 else
733 fcr31 = current->thread.fpu.fcr31;
734 preempt_enable();
735
736 bit = (insn.i_format.rt >> 2);
737 bit += (bit != 0);
738 bit += 23;
739 switch (insn.i_format.rt & 3) {
740 case 0: /* bc1f */
741 case 2: /* bc1fl */
742 if (~fcr31 & (1 << bit))
743 *contpc = regs->cp0_epc +
744 dec_insn.pc_inc +
745 (insn.i_format.simmediate << 2);
746 else
747 *contpc = regs->cp0_epc +
748 dec_insn.pc_inc +
749 dec_insn.next_pc_inc;
750 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500751 case 1: /* bc1t */
752 case 3: /* bc1tl */
753 if (fcr31 & (1 << bit))
754 *contpc = regs->cp0_epc +
755 dec_insn.pc_inc +
756 (insn.i_format.simmediate << 2);
757 else
758 *contpc = regs->cp0_epc +
759 dec_insn.pc_inc +
760 dec_insn.next_pc_inc;
761 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500762 }
763 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764 break;
765 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 return 0;
767}
768
769/*
770 * In the Linux kernel, we support selection of FPR format on the
Ralf Baechle70342282013-01-22 12:59:30 +0100771 * basis of the Status.FR bit. If an FPU is not present, the FR bit
David Daneyda0bac32009-11-02 11:33:46 -0800772 * is hardwired to zero, which would imply a 32-bit FPU even for
Paul Burton597ce172013-11-22 13:12:07 +0000773 * 64-bit CPUs so we rather look at TIF_32BIT_FPREGS.
Ralf Baechle51d943f2012-08-15 19:42:19 +0200774 * FPU emu is slow and bulky and optimizing this function offers fairly
775 * sizeable benefits so we try to be clever and make this function return
776 * a constant whenever possible, that is on 64-bit kernels without O32
Paul Burton597ce172013-11-22 13:12:07 +0000777 * compatibility enabled and on 32-bit without 64-bit FPU support.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700778 */
David Daneyda0bac32009-11-02 11:33:46 -0800779static inline int cop1_64bit(struct pt_regs *xcp)
780{
Ralf Baechle08a07902014-04-19 13:11:37 +0200781 if (config_enabled(CONFIG_64BIT) && !config_enabled(CONFIG_MIPS32_O32))
782 return 1;
783 else if (config_enabled(CONFIG_32BIT) &&
784 !config_enabled(CONFIG_MIPS_O32_FP64_SUPPORT))
785 return 0;
786
Paul Burton597ce172013-11-22 13:12:07 +0000787 return !test_thread_flag(TIF_32BIT_FPREGS);
David Daneyda0bac32009-11-02 11:33:46 -0800788}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700789
Paul Burton4227a2d2014-09-11 08:30:20 +0100790static inline bool hybrid_fprs(void)
791{
792 return test_thread_flag(TIF_HYBRID_FPREGS);
793}
794
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200795#define SIFROMREG(si, x) \
796do { \
Paul Burton4227a2d2014-09-11 08:30:20 +0100797 if (cop1_64bit(xcp) && !hybrid_fprs()) \
Paul Burtonc8c0da62014-09-24 10:45:37 +0100798 (si) = (int)get_fpr32(&ctx->fpr[x], 0); \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000799 else \
Paul Burtonc8c0da62014-09-24 10:45:37 +0100800 (si) = (int)get_fpr32(&ctx->fpr[(x) & ~1], (x) & 1); \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000801} while (0)
David Daneyda0bac32009-11-02 11:33:46 -0800802
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200803#define SITOREG(si, x) \
804do { \
Paul Burton4227a2d2014-09-11 08:30:20 +0100805 if (cop1_64bit(xcp) && !hybrid_fprs()) { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000806 unsigned i; \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000807 set_fpr32(&ctx->fpr[x], 0, si); \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000808 for (i = 1; i < ARRAY_SIZE(ctx->fpr[x].val32); i++) \
809 set_fpr32(&ctx->fpr[x], i, 0); \
810 } else { \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000811 set_fpr32(&ctx->fpr[(x) & ~1], (x) & 1, si); \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000812 } \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000813} while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700814
Paul Burtonc8c0da62014-09-24 10:45:37 +0100815#define SIFROMHREG(si, x) ((si) = (int)get_fpr32(&ctx->fpr[x], 1))
Paul Burtonef1c47a2014-01-27 17:14:47 +0000816
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200817#define SITOHREG(si, x) \
818do { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000819 unsigned i; \
820 set_fpr32(&ctx->fpr[x], 1, si); \
821 for (i = 2; i < ARRAY_SIZE(ctx->fpr[x].val32); i++) \
822 set_fpr32(&ctx->fpr[x], i, 0); \
823} while (0)
Leonid Yegoshin1ac944002013-11-07 12:48:28 +0000824
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200825#define DIFROMREG(di, x) \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000826 ((di) = get_fpr64(&ctx->fpr[(x) & ~(cop1_64bit(xcp) == 0)], 0))
827
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200828#define DITOREG(di, x) \
829do { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000830 unsigned fpr, i; \
831 fpr = (x) & ~(cop1_64bit(xcp) == 0); \
832 set_fpr64(&ctx->fpr[fpr], 0, di); \
833 for (i = 1; i < ARRAY_SIZE(ctx->fpr[x].val64); i++) \
834 set_fpr64(&ctx->fpr[fpr], i, 0); \
835} while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836
Ralf Baechle21a151d2007-10-11 23:46:15 +0100837#define SPFROMREG(sp, x) SIFROMREG((sp).bits, x)
838#define SPTOREG(sp, x) SITOREG((sp).bits, x)
839#define DPFROMREG(dp, x) DIFROMREG((dp).bits, x)
840#define DPTOREG(dp, x) DITOREG((dp).bits, x)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700841
842/*
843 * Emulate the single floating point instruction pointed at by EPC.
844 * Two instructions if the instruction is in a branch delay slot.
845 */
846
David Daney515b0292010-10-21 16:32:26 -0700847static int cop1Emulate(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500848 struct mm_decoded_insn dec_insn, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849{
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500850 unsigned long contpc = xcp->cp0_epc + dec_insn.pc_inc;
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200851 unsigned int cond, cbit;
852 mips_instruction ir;
853 int likely, pc_inc;
854 u32 __user *wva;
855 u64 __user *dva;
856 u32 value;
857 u32 wval;
858 u64 dval;
859 int sig;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860
Ralf Baechle70e4c232014-04-30 11:09:44 +0200861 /*
862 * These are giving gcc a gentle hint about what to expect in
863 * dec_inst in order to do better optimization.
864 */
865 if (!cpu_has_mmips && dec_insn.micro_mips_mode)
866 unreachable();
867
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868 /* XXX NEC Vr54xx bug workaround */
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200869 if (delay_slot(xcp)) {
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500870 if (dec_insn.micro_mips_mode) {
871 if (!mm_isBranchInstr(xcp, dec_insn, &contpc))
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200872 clear_delay_slot(xcp);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500873 } else {
874 if (!isBranchInstr(xcp, dec_insn, &contpc))
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200875 clear_delay_slot(xcp);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500876 }
877 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200879 if (delay_slot(xcp)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700880 /*
881 * The instruction to be emulated is in a branch delay slot
Ralf Baechle70342282013-01-22 12:59:30 +0100882 * which means that we have to emulate the branch instruction
Linus Torvalds1da177e2005-04-16 15:20:36 -0700883 * BEFORE we do the cop1 instruction.
884 *
885 * This branch could be a COP1 branch, but in that case we
886 * would have had a trap for that instruction, and would not
887 * come through this route.
888 *
889 * Linux MIPS branch emulator operates on context, updating the
890 * cp0_epc.
891 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500892 ir = dec_insn.next_insn; /* process delay slot instr */
893 pc_inc = dec_insn.next_pc_inc;
Ralf Baechle333d1f62005-02-28 17:55:57 +0000894 } else {
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500895 ir = dec_insn.insn; /* process current instr */
896 pc_inc = dec_insn.pc_inc;
897 }
898
899 /*
900 * Since microMIPS FPU instructios are a subset of MIPS32 FPU
901 * instructions, we want to convert microMIPS FPU instructions
902 * into MIPS32 instructions so that we could reuse all of the
903 * FPU emulation code.
904 *
905 * NOTE: We cannot do this for branch instructions since they
906 * are not a subset. Example: Cannot emulate a 16-bit
907 * aligned target address with a MIPS32 instruction.
908 */
909 if (dec_insn.micro_mips_mode) {
910 /*
911 * If next instruction is a 16-bit instruction, then it
912 * it cannot be a FPU instruction. This could happen
913 * since we can be called for non-FPU instructions.
914 */
915 if ((pc_inc == 2) ||
916 (microMIPS32_to_MIPS32((union mips_instruction *)&ir)
917 == SIGILL))
918 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919 }
920
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200921emul:
Peter Zijlstraa8b0ca12011-06-27 14:41:57 +0200922 perf_sw_event(PERF_COUNT_SW_EMULATION_FAULTS, 1, xcp, 0);
David Daneyb6ee75e2009-11-05 11:34:26 -0800923 MIPS_FPU_EMU_INC_STATS(emulated);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700924 switch (MIPSInst_OPCODE(ir)) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200925 case ldc1_op:
926 dva = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +
927 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800928 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -0700929
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200930 if (!access_ok(VERIFY_READ, dva, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800931 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200932 *fault_addr = dva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933 return SIGBUS;
934 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200935 if (__get_user(dval, dva)) {
David Daney515b0292010-10-21 16:32:26 -0700936 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200937 *fault_addr = dva;
David Daney515b0292010-10-21 16:32:26 -0700938 return SIGSEGV;
939 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200940 DITOREG(dval, MIPSInst_RT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700941 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200943 case sdc1_op:
944 dva = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +
945 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800946 MIPS_FPU_EMU_INC_STATS(stores);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200947 DIFROMREG(dval, MIPSInst_RT(ir));
948 if (!access_ok(VERIFY_WRITE, dva, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800949 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200950 *fault_addr = dva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700951 return SIGBUS;
952 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200953 if (__put_user(dval, dva)) {
David Daney515b0292010-10-21 16:32:26 -0700954 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200955 *fault_addr = dva;
David Daney515b0292010-10-21 16:32:26 -0700956 return SIGSEGV;
957 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700958 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200960 case lwc1_op:
961 wva = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +
962 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800963 MIPS_FPU_EMU_INC_STATS(loads);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200964 if (!access_ok(VERIFY_READ, wva, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800965 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200966 *fault_addr = wva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967 return SIGBUS;
968 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200969 if (__get_user(wval, wva)) {
David Daney515b0292010-10-21 16:32:26 -0700970 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200971 *fault_addr = wva;
David Daney515b0292010-10-21 16:32:26 -0700972 return SIGSEGV;
973 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200974 SITOREG(wval, MIPSInst_RT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700975 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200977 case swc1_op:
978 wva = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +
979 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800980 MIPS_FPU_EMU_INC_STATS(stores);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200981 SIFROMREG(wval, MIPSInst_RT(ir));
982 if (!access_ok(VERIFY_WRITE, wva, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800983 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200984 *fault_addr = wva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700985 return SIGBUS;
986 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200987 if (__put_user(wval, wva)) {
David Daney515b0292010-10-21 16:32:26 -0700988 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200989 *fault_addr = wva;
David Daney515b0292010-10-21 16:32:26 -0700990 return SIGSEGV;
991 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700992 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700993
994 case cop1_op:
995 switch (MIPSInst_RS(ir)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996 case dmfc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +0200997 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
998 return SIGILL;
999
Linus Torvalds1da177e2005-04-16 15:20:36 -07001000 /* copregister fs -> gpr[rt] */
1001 if (MIPSInst_RT(ir) != 0) {
1002 DIFROMREG(xcp->regs[MIPSInst_RT(ir)],
1003 MIPSInst_RD(ir));
1004 }
1005 break;
1006
1007 case dmtc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001008 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1009 return SIGILL;
1010
Linus Torvalds1da177e2005-04-16 15:20:36 -07001011 /* copregister fs <- rt */
1012 DITOREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
1013 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001014
Leonid Yegoshin1ac944002013-11-07 12:48:28 +00001015 case mfhc_op:
1016 if (!cpu_has_mips_r2)
1017 goto sigill;
1018
1019 /* copregister rd -> gpr[rt] */
1020 if (MIPSInst_RT(ir) != 0) {
1021 SIFROMHREG(xcp->regs[MIPSInst_RT(ir)],
1022 MIPSInst_RD(ir));
1023 }
1024 break;
1025
1026 case mthc_op:
1027 if (!cpu_has_mips_r2)
1028 goto sigill;
1029
1030 /* copregister rd <- gpr[rt] */
1031 SITOHREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
1032 break;
1033
Linus Torvalds1da177e2005-04-16 15:20:36 -07001034 case mfc_op:
1035 /* copregister rd -> gpr[rt] */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001036 if (MIPSInst_RT(ir) != 0) {
1037 SIFROMREG(xcp->regs[MIPSInst_RT(ir)],
1038 MIPSInst_RD(ir));
1039 }
1040 break;
1041
1042 case mtc_op:
1043 /* copregister rd <- rt */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001044 SITOREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
1045 break;
1046
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001047 case cfc_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001048 /* cop control register rd -> gpr[rt] */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001049 if (MIPSInst_RD(ir) == FPCREG_CSR) {
1050 value = ctx->fcr31;
Ralf Baechle92df0f82014-04-19 14:03:37 +02001051 pr_debug("%p gpr[%d]<-csr=%08x\n",
1052 (void *) (xcp->cp0_epc),
1053 MIPSInst_RT(ir), value);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054 }
1055 else if (MIPSInst_RD(ir) == FPCREG_RID)
1056 value = 0;
1057 else
1058 value = 0;
1059 if (MIPSInst_RT(ir))
1060 xcp->regs[MIPSInst_RT(ir)] = value;
1061 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001062
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001063 case ctc_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001064 /* copregister rd <- rt */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001065 if (MIPSInst_RT(ir) == 0)
1066 value = 0;
1067 else
1068 value = xcp->regs[MIPSInst_RT(ir)];
1069
1070 /* we only have one writable control reg
1071 */
1072 if (MIPSInst_RD(ir) == FPCREG_CSR) {
Ralf Baechle92df0f82014-04-19 14:03:37 +02001073 pr_debug("%p gpr[%d]->csr=%08x\n",
1074 (void *) (xcp->cp0_epc),
1075 MIPSInst_RT(ir), value);
Shane McDonald95e8f632010-05-06 23:26:57 -06001076
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01001077 /* Don't write reserved bits. */
1078 ctx->fcr31 = value & ~FPU_CSR_RSVD;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001079 }
1080 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
1081 return SIGFPE;
1082 }
1083 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001085 case bc_op:
Ralf Baechlee7e9cae2014-04-16 01:59:03 +02001086 if (delay_slot(xcp))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087 return SIGILL;
1088
Ralf Baechle08a07902014-04-19 13:11:37 +02001089 if (cpu_has_mips_4_5_r)
1090 cbit = fpucondbit[MIPSInst_RT(ir) >> 2];
1091 else
1092 cbit = FPU_CSR_COND;
1093 cond = ctx->fcr31 & cbit;
1094
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001095 likely = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001096 switch (MIPSInst_RT(ir) & 3) {
1097 case bcfl_op:
1098 likely = 1;
1099 case bcf_op:
1100 cond = !cond;
1101 break;
1102 case bctl_op:
1103 likely = 1;
1104 case bct_op:
1105 break;
1106 default:
1107 /* thats an illegal instruction */
1108 return SIGILL;
1109 }
1110
Ralf Baechlee7e9cae2014-04-16 01:59:03 +02001111 set_delay_slot(xcp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001112 if (cond) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001113 /*
1114 * Branch taken: emulate dslot instruction
Linus Torvalds1da177e2005-04-16 15:20:36 -07001115 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001116 xcp->cp0_epc += dec_insn.pc_inc;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001118 contpc = MIPSInst_SIMM(ir);
1119 ir = dec_insn.next_insn;
1120 if (dec_insn.micro_mips_mode) {
1121 contpc = (xcp->cp0_epc + (contpc << 1));
1122
1123 /* If 16-bit instruction, not FPU. */
1124 if ((dec_insn.next_pc_inc == 2) ||
1125 (microMIPS32_to_MIPS32((union mips_instruction *)&ir) == SIGILL)) {
1126
1127 /*
1128 * Since this instruction will
1129 * be put on the stack with
1130 * 32-bit words, get around
1131 * this problem by putting a
1132 * NOP16 as the second one.
1133 */
1134 if (dec_insn.next_pc_inc == 2)
1135 ir = (ir & (~0xffff)) | MM_NOP16;
1136
1137 /*
1138 * Single step the non-CP1
1139 * instruction in the dslot.
1140 */
1141 return mips_dsemul(xcp, ir, contpc);
1142 }
1143 } else
1144 contpc = (xcp->cp0_epc + (contpc << 2));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001145
1146 switch (MIPSInst_OPCODE(ir)) {
1147 case lwc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001148 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001149
Linus Torvalds1da177e2005-04-16 15:20:36 -07001150 case swc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001151 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001152
Linus Torvalds1da177e2005-04-16 15:20:36 -07001153 case ldc1_op:
1154 case sdc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001155 if (cpu_has_mips_2_3_4_5 ||
1156 cpu_has_mips64)
1157 goto emul;
1158
1159 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001161
Ralf Baechle08a07902014-04-19 13:11:37 +02001162 case cop1_op:
1163 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001164
Ralf Baechle08a07902014-04-19 13:11:37 +02001165 case cop1x_op:
Markos Chandrasa5466d72014-10-21 10:21:54 +01001166 if (cpu_has_mips_4_5 || cpu_has_mips64 || cpu_has_mips32r2)
Ralf Baechle08a07902014-04-19 13:11:37 +02001167 /* its one of ours */
1168 goto emul;
1169
1170 return SIGILL;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001171
Linus Torvalds1da177e2005-04-16 15:20:36 -07001172 case spec_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001173 if (!cpu_has_mips_4_5_r)
1174 return SIGILL;
1175
Linus Torvalds1da177e2005-04-16 15:20:36 -07001176 if (MIPSInst_FUNC(ir) == movc_op)
1177 goto emul;
1178 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001179 }
1180
1181 /*
1182 * Single step the non-cp1
1183 * instruction in the dslot
1184 */
Atsushi Nemotoe70dfc12007-07-13 23:02:29 +09001185 return mips_dsemul(xcp, ir, contpc);
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001186 } else if (likely) { /* branch not taken */
Maciej W. Rozycki5d77cf22015-04-03 23:24:24 +01001187 /*
1188 * branch likely nullifies
1189 * dslot if not taken
1190 */
1191 xcp->cp0_epc += dec_insn.pc_inc;
1192 contpc += dec_insn.pc_inc;
1193 /*
1194 * else continue & execute
1195 * dslot as normal insn
1196 */
1197 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001199
1200 default:
1201 if (!(MIPSInst_RS(ir) & 0x10))
1202 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001203
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001204 /* a real fpu computation instruction */
1205 if ((sig = fpu_emu(xcp, ctx, ir)))
1206 return sig;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001207 }
1208 break;
1209
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001210 case cop1x_op:
Markos Chandrasa5466d72014-10-21 10:21:54 +01001211 if (!cpu_has_mips_4_5 && !cpu_has_mips64 && !cpu_has_mips32r2)
Ralf Baechle08a07902014-04-19 13:11:37 +02001212 return SIGILL;
1213
1214 sig = fpux_emu(xcp, ctx, ir, fault_addr);
David Daney515b0292010-10-21 16:32:26 -07001215 if (sig)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001216 return sig;
1217 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001218
Linus Torvalds1da177e2005-04-16 15:20:36 -07001219 case spec_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001220 if (!cpu_has_mips_4_5_r)
1221 return SIGILL;
1222
Linus Torvalds1da177e2005-04-16 15:20:36 -07001223 if (MIPSInst_FUNC(ir) != movc_op)
1224 return SIGILL;
1225 cond = fpucondbit[MIPSInst_RT(ir) >> 2];
1226 if (((ctx->fcr31 & cond) != 0) == ((MIPSInst_RT(ir) & 1) != 0))
1227 xcp->regs[MIPSInst_RD(ir)] =
1228 xcp->regs[MIPSInst_RS(ir)];
1229 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001230 default:
Leonid Yegoshin1ac944002013-11-07 12:48:28 +00001231sigill:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001232 return SIGILL;
1233 }
1234
1235 /* we did it !! */
Atsushi Nemotoe70dfc12007-07-13 23:02:29 +09001236 xcp->cp0_epc = contpc;
Ralf Baechlee7e9cae2014-04-16 01:59:03 +02001237 clear_delay_slot(xcp);
Ralf Baechle333d1f62005-02-28 17:55:57 +00001238
Linus Torvalds1da177e2005-04-16 15:20:36 -07001239 return 0;
1240}
1241
1242/*
1243 * Conversion table from MIPS compare ops 48-63
1244 * cond = ieee754dp_cmp(x,y,IEEE754_UN,sig);
1245 */
1246static const unsigned char cmptab[8] = {
1247 0, /* cmp_0 (sig) cmp_sf */
1248 IEEE754_CUN, /* cmp_un (sig) cmp_ngle */
1249 IEEE754_CEQ, /* cmp_eq (sig) cmp_seq */
1250 IEEE754_CEQ | IEEE754_CUN, /* cmp_ueq (sig) cmp_ngl */
1251 IEEE754_CLT, /* cmp_olt (sig) cmp_lt */
1252 IEEE754_CLT | IEEE754_CUN, /* cmp_ult (sig) cmp_nge */
1253 IEEE754_CLT | IEEE754_CEQ, /* cmp_ole (sig) cmp_le */
1254 IEEE754_CLT | IEEE754_CEQ | IEEE754_CUN, /* cmp_ule (sig) cmp_ngt */
1255};
1256
1257
Linus Torvalds1da177e2005-04-16 15:20:36 -07001258/*
1259 * Additional MIPS4 instructions
1260 */
1261
Ralf Baechle47fa0c02014-04-16 11:00:12 +02001262#define DEF3OP(name, p, f1, f2, f3) \
1263static union ieee754##p fpemu_##p##_##name(union ieee754##p r, \
1264 union ieee754##p s, union ieee754##p t) \
1265{ \
1266 struct _ieee754_csr ieee754_csr_save; \
1267 s = f1(s, t); \
1268 ieee754_csr_save = ieee754_csr; \
1269 s = f2(s, r); \
1270 ieee754_csr_save.cx |= ieee754_csr.cx; \
1271 ieee754_csr_save.sx |= ieee754_csr.sx; \
1272 s = f3(s); \
1273 ieee754_csr.cx |= ieee754_csr_save.cx; \
1274 ieee754_csr.sx |= ieee754_csr_save.sx; \
1275 return s; \
Linus Torvalds1da177e2005-04-16 15:20:36 -07001276}
1277
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001278static union ieee754dp fpemu_dp_recip(union ieee754dp d)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001279{
1280 return ieee754dp_div(ieee754dp_one(0), d);
1281}
1282
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001283static union ieee754dp fpemu_dp_rsqrt(union ieee754dp d)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001284{
1285 return ieee754dp_div(ieee754dp_one(0), ieee754dp_sqrt(d));
1286}
1287
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001288static union ieee754sp fpemu_sp_recip(union ieee754sp s)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001289{
1290 return ieee754sp_div(ieee754sp_one(0), s);
1291}
1292
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001293static union ieee754sp fpemu_sp_rsqrt(union ieee754sp s)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001294{
1295 return ieee754sp_div(ieee754sp_one(0), ieee754sp_sqrt(s));
1296}
1297
Ralf Baechle21a151d2007-10-11 23:46:15 +01001298DEF3OP(madd, sp, ieee754sp_mul, ieee754sp_add, );
1299DEF3OP(msub, sp, ieee754sp_mul, ieee754sp_sub, );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300DEF3OP(nmadd, sp, ieee754sp_mul, ieee754sp_add, ieee754sp_neg);
1301DEF3OP(nmsub, sp, ieee754sp_mul, ieee754sp_sub, ieee754sp_neg);
Ralf Baechle21a151d2007-10-11 23:46:15 +01001302DEF3OP(madd, dp, ieee754dp_mul, ieee754dp_add, );
1303DEF3OP(msub, dp, ieee754dp_mul, ieee754dp_sub, );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304DEF3OP(nmadd, dp, ieee754dp_mul, ieee754dp_add, ieee754dp_neg);
1305DEF3OP(nmsub, dp, ieee754dp_mul, ieee754dp_sub, ieee754dp_neg);
1306
Atsushi Nemotoeae89072006-05-16 01:26:03 +09001307static int fpux_emu(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
David Daney515b0292010-10-21 16:32:26 -07001308 mips_instruction ir, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001309{
1310 unsigned rcsr = 0; /* resulting csr */
1311
David Daneyb6ee75e2009-11-05 11:34:26 -08001312 MIPS_FPU_EMU_INC_STATS(cp1xops);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001313
1314 switch (MIPSInst_FMA_FFMT(ir)) {
1315 case s_fmt:{ /* 0 */
1316
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001317 union ieee754sp(*handler) (union ieee754sp, union ieee754sp, union ieee754sp);
1318 union ieee754sp fd, fr, fs, ft;
Ralf Baechle3fccc012005-10-23 13:58:21 +01001319 u32 __user *va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001320 u32 val;
1321
1322 switch (MIPSInst_FUNC(ir)) {
1323 case lwxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001324 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 xcp->regs[MIPSInst_FT(ir)]);
1326
David Daneyb6ee75e2009-11-05 11:34:26 -08001327 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -07001328 if (!access_ok(VERIFY_READ, va, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001329 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001330 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 return SIGBUS;
1332 }
David Daney515b0292010-10-21 16:32:26 -07001333 if (__get_user(val, va)) {
1334 MIPS_FPU_EMU_INC_STATS(errors);
1335 *fault_addr = va;
1336 return SIGSEGV;
1337 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001338 SITOREG(val, MIPSInst_FD(ir));
1339 break;
1340
1341 case swxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001342 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001343 xcp->regs[MIPSInst_FT(ir)]);
1344
David Daneyb6ee75e2009-11-05 11:34:26 -08001345 MIPS_FPU_EMU_INC_STATS(stores);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001346
1347 SIFROMREG(val, MIPSInst_FS(ir));
David Daney515b0292010-10-21 16:32:26 -07001348 if (!access_ok(VERIFY_WRITE, va, sizeof(u32))) {
1349 MIPS_FPU_EMU_INC_STATS(errors);
1350 *fault_addr = va;
1351 return SIGBUS;
1352 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001353 if (put_user(val, va)) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001354 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001355 *fault_addr = va;
1356 return SIGSEGV;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001357 }
1358 break;
1359
1360 case madd_s_op:
1361 handler = fpemu_sp_madd;
1362 goto scoptop;
1363 case msub_s_op:
1364 handler = fpemu_sp_msub;
1365 goto scoptop;
1366 case nmadd_s_op:
1367 handler = fpemu_sp_nmadd;
1368 goto scoptop;
1369 case nmsub_s_op:
1370 handler = fpemu_sp_nmsub;
1371 goto scoptop;
1372
1373 scoptop:
1374 SPFROMREG(fr, MIPSInst_FR(ir));
1375 SPFROMREG(fs, MIPSInst_FS(ir));
1376 SPFROMREG(ft, MIPSInst_FT(ir));
1377 fd = (*handler) (fr, fs, ft);
1378 SPTOREG(fd, MIPSInst_FD(ir));
1379
1380 copcsr:
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001381 if (ieee754_cxtest(IEEE754_INEXACT)) {
1382 MIPS_FPU_EMU_INC_STATS(ieee754_inexact);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001383 rcsr |= FPU_CSR_INE_X | FPU_CSR_INE_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001384 }
1385 if (ieee754_cxtest(IEEE754_UNDERFLOW)) {
1386 MIPS_FPU_EMU_INC_STATS(ieee754_underflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001387 rcsr |= FPU_CSR_UDF_X | FPU_CSR_UDF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001388 }
1389 if (ieee754_cxtest(IEEE754_OVERFLOW)) {
1390 MIPS_FPU_EMU_INC_STATS(ieee754_overflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001391 rcsr |= FPU_CSR_OVF_X | FPU_CSR_OVF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001392 }
1393 if (ieee754_cxtest(IEEE754_INVALID_OPERATION)) {
1394 MIPS_FPU_EMU_INC_STATS(ieee754_invalidop);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395 rcsr |= FPU_CSR_INV_X | FPU_CSR_INV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001396 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001397
1398 ctx->fcr31 = (ctx->fcr31 & ~FPU_CSR_ALL_X) | rcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001399 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001400 /*printk ("SIGFPE: FPU csr = %08x\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401 ctx->fcr31); */
1402 return SIGFPE;
1403 }
1404
1405 break;
1406
1407 default:
1408 return SIGILL;
1409 }
1410 break;
1411 }
1412
Linus Torvalds1da177e2005-04-16 15:20:36 -07001413 case d_fmt:{ /* 1 */
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001414 union ieee754dp(*handler) (union ieee754dp, union ieee754dp, union ieee754dp);
1415 union ieee754dp fd, fr, fs, ft;
Ralf Baechle3fccc012005-10-23 13:58:21 +01001416 u64 __user *va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001417 u64 val;
1418
1419 switch (MIPSInst_FUNC(ir)) {
1420 case ldxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001421 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001422 xcp->regs[MIPSInst_FT(ir)]);
1423
David Daneyb6ee75e2009-11-05 11:34:26 -08001424 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -07001425 if (!access_ok(VERIFY_READ, va, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001426 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001427 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001428 return SIGBUS;
1429 }
David Daney515b0292010-10-21 16:32:26 -07001430 if (__get_user(val, va)) {
1431 MIPS_FPU_EMU_INC_STATS(errors);
1432 *fault_addr = va;
1433 return SIGSEGV;
1434 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001435 DITOREG(val, MIPSInst_FD(ir));
1436 break;
1437
1438 case sdxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001439 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001440 xcp->regs[MIPSInst_FT(ir)]);
1441
David Daneyb6ee75e2009-11-05 11:34:26 -08001442 MIPS_FPU_EMU_INC_STATS(stores);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001443 DIFROMREG(val, MIPSInst_FS(ir));
David Daney515b0292010-10-21 16:32:26 -07001444 if (!access_ok(VERIFY_WRITE, va, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001445 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001446 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001447 return SIGBUS;
1448 }
David Daney515b0292010-10-21 16:32:26 -07001449 if (__put_user(val, va)) {
1450 MIPS_FPU_EMU_INC_STATS(errors);
1451 *fault_addr = va;
1452 return SIGSEGV;
1453 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001454 break;
1455
1456 case madd_d_op:
1457 handler = fpemu_dp_madd;
1458 goto dcoptop;
1459 case msub_d_op:
1460 handler = fpemu_dp_msub;
1461 goto dcoptop;
1462 case nmadd_d_op:
1463 handler = fpemu_dp_nmadd;
1464 goto dcoptop;
1465 case nmsub_d_op:
1466 handler = fpemu_dp_nmsub;
1467 goto dcoptop;
1468
1469 dcoptop:
1470 DPFROMREG(fr, MIPSInst_FR(ir));
1471 DPFROMREG(fs, MIPSInst_FS(ir));
1472 DPFROMREG(ft, MIPSInst_FT(ir));
1473 fd = (*handler) (fr, fs, ft);
1474 DPTOREG(fd, MIPSInst_FD(ir));
1475 goto copcsr;
1476
1477 default:
1478 return SIGILL;
1479 }
1480 break;
1481 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001482
Deng-Cheng Zhu51061b82014-03-06 17:05:27 -08001483 case 0x3:
1484 if (MIPSInst_FUNC(ir) != pfetch_op)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001485 return SIGILL;
Deng-Cheng Zhu51061b82014-03-06 17:05:27 -08001486
Linus Torvalds1da177e2005-04-16 15:20:36 -07001487 /* ignore prefx operation */
1488 break;
1489
1490 default:
1491 return SIGILL;
1492 }
1493
1494 return 0;
1495}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001496
1497
1498
1499/*
1500 * Emulate a single COP1 arithmetic instruction.
1501 */
Atsushi Nemotoeae89072006-05-16 01:26:03 +09001502static int fpu_emu(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001503 mips_instruction ir)
1504{
1505 int rfmt; /* resulting format */
1506 unsigned rcsr = 0; /* resulting csr */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001507 unsigned int oldrm;
1508 unsigned int cbit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001509 unsigned cond;
1510 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001511 union ieee754dp d;
1512 union ieee754sp s;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001513 int w;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001514 s64 l;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001515 } rv; /* resulting value */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001516 u64 bits;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001517
David Daneyb6ee75e2009-11-05 11:34:26 -08001518 MIPS_FPU_EMU_INC_STATS(cp1ops);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001519 switch (rfmt = (MIPSInst_FFMT(ir) & 0xf)) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001520 case s_fmt: { /* 0 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001521 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001522 union ieee754sp(*b) (union ieee754sp, union ieee754sp);
1523 union ieee754sp(*u) (union ieee754sp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001524 } handler;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001525 union ieee754sp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001526
1527 switch (MIPSInst_FUNC(ir)) {
1528 /* binary ops */
1529 case fadd_op:
1530 handler.b = ieee754sp_add;
1531 goto scopbop;
1532 case fsub_op:
1533 handler.b = ieee754sp_sub;
1534 goto scopbop;
1535 case fmul_op:
1536 handler.b = ieee754sp_mul;
1537 goto scopbop;
1538 case fdiv_op:
1539 handler.b = ieee754sp_div;
1540 goto scopbop;
1541
1542 /* unary ops */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001543 case fsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001544 if (!cpu_has_mips_4_5_r)
1545 return SIGILL;
1546
Linus Torvalds1da177e2005-04-16 15:20:36 -07001547 handler.u = ieee754sp_sqrt;
1548 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001549
Ralf Baechle08a07902014-04-19 13:11:37 +02001550 /*
1551 * Note that on some MIPS IV implementations such as the
1552 * R5000 and R8000 the FSQRT and FRECIP instructions do not
1553 * achieve full IEEE-754 accuracy - however this emulator does.
1554 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555 case frsqrt_op:
Markos Chandrase0d32f332015-01-15 10:11:17 +00001556 if (!cpu_has_mips_4_5_r2_r6)
Ralf Baechle08a07902014-04-19 13:11:37 +02001557 return SIGILL;
1558
Linus Torvalds1da177e2005-04-16 15:20:36 -07001559 handler.u = fpemu_sp_rsqrt;
1560 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001561
Linus Torvalds1da177e2005-04-16 15:20:36 -07001562 case frecip_op:
Markos Chandrase0d32f332015-01-15 10:11:17 +00001563 if (!cpu_has_mips_4_5_r2_r6)
Ralf Baechle08a07902014-04-19 13:11:37 +02001564 return SIGILL;
1565
Linus Torvalds1da177e2005-04-16 15:20:36 -07001566 handler.u = fpemu_sp_recip;
1567 goto scopuop;
Ralf Baechle08a07902014-04-19 13:11:37 +02001568
Linus Torvalds1da177e2005-04-16 15:20:36 -07001569 case fmovc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001570 if (!cpu_has_mips_4_5_r)
1571 return SIGILL;
1572
Linus Torvalds1da177e2005-04-16 15:20:36 -07001573 cond = fpucondbit[MIPSInst_FT(ir) >> 2];
1574 if (((ctx->fcr31 & cond) != 0) !=
1575 ((MIPSInst_FT(ir) & 1) != 0))
1576 return 0;
1577 SPFROMREG(rv.s, MIPSInst_FS(ir));
1578 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001579
Linus Torvalds1da177e2005-04-16 15:20:36 -07001580 case fmovz_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001581 if (!cpu_has_mips_4_5_r)
1582 return SIGILL;
1583
Linus Torvalds1da177e2005-04-16 15:20:36 -07001584 if (xcp->regs[MIPSInst_FT(ir)] != 0)
1585 return 0;
1586 SPFROMREG(rv.s, MIPSInst_FS(ir));
1587 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001588
Linus Torvalds1da177e2005-04-16 15:20:36 -07001589 case fmovn_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001590 if (!cpu_has_mips_4_5_r)
1591 return SIGILL;
1592
Linus Torvalds1da177e2005-04-16 15:20:36 -07001593 if (xcp->regs[MIPSInst_FT(ir)] == 0)
1594 return 0;
1595 SPFROMREG(rv.s, MIPSInst_FS(ir));
1596 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001597
Linus Torvalds1da177e2005-04-16 15:20:36 -07001598 case fabs_op:
1599 handler.u = ieee754sp_abs;
1600 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001601
Linus Torvalds1da177e2005-04-16 15:20:36 -07001602 case fneg_op:
1603 handler.u = ieee754sp_neg;
1604 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001605
Linus Torvalds1da177e2005-04-16 15:20:36 -07001606 case fmov_op:
1607 /* an easy one */
1608 SPFROMREG(rv.s, MIPSInst_FS(ir));
1609 goto copcsr;
1610
1611 /* binary op on handler */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001612scopbop:
1613 SPFROMREG(fs, MIPSInst_FS(ir));
1614 SPFROMREG(ft, MIPSInst_FT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001615
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001616 rv.s = (*handler.b) (fs, ft);
1617 goto copcsr;
1618scopuop:
1619 SPFROMREG(fs, MIPSInst_FS(ir));
1620 rv.s = (*handler.u) (fs);
1621 goto copcsr;
1622copcsr:
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001623 if (ieee754_cxtest(IEEE754_INEXACT)) {
1624 MIPS_FPU_EMU_INC_STATS(ieee754_inexact);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001625 rcsr |= FPU_CSR_INE_X | FPU_CSR_INE_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001626 }
1627 if (ieee754_cxtest(IEEE754_UNDERFLOW)) {
1628 MIPS_FPU_EMU_INC_STATS(ieee754_underflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001629 rcsr |= FPU_CSR_UDF_X | FPU_CSR_UDF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001630 }
1631 if (ieee754_cxtest(IEEE754_OVERFLOW)) {
1632 MIPS_FPU_EMU_INC_STATS(ieee754_overflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001633 rcsr |= FPU_CSR_OVF_X | FPU_CSR_OVF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001634 }
1635 if (ieee754_cxtest(IEEE754_ZERO_DIVIDE)) {
1636 MIPS_FPU_EMU_INC_STATS(ieee754_zerodiv);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001637 rcsr |= FPU_CSR_DIV_X | FPU_CSR_DIV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001638 }
1639 if (ieee754_cxtest(IEEE754_INVALID_OPERATION)) {
1640 MIPS_FPU_EMU_INC_STATS(ieee754_invalidop);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001641 rcsr |= FPU_CSR_INV_X | FPU_CSR_INV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001642 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001643 break;
1644
1645 /* unary conv ops */
1646 case fcvts_op:
1647 return SIGILL; /* not defined */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001648
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001649 case fcvtd_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001650 SPFROMREG(fs, MIPSInst_FS(ir));
1651 rv.d = ieee754dp_fsp(fs);
1652 rfmt = d_fmt;
1653 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001654
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001655 case fcvtw_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001656 SPFROMREG(fs, MIPSInst_FS(ir));
1657 rv.w = ieee754sp_tint(fs);
1658 rfmt = w_fmt;
1659 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001660
Linus Torvalds1da177e2005-04-16 15:20:36 -07001661 case fround_op:
1662 case ftrunc_op:
1663 case fceil_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001664 case ffloor_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001665 if (!cpu_has_mips_2_3_4_5 && !cpu_has_mips64)
1666 return SIGILL;
1667
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001668 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001669 SPFROMREG(fs, MIPSInst_FS(ir));
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01001670 ieee754_csr.rm = MIPSInst_FUNC(ir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001671 rv.w = ieee754sp_tint(fs);
1672 ieee754_csr.rm = oldrm;
1673 rfmt = w_fmt;
1674 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001675
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001676 case fcvtl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001677 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1678 return SIGILL;
1679
Linus Torvalds1da177e2005-04-16 15:20:36 -07001680 SPFROMREG(fs, MIPSInst_FS(ir));
1681 rv.l = ieee754sp_tlong(fs);
1682 rfmt = l_fmt;
1683 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001684
1685 case froundl_op:
1686 case ftruncl_op:
1687 case fceill_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001688 case ffloorl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001689 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1690 return SIGILL;
1691
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001692 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001693 SPFROMREG(fs, MIPSInst_FS(ir));
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01001694 ieee754_csr.rm = MIPSInst_FUNC(ir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001695 rv.l = ieee754sp_tlong(fs);
1696 ieee754_csr.rm = oldrm;
1697 rfmt = l_fmt;
1698 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001699
1700 default:
1701 if (MIPSInst_FUNC(ir) >= fcmp_op) {
1702 unsigned cmpop = MIPSInst_FUNC(ir) - fcmp_op;
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001703 union ieee754sp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001704
1705 SPFROMREG(fs, MIPSInst_FS(ir));
1706 SPFROMREG(ft, MIPSInst_FT(ir));
1707 rv.w = ieee754sp_cmp(fs, ft,
1708 cmptab[cmpop & 0x7], cmpop & 0x8);
1709 rfmt = -1;
1710 if ((cmpop & 0x8) && ieee754_cxtest
1711 (IEEE754_INVALID_OPERATION))
1712 rcsr = FPU_CSR_INV_X | FPU_CSR_INV_S;
1713 else
1714 goto copcsr;
1715
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001716 } else
Linus Torvalds1da177e2005-04-16 15:20:36 -07001717 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001718 break;
1719 }
1720 break;
1721 }
1722
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001723 case d_fmt: {
1724 union ieee754dp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001725 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001726 union ieee754dp(*b) (union ieee754dp, union ieee754dp);
1727 union ieee754dp(*u) (union ieee754dp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001728 } handler;
1729
1730 switch (MIPSInst_FUNC(ir)) {
1731 /* binary ops */
1732 case fadd_op:
1733 handler.b = ieee754dp_add;
1734 goto dcopbop;
1735 case fsub_op:
1736 handler.b = ieee754dp_sub;
1737 goto dcopbop;
1738 case fmul_op:
1739 handler.b = ieee754dp_mul;
1740 goto dcopbop;
1741 case fdiv_op:
1742 handler.b = ieee754dp_div;
1743 goto dcopbop;
1744
1745 /* unary ops */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001746 case fsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001747 if (!cpu_has_mips_2_3_4_5_r)
1748 return SIGILL;
1749
Linus Torvalds1da177e2005-04-16 15:20:36 -07001750 handler.u = ieee754dp_sqrt;
1751 goto dcopuop;
Ralf Baechle08a07902014-04-19 13:11:37 +02001752 /*
1753 * Note that on some MIPS IV implementations such as the
1754 * R5000 and R8000 the FSQRT and FRECIP instructions do not
1755 * achieve full IEEE-754 accuracy - however this emulator does.
1756 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001757 case frsqrt_op:
Markos Chandrase0d32f332015-01-15 10:11:17 +00001758 if (!cpu_has_mips_4_5_r2_r6)
Ralf Baechle08a07902014-04-19 13:11:37 +02001759 return SIGILL;
1760
Linus Torvalds1da177e2005-04-16 15:20:36 -07001761 handler.u = fpemu_dp_rsqrt;
1762 goto dcopuop;
1763 case frecip_op:
Markos Chandrase0d32f332015-01-15 10:11:17 +00001764 if (!cpu_has_mips_4_5_r2_r6)
Ralf Baechle08a07902014-04-19 13:11:37 +02001765 return SIGILL;
1766
Linus Torvalds1da177e2005-04-16 15:20:36 -07001767 handler.u = fpemu_dp_recip;
1768 goto dcopuop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001769 case fmovc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001770 if (!cpu_has_mips_4_5_r)
1771 return SIGILL;
1772
Linus Torvalds1da177e2005-04-16 15:20:36 -07001773 cond = fpucondbit[MIPSInst_FT(ir) >> 2];
1774 if (((ctx->fcr31 & cond) != 0) !=
1775 ((MIPSInst_FT(ir) & 1) != 0))
1776 return 0;
1777 DPFROMREG(rv.d, MIPSInst_FS(ir));
1778 break;
1779 case fmovz_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001780 if (!cpu_has_mips_4_5_r)
1781 return SIGILL;
1782
Linus Torvalds1da177e2005-04-16 15:20:36 -07001783 if (xcp->regs[MIPSInst_FT(ir)] != 0)
1784 return 0;
1785 DPFROMREG(rv.d, MIPSInst_FS(ir));
1786 break;
1787 case fmovn_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001788 if (!cpu_has_mips_4_5_r)
1789 return SIGILL;
1790
Linus Torvalds1da177e2005-04-16 15:20:36 -07001791 if (xcp->regs[MIPSInst_FT(ir)] == 0)
1792 return 0;
1793 DPFROMREG(rv.d, MIPSInst_FS(ir));
1794 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001795 case fabs_op:
1796 handler.u = ieee754dp_abs;
1797 goto dcopuop;
1798
1799 case fneg_op:
1800 handler.u = ieee754dp_neg;
1801 goto dcopuop;
1802
1803 case fmov_op:
1804 /* an easy one */
1805 DPFROMREG(rv.d, MIPSInst_FS(ir));
1806 goto copcsr;
1807
1808 /* binary op on handler */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001809dcopbop:
1810 DPFROMREG(fs, MIPSInst_FS(ir));
1811 DPFROMREG(ft, MIPSInst_FT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001812
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001813 rv.d = (*handler.b) (fs, ft);
1814 goto copcsr;
1815dcopuop:
1816 DPFROMREG(fs, MIPSInst_FS(ir));
1817 rv.d = (*handler.u) (fs);
1818 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001819
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001820 /*
1821 * unary conv ops
1822 */
1823 case fcvts_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001824 DPFROMREG(fs, MIPSInst_FS(ir));
1825 rv.s = ieee754sp_fdp(fs);
1826 rfmt = s_fmt;
1827 goto copcsr;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001828
Linus Torvalds1da177e2005-04-16 15:20:36 -07001829 case fcvtd_op:
1830 return SIGILL; /* not defined */
1831
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001832 case fcvtw_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001833 DPFROMREG(fs, MIPSInst_FS(ir));
1834 rv.w = ieee754dp_tint(fs); /* wrong */
1835 rfmt = w_fmt;
1836 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001837
Linus Torvalds1da177e2005-04-16 15:20:36 -07001838 case fround_op:
1839 case ftrunc_op:
1840 case fceil_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001841 case ffloor_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001842 if (!cpu_has_mips_2_3_4_5_r)
1843 return SIGILL;
1844
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001845 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001846 DPFROMREG(fs, MIPSInst_FS(ir));
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01001847 ieee754_csr.rm = MIPSInst_FUNC(ir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001848 rv.w = ieee754dp_tint(fs);
1849 ieee754_csr.rm = oldrm;
1850 rfmt = w_fmt;
1851 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001852
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001853 case fcvtl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001854 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1855 return SIGILL;
1856
Linus Torvalds1da177e2005-04-16 15:20:36 -07001857 DPFROMREG(fs, MIPSInst_FS(ir));
1858 rv.l = ieee754dp_tlong(fs);
1859 rfmt = l_fmt;
1860 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001861
1862 case froundl_op:
1863 case ftruncl_op:
1864 case fceill_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001865 case ffloorl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001866 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1867 return SIGILL;
1868
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001869 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001870 DPFROMREG(fs, MIPSInst_FS(ir));
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01001871 ieee754_csr.rm = MIPSInst_FUNC(ir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001872 rv.l = ieee754dp_tlong(fs);
1873 ieee754_csr.rm = oldrm;
1874 rfmt = l_fmt;
1875 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001876
1877 default:
1878 if (MIPSInst_FUNC(ir) >= fcmp_op) {
1879 unsigned cmpop = MIPSInst_FUNC(ir) - fcmp_op;
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001880 union ieee754dp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001881
1882 DPFROMREG(fs, MIPSInst_FS(ir));
1883 DPFROMREG(ft, MIPSInst_FT(ir));
1884 rv.w = ieee754dp_cmp(fs, ft,
1885 cmptab[cmpop & 0x7], cmpop & 0x8);
1886 rfmt = -1;
1887 if ((cmpop & 0x8)
1888 &&
1889 ieee754_cxtest
1890 (IEEE754_INVALID_OPERATION))
1891 rcsr = FPU_CSR_INV_X | FPU_CSR_INV_S;
1892 else
1893 goto copcsr;
1894
1895 }
1896 else {
1897 return SIGILL;
1898 }
1899 break;
1900 }
1901 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001902
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001903 case w_fmt:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001904 switch (MIPSInst_FUNC(ir)) {
1905 case fcvts_op:
1906 /* convert word to single precision real */
1907 SPFROMREG(fs, MIPSInst_FS(ir));
1908 rv.s = ieee754sp_fint(fs.bits);
1909 rfmt = s_fmt;
1910 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001911 case fcvtd_op:
1912 /* convert word to double precision real */
1913 SPFROMREG(fs, MIPSInst_FS(ir));
1914 rv.d = ieee754dp_fint(fs.bits);
1915 rfmt = d_fmt;
1916 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001917 default:
1918 return SIGILL;
1919 }
1920 break;
1921 }
1922
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001923 case l_fmt:
Ralf Baechle08a07902014-04-19 13:11:37 +02001924
1925 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1926 return SIGILL;
1927
Paul Burtonbbd426f2014-02-13 11:26:41 +00001928 DIFROMREG(bits, MIPSInst_FS(ir));
1929
Linus Torvalds1da177e2005-04-16 15:20:36 -07001930 switch (MIPSInst_FUNC(ir)) {
1931 case fcvts_op:
1932 /* convert long to single precision real */
Paul Burtonbbd426f2014-02-13 11:26:41 +00001933 rv.s = ieee754sp_flong(bits);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001934 rfmt = s_fmt;
1935 goto copcsr;
1936 case fcvtd_op:
1937 /* convert long to double precision real */
Paul Burtonbbd426f2014-02-13 11:26:41 +00001938 rv.d = ieee754dp_flong(bits);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939 rfmt = d_fmt;
1940 goto copcsr;
1941 default:
1942 return SIGILL;
1943 }
1944 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001945
1946 default:
1947 return SIGILL;
1948 }
1949
1950 /*
1951 * Update the fpu CSR register for this operation.
1952 * If an exception is required, generate a tidy SIGFPE exception,
1953 * without updating the result register.
1954 * Note: cause exception bits do not accumulate, they are rewritten
1955 * for each op; only the flag/sticky bits accumulate.
1956 */
1957 ctx->fcr31 = (ctx->fcr31 & ~FPU_CSR_ALL_X) | rcsr;
1958 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001959 /*printk ("SIGFPE: FPU csr = %08x\n",ctx->fcr31); */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001960 return SIGFPE;
1961 }
1962
1963 /*
1964 * Now we can safely write the result back to the register file.
1965 */
1966 switch (rfmt) {
Ralf Baechle08a07902014-04-19 13:11:37 +02001967 case -1:
1968
1969 if (cpu_has_mips_4_5_r)
Rob Kendrickc3b9b942014-07-23 10:03:58 +01001970 cbit = fpucondbit[MIPSInst_FD(ir) >> 2];
Linus Torvalds1da177e2005-04-16 15:20:36 -07001971 else
Ralf Baechle08a07902014-04-19 13:11:37 +02001972 cbit = FPU_CSR_COND;
1973 if (rv.w)
1974 ctx->fcr31 |= cbit;
1975 else
1976 ctx->fcr31 &= ~cbit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001977 break;
Ralf Baechle08a07902014-04-19 13:11:37 +02001978
Linus Torvalds1da177e2005-04-16 15:20:36 -07001979 case d_fmt:
1980 DPTOREG(rv.d, MIPSInst_FD(ir));
1981 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001982 case s_fmt:
1983 SPTOREG(rv.s, MIPSInst_FD(ir));
1984 break;
1985 case w_fmt:
1986 SITOREG(rv.w, MIPSInst_FD(ir));
1987 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001988 case l_fmt:
Ralf Baechle08a07902014-04-19 13:11:37 +02001989 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1990 return SIGILL;
1991
Linus Torvalds1da177e2005-04-16 15:20:36 -07001992 DITOREG(rv.l, MIPSInst_FD(ir));
1993 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001994 default:
1995 return SIGILL;
1996 }
1997
1998 return 0;
1999}
2000
Atsushi Nemotoe04582b2006-10-09 00:10:01 +09002001int fpu_emulator_cop1Handler(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
David Daney515b0292010-10-21 16:32:26 -07002002 int has_fpu, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002003{
Ralf Baechle333d1f62005-02-28 17:55:57 +00002004 unsigned long oldepc, prevepc;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05002005 struct mm_decoded_insn dec_insn;
2006 u16 instr[4];
2007 u16 *instr_ptr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002008 int sig = 0;
2009
2010 oldepc = xcp->cp0_epc;
2011 do {
2012 prevepc = xcp->cp0_epc;
2013
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05002014 if (get_isa16_mode(prevepc) && cpu_has_mmips) {
2015 /*
2016 * Get next 2 microMIPS instructions and convert them
2017 * into 32-bit instructions.
2018 */
2019 if ((get_user(instr[0], (u16 __user *)msk_isa16_mode(xcp->cp0_epc))) ||
2020 (get_user(instr[1], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 2))) ||
2021 (get_user(instr[2], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 4))) ||
2022 (get_user(instr[3], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 6)))) {
2023 MIPS_FPU_EMU_INC_STATS(errors);
2024 return SIGBUS;
2025 }
2026 instr_ptr = instr;
2027
2028 /* Get first instruction. */
2029 if (mm_insn_16bit(*instr_ptr)) {
2030 /* Duplicate the half-word. */
2031 dec_insn.insn = (*instr_ptr << 16) |
2032 (*instr_ptr);
2033 /* 16-bit instruction. */
2034 dec_insn.pc_inc = 2;
2035 instr_ptr += 1;
2036 } else {
2037 dec_insn.insn = (*instr_ptr << 16) |
2038 *(instr_ptr+1);
2039 /* 32-bit instruction. */
2040 dec_insn.pc_inc = 4;
2041 instr_ptr += 2;
2042 }
2043 /* Get second instruction. */
2044 if (mm_insn_16bit(*instr_ptr)) {
2045 /* Duplicate the half-word. */
2046 dec_insn.next_insn = (*instr_ptr << 16) |
2047 (*instr_ptr);
2048 /* 16-bit instruction. */
2049 dec_insn.next_pc_inc = 2;
2050 } else {
2051 dec_insn.next_insn = (*instr_ptr << 16) |
2052 *(instr_ptr+1);
2053 /* 32-bit instruction. */
2054 dec_insn.next_pc_inc = 4;
2055 }
2056 dec_insn.micro_mips_mode = 1;
2057 } else {
2058 if ((get_user(dec_insn.insn,
2059 (mips_instruction __user *) xcp->cp0_epc)) ||
2060 (get_user(dec_insn.next_insn,
2061 (mips_instruction __user *)(xcp->cp0_epc+4)))) {
2062 MIPS_FPU_EMU_INC_STATS(errors);
2063 return SIGBUS;
2064 }
2065 dec_insn.pc_inc = 4;
2066 dec_insn.next_pc_inc = 4;
2067 dec_insn.micro_mips_mode = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002068 }
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05002069
2070 if ((dec_insn.insn == 0) ||
2071 ((dec_insn.pc_inc == 2) &&
2072 ((dec_insn.insn & 0xffff) == MM_NOP16)))
2073 xcp->cp0_epc += dec_insn.pc_inc; /* Skip NOPs */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002074 else {
Ralf Baechlecd21dfc2005-04-28 13:39:10 +00002075 /*
Maciej W. Rozycki2cfcf8a2015-04-03 23:24:56 +01002076 * The 'ieee754_csr' is an alias of ctx->fcr31.
2077 * No need to copy ctx->fcr31 to ieee754_csr.
Ralf Baechlecd21dfc2005-04-28 13:39:10 +00002078 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05002079 sig = cop1Emulate(xcp, ctx, dec_insn, fault_addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002080 }
2081
Atsushi Nemotoe04582b2006-10-09 00:10:01 +09002082 if (has_fpu)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002083 break;
2084 if (sig)
2085 break;
2086
2087 cond_resched();
2088 } while (xcp->cp0_epc > prevepc);
2089
2090 /* SIGILL indicates a non-fpu instruction */
2091 if (sig == SIGILL && xcp->cp0_epc != oldepc)
Ralf Baechle3f7cac42014-04-26 01:49:14 +02002092 /* but if EPC has advanced, then ignore it */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002093 sig = 0;
2094
2095 return sig;
2096}