blob: 9bf82117b4f2d9b21845a7c4e06c2b45beac0aca [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>
Linus Torvalds1da177e2005-04-16 15:20:36 -070051
52#include "ieee754.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070053
Linus Torvalds1da177e2005-04-16 15:20:36 -070054/* Function which emulates a floating point instruction. */
55
Atsushi Nemotoeae89072006-05-16 01:26:03 +090056static int fpu_emu(struct pt_regs *, struct mips_fpu_struct *,
Linus Torvalds1da177e2005-04-16 15:20:36 -070057 mips_instruction);
58
Linus Torvalds1da177e2005-04-16 15:20:36 -070059static int fpux_emu(struct pt_regs *,
David Daney515b0292010-10-21 16:32:26 -070060 struct mips_fpu_struct *, mips_instruction, void *__user *);
Linus Torvalds1da177e2005-04-16 15:20:36 -070061
Linus Torvalds1da177e2005-04-16 15:20:36 -070062/* Control registers */
63
64#define FPCREG_RID 0 /* $0 = revision id */
65#define FPCREG_CSR 31 /* $31 = csr */
66
Shane McDonald95e8f632010-05-06 23:26:57 -060067/* Determine rounding mode from the RM bits of the FCSR */
68#define modeindex(v) ((v) & FPU_CSR_RM)
69
Linus Torvalds1da177e2005-04-16 15:20:36 -070070/* convert condition code register number to csr bit */
71static const unsigned int fpucondbit[8] = {
72 FPU_CSR_COND0,
73 FPU_CSR_COND1,
74 FPU_CSR_COND2,
75 FPU_CSR_COND3,
76 FPU_CSR_COND4,
77 FPU_CSR_COND5,
78 FPU_CSR_COND6,
79 FPU_CSR_COND7
80};
Linus Torvalds1da177e2005-04-16 15:20:36 -070081
Leonid Yegoshin102cedc2013-03-25 12:09:02 -050082/* (microMIPS) Convert certain microMIPS instructions to MIPS32 format. */
83static const int sd_format[] = {16, 17, 0, 0, 0, 0, 0, 0};
84static const int sdps_format[] = {16, 17, 22, 0, 0, 0, 0, 0};
85static const int dwl_format[] = {17, 20, 21, 0, 0, 0, 0, 0};
86static const int swl_format[] = {16, 20, 21, 0, 0, 0, 0, 0};
87
88/*
89 * This functions translates a 32-bit microMIPS instruction
90 * into a 32-bit MIPS32 instruction. Returns 0 on success
91 * and SIGILL otherwise.
92 */
93static int microMIPS32_to_MIPS32(union mips_instruction *insn_ptr)
94{
95 union mips_instruction insn = *insn_ptr;
96 union mips_instruction mips32_insn = insn;
97 int func, fmt, op;
98
99 switch (insn.mm_i_format.opcode) {
100 case mm_ldc132_op:
101 mips32_insn.mm_i_format.opcode = ldc1_op;
102 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
103 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
104 break;
105 case mm_lwc132_op:
106 mips32_insn.mm_i_format.opcode = lwc1_op;
107 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
108 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
109 break;
110 case mm_sdc132_op:
111 mips32_insn.mm_i_format.opcode = sdc1_op;
112 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
113 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
114 break;
115 case mm_swc132_op:
116 mips32_insn.mm_i_format.opcode = swc1_op;
117 mips32_insn.mm_i_format.rt = insn.mm_i_format.rs;
118 mips32_insn.mm_i_format.rs = insn.mm_i_format.rt;
119 break;
120 case mm_pool32i_op:
121 /* NOTE: offset is << by 1 if in microMIPS mode. */
122 if ((insn.mm_i_format.rt == mm_bc1f_op) ||
123 (insn.mm_i_format.rt == mm_bc1t_op)) {
124 mips32_insn.fb_format.opcode = cop1_op;
125 mips32_insn.fb_format.bc = bc_op;
126 mips32_insn.fb_format.flag =
127 (insn.mm_i_format.rt == mm_bc1t_op) ? 1 : 0;
128 } else
129 return SIGILL;
130 break;
131 case mm_pool32f_op:
132 switch (insn.mm_fp0_format.func) {
133 case mm_32f_01_op:
134 case mm_32f_11_op:
135 case mm_32f_02_op:
136 case mm_32f_12_op:
137 case mm_32f_41_op:
138 case mm_32f_51_op:
139 case mm_32f_42_op:
140 case mm_32f_52_op:
141 op = insn.mm_fp0_format.func;
142 if (op == mm_32f_01_op)
143 func = madd_s_op;
144 else if (op == mm_32f_11_op)
145 func = madd_d_op;
146 else if (op == mm_32f_02_op)
147 func = nmadd_s_op;
148 else if (op == mm_32f_12_op)
149 func = nmadd_d_op;
150 else if (op == mm_32f_41_op)
151 func = msub_s_op;
152 else if (op == mm_32f_51_op)
153 func = msub_d_op;
154 else if (op == mm_32f_42_op)
155 func = nmsub_s_op;
156 else
157 func = nmsub_d_op;
158 mips32_insn.fp6_format.opcode = cop1x_op;
159 mips32_insn.fp6_format.fr = insn.mm_fp6_format.fr;
160 mips32_insn.fp6_format.ft = insn.mm_fp6_format.ft;
161 mips32_insn.fp6_format.fs = insn.mm_fp6_format.fs;
162 mips32_insn.fp6_format.fd = insn.mm_fp6_format.fd;
163 mips32_insn.fp6_format.func = func;
164 break;
165 case mm_32f_10_op:
166 func = -1; /* Invalid */
167 op = insn.mm_fp5_format.op & 0x7;
168 if (op == mm_ldxc1_op)
169 func = ldxc1_op;
170 else if (op == mm_sdxc1_op)
171 func = sdxc1_op;
172 else if (op == mm_lwxc1_op)
173 func = lwxc1_op;
174 else if (op == mm_swxc1_op)
175 func = swxc1_op;
176
177 if (func != -1) {
178 mips32_insn.r_format.opcode = cop1x_op;
179 mips32_insn.r_format.rs =
180 insn.mm_fp5_format.base;
181 mips32_insn.r_format.rt =
182 insn.mm_fp5_format.index;
183 mips32_insn.r_format.rd = 0;
184 mips32_insn.r_format.re = insn.mm_fp5_format.fd;
185 mips32_insn.r_format.func = func;
186 } else
187 return SIGILL;
188 break;
189 case mm_32f_40_op:
190 op = -1; /* Invalid */
191 if (insn.mm_fp2_format.op == mm_fmovt_op)
192 op = 1;
193 else if (insn.mm_fp2_format.op == mm_fmovf_op)
194 op = 0;
195 if (op != -1) {
196 mips32_insn.fp0_format.opcode = cop1_op;
197 mips32_insn.fp0_format.fmt =
198 sdps_format[insn.mm_fp2_format.fmt];
199 mips32_insn.fp0_format.ft =
200 (insn.mm_fp2_format.cc<<2) + op;
201 mips32_insn.fp0_format.fs =
202 insn.mm_fp2_format.fs;
203 mips32_insn.fp0_format.fd =
204 insn.mm_fp2_format.fd;
205 mips32_insn.fp0_format.func = fmovc_op;
206 } else
207 return SIGILL;
208 break;
209 case mm_32f_60_op:
210 func = -1; /* Invalid */
211 if (insn.mm_fp0_format.op == mm_fadd_op)
212 func = fadd_op;
213 else if (insn.mm_fp0_format.op == mm_fsub_op)
214 func = fsub_op;
215 else if (insn.mm_fp0_format.op == mm_fmul_op)
216 func = fmul_op;
217 else if (insn.mm_fp0_format.op == mm_fdiv_op)
218 func = fdiv_op;
219 if (func != -1) {
220 mips32_insn.fp0_format.opcode = cop1_op;
221 mips32_insn.fp0_format.fmt =
222 sdps_format[insn.mm_fp0_format.fmt];
223 mips32_insn.fp0_format.ft =
224 insn.mm_fp0_format.ft;
225 mips32_insn.fp0_format.fs =
226 insn.mm_fp0_format.fs;
227 mips32_insn.fp0_format.fd =
228 insn.mm_fp0_format.fd;
229 mips32_insn.fp0_format.func = func;
230 } else
231 return SIGILL;
232 break;
233 case mm_32f_70_op:
234 func = -1; /* Invalid */
235 if (insn.mm_fp0_format.op == mm_fmovn_op)
236 func = fmovn_op;
237 else if (insn.mm_fp0_format.op == mm_fmovz_op)
238 func = fmovz_op;
239 if (func != -1) {
240 mips32_insn.fp0_format.opcode = cop1_op;
241 mips32_insn.fp0_format.fmt =
242 sdps_format[insn.mm_fp0_format.fmt];
243 mips32_insn.fp0_format.ft =
244 insn.mm_fp0_format.ft;
245 mips32_insn.fp0_format.fs =
246 insn.mm_fp0_format.fs;
247 mips32_insn.fp0_format.fd =
248 insn.mm_fp0_format.fd;
249 mips32_insn.fp0_format.func = func;
250 } else
251 return SIGILL;
252 break;
253 case mm_32f_73_op: /* POOL32FXF */
254 switch (insn.mm_fp1_format.op) {
255 case mm_movf0_op:
256 case mm_movf1_op:
257 case mm_movt0_op:
258 case mm_movt1_op:
259 if ((insn.mm_fp1_format.op & 0x7f) ==
260 mm_movf0_op)
261 op = 0;
262 else
263 op = 1;
264 mips32_insn.r_format.opcode = spec_op;
265 mips32_insn.r_format.rs = insn.mm_fp4_format.fs;
266 mips32_insn.r_format.rt =
267 (insn.mm_fp4_format.cc << 2) + op;
268 mips32_insn.r_format.rd = insn.mm_fp4_format.rt;
269 mips32_insn.r_format.re = 0;
270 mips32_insn.r_format.func = movc_op;
271 break;
272 case mm_fcvtd0_op:
273 case mm_fcvtd1_op:
274 case mm_fcvts0_op:
275 case mm_fcvts1_op:
276 if ((insn.mm_fp1_format.op & 0x7f) ==
277 mm_fcvtd0_op) {
278 func = fcvtd_op;
279 fmt = swl_format[insn.mm_fp3_format.fmt];
280 } else {
281 func = fcvts_op;
282 fmt = dwl_format[insn.mm_fp3_format.fmt];
283 }
284 mips32_insn.fp0_format.opcode = cop1_op;
285 mips32_insn.fp0_format.fmt = fmt;
286 mips32_insn.fp0_format.ft = 0;
287 mips32_insn.fp0_format.fs =
288 insn.mm_fp3_format.fs;
289 mips32_insn.fp0_format.fd =
290 insn.mm_fp3_format.rt;
291 mips32_insn.fp0_format.func = func;
292 break;
293 case mm_fmov0_op:
294 case mm_fmov1_op:
295 case mm_fabs0_op:
296 case mm_fabs1_op:
297 case mm_fneg0_op:
298 case mm_fneg1_op:
299 if ((insn.mm_fp1_format.op & 0x7f) ==
300 mm_fmov0_op)
301 func = fmov_op;
302 else if ((insn.mm_fp1_format.op & 0x7f) ==
303 mm_fabs0_op)
304 func = fabs_op;
305 else
306 func = fneg_op;
307 mips32_insn.fp0_format.opcode = cop1_op;
308 mips32_insn.fp0_format.fmt =
309 sdps_format[insn.mm_fp3_format.fmt];
310 mips32_insn.fp0_format.ft = 0;
311 mips32_insn.fp0_format.fs =
312 insn.mm_fp3_format.fs;
313 mips32_insn.fp0_format.fd =
314 insn.mm_fp3_format.rt;
315 mips32_insn.fp0_format.func = func;
316 break;
317 case mm_ffloorl_op:
318 case mm_ffloorw_op:
319 case mm_fceill_op:
320 case mm_fceilw_op:
321 case mm_ftruncl_op:
322 case mm_ftruncw_op:
323 case mm_froundl_op:
324 case mm_froundw_op:
325 case mm_fcvtl_op:
326 case mm_fcvtw_op:
327 if (insn.mm_fp1_format.op == mm_ffloorl_op)
328 func = ffloorl_op;
329 else if (insn.mm_fp1_format.op == mm_ffloorw_op)
330 func = ffloor_op;
331 else if (insn.mm_fp1_format.op == mm_fceill_op)
332 func = fceill_op;
333 else if (insn.mm_fp1_format.op == mm_fceilw_op)
334 func = fceil_op;
335 else if (insn.mm_fp1_format.op == mm_ftruncl_op)
336 func = ftruncl_op;
337 else if (insn.mm_fp1_format.op == mm_ftruncw_op)
338 func = ftrunc_op;
339 else if (insn.mm_fp1_format.op == mm_froundl_op)
340 func = froundl_op;
341 else if (insn.mm_fp1_format.op == mm_froundw_op)
342 func = fround_op;
343 else if (insn.mm_fp1_format.op == mm_fcvtl_op)
344 func = fcvtl_op;
345 else
346 func = fcvtw_op;
347 mips32_insn.fp0_format.opcode = cop1_op;
348 mips32_insn.fp0_format.fmt =
349 sd_format[insn.mm_fp1_format.fmt];
350 mips32_insn.fp0_format.ft = 0;
351 mips32_insn.fp0_format.fs =
352 insn.mm_fp1_format.fs;
353 mips32_insn.fp0_format.fd =
354 insn.mm_fp1_format.rt;
355 mips32_insn.fp0_format.func = func;
356 break;
357 case mm_frsqrt_op:
358 case mm_fsqrt_op:
359 case mm_frecip_op:
360 if (insn.mm_fp1_format.op == mm_frsqrt_op)
361 func = frsqrt_op;
362 else if (insn.mm_fp1_format.op == mm_fsqrt_op)
363 func = fsqrt_op;
364 else
365 func = frecip_op;
366 mips32_insn.fp0_format.opcode = cop1_op;
367 mips32_insn.fp0_format.fmt =
368 sdps_format[insn.mm_fp1_format.fmt];
369 mips32_insn.fp0_format.ft = 0;
370 mips32_insn.fp0_format.fs =
371 insn.mm_fp1_format.fs;
372 mips32_insn.fp0_format.fd =
373 insn.mm_fp1_format.rt;
374 mips32_insn.fp0_format.func = func;
375 break;
376 case mm_mfc1_op:
377 case mm_mtc1_op:
378 case mm_cfc1_op:
379 case mm_ctc1_op:
Steven J. Hill9355e592013-11-07 12:48:29 +0000380 case mm_mfhc1_op:
381 case mm_mthc1_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500382 if (insn.mm_fp1_format.op == mm_mfc1_op)
383 op = mfc_op;
384 else if (insn.mm_fp1_format.op == mm_mtc1_op)
385 op = mtc_op;
386 else if (insn.mm_fp1_format.op == mm_cfc1_op)
387 op = cfc_op;
Steven J. Hill9355e592013-11-07 12:48:29 +0000388 else if (insn.mm_fp1_format.op == mm_ctc1_op)
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500389 op = ctc_op;
Steven J. Hill9355e592013-11-07 12:48:29 +0000390 else if (insn.mm_fp1_format.op == mm_mfhc1_op)
391 op = mfhc_op;
392 else
393 op = mthc_op;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500394 mips32_insn.fp1_format.opcode = cop1_op;
395 mips32_insn.fp1_format.op = op;
396 mips32_insn.fp1_format.rt =
397 insn.mm_fp1_format.rt;
398 mips32_insn.fp1_format.fs =
399 insn.mm_fp1_format.fs;
400 mips32_insn.fp1_format.fd = 0;
401 mips32_insn.fp1_format.func = 0;
402 break;
403 default:
404 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500405 }
406 break;
407 case mm_32f_74_op: /* c.cond.fmt */
408 mips32_insn.fp0_format.opcode = cop1_op;
409 mips32_insn.fp0_format.fmt =
410 sdps_format[insn.mm_fp4_format.fmt];
411 mips32_insn.fp0_format.ft = insn.mm_fp4_format.rt;
412 mips32_insn.fp0_format.fs = insn.mm_fp4_format.fs;
413 mips32_insn.fp0_format.fd = insn.mm_fp4_format.cc << 2;
414 mips32_insn.fp0_format.func =
415 insn.mm_fp4_format.cond | MM_MIPS32_COND_FC;
416 break;
417 default:
418 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500419 }
420 break;
421 default:
422 return SIGILL;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500423 }
424
425 *insn_ptr = mips32_insn;
426 return 0;
427}
428
Linus Torvalds1da177e2005-04-16 15:20:36 -0700429/*
430 * Redundant with logic already in kernel/branch.c,
431 * embedded in compute_return_epc. At some point,
432 * a single subroutine should be used across both
433 * modules.
434 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500435static int isBranchInstr(struct pt_regs *regs, struct mm_decoded_insn dec_insn,
436 unsigned long *contpc)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437{
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500438 union mips_instruction insn = (union mips_instruction)dec_insn.insn;
439 unsigned int fcr31;
440 unsigned int bit = 0;
441
442 switch (insn.i_format.opcode) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700443 case spec_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500444 switch (insn.r_format.func) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445 case jalr_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500446 regs->regs[insn.r_format.rd] =
447 regs->cp0_epc + dec_insn.pc_inc +
448 dec_insn.next_pc_inc;
449 /* Fall through */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450 case jr_op:
Markos Chandras5f9f41c2014-11-25 15:54:14 +0000451 /* For R6, JR already emulated in jalr_op */
452 if (NO_R6EMU && insn.r_format.opcode == jr_op)
453 break;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500454 *contpc = regs->regs[insn.r_format.rs];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700455 return 1;
456 }
457 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458 case bcond_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500459 switch (insn.i_format.rt) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460 case bltzal_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461 case bltzall_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500462 regs->regs[31] = regs->cp0_epc +
463 dec_insn.pc_inc +
464 dec_insn.next_pc_inc;
465 /* Fall through */
466 case bltz_op:
467 case bltzl_op:
468 if ((long)regs->regs[insn.i_format.rs] < 0)
469 *contpc = regs->cp0_epc +
470 dec_insn.pc_inc +
471 (insn.i_format.simmediate << 2);
472 else
473 *contpc = regs->cp0_epc +
474 dec_insn.pc_inc +
475 dec_insn.next_pc_inc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500477 case bgezal_op:
478 case bgezall_op:
479 regs->regs[31] = regs->cp0_epc +
480 dec_insn.pc_inc +
481 dec_insn.next_pc_inc;
482 /* Fall through */
483 case bgez_op:
484 case bgezl_op:
485 if ((long)regs->regs[insn.i_format.rs] >= 0)
486 *contpc = regs->cp0_epc +
487 dec_insn.pc_inc +
488 (insn.i_format.simmediate << 2);
489 else
490 *contpc = regs->cp0_epc +
491 dec_insn.pc_inc +
492 dec_insn.next_pc_inc;
493 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494 }
495 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700496 case jalx_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500497 set_isa16_mode(bit);
498 case jal_op:
499 regs->regs[31] = regs->cp0_epc +
500 dec_insn.pc_inc +
501 dec_insn.next_pc_inc;
502 /* Fall through */
503 case j_op:
504 *contpc = regs->cp0_epc + dec_insn.pc_inc;
505 *contpc >>= 28;
506 *contpc <<= 28;
507 *contpc |= (insn.j_format.target << 2);
508 /* Set microMIPS mode bit: XOR for jalx. */
509 *contpc ^= bit;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500511 case beq_op:
512 case beql_op:
513 if (regs->regs[insn.i_format.rs] ==
514 regs->regs[insn.i_format.rt])
515 *contpc = regs->cp0_epc +
516 dec_insn.pc_inc +
517 (insn.i_format.simmediate << 2);
518 else
519 *contpc = regs->cp0_epc +
520 dec_insn.pc_inc +
521 dec_insn.next_pc_inc;
522 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500523 case bne_op:
524 case bnel_op:
525 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 blez_op:
536 case blezl_op:
537 if ((long)regs->regs[insn.i_format.rs] <= 0)
538 *contpc = regs->cp0_epc +
539 dec_insn.pc_inc +
540 (insn.i_format.simmediate << 2);
541 else
542 *contpc = regs->cp0_epc +
543 dec_insn.pc_inc +
544 dec_insn.next_pc_inc;
545 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500546 case bgtz_op:
547 case bgtzl_op:
548 if ((long)regs->regs[insn.i_format.rs] > 0)
549 *contpc = regs->cp0_epc +
550 dec_insn.pc_inc +
551 (insn.i_format.simmediate << 2);
552 else
553 *contpc = regs->cp0_epc +
554 dec_insn.pc_inc +
555 dec_insn.next_pc_inc;
556 return 1;
David Daneyc26d4212013-08-19 12:10:34 -0700557#ifdef CONFIG_CPU_CAVIUM_OCTEON
558 case lwc2_op: /* This is bbit0 on Octeon */
559 if ((regs->regs[insn.i_format.rs] & (1ull<<insn.i_format.rt)) == 0)
560 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
561 else
562 *contpc = regs->cp0_epc + 8;
563 return 1;
564 case ldc2_op: /* This is bbit032 on Octeon */
565 if ((regs->regs[insn.i_format.rs] & (1ull<<(insn.i_format.rt + 32))) == 0)
566 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
567 else
568 *contpc = regs->cp0_epc + 8;
569 return 1;
570 case swc2_op: /* This is bbit1 on Octeon */
571 if (regs->regs[insn.i_format.rs] & (1ull<<insn.i_format.rt))
572 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
573 else
574 *contpc = regs->cp0_epc + 8;
575 return 1;
576 case sdc2_op: /* This is bbit132 on Octeon */
577 if (regs->regs[insn.i_format.rs] & (1ull<<(insn.i_format.rt + 32)))
578 *contpc = regs->cp0_epc + 4 + (insn.i_format.simmediate << 2);
579 else
580 *contpc = regs->cp0_epc + 8;
581 return 1;
582#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583 case cop0_op:
584 case cop1_op:
585 case cop2_op:
586 case cop1x_op:
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500587 if (insn.i_format.rs == bc_op) {
588 preempt_disable();
589 if (is_fpu_owner())
Manuel Lauss842dfc12014-11-07 14:13:54 +0100590 fcr31 = read_32bit_cp1_register(CP1_STATUS);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500591 else
592 fcr31 = current->thread.fpu.fcr31;
593 preempt_enable();
594
595 bit = (insn.i_format.rt >> 2);
596 bit += (bit != 0);
597 bit += 23;
598 switch (insn.i_format.rt & 3) {
599 case 0: /* bc1f */
600 case 2: /* bc1fl */
601 if (~fcr31 & (1 << bit))
602 *contpc = regs->cp0_epc +
603 dec_insn.pc_inc +
604 (insn.i_format.simmediate << 2);
605 else
606 *contpc = regs->cp0_epc +
607 dec_insn.pc_inc +
608 dec_insn.next_pc_inc;
609 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500610 case 1: /* bc1t */
611 case 3: /* bc1tl */
612 if (fcr31 & (1 << bit))
613 *contpc = regs->cp0_epc +
614 dec_insn.pc_inc +
615 (insn.i_format.simmediate << 2);
616 else
617 *contpc = regs->cp0_epc +
618 dec_insn.pc_inc +
619 dec_insn.next_pc_inc;
620 return 1;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500621 }
622 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700623 break;
624 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700625 return 0;
626}
627
628/*
629 * In the Linux kernel, we support selection of FPR format on the
Ralf Baechle70342282013-01-22 12:59:30 +0100630 * basis of the Status.FR bit. If an FPU is not present, the FR bit
David Daneyda0bac32009-11-02 11:33:46 -0800631 * is hardwired to zero, which would imply a 32-bit FPU even for
Paul Burton597ce172013-11-22 13:12:07 +0000632 * 64-bit CPUs so we rather look at TIF_32BIT_FPREGS.
Ralf Baechle51d943f2012-08-15 19:42:19 +0200633 * FPU emu is slow and bulky and optimizing this function offers fairly
634 * sizeable benefits so we try to be clever and make this function return
635 * a constant whenever possible, that is on 64-bit kernels without O32
Paul Burton597ce172013-11-22 13:12:07 +0000636 * compatibility enabled and on 32-bit without 64-bit FPU support.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 */
David Daneyda0bac32009-11-02 11:33:46 -0800638static inline int cop1_64bit(struct pt_regs *xcp)
639{
Ralf Baechle08a07902014-04-19 13:11:37 +0200640 if (config_enabled(CONFIG_64BIT) && !config_enabled(CONFIG_MIPS32_O32))
641 return 1;
642 else if (config_enabled(CONFIG_32BIT) &&
643 !config_enabled(CONFIG_MIPS_O32_FP64_SUPPORT))
644 return 0;
645
Paul Burton597ce172013-11-22 13:12:07 +0000646 return !test_thread_flag(TIF_32BIT_FPREGS);
David Daneyda0bac32009-11-02 11:33:46 -0800647}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648
Paul Burton4227a2d2014-09-11 08:30:20 +0100649static inline bool hybrid_fprs(void)
650{
651 return test_thread_flag(TIF_HYBRID_FPREGS);
652}
653
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200654#define SIFROMREG(si, x) \
655do { \
Paul Burton4227a2d2014-09-11 08:30:20 +0100656 if (cop1_64bit(xcp) && !hybrid_fprs()) \
Paul Burtonc8c0da62014-09-24 10:45:37 +0100657 (si) = (int)get_fpr32(&ctx->fpr[x], 0); \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000658 else \
Paul Burtonc8c0da62014-09-24 10:45:37 +0100659 (si) = (int)get_fpr32(&ctx->fpr[(x) & ~1], (x) & 1); \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000660} while (0)
David Daneyda0bac32009-11-02 11:33:46 -0800661
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200662#define SITOREG(si, x) \
663do { \
Paul Burton4227a2d2014-09-11 08:30:20 +0100664 if (cop1_64bit(xcp) && !hybrid_fprs()) { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000665 unsigned i; \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000666 set_fpr32(&ctx->fpr[x], 0, si); \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000667 for (i = 1; i < ARRAY_SIZE(ctx->fpr[x].val32); i++) \
668 set_fpr32(&ctx->fpr[x], i, 0); \
669 } else { \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000670 set_fpr32(&ctx->fpr[(x) & ~1], (x) & 1, si); \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000671 } \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000672} while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673
Paul Burtonc8c0da62014-09-24 10:45:37 +0100674#define SIFROMHREG(si, x) ((si) = (int)get_fpr32(&ctx->fpr[x], 1))
Paul Burtonef1c47a2014-01-27 17:14:47 +0000675
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200676#define SITOHREG(si, x) \
677do { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000678 unsigned i; \
679 set_fpr32(&ctx->fpr[x], 1, si); \
680 for (i = 2; i < ARRAY_SIZE(ctx->fpr[x].val32); i++) \
681 set_fpr32(&ctx->fpr[x], i, 0); \
682} while (0)
Leonid Yegoshin1ac944002013-11-07 12:48:28 +0000683
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200684#define DIFROMREG(di, x) \
Paul Burtonbbd426f2014-02-13 11:26:41 +0000685 ((di) = get_fpr64(&ctx->fpr[(x) & ~(cop1_64bit(xcp) == 0)], 0))
686
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200687#define DITOREG(di, x) \
688do { \
Paul Burtonef1c47a2014-01-27 17:14:47 +0000689 unsigned fpr, i; \
690 fpr = (x) & ~(cop1_64bit(xcp) == 0); \
691 set_fpr64(&ctx->fpr[fpr], 0, di); \
692 for (i = 1; i < ARRAY_SIZE(ctx->fpr[x].val64); i++) \
693 set_fpr64(&ctx->fpr[fpr], i, 0); \
694} while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695
Ralf Baechle21a151d2007-10-11 23:46:15 +0100696#define SPFROMREG(sp, x) SIFROMREG((sp).bits, x)
697#define SPTOREG(sp, x) SITOREG((sp).bits, x)
698#define DPFROMREG(dp, x) DIFROMREG((dp).bits, x)
699#define DPTOREG(dp, x) DITOREG((dp).bits, x)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700
701/*
702 * Emulate the single floating point instruction pointed at by EPC.
703 * Two instructions if the instruction is in a branch delay slot.
704 */
705
David Daney515b0292010-10-21 16:32:26 -0700706static int cop1Emulate(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500707 struct mm_decoded_insn dec_insn, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700708{
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500709 unsigned long contpc = xcp->cp0_epc + dec_insn.pc_inc;
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200710 unsigned int cond, cbit;
711 mips_instruction ir;
712 int likely, pc_inc;
713 u32 __user *wva;
714 u64 __user *dva;
715 u32 value;
716 u32 wval;
717 u64 dval;
718 int sig;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700719
Ralf Baechle70e4c232014-04-30 11:09:44 +0200720 /*
721 * These are giving gcc a gentle hint about what to expect in
722 * dec_inst in order to do better optimization.
723 */
724 if (!cpu_has_mmips && dec_insn.micro_mips_mode)
725 unreachable();
726
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727 /* XXX NEC Vr54xx bug workaround */
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200728 if (delay_slot(xcp)) {
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500729 if (dec_insn.micro_mips_mode) {
730 if (!mm_isBranchInstr(xcp, dec_insn, &contpc))
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200731 clear_delay_slot(xcp);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500732 } else {
733 if (!isBranchInstr(xcp, dec_insn, &contpc))
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200734 clear_delay_slot(xcp);
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500735 }
736 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200738 if (delay_slot(xcp)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700739 /*
740 * The instruction to be emulated is in a branch delay slot
Ralf Baechle70342282013-01-22 12:59:30 +0100741 * which means that we have to emulate the branch instruction
Linus Torvalds1da177e2005-04-16 15:20:36 -0700742 * BEFORE we do the cop1 instruction.
743 *
744 * This branch could be a COP1 branch, but in that case we
745 * would have had a trap for that instruction, and would not
746 * come through this route.
747 *
748 * Linux MIPS branch emulator operates on context, updating the
749 * cp0_epc.
750 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500751 ir = dec_insn.next_insn; /* process delay slot instr */
752 pc_inc = dec_insn.next_pc_inc;
Ralf Baechle333d1f62005-02-28 17:55:57 +0000753 } else {
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500754 ir = dec_insn.insn; /* process current instr */
755 pc_inc = dec_insn.pc_inc;
756 }
757
758 /*
759 * Since microMIPS FPU instructios are a subset of MIPS32 FPU
760 * instructions, we want to convert microMIPS FPU instructions
761 * into MIPS32 instructions so that we could reuse all of the
762 * FPU emulation code.
763 *
764 * NOTE: We cannot do this for branch instructions since they
765 * are not a subset. Example: Cannot emulate a 16-bit
766 * aligned target address with a MIPS32 instruction.
767 */
768 if (dec_insn.micro_mips_mode) {
769 /*
770 * If next instruction is a 16-bit instruction, then it
771 * it cannot be a FPU instruction. This could happen
772 * since we can be called for non-FPU instructions.
773 */
774 if ((pc_inc == 2) ||
775 (microMIPS32_to_MIPS32((union mips_instruction *)&ir)
776 == SIGILL))
777 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700778 }
779
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200780emul:
Peter Zijlstraa8b0ca12011-06-27 14:41:57 +0200781 perf_sw_event(PERF_COUNT_SW_EMULATION_FAULTS, 1, xcp, 0);
David Daneyb6ee75e2009-11-05 11:34:26 -0800782 MIPS_FPU_EMU_INC_STATS(emulated);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700783 switch (MIPSInst_OPCODE(ir)) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200784 case ldc1_op:
785 dva = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +
786 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800787 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -0700788
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200789 if (!access_ok(VERIFY_READ, dva, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800790 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200791 *fault_addr = dva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792 return SIGBUS;
793 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200794 if (__get_user(dval, dva)) {
David Daney515b0292010-10-21 16:32:26 -0700795 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200796 *fault_addr = dva;
David Daney515b0292010-10-21 16:32:26 -0700797 return SIGSEGV;
798 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200799 DITOREG(dval, MIPSInst_RT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700800 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700801
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200802 case sdc1_op:
803 dva = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +
804 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800805 MIPS_FPU_EMU_INC_STATS(stores);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200806 DIFROMREG(dval, MIPSInst_RT(ir));
807 if (!access_ok(VERIFY_WRITE, dva, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800808 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200809 *fault_addr = dva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810 return SIGBUS;
811 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200812 if (__put_user(dval, dva)) {
David Daney515b0292010-10-21 16:32:26 -0700813 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200814 *fault_addr = dva;
David Daney515b0292010-10-21 16:32:26 -0700815 return SIGSEGV;
816 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700817 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700818
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200819 case lwc1_op:
820 wva = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +
821 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800822 MIPS_FPU_EMU_INC_STATS(loads);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200823 if (!access_ok(VERIFY_READ, wva, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800824 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200825 *fault_addr = wva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700826 return SIGBUS;
827 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200828 if (__get_user(wval, wva)) {
David Daney515b0292010-10-21 16:32:26 -0700829 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200830 *fault_addr = wva;
David Daney515b0292010-10-21 16:32:26 -0700831 return SIGSEGV;
832 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200833 SITOREG(wval, MIPSInst_RT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700834 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200836 case swc1_op:
837 wva = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +
838 MIPSInst_SIMM(ir));
David Daneyb6ee75e2009-11-05 11:34:26 -0800839 MIPS_FPU_EMU_INC_STATS(stores);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200840 SIFROMREG(wval, MIPSInst_RT(ir));
841 if (!access_ok(VERIFY_WRITE, wva, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -0800842 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200843 *fault_addr = wva;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700844 return SIGBUS;
845 }
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200846 if (__put_user(wval, wva)) {
David Daney515b0292010-10-21 16:32:26 -0700847 MIPS_FPU_EMU_INC_STATS(errors);
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200848 *fault_addr = wva;
David Daney515b0292010-10-21 16:32:26 -0700849 return SIGSEGV;
850 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852
853 case cop1_op:
854 switch (MIPSInst_RS(ir)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700855 case dmfc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +0200856 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
857 return SIGILL;
858
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859 /* copregister fs -> gpr[rt] */
860 if (MIPSInst_RT(ir) != 0) {
861 DIFROMREG(xcp->regs[MIPSInst_RT(ir)],
862 MIPSInst_RD(ir));
863 }
864 break;
865
866 case dmtc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +0200867 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
868 return SIGILL;
869
Linus Torvalds1da177e2005-04-16 15:20:36 -0700870 /* copregister fs <- rt */
871 DITOREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
872 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873
Leonid Yegoshin1ac944002013-11-07 12:48:28 +0000874 case mfhc_op:
875 if (!cpu_has_mips_r2)
876 goto sigill;
877
878 /* copregister rd -> gpr[rt] */
879 if (MIPSInst_RT(ir) != 0) {
880 SIFROMHREG(xcp->regs[MIPSInst_RT(ir)],
881 MIPSInst_RD(ir));
882 }
883 break;
884
885 case mthc_op:
886 if (!cpu_has_mips_r2)
887 goto sigill;
888
889 /* copregister rd <- gpr[rt] */
890 SITOHREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
891 break;
892
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 case mfc_op:
894 /* copregister rd -> gpr[rt] */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700895 if (MIPSInst_RT(ir) != 0) {
896 SIFROMREG(xcp->regs[MIPSInst_RT(ir)],
897 MIPSInst_RD(ir));
898 }
899 break;
900
901 case mtc_op:
902 /* copregister rd <- rt */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700903 SITOREG(xcp->regs[MIPSInst_RT(ir)], MIPSInst_RD(ir));
904 break;
905
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200906 case cfc_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907 /* cop control register rd -> gpr[rt] */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908 if (MIPSInst_RD(ir) == FPCREG_CSR) {
909 value = ctx->fcr31;
Ralf Baechle56a64732014-04-30 11:21:55 +0200910 value = (value & ~FPU_CSR_RM) | modeindex(value);
Ralf Baechle92df0f82014-04-19 14:03:37 +0200911 pr_debug("%p gpr[%d]<-csr=%08x\n",
912 (void *) (xcp->cp0_epc),
913 MIPSInst_RT(ir), value);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914 }
915 else if (MIPSInst_RD(ir) == FPCREG_RID)
916 value = 0;
917 else
918 value = 0;
919 if (MIPSInst_RT(ir))
920 xcp->regs[MIPSInst_RT(ir)] = value;
921 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200923 case ctc_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700924 /* copregister rd <- rt */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700925 if (MIPSInst_RT(ir) == 0)
926 value = 0;
927 else
928 value = xcp->regs[MIPSInst_RT(ir)];
929
930 /* we only have one writable control reg
931 */
932 if (MIPSInst_RD(ir) == FPCREG_CSR) {
Ralf Baechle92df0f82014-04-19 14:03:37 +0200933 pr_debug("%p gpr[%d]->csr=%08x\n",
934 (void *) (xcp->cp0_epc),
935 MIPSInst_RT(ir), value);
Shane McDonald95e8f632010-05-06 23:26:57 -0600936
937 /*
938 * Don't write reserved bits,
939 * and convert to ieee library modes
940 */
Ralf Baechle56a64732014-04-30 11:21:55 +0200941 ctx->fcr31 = (value & ~(FPU_CSR_RSVD | FPU_CSR_RM)) |
942 modeindex(value);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700943 }
944 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
945 return SIGFPE;
946 }
947 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700948
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200949 case bc_op:
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200950 if (delay_slot(xcp))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700951 return SIGILL;
952
Ralf Baechle08a07902014-04-19 13:11:37 +0200953 if (cpu_has_mips_4_5_r)
954 cbit = fpucondbit[MIPSInst_RT(ir) >> 2];
955 else
956 cbit = FPU_CSR_COND;
957 cond = ctx->fcr31 & cbit;
958
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200959 likely = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700960 switch (MIPSInst_RT(ir) & 3) {
961 case bcfl_op:
962 likely = 1;
963 case bcf_op:
964 cond = !cond;
965 break;
966 case bctl_op:
967 likely = 1;
968 case bct_op:
969 break;
970 default:
971 /* thats an illegal instruction */
972 return SIGILL;
973 }
974
Ralf Baechlee7e9cae2014-04-16 01:59:03 +0200975 set_delay_slot(xcp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976 if (cond) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +0200977 /*
978 * Branch taken: emulate dslot instruction
Linus Torvalds1da177e2005-04-16 15:20:36 -0700979 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500980 xcp->cp0_epc += dec_insn.pc_inc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700981
Leonid Yegoshin102cedc2013-03-25 12:09:02 -0500982 contpc = MIPSInst_SIMM(ir);
983 ir = dec_insn.next_insn;
984 if (dec_insn.micro_mips_mode) {
985 contpc = (xcp->cp0_epc + (contpc << 1));
986
987 /* If 16-bit instruction, not FPU. */
988 if ((dec_insn.next_pc_inc == 2) ||
989 (microMIPS32_to_MIPS32((union mips_instruction *)&ir) == SIGILL)) {
990
991 /*
992 * Since this instruction will
993 * be put on the stack with
994 * 32-bit words, get around
995 * this problem by putting a
996 * NOP16 as the second one.
997 */
998 if (dec_insn.next_pc_inc == 2)
999 ir = (ir & (~0xffff)) | MM_NOP16;
1000
1001 /*
1002 * Single step the non-CP1
1003 * instruction in the dslot.
1004 */
1005 return mips_dsemul(xcp, ir, contpc);
1006 }
1007 } else
1008 contpc = (xcp->cp0_epc + (contpc << 2));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001009
1010 switch (MIPSInst_OPCODE(ir)) {
1011 case lwc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001012 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001013
Linus Torvalds1da177e2005-04-16 15:20:36 -07001014 case swc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001015 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001016
Linus Torvalds1da177e2005-04-16 15:20:36 -07001017 case ldc1_op:
1018 case sdc1_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001019 if (cpu_has_mips_2_3_4_5 ||
1020 cpu_has_mips64)
1021 goto emul;
1022
1023 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001024 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001025
Ralf Baechle08a07902014-04-19 13:11:37 +02001026 case cop1_op:
1027 goto emul;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001028
Ralf Baechle08a07902014-04-19 13:11:37 +02001029 case cop1x_op:
Markos Chandrasa5466d72014-10-21 10:21:54 +01001030 if (cpu_has_mips_4_5 || cpu_has_mips64 || cpu_has_mips32r2)
Ralf Baechle08a07902014-04-19 13:11:37 +02001031 /* its one of ours */
1032 goto emul;
1033
1034 return SIGILL;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001035
Linus Torvalds1da177e2005-04-16 15:20:36 -07001036 case spec_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001037 if (!cpu_has_mips_4_5_r)
1038 return SIGILL;
1039
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040 if (MIPSInst_FUNC(ir) == movc_op)
1041 goto emul;
1042 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001043 }
1044
1045 /*
1046 * Single step the non-cp1
1047 * instruction in the dslot
1048 */
Atsushi Nemotoe70dfc12007-07-13 23:02:29 +09001049 return mips_dsemul(xcp, ir, contpc);
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001050 } else if (likely) { /* branch not taken */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001051 /*
1052 * branch likely nullifies
1053 * dslot if not taken
1054 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001055 xcp->cp0_epc += dec_insn.pc_inc;
1056 contpc += dec_insn.pc_inc;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057 /*
1058 * else continue & execute
1059 * dslot as normal insn
1060 */
1061 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001062 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063
1064 default:
1065 if (!(MIPSInst_RS(ir) & 0x10))
1066 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001068 /* a real fpu computation instruction */
1069 if ((sig = fpu_emu(xcp, ctx, ir)))
1070 return sig;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001071 }
1072 break;
1073
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001074 case cop1x_op:
Markos Chandrasa5466d72014-10-21 10:21:54 +01001075 if (!cpu_has_mips_4_5 && !cpu_has_mips64 && !cpu_has_mips32r2)
Ralf Baechle08a07902014-04-19 13:11:37 +02001076 return SIGILL;
1077
1078 sig = fpux_emu(xcp, ctx, ir, fault_addr);
David Daney515b0292010-10-21 16:32:26 -07001079 if (sig)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001080 return sig;
1081 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001082
Linus Torvalds1da177e2005-04-16 15:20:36 -07001083 case spec_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001084 if (!cpu_has_mips_4_5_r)
1085 return SIGILL;
1086
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087 if (MIPSInst_FUNC(ir) != movc_op)
1088 return SIGILL;
1089 cond = fpucondbit[MIPSInst_RT(ir) >> 2];
1090 if (((ctx->fcr31 & cond) != 0) == ((MIPSInst_RT(ir) & 1) != 0))
1091 xcp->regs[MIPSInst_RD(ir)] =
1092 xcp->regs[MIPSInst_RS(ir)];
1093 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001094 default:
Leonid Yegoshin1ac944002013-11-07 12:48:28 +00001095sigill:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001096 return SIGILL;
1097 }
1098
1099 /* we did it !! */
Atsushi Nemotoe70dfc12007-07-13 23:02:29 +09001100 xcp->cp0_epc = contpc;
Ralf Baechlee7e9cae2014-04-16 01:59:03 +02001101 clear_delay_slot(xcp);
Ralf Baechle333d1f62005-02-28 17:55:57 +00001102
Linus Torvalds1da177e2005-04-16 15:20:36 -07001103 return 0;
1104}
1105
1106/*
1107 * Conversion table from MIPS compare ops 48-63
1108 * cond = ieee754dp_cmp(x,y,IEEE754_UN,sig);
1109 */
1110static const unsigned char cmptab[8] = {
1111 0, /* cmp_0 (sig) cmp_sf */
1112 IEEE754_CUN, /* cmp_un (sig) cmp_ngle */
1113 IEEE754_CEQ, /* cmp_eq (sig) cmp_seq */
1114 IEEE754_CEQ | IEEE754_CUN, /* cmp_ueq (sig) cmp_ngl */
1115 IEEE754_CLT, /* cmp_olt (sig) cmp_lt */
1116 IEEE754_CLT | IEEE754_CUN, /* cmp_ult (sig) cmp_nge */
1117 IEEE754_CLT | IEEE754_CEQ, /* cmp_ole (sig) cmp_le */
1118 IEEE754_CLT | IEEE754_CEQ | IEEE754_CUN, /* cmp_ule (sig) cmp_ngt */
1119};
1120
1121
Linus Torvalds1da177e2005-04-16 15:20:36 -07001122/*
1123 * Additional MIPS4 instructions
1124 */
1125
Ralf Baechle47fa0c02014-04-16 11:00:12 +02001126#define DEF3OP(name, p, f1, f2, f3) \
1127static union ieee754##p fpemu_##p##_##name(union ieee754##p r, \
1128 union ieee754##p s, union ieee754##p t) \
1129{ \
1130 struct _ieee754_csr ieee754_csr_save; \
1131 s = f1(s, t); \
1132 ieee754_csr_save = ieee754_csr; \
1133 s = f2(s, r); \
1134 ieee754_csr_save.cx |= ieee754_csr.cx; \
1135 ieee754_csr_save.sx |= ieee754_csr.sx; \
1136 s = f3(s); \
1137 ieee754_csr.cx |= ieee754_csr_save.cx; \
1138 ieee754_csr.sx |= ieee754_csr_save.sx; \
1139 return s; \
Linus Torvalds1da177e2005-04-16 15:20:36 -07001140}
1141
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001142static union ieee754dp fpemu_dp_recip(union ieee754dp d)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001143{
1144 return ieee754dp_div(ieee754dp_one(0), d);
1145}
1146
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001147static union ieee754dp fpemu_dp_rsqrt(union ieee754dp d)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001148{
1149 return ieee754dp_div(ieee754dp_one(0), ieee754dp_sqrt(d));
1150}
1151
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001152static union ieee754sp fpemu_sp_recip(union ieee754sp s)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001153{
1154 return ieee754sp_div(ieee754sp_one(0), s);
1155}
1156
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001157static union ieee754sp fpemu_sp_rsqrt(union ieee754sp s)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001158{
1159 return ieee754sp_div(ieee754sp_one(0), ieee754sp_sqrt(s));
1160}
1161
Ralf Baechle21a151d2007-10-11 23:46:15 +01001162DEF3OP(madd, sp, ieee754sp_mul, ieee754sp_add, );
1163DEF3OP(msub, sp, ieee754sp_mul, ieee754sp_sub, );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001164DEF3OP(nmadd, sp, ieee754sp_mul, ieee754sp_add, ieee754sp_neg);
1165DEF3OP(nmsub, sp, ieee754sp_mul, ieee754sp_sub, ieee754sp_neg);
Ralf Baechle21a151d2007-10-11 23:46:15 +01001166DEF3OP(madd, dp, ieee754dp_mul, ieee754dp_add, );
1167DEF3OP(msub, dp, ieee754dp_mul, ieee754dp_sub, );
Linus Torvalds1da177e2005-04-16 15:20:36 -07001168DEF3OP(nmadd, dp, ieee754dp_mul, ieee754dp_add, ieee754dp_neg);
1169DEF3OP(nmsub, dp, ieee754dp_mul, ieee754dp_sub, ieee754dp_neg);
1170
Atsushi Nemotoeae89072006-05-16 01:26:03 +09001171static int fpux_emu(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
David Daney515b0292010-10-21 16:32:26 -07001172 mips_instruction ir, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001173{
1174 unsigned rcsr = 0; /* resulting csr */
1175
David Daneyb6ee75e2009-11-05 11:34:26 -08001176 MIPS_FPU_EMU_INC_STATS(cp1xops);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177
1178 switch (MIPSInst_FMA_FFMT(ir)) {
1179 case s_fmt:{ /* 0 */
1180
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001181 union ieee754sp(*handler) (union ieee754sp, union ieee754sp, union ieee754sp);
1182 union ieee754sp fd, fr, fs, ft;
Ralf Baechle3fccc012005-10-23 13:58:21 +01001183 u32 __user *va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001184 u32 val;
1185
1186 switch (MIPSInst_FUNC(ir)) {
1187 case lwxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001188 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001189 xcp->regs[MIPSInst_FT(ir)]);
1190
David Daneyb6ee75e2009-11-05 11:34:26 -08001191 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -07001192 if (!access_ok(VERIFY_READ, va, sizeof(u32))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001193 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001194 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001195 return SIGBUS;
1196 }
David Daney515b0292010-10-21 16:32:26 -07001197 if (__get_user(val, va)) {
1198 MIPS_FPU_EMU_INC_STATS(errors);
1199 *fault_addr = va;
1200 return SIGSEGV;
1201 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202 SITOREG(val, MIPSInst_FD(ir));
1203 break;
1204
1205 case swxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001206 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001207 xcp->regs[MIPSInst_FT(ir)]);
1208
David Daneyb6ee75e2009-11-05 11:34:26 -08001209 MIPS_FPU_EMU_INC_STATS(stores);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001210
1211 SIFROMREG(val, MIPSInst_FS(ir));
David Daney515b0292010-10-21 16:32:26 -07001212 if (!access_ok(VERIFY_WRITE, va, sizeof(u32))) {
1213 MIPS_FPU_EMU_INC_STATS(errors);
1214 *fault_addr = va;
1215 return SIGBUS;
1216 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217 if (put_user(val, va)) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001218 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001219 *fault_addr = va;
1220 return SIGSEGV;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221 }
1222 break;
1223
1224 case madd_s_op:
1225 handler = fpemu_sp_madd;
1226 goto scoptop;
1227 case msub_s_op:
1228 handler = fpemu_sp_msub;
1229 goto scoptop;
1230 case nmadd_s_op:
1231 handler = fpemu_sp_nmadd;
1232 goto scoptop;
1233 case nmsub_s_op:
1234 handler = fpemu_sp_nmsub;
1235 goto scoptop;
1236
1237 scoptop:
1238 SPFROMREG(fr, MIPSInst_FR(ir));
1239 SPFROMREG(fs, MIPSInst_FS(ir));
1240 SPFROMREG(ft, MIPSInst_FT(ir));
1241 fd = (*handler) (fr, fs, ft);
1242 SPTOREG(fd, MIPSInst_FD(ir));
1243
1244 copcsr:
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001245 if (ieee754_cxtest(IEEE754_INEXACT)) {
1246 MIPS_FPU_EMU_INC_STATS(ieee754_inexact);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001247 rcsr |= FPU_CSR_INE_X | FPU_CSR_INE_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001248 }
1249 if (ieee754_cxtest(IEEE754_UNDERFLOW)) {
1250 MIPS_FPU_EMU_INC_STATS(ieee754_underflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001251 rcsr |= FPU_CSR_UDF_X | FPU_CSR_UDF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001252 }
1253 if (ieee754_cxtest(IEEE754_OVERFLOW)) {
1254 MIPS_FPU_EMU_INC_STATS(ieee754_overflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001255 rcsr |= FPU_CSR_OVF_X | FPU_CSR_OVF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001256 }
1257 if (ieee754_cxtest(IEEE754_INVALID_OPERATION)) {
1258 MIPS_FPU_EMU_INC_STATS(ieee754_invalidop);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001259 rcsr |= FPU_CSR_INV_X | FPU_CSR_INV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001260 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001261
1262 ctx->fcr31 = (ctx->fcr31 & ~FPU_CSR_ALL_X) | rcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001264 /*printk ("SIGFPE: FPU csr = %08x\n",
Linus Torvalds1da177e2005-04-16 15:20:36 -07001265 ctx->fcr31); */
1266 return SIGFPE;
1267 }
1268
1269 break;
1270
1271 default:
1272 return SIGILL;
1273 }
1274 break;
1275 }
1276
Linus Torvalds1da177e2005-04-16 15:20:36 -07001277 case d_fmt:{ /* 1 */
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001278 union ieee754dp(*handler) (union ieee754dp, union ieee754dp, union ieee754dp);
1279 union ieee754dp fd, fr, fs, ft;
Ralf Baechle3fccc012005-10-23 13:58:21 +01001280 u64 __user *va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281 u64 val;
1282
1283 switch (MIPSInst_FUNC(ir)) {
1284 case ldxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001285 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286 xcp->regs[MIPSInst_FT(ir)]);
1287
David Daneyb6ee75e2009-11-05 11:34:26 -08001288 MIPS_FPU_EMU_INC_STATS(loads);
David Daney515b0292010-10-21 16:32:26 -07001289 if (!access_ok(VERIFY_READ, va, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001290 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001291 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001292 return SIGBUS;
1293 }
David Daney515b0292010-10-21 16:32:26 -07001294 if (__get_user(val, va)) {
1295 MIPS_FPU_EMU_INC_STATS(errors);
1296 *fault_addr = va;
1297 return SIGSEGV;
1298 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001299 DITOREG(val, MIPSInst_FD(ir));
1300 break;
1301
1302 case sdxc1_op:
Ralf Baechle3fccc012005-10-23 13:58:21 +01001303 va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304 xcp->regs[MIPSInst_FT(ir)]);
1305
David Daneyb6ee75e2009-11-05 11:34:26 -08001306 MIPS_FPU_EMU_INC_STATS(stores);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001307 DIFROMREG(val, MIPSInst_FS(ir));
David Daney515b0292010-10-21 16:32:26 -07001308 if (!access_ok(VERIFY_WRITE, va, sizeof(u64))) {
David Daneyb6ee75e2009-11-05 11:34:26 -08001309 MIPS_FPU_EMU_INC_STATS(errors);
David Daney515b0292010-10-21 16:32:26 -07001310 *fault_addr = va;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001311 return SIGBUS;
1312 }
David Daney515b0292010-10-21 16:32:26 -07001313 if (__put_user(val, va)) {
1314 MIPS_FPU_EMU_INC_STATS(errors);
1315 *fault_addr = va;
1316 return SIGSEGV;
1317 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318 break;
1319
1320 case madd_d_op:
1321 handler = fpemu_dp_madd;
1322 goto dcoptop;
1323 case msub_d_op:
1324 handler = fpemu_dp_msub;
1325 goto dcoptop;
1326 case nmadd_d_op:
1327 handler = fpemu_dp_nmadd;
1328 goto dcoptop;
1329 case nmsub_d_op:
1330 handler = fpemu_dp_nmsub;
1331 goto dcoptop;
1332
1333 dcoptop:
1334 DPFROMREG(fr, MIPSInst_FR(ir));
1335 DPFROMREG(fs, MIPSInst_FS(ir));
1336 DPFROMREG(ft, MIPSInst_FT(ir));
1337 fd = (*handler) (fr, fs, ft);
1338 DPTOREG(fd, MIPSInst_FD(ir));
1339 goto copcsr;
1340
1341 default:
1342 return SIGILL;
1343 }
1344 break;
1345 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001346
Deng-Cheng Zhu51061b82014-03-06 17:05:27 -08001347 case 0x3:
1348 if (MIPSInst_FUNC(ir) != pfetch_op)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349 return SIGILL;
Deng-Cheng Zhu51061b82014-03-06 17:05:27 -08001350
Linus Torvalds1da177e2005-04-16 15:20:36 -07001351 /* ignore prefx operation */
1352 break;
1353
1354 default:
1355 return SIGILL;
1356 }
1357
1358 return 0;
1359}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001360
1361
1362
1363/*
1364 * Emulate a single COP1 arithmetic instruction.
1365 */
Atsushi Nemotoeae89072006-05-16 01:26:03 +09001366static int fpu_emu(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001367 mips_instruction ir)
1368{
1369 int rfmt; /* resulting format */
1370 unsigned rcsr = 0; /* resulting csr */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001371 unsigned int oldrm;
1372 unsigned int cbit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001373 unsigned cond;
1374 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001375 union ieee754dp d;
1376 union ieee754sp s;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001377 int w;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001378 s64 l;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001379 } rv; /* resulting value */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001380 u64 bits;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381
David Daneyb6ee75e2009-11-05 11:34:26 -08001382 MIPS_FPU_EMU_INC_STATS(cp1ops);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001383 switch (rfmt = (MIPSInst_FFMT(ir) & 0xf)) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001384 case s_fmt: { /* 0 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001386 union ieee754sp(*b) (union ieee754sp, union ieee754sp);
1387 union ieee754sp(*u) (union ieee754sp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001388 } handler;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001389 union ieee754sp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001390
1391 switch (MIPSInst_FUNC(ir)) {
1392 /* binary ops */
1393 case fadd_op:
1394 handler.b = ieee754sp_add;
1395 goto scopbop;
1396 case fsub_op:
1397 handler.b = ieee754sp_sub;
1398 goto scopbop;
1399 case fmul_op:
1400 handler.b = ieee754sp_mul;
1401 goto scopbop;
1402 case fdiv_op:
1403 handler.b = ieee754sp_div;
1404 goto scopbop;
1405
1406 /* unary ops */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001407 case fsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001408 if (!cpu_has_mips_4_5_r)
1409 return SIGILL;
1410
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 handler.u = ieee754sp_sqrt;
1412 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001413
Ralf Baechle08a07902014-04-19 13:11:37 +02001414 /*
1415 * Note that on some MIPS IV implementations such as the
1416 * R5000 and R8000 the FSQRT and FRECIP instructions do not
1417 * achieve full IEEE-754 accuracy - however this emulator does.
1418 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001419 case frsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001420 if (!cpu_has_mips_4_5_r2)
1421 return SIGILL;
1422
Linus Torvalds1da177e2005-04-16 15:20:36 -07001423 handler.u = fpemu_sp_rsqrt;
1424 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001425
Linus Torvalds1da177e2005-04-16 15:20:36 -07001426 case frecip_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001427 if (!cpu_has_mips_4_5_r2)
1428 return SIGILL;
1429
Linus Torvalds1da177e2005-04-16 15:20:36 -07001430 handler.u = fpemu_sp_recip;
1431 goto scopuop;
Ralf Baechle08a07902014-04-19 13:11:37 +02001432
Linus Torvalds1da177e2005-04-16 15:20:36 -07001433 case fmovc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001434 if (!cpu_has_mips_4_5_r)
1435 return SIGILL;
1436
Linus Torvalds1da177e2005-04-16 15:20:36 -07001437 cond = fpucondbit[MIPSInst_FT(ir) >> 2];
1438 if (((ctx->fcr31 & cond) != 0) !=
1439 ((MIPSInst_FT(ir) & 1) != 0))
1440 return 0;
1441 SPFROMREG(rv.s, MIPSInst_FS(ir));
1442 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001443
Linus Torvalds1da177e2005-04-16 15:20:36 -07001444 case fmovz_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001445 if (!cpu_has_mips_4_5_r)
1446 return SIGILL;
1447
Linus Torvalds1da177e2005-04-16 15:20:36 -07001448 if (xcp->regs[MIPSInst_FT(ir)] != 0)
1449 return 0;
1450 SPFROMREG(rv.s, MIPSInst_FS(ir));
1451 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001452
Linus Torvalds1da177e2005-04-16 15:20:36 -07001453 case fmovn_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001454 if (!cpu_has_mips_4_5_r)
1455 return SIGILL;
1456
Linus Torvalds1da177e2005-04-16 15:20:36 -07001457 if (xcp->regs[MIPSInst_FT(ir)] == 0)
1458 return 0;
1459 SPFROMREG(rv.s, MIPSInst_FS(ir));
1460 break;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001461
Linus Torvalds1da177e2005-04-16 15:20:36 -07001462 case fabs_op:
1463 handler.u = ieee754sp_abs;
1464 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001465
Linus Torvalds1da177e2005-04-16 15:20:36 -07001466 case fneg_op:
1467 handler.u = ieee754sp_neg;
1468 goto scopuop;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001469
Linus Torvalds1da177e2005-04-16 15:20:36 -07001470 case fmov_op:
1471 /* an easy one */
1472 SPFROMREG(rv.s, MIPSInst_FS(ir));
1473 goto copcsr;
1474
1475 /* binary op on handler */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001476scopbop:
1477 SPFROMREG(fs, MIPSInst_FS(ir));
1478 SPFROMREG(ft, MIPSInst_FT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001479
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001480 rv.s = (*handler.b) (fs, ft);
1481 goto copcsr;
1482scopuop:
1483 SPFROMREG(fs, MIPSInst_FS(ir));
1484 rv.s = (*handler.u) (fs);
1485 goto copcsr;
1486copcsr:
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001487 if (ieee754_cxtest(IEEE754_INEXACT)) {
1488 MIPS_FPU_EMU_INC_STATS(ieee754_inexact);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001489 rcsr |= FPU_CSR_INE_X | FPU_CSR_INE_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001490 }
1491 if (ieee754_cxtest(IEEE754_UNDERFLOW)) {
1492 MIPS_FPU_EMU_INC_STATS(ieee754_underflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001493 rcsr |= FPU_CSR_UDF_X | FPU_CSR_UDF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001494 }
1495 if (ieee754_cxtest(IEEE754_OVERFLOW)) {
1496 MIPS_FPU_EMU_INC_STATS(ieee754_overflow);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001497 rcsr |= FPU_CSR_OVF_X | FPU_CSR_OVF_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001498 }
1499 if (ieee754_cxtest(IEEE754_ZERO_DIVIDE)) {
1500 MIPS_FPU_EMU_INC_STATS(ieee754_zerodiv);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001501 rcsr |= FPU_CSR_DIV_X | FPU_CSR_DIV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001502 }
1503 if (ieee754_cxtest(IEEE754_INVALID_OPERATION)) {
1504 MIPS_FPU_EMU_INC_STATS(ieee754_invalidop);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001505 rcsr |= FPU_CSR_INV_X | FPU_CSR_INV_S;
Deng-Cheng Zhuc4103522014-05-29 12:26:45 -07001506 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001507 break;
1508
1509 /* unary conv ops */
1510 case fcvts_op:
1511 return SIGILL; /* not defined */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001512
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001513 case fcvtd_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001514 SPFROMREG(fs, MIPSInst_FS(ir));
1515 rv.d = ieee754dp_fsp(fs);
1516 rfmt = d_fmt;
1517 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001518
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001519 case fcvtw_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001520 SPFROMREG(fs, MIPSInst_FS(ir));
1521 rv.w = ieee754sp_tint(fs);
1522 rfmt = w_fmt;
1523 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001524
Linus Torvalds1da177e2005-04-16 15:20:36 -07001525 case fround_op:
1526 case ftrunc_op:
1527 case fceil_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001528 case ffloor_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001529 if (!cpu_has_mips_2_3_4_5 && !cpu_has_mips64)
1530 return SIGILL;
1531
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001532 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001533 SPFROMREG(fs, MIPSInst_FS(ir));
Ralf Baechle56a64732014-04-30 11:21:55 +02001534 ieee754_csr.rm = modeindex(MIPSInst_FUNC(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001535 rv.w = ieee754sp_tint(fs);
1536 ieee754_csr.rm = oldrm;
1537 rfmt = w_fmt;
1538 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001539
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001540 case fcvtl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001541 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1542 return SIGILL;
1543
Linus Torvalds1da177e2005-04-16 15:20:36 -07001544 SPFROMREG(fs, MIPSInst_FS(ir));
1545 rv.l = ieee754sp_tlong(fs);
1546 rfmt = l_fmt;
1547 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001548
1549 case froundl_op:
1550 case ftruncl_op:
1551 case fceill_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001552 case ffloorl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001553 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1554 return SIGILL;
1555
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001556 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001557 SPFROMREG(fs, MIPSInst_FS(ir));
Ralf Baechle56a64732014-04-30 11:21:55 +02001558 ieee754_csr.rm = modeindex(MIPSInst_FUNC(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001559 rv.l = ieee754sp_tlong(fs);
1560 ieee754_csr.rm = oldrm;
1561 rfmt = l_fmt;
1562 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001563
1564 default:
1565 if (MIPSInst_FUNC(ir) >= fcmp_op) {
1566 unsigned cmpop = MIPSInst_FUNC(ir) - fcmp_op;
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001567 union ieee754sp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001568
1569 SPFROMREG(fs, MIPSInst_FS(ir));
1570 SPFROMREG(ft, MIPSInst_FT(ir));
1571 rv.w = ieee754sp_cmp(fs, ft,
1572 cmptab[cmpop & 0x7], cmpop & 0x8);
1573 rfmt = -1;
1574 if ((cmpop & 0x8) && ieee754_cxtest
1575 (IEEE754_INVALID_OPERATION))
1576 rcsr = FPU_CSR_INV_X | FPU_CSR_INV_S;
1577 else
1578 goto copcsr;
1579
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001580 } else
Linus Torvalds1da177e2005-04-16 15:20:36 -07001581 return SIGILL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001582 break;
1583 }
1584 break;
1585 }
1586
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001587 case d_fmt: {
1588 union ieee754dp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001589 union {
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001590 union ieee754dp(*b) (union ieee754dp, union ieee754dp);
1591 union ieee754dp(*u) (union ieee754dp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001592 } handler;
1593
1594 switch (MIPSInst_FUNC(ir)) {
1595 /* binary ops */
1596 case fadd_op:
1597 handler.b = ieee754dp_add;
1598 goto dcopbop;
1599 case fsub_op:
1600 handler.b = ieee754dp_sub;
1601 goto dcopbop;
1602 case fmul_op:
1603 handler.b = ieee754dp_mul;
1604 goto dcopbop;
1605 case fdiv_op:
1606 handler.b = ieee754dp_div;
1607 goto dcopbop;
1608
1609 /* unary ops */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001610 case fsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001611 if (!cpu_has_mips_2_3_4_5_r)
1612 return SIGILL;
1613
Linus Torvalds1da177e2005-04-16 15:20:36 -07001614 handler.u = ieee754dp_sqrt;
1615 goto dcopuop;
Ralf Baechle08a07902014-04-19 13:11:37 +02001616 /*
1617 * Note that on some MIPS IV implementations such as the
1618 * R5000 and R8000 the FSQRT and FRECIP instructions do not
1619 * achieve full IEEE-754 accuracy - however this emulator does.
1620 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001621 case frsqrt_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001622 if (!cpu_has_mips_4_5_r2)
1623 return SIGILL;
1624
Linus Torvalds1da177e2005-04-16 15:20:36 -07001625 handler.u = fpemu_dp_rsqrt;
1626 goto dcopuop;
1627 case frecip_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001628 if (!cpu_has_mips_4_5_r2)
1629 return SIGILL;
1630
Linus Torvalds1da177e2005-04-16 15:20:36 -07001631 handler.u = fpemu_dp_recip;
1632 goto dcopuop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001633 case fmovc_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001634 if (!cpu_has_mips_4_5_r)
1635 return SIGILL;
1636
Linus Torvalds1da177e2005-04-16 15:20:36 -07001637 cond = fpucondbit[MIPSInst_FT(ir) >> 2];
1638 if (((ctx->fcr31 & cond) != 0) !=
1639 ((MIPSInst_FT(ir) & 1) != 0))
1640 return 0;
1641 DPFROMREG(rv.d, MIPSInst_FS(ir));
1642 break;
1643 case fmovz_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001644 if (!cpu_has_mips_4_5_r)
1645 return SIGILL;
1646
Linus Torvalds1da177e2005-04-16 15:20:36 -07001647 if (xcp->regs[MIPSInst_FT(ir)] != 0)
1648 return 0;
1649 DPFROMREG(rv.d, MIPSInst_FS(ir));
1650 break;
1651 case fmovn_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001652 if (!cpu_has_mips_4_5_r)
1653 return SIGILL;
1654
Linus Torvalds1da177e2005-04-16 15:20:36 -07001655 if (xcp->regs[MIPSInst_FT(ir)] == 0)
1656 return 0;
1657 DPFROMREG(rv.d, MIPSInst_FS(ir));
1658 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001659 case fabs_op:
1660 handler.u = ieee754dp_abs;
1661 goto dcopuop;
1662
1663 case fneg_op:
1664 handler.u = ieee754dp_neg;
1665 goto dcopuop;
1666
1667 case fmov_op:
1668 /* an easy one */
1669 DPFROMREG(rv.d, MIPSInst_FS(ir));
1670 goto copcsr;
1671
1672 /* binary op on handler */
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001673dcopbop:
1674 DPFROMREG(fs, MIPSInst_FS(ir));
1675 DPFROMREG(ft, MIPSInst_FT(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001676
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001677 rv.d = (*handler.b) (fs, ft);
1678 goto copcsr;
1679dcopuop:
1680 DPFROMREG(fs, MIPSInst_FS(ir));
1681 rv.d = (*handler.u) (fs);
1682 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001683
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001684 /*
1685 * unary conv ops
1686 */
1687 case fcvts_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001688 DPFROMREG(fs, MIPSInst_FS(ir));
1689 rv.s = ieee754sp_fdp(fs);
1690 rfmt = s_fmt;
1691 goto copcsr;
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001692
Linus Torvalds1da177e2005-04-16 15:20:36 -07001693 case fcvtd_op:
1694 return SIGILL; /* not defined */
1695
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001696 case fcvtw_op:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001697 DPFROMREG(fs, MIPSInst_FS(ir));
1698 rv.w = ieee754dp_tint(fs); /* wrong */
1699 rfmt = w_fmt;
1700 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001701
Linus Torvalds1da177e2005-04-16 15:20:36 -07001702 case fround_op:
1703 case ftrunc_op:
1704 case fceil_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001705 case ffloor_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001706 if (!cpu_has_mips_2_3_4_5_r)
1707 return SIGILL;
1708
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001709 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001710 DPFROMREG(fs, MIPSInst_FS(ir));
Ralf Baechle56a64732014-04-30 11:21:55 +02001711 ieee754_csr.rm = modeindex(MIPSInst_FUNC(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001712 rv.w = ieee754dp_tint(fs);
1713 ieee754_csr.rm = oldrm;
1714 rfmt = w_fmt;
1715 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001716
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001717 case fcvtl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001718 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1719 return SIGILL;
1720
Linus Torvalds1da177e2005-04-16 15:20:36 -07001721 DPFROMREG(fs, MIPSInst_FS(ir));
1722 rv.l = ieee754dp_tlong(fs);
1723 rfmt = l_fmt;
1724 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001725
1726 case froundl_op:
1727 case ftruncl_op:
1728 case fceill_op:
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001729 case ffloorl_op:
Ralf Baechle08a07902014-04-19 13:11:37 +02001730 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1731 return SIGILL;
1732
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001733 oldrm = ieee754_csr.rm;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001734 DPFROMREG(fs, MIPSInst_FS(ir));
Ralf Baechle56a64732014-04-30 11:21:55 +02001735 ieee754_csr.rm = modeindex(MIPSInst_FUNC(ir));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001736 rv.l = ieee754dp_tlong(fs);
1737 ieee754_csr.rm = oldrm;
1738 rfmt = l_fmt;
1739 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001740
1741 default:
1742 if (MIPSInst_FUNC(ir) >= fcmp_op) {
1743 unsigned cmpop = MIPSInst_FUNC(ir) - fcmp_op;
Ralf Baechle2209bcb2014-04-16 01:31:11 +02001744 union ieee754dp fs, ft;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001745
1746 DPFROMREG(fs, MIPSInst_FS(ir));
1747 DPFROMREG(ft, MIPSInst_FT(ir));
1748 rv.w = ieee754dp_cmp(fs, ft,
1749 cmptab[cmpop & 0x7], cmpop & 0x8);
1750 rfmt = -1;
1751 if ((cmpop & 0x8)
1752 &&
1753 ieee754_cxtest
1754 (IEEE754_INVALID_OPERATION))
1755 rcsr = FPU_CSR_INV_X | FPU_CSR_INV_S;
1756 else
1757 goto copcsr;
1758
1759 }
1760 else {
1761 return SIGILL;
1762 }
1763 break;
1764 }
1765 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001766
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001767 case w_fmt:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001768 switch (MIPSInst_FUNC(ir)) {
1769 case fcvts_op:
1770 /* convert word to single precision real */
1771 SPFROMREG(fs, MIPSInst_FS(ir));
1772 rv.s = ieee754sp_fint(fs.bits);
1773 rfmt = s_fmt;
1774 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001775 case fcvtd_op:
1776 /* convert word to double precision real */
1777 SPFROMREG(fs, MIPSInst_FS(ir));
1778 rv.d = ieee754dp_fint(fs.bits);
1779 rfmt = d_fmt;
1780 goto copcsr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001781 default:
1782 return SIGILL;
1783 }
1784 break;
1785 }
1786
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001787 case l_fmt:
Ralf Baechle08a07902014-04-19 13:11:37 +02001788
1789 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1790 return SIGILL;
1791
Paul Burtonbbd426f2014-02-13 11:26:41 +00001792 DIFROMREG(bits, MIPSInst_FS(ir));
1793
Linus Torvalds1da177e2005-04-16 15:20:36 -07001794 switch (MIPSInst_FUNC(ir)) {
1795 case fcvts_op:
1796 /* convert long to single precision real */
Paul Burtonbbd426f2014-02-13 11:26:41 +00001797 rv.s = ieee754sp_flong(bits);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001798 rfmt = s_fmt;
1799 goto copcsr;
1800 case fcvtd_op:
1801 /* convert long to double precision real */
Paul Burtonbbd426f2014-02-13 11:26:41 +00001802 rv.d = ieee754dp_flong(bits);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001803 rfmt = d_fmt;
1804 goto copcsr;
1805 default:
1806 return SIGILL;
1807 }
1808 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001809
1810 default:
1811 return SIGILL;
1812 }
1813
1814 /*
1815 * Update the fpu CSR register for this operation.
1816 * If an exception is required, generate a tidy SIGFPE exception,
1817 * without updating the result register.
1818 * Note: cause exception bits do not accumulate, they are rewritten
1819 * for each op; only the flag/sticky bits accumulate.
1820 */
1821 ctx->fcr31 = (ctx->fcr31 & ~FPU_CSR_ALL_X) | rcsr;
1822 if ((ctx->fcr31 >> 5) & ctx->fcr31 & FPU_CSR_ALL_E) {
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001823 /*printk ("SIGFPE: FPU csr = %08x\n",ctx->fcr31); */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001824 return SIGFPE;
1825 }
1826
1827 /*
1828 * Now we can safely write the result back to the register file.
1829 */
1830 switch (rfmt) {
Ralf Baechle08a07902014-04-19 13:11:37 +02001831 case -1:
1832
1833 if (cpu_has_mips_4_5_r)
Rob Kendrickc3b9b942014-07-23 10:03:58 +01001834 cbit = fpucondbit[MIPSInst_FD(ir) >> 2];
Linus Torvalds1da177e2005-04-16 15:20:36 -07001835 else
Ralf Baechle08a07902014-04-19 13:11:37 +02001836 cbit = FPU_CSR_COND;
1837 if (rv.w)
1838 ctx->fcr31 |= cbit;
1839 else
1840 ctx->fcr31 &= ~cbit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001841 break;
Ralf Baechle08a07902014-04-19 13:11:37 +02001842
Linus Torvalds1da177e2005-04-16 15:20:36 -07001843 case d_fmt:
1844 DPTOREG(rv.d, MIPSInst_FD(ir));
1845 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001846 case s_fmt:
1847 SPTOREG(rv.s, MIPSInst_FD(ir));
1848 break;
1849 case w_fmt:
1850 SITOREG(rv.w, MIPSInst_FD(ir));
1851 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001852 case l_fmt:
Ralf Baechle08a07902014-04-19 13:11:37 +02001853 if (!cpu_has_mips_3_4_5 && !cpu_has_mips64)
1854 return SIGILL;
1855
Linus Torvalds1da177e2005-04-16 15:20:36 -07001856 DITOREG(rv.l, MIPSInst_FD(ir));
1857 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001858 default:
1859 return SIGILL;
1860 }
1861
1862 return 0;
1863}
1864
Atsushi Nemotoe04582b2006-10-09 00:10:01 +09001865int fpu_emulator_cop1Handler(struct pt_regs *xcp, struct mips_fpu_struct *ctx,
David Daney515b0292010-10-21 16:32:26 -07001866 int has_fpu, void *__user *fault_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001867{
Ralf Baechle333d1f62005-02-28 17:55:57 +00001868 unsigned long oldepc, prevepc;
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001869 struct mm_decoded_insn dec_insn;
1870 u16 instr[4];
1871 u16 *instr_ptr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001872 int sig = 0;
1873
1874 oldepc = xcp->cp0_epc;
1875 do {
1876 prevepc = xcp->cp0_epc;
1877
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001878 if (get_isa16_mode(prevepc) && cpu_has_mmips) {
1879 /*
1880 * Get next 2 microMIPS instructions and convert them
1881 * into 32-bit instructions.
1882 */
1883 if ((get_user(instr[0], (u16 __user *)msk_isa16_mode(xcp->cp0_epc))) ||
1884 (get_user(instr[1], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 2))) ||
1885 (get_user(instr[2], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 4))) ||
1886 (get_user(instr[3], (u16 __user *)msk_isa16_mode(xcp->cp0_epc + 6)))) {
1887 MIPS_FPU_EMU_INC_STATS(errors);
1888 return SIGBUS;
1889 }
1890 instr_ptr = instr;
1891
1892 /* Get first instruction. */
1893 if (mm_insn_16bit(*instr_ptr)) {
1894 /* Duplicate the half-word. */
1895 dec_insn.insn = (*instr_ptr << 16) |
1896 (*instr_ptr);
1897 /* 16-bit instruction. */
1898 dec_insn.pc_inc = 2;
1899 instr_ptr += 1;
1900 } else {
1901 dec_insn.insn = (*instr_ptr << 16) |
1902 *(instr_ptr+1);
1903 /* 32-bit instruction. */
1904 dec_insn.pc_inc = 4;
1905 instr_ptr += 2;
1906 }
1907 /* Get second instruction. */
1908 if (mm_insn_16bit(*instr_ptr)) {
1909 /* Duplicate the half-word. */
1910 dec_insn.next_insn = (*instr_ptr << 16) |
1911 (*instr_ptr);
1912 /* 16-bit instruction. */
1913 dec_insn.next_pc_inc = 2;
1914 } else {
1915 dec_insn.next_insn = (*instr_ptr << 16) |
1916 *(instr_ptr+1);
1917 /* 32-bit instruction. */
1918 dec_insn.next_pc_inc = 4;
1919 }
1920 dec_insn.micro_mips_mode = 1;
1921 } else {
1922 if ((get_user(dec_insn.insn,
1923 (mips_instruction __user *) xcp->cp0_epc)) ||
1924 (get_user(dec_insn.next_insn,
1925 (mips_instruction __user *)(xcp->cp0_epc+4)))) {
1926 MIPS_FPU_EMU_INC_STATS(errors);
1927 return SIGBUS;
1928 }
1929 dec_insn.pc_inc = 4;
1930 dec_insn.next_pc_inc = 4;
1931 dec_insn.micro_mips_mode = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001932 }
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001933
1934 if ((dec_insn.insn == 0) ||
1935 ((dec_insn.pc_inc == 2) &&
1936 ((dec_insn.insn & 0xffff) == MM_NOP16)))
1937 xcp->cp0_epc += dec_insn.pc_inc; /* Skip NOPs */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001938 else {
Ralf Baechlecd21dfc2005-04-28 13:39:10 +00001939 /*
1940 * The 'ieee754_csr' is an alias of
Ralf Baechle70342282013-01-22 12:59:30 +01001941 * ctx->fcr31. No need to copy ctx->fcr31 to
1942 * ieee754_csr. But ieee754_csr.rm is ieee
Ralf Baechlecd21dfc2005-04-28 13:39:10 +00001943 * library modes. (not mips rounding mode)
1944 */
Leonid Yegoshin102cedc2013-03-25 12:09:02 -05001945 sig = cop1Emulate(xcp, ctx, dec_insn, fault_addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001946 }
1947
Atsushi Nemotoe04582b2006-10-09 00:10:01 +09001948 if (has_fpu)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001949 break;
1950 if (sig)
1951 break;
1952
1953 cond_resched();
1954 } while (xcp->cp0_epc > prevepc);
1955
1956 /* SIGILL indicates a non-fpu instruction */
1957 if (sig == SIGILL && xcp->cp0_epc != oldepc)
Ralf Baechle3f7cac42014-04-26 01:49:14 +02001958 /* but if EPC has advanced, then ignore it */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001959 sig = 0;
1960
1961 return sig;
1962}