blob: c4cda1afb49d3e0fe597040f8fa8580cc944f0bf [file] [log] [blame]
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001/*
2 * Single-step support.
3 *
4 * Copyright (C) 2004 Paul Mackerras <paulus@au.ibm.com>, IBM
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 */
11#include <linux/kernel.h>
Gui,Jian0d69a052006-11-01 10:50:15 +080012#include <linux/kprobes.h>
Paul Mackerras14cf11a2005-09-26 16:04:21 +100013#include <linux/ptrace.h>
Linus Torvalds268bb0c2011-05-20 12:50:29 -070014#include <linux/prefetch.h>
Paul Mackerras14cf11a2005-09-26 16:04:21 +100015#include <asm/sstep.h>
16#include <asm/processor.h>
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080017#include <linux/uaccess.h>
Michael Ellerman5e9d0e32016-11-18 11:51:14 +110018#include <asm/cpu_has_feature.h>
Paul Mackerras0016a4c2010-06-15 14:48:58 +100019#include <asm/cputable.h>
Paul Mackerras14cf11a2005-09-26 16:04:21 +100020
21extern char system_call_common[];
22
Paul Mackerrasc0325242005-10-28 22:48:08 +100023#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +100024/* Bits in SRR1 that are copied from MSR */
Stephen Rothwellaf308372006-03-23 17:38:10 +110025#define MSR_MASK 0xffffffff87c0ffffUL
Paul Mackerrasc0325242005-10-28 22:48:08 +100026#else
27#define MSR_MASK 0x87c0ffff
28#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +100029
Paul Mackerras0016a4c2010-06-15 14:48:58 +100030/* Bits in XER */
31#define XER_SO 0x80000000U
32#define XER_OV 0x40000000U
33#define XER_CA 0x20000000U
34
Sean MacLennancd64d162010-09-01 07:21:21 +000035#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +100036/*
37 * Functions in ldstfp.S
38 */
Paul Mackerrasc22435a52017-08-30 14:12:33 +100039extern void get_fpr(int rn, double *p);
40extern void put_fpr(int rn, const double *p);
41extern void get_vr(int rn, __vector128 *p);
42extern void put_vr(int rn, __vector128 *p);
Paul Mackerras350779a2017-08-30 14:12:27 +100043extern void load_vsrn(int vsr, const void *p);
44extern void store_vsrn(int vsr, void *p);
45extern void conv_sp_to_dp(const float *sp, double *dp);
46extern void conv_dp_to_sp(const double *dp, float *sp);
47#endif
48
49#ifdef __powerpc64__
50/*
51 * Functions in quad.S
52 */
53extern int do_lq(unsigned long ea, unsigned long *regs);
54extern int do_stq(unsigned long ea, unsigned long val0, unsigned long val1);
55extern int do_lqarx(unsigned long ea, unsigned long *regs);
56extern int do_stqcx(unsigned long ea, unsigned long val0, unsigned long val1,
57 unsigned int *crp);
58#endif
59
60#ifdef __LITTLE_ENDIAN__
61#define IS_LE 1
62#define IS_BE 0
63#else
64#define IS_LE 0
65#define IS_BE 1
Sean MacLennancd64d162010-09-01 07:21:21 +000066#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +100067
Paul Mackerras14cf11a2005-09-26 16:04:21 +100068/*
Michael Ellermanb91e1362011-04-07 21:56:04 +000069 * Emulate the truncation of 64 bit values in 32-bit mode.
70 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +053071static nokprobe_inline unsigned long truncate_if_32bit(unsigned long msr,
72 unsigned long val)
Michael Ellermanb91e1362011-04-07 21:56:04 +000073{
74#ifdef __powerpc64__
75 if ((msr & MSR_64BIT) == 0)
76 val &= 0xffffffffUL;
77#endif
78 return val;
79}
80
81/*
Paul Mackerras14cf11a2005-09-26 16:04:21 +100082 * Determine whether a conditional branch instruction would branch.
83 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +100084static nokprobe_inline int branch_taken(unsigned int instr,
85 const struct pt_regs *regs,
86 struct instruction_op *op)
Paul Mackerras14cf11a2005-09-26 16:04:21 +100087{
88 unsigned int bo = (instr >> 21) & 0x1f;
89 unsigned int bi;
90
91 if ((bo & 4) == 0) {
92 /* decrement counter */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +100093 op->type |= DECCTR;
94 if (((bo >> 1) & 1) ^ (regs->ctr == 1))
Paul Mackerras14cf11a2005-09-26 16:04:21 +100095 return 0;
96 }
97 if ((bo & 0x10) == 0) {
98 /* check bit from CR */
99 bi = (instr >> 16) & 0x1f;
100 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
101 return 0;
102 }
103 return 1;
104}
105
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000106static nokprobe_inline long address_ok(struct pt_regs *regs,
107 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000108{
109 if (!user_mode(regs))
110 return 1;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000111 if (__access_ok(ea, nb, USER_DS))
112 return 1;
113 if (__access_ok(ea, 1, USER_DS))
114 /* Access overlaps the end of the user region */
115 regs->dar = USER_DS.seg;
116 else
117 regs->dar = ea;
118 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000119}
120
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000121/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000122 * Calculate effective address for a D-form instruction
123 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000124static nokprobe_inline unsigned long dform_ea(unsigned int instr,
125 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000126{
127 int ra;
128 unsigned long ea;
129
130 ra = (instr >> 16) & 0x1f;
131 ea = (signed short) instr; /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000132 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000133 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000134
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000135 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000136}
137
138#ifdef __powerpc64__
139/*
140 * Calculate effective address for a DS-form instruction
141 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000142static nokprobe_inline unsigned long dsform_ea(unsigned int instr,
143 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000144{
145 int ra;
146 unsigned long ea;
147
148 ra = (instr >> 16) & 0x1f;
149 ea = (signed short) (instr & ~3); /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000150 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000151 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000152
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000153 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000154}
Paul Mackerras350779a2017-08-30 14:12:27 +1000155
156/*
157 * Calculate effective address for a DQ-form instruction
158 */
159static nokprobe_inline unsigned long dqform_ea(unsigned int instr,
160 const struct pt_regs *regs)
161{
162 int ra;
163 unsigned long ea;
164
165 ra = (instr >> 16) & 0x1f;
166 ea = (signed short) (instr & ~0xf); /* sign-extend */
167 if (ra)
168 ea += regs->gpr[ra];
169
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000170 return ea;
Paul Mackerras350779a2017-08-30 14:12:27 +1000171}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000172#endif /* __powerpc64 */
173
174/*
175 * Calculate effective address for an X-form instruction
176 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530177static nokprobe_inline unsigned long xform_ea(unsigned int instr,
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000178 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000179{
180 int ra, rb;
181 unsigned long ea;
182
183 ra = (instr >> 16) & 0x1f;
184 rb = (instr >> 11) & 0x1f;
185 ea = regs->gpr[rb];
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000186 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000187 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000188
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000189 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000190}
191
192/*
193 * Return the largest power of 2, not greater than sizeof(unsigned long),
194 * such that x is a multiple of it.
195 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530196static nokprobe_inline unsigned long max_align(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000197{
198 x |= sizeof(unsigned long);
199 return x & -x; /* isolates rightmost bit */
200}
201
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530202static nokprobe_inline unsigned long byterev_2(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000203{
204 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
205}
206
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530207static nokprobe_inline unsigned long byterev_4(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000208{
209 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
210 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
211}
212
213#ifdef __powerpc64__
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530214static nokprobe_inline unsigned long byterev_8(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000215{
216 return (byterev_4(x) << 32) | byterev_4(x >> 32);
217}
218#endif
219
Paul Mackerrasd9551892017-08-30 14:12:38 +1000220static nokprobe_inline void do_byte_reverse(void *ptr, int nb)
221{
222 switch (nb) {
223 case 2:
224 *(u16 *)ptr = byterev_2(*(u16 *)ptr);
225 break;
226 case 4:
227 *(u32 *)ptr = byterev_4(*(u32 *)ptr);
228 break;
229#ifdef __powerpc64__
230 case 8:
231 *(unsigned long *)ptr = byterev_8(*(unsigned long *)ptr);
232 break;
233 case 16: {
234 unsigned long *up = (unsigned long *)ptr;
235 unsigned long tmp;
236 tmp = byterev_8(up[0]);
237 up[0] = byterev_8(up[1]);
238 up[1] = tmp;
239 break;
240 }
241#endif
242 default:
243 WARN_ON_ONCE(1);
244 }
245}
246
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530247static nokprobe_inline int read_mem_aligned(unsigned long *dest,
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000248 unsigned long ea, int nb,
249 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000250{
251 int err = 0;
252 unsigned long x = 0;
253
254 switch (nb) {
255 case 1:
256 err = __get_user(x, (unsigned char __user *) ea);
257 break;
258 case 2:
259 err = __get_user(x, (unsigned short __user *) ea);
260 break;
261 case 4:
262 err = __get_user(x, (unsigned int __user *) ea);
263 break;
264#ifdef __powerpc64__
265 case 8:
266 err = __get_user(x, (unsigned long __user *) ea);
267 break;
268#endif
269 }
270 if (!err)
271 *dest = x;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000272 else
273 regs->dar = ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000274 return err;
275}
276
Paul Mackerrase0a09862017-08-30 14:12:32 +1000277/*
278 * Copy from userspace to a buffer, using the largest possible
279 * aligned accesses, up to sizeof(long).
280 */
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000281static int nokprobe_inline copy_mem_in(u8 *dest, unsigned long ea, int nb,
282 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000283{
Paul Mackerrase0a09862017-08-30 14:12:32 +1000284 int err = 0;
285 int c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000286
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000287 for (; nb > 0; nb -= c) {
288 c = max_align(ea);
289 if (c > nb)
290 c = max_align(nb);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000291 switch (c) {
292 case 1:
293 err = __get_user(*dest, (unsigned char __user *) ea);
294 break;
295 case 2:
296 err = __get_user(*(u16 *)dest,
297 (unsigned short __user *) ea);
298 break;
299 case 4:
300 err = __get_user(*(u32 *)dest,
301 (unsigned int __user *) ea);
302 break;
303#ifdef __powerpc64__
304 case 8:
305 err = __get_user(*(unsigned long *)dest,
306 (unsigned long __user *) ea);
307 break;
308#endif
309 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000310 if (err) {
311 regs->dar = ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000312 return err;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000313 }
Paul Mackerrase0a09862017-08-30 14:12:32 +1000314 dest += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000315 ea += c;
316 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000317 return 0;
318}
319
Paul Mackerrase0a09862017-08-30 14:12:32 +1000320static nokprobe_inline int read_mem_unaligned(unsigned long *dest,
321 unsigned long ea, int nb,
322 struct pt_regs *regs)
323{
324 union {
325 unsigned long ul;
326 u8 b[sizeof(unsigned long)];
327 } u;
328 int i;
329 int err;
330
331 u.ul = 0;
332 i = IS_BE ? sizeof(unsigned long) - nb : 0;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000333 err = copy_mem_in(&u.b[i], ea, nb, regs);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000334 if (!err)
335 *dest = u.ul;
336 return err;
337}
338
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000339/*
340 * Read memory at address ea for nb bytes, return 0 for success
Paul Mackerrase0a09862017-08-30 14:12:32 +1000341 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
342 * If nb < sizeof(long), the result is right-justified on BE systems.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000343 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530344static int read_mem(unsigned long *dest, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000345 struct pt_regs *regs)
346{
347 if (!address_ok(regs, ea, nb))
348 return -EFAULT;
349 if ((ea & (nb - 1)) == 0)
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000350 return read_mem_aligned(dest, ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000351 return read_mem_unaligned(dest, ea, nb, regs);
352}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530353NOKPROBE_SYMBOL(read_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000354
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530355static nokprobe_inline int write_mem_aligned(unsigned long val,
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000356 unsigned long ea, int nb,
357 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000358{
359 int err = 0;
360
361 switch (nb) {
362 case 1:
363 err = __put_user(val, (unsigned char __user *) ea);
364 break;
365 case 2:
366 err = __put_user(val, (unsigned short __user *) ea);
367 break;
368 case 4:
369 err = __put_user(val, (unsigned int __user *) ea);
370 break;
371#ifdef __powerpc64__
372 case 8:
373 err = __put_user(val, (unsigned long __user *) ea);
374 break;
375#endif
376 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000377 if (err)
378 regs->dar = ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000379 return err;
380}
381
Paul Mackerrase0a09862017-08-30 14:12:32 +1000382/*
383 * Copy from a buffer to userspace, using the largest possible
384 * aligned accesses, up to sizeof(long).
385 */
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000386static int nokprobe_inline copy_mem_out(u8 *dest, unsigned long ea, int nb,
387 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000388{
Paul Mackerrase0a09862017-08-30 14:12:32 +1000389 int err = 0;
390 int c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000391
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000392 for (; nb > 0; nb -= c) {
393 c = max_align(ea);
394 if (c > nb)
395 c = max_align(nb);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000396 switch (c) {
397 case 1:
398 err = __put_user(*dest, (unsigned char __user *) ea);
399 break;
400 case 2:
401 err = __put_user(*(u16 *)dest,
402 (unsigned short __user *) ea);
403 break;
404 case 4:
405 err = __put_user(*(u32 *)dest,
406 (unsigned int __user *) ea);
407 break;
408#ifdef __powerpc64__
409 case 8:
410 err = __put_user(*(unsigned long *)dest,
411 (unsigned long __user *) ea);
412 break;
413#endif
414 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000415 if (err) {
416 regs->dar = ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000417 return err;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000418 }
Paul Mackerrase0a09862017-08-30 14:12:32 +1000419 dest += c;
Tom Musta17e8de72013-08-22 09:25:28 -0500420 ea += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000421 }
422 return 0;
423}
424
Paul Mackerrase0a09862017-08-30 14:12:32 +1000425static nokprobe_inline int write_mem_unaligned(unsigned long val,
426 unsigned long ea, int nb,
427 struct pt_regs *regs)
428{
429 union {
430 unsigned long ul;
431 u8 b[sizeof(unsigned long)];
432 } u;
433 int i;
434
435 u.ul = val;
436 i = IS_BE ? sizeof(unsigned long) - nb : 0;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000437 return copy_mem_out(&u.b[i], ea, nb, regs);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000438}
439
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000440/*
441 * Write memory at address ea for nb bytes, return 0 for success
Paul Mackerrase0a09862017-08-30 14:12:32 +1000442 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000443 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530444static int write_mem(unsigned long val, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000445 struct pt_regs *regs)
446{
447 if (!address_ok(regs, ea, nb))
448 return -EFAULT;
449 if ((ea & (nb - 1)) == 0)
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000450 return write_mem_aligned(val, ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000451 return write_mem_unaligned(val, ea, nb, regs);
452}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530453NOKPROBE_SYMBOL(write_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000454
Sean MacLennancd64d162010-09-01 07:21:21 +0000455#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000456/*
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000457 * These access either the real FP register or the image in the
458 * thread_struct, depending on regs->msr & MSR_FP.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000459 */
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000460static int do_fp_load(struct instruction_op *op, unsigned long ea,
461 struct pt_regs *regs, bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000462{
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000463 int err, rn, nb;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000464 union {
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000465 int i;
466 unsigned int u;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000467 float f;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000468 double d[2];
469 unsigned long l[2];
470 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000471 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000472
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000473 nb = GETSIZE(op->type);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000474 if (!address_ok(regs, ea, nb))
475 return -EFAULT;
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000476 rn = op->reg;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000477 err = copy_mem_in(u.b, ea, nb, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000478 if (err)
479 return err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000480 if (unlikely(cross_endian)) {
481 do_byte_reverse(u.b, min(nb, 8));
482 if (nb == 16)
483 do_byte_reverse(&u.b[8], 8);
484 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000485 preempt_disable();
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000486 if (nb == 4) {
487 if (op->type & FPCONV)
488 conv_sp_to_dp(&u.f, &u.d[0]);
489 else if (op->type & SIGNEXT)
490 u.l[0] = u.i;
491 else
492 u.l[0] = u.u;
493 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000494 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000495 put_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000496 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000497 current->thread.TS_FPR(rn) = u.l[0];
498 if (nb == 16) {
499 /* lfdp */
500 rn |= 1;
501 if (regs->msr & MSR_FP)
502 put_fpr(rn, &u.d[1]);
503 else
504 current->thread.TS_FPR(rn) = u.l[1];
505 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000506 preempt_enable();
507 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000508}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530509NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000510
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000511static int do_fp_store(struct instruction_op *op, unsigned long ea,
512 struct pt_regs *regs, bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000513{
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000514 int rn, nb;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000515 union {
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000516 unsigned int u;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000517 float f;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000518 double d[2];
519 unsigned long l[2];
520 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000521 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000522
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000523 nb = GETSIZE(op->type);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000524 if (!address_ok(regs, ea, nb))
525 return -EFAULT;
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000526 rn = op->reg;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000527 preempt_disable();
528 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000529 get_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000530 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000531 u.l[0] = current->thread.TS_FPR(rn);
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +1000532 if (nb == 4) {
533 if (op->type & FPCONV)
534 conv_dp_to_sp(&u.d[0], &u.f);
535 else
536 u.u = u.l[0];
537 }
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000538 if (nb == 16) {
539 rn |= 1;
540 if (regs->msr & MSR_FP)
541 get_fpr(rn, &u.d[1]);
542 else
543 u.l[1] = current->thread.TS_FPR(rn);
544 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000545 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000546 if (unlikely(cross_endian)) {
547 do_byte_reverse(u.b, min(nb, 8));
548 if (nb == 16)
549 do_byte_reverse(&u.b[8], 8);
550 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000551 return copy_mem_out(u.b, ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000552}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530553NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000554#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000555
556#ifdef CONFIG_ALTIVEC
557/* For Altivec/VMX, no need to worry about alignment */
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000558static nokprobe_inline int do_vec_load(int rn, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000559 int size, struct pt_regs *regs,
560 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000561{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000562 int err;
563 union {
564 __vector128 v;
565 u8 b[sizeof(__vector128)];
566 } u = {};
567
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000568 if (!address_ok(regs, ea & ~0xfUL, 16))
569 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000570 /* align to multiple of size */
571 ea &= ~(size - 1);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000572 err = copy_mem_in(&u.b[ea & 0xf], ea, size, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000573 if (err)
574 return err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000575 if (unlikely(cross_endian))
576 do_byte_reverse(&u.b[ea & 0xf], size);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000577 preempt_disable();
578 if (regs->msr & MSR_VEC)
579 put_vr(rn, &u.v);
580 else
581 current->thread.vr_state.vr[rn] = u.v;
582 preempt_enable();
583 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000584}
585
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000586static nokprobe_inline int do_vec_store(int rn, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000587 int size, struct pt_regs *regs,
588 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000589{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000590 union {
591 __vector128 v;
592 u8 b[sizeof(__vector128)];
593 } u;
594
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000595 if (!address_ok(regs, ea & ~0xfUL, 16))
596 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000597 /* align to multiple of size */
598 ea &= ~(size - 1);
599
600 preempt_disable();
601 if (regs->msr & MSR_VEC)
602 get_vr(rn, &u.v);
603 else
604 u.v = current->thread.vr_state.vr[rn];
605 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000606 if (unlikely(cross_endian))
607 do_byte_reverse(&u.b[ea & 0xf], size);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000608 return copy_mem_out(&u.b[ea & 0xf], ea, size, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000609}
610#endif /* CONFIG_ALTIVEC */
611
Paul Mackerras350779a2017-08-30 14:12:27 +1000612#ifdef __powerpc64__
613static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000614 int reg, bool cross_endian)
Paul Mackerras350779a2017-08-30 14:12:27 +1000615{
616 int err;
617
618 if (!address_ok(regs, ea, 16))
619 return -EFAULT;
620 /* if aligned, should be atomic */
Paul Mackerrasd9551892017-08-30 14:12:38 +1000621 if ((ea & 0xf) == 0) {
622 err = do_lq(ea, &regs->gpr[reg]);
623 } else {
624 err = read_mem(&regs->gpr[reg + IS_LE], ea, 8, regs);
625 if (!err)
626 err = read_mem(&regs->gpr[reg + IS_BE], ea + 8, 8, regs);
627 }
628 if (!err && unlikely(cross_endian))
629 do_byte_reverse(&regs->gpr[reg], 16);
Paul Mackerras350779a2017-08-30 14:12:27 +1000630 return err;
631}
632
633static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000634 int reg, bool cross_endian)
Paul Mackerras350779a2017-08-30 14:12:27 +1000635{
636 int err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000637 unsigned long vals[2];
Paul Mackerras350779a2017-08-30 14:12:27 +1000638
639 if (!address_ok(regs, ea, 16))
640 return -EFAULT;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000641 vals[0] = regs->gpr[reg];
642 vals[1] = regs->gpr[reg + 1];
643 if (unlikely(cross_endian))
644 do_byte_reverse(vals, 16);
645
Paul Mackerras350779a2017-08-30 14:12:27 +1000646 /* if aligned, should be atomic */
647 if ((ea & 0xf) == 0)
Paul Mackerrasd9551892017-08-30 14:12:38 +1000648 return do_stq(ea, vals[0], vals[1]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000649
Paul Mackerrasd9551892017-08-30 14:12:38 +1000650 err = write_mem(vals[IS_LE], ea, 8, regs);
Paul Mackerras350779a2017-08-30 14:12:27 +1000651 if (!err)
Paul Mackerrasd9551892017-08-30 14:12:38 +1000652 err = write_mem(vals[IS_BE], ea + 8, 8, regs);
Paul Mackerras350779a2017-08-30 14:12:27 +1000653 return err;
654}
655#endif /* __powerpc64 */
656
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000657#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +1000658void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000659 const void *mem, bool rev)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000660{
Paul Mackerras350779a2017-08-30 14:12:27 +1000661 int size, read_size;
662 int i, j;
663 const unsigned int *wp;
664 const unsigned short *hp;
665 const unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000666
Paul Mackerras350779a2017-08-30 14:12:27 +1000667 size = GETSIZE(op->type);
668 reg->d[0] = reg->d[1] = 0;
669
670 switch (op->element_size) {
671 case 16:
672 /* whole vector; lxv[x] or lxvl[l] */
673 if (size == 0)
674 break;
675 memcpy(reg, mem, size);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000676 if (IS_LE && (op->vsx_flags & VSX_LDLEFT))
677 rev = !rev;
678 if (rev)
679 do_byte_reverse(reg, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +1000680 break;
681 case 8:
682 /* scalar loads, lxvd2x, lxvdsx */
683 read_size = (size >= 8) ? 8 : size;
684 i = IS_LE ? 8 : 8 - read_size;
685 memcpy(&reg->b[i], mem, read_size);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000686 if (rev)
687 do_byte_reverse(&reg->b[i], 8);
Paul Mackerras350779a2017-08-30 14:12:27 +1000688 if (size < 8) {
689 if (op->type & SIGNEXT) {
690 /* size == 4 is the only case here */
691 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
692 } else if (op->vsx_flags & VSX_FPCONV) {
693 preempt_disable();
694 conv_sp_to_dp(&reg->fp[1 + IS_LE],
695 &reg->dp[IS_LE]);
696 preempt_enable();
697 }
698 } else {
Paul Mackerrasd9551892017-08-30 14:12:38 +1000699 if (size == 16) {
700 unsigned long v = *(unsigned long *)(mem + 8);
701 reg->d[IS_BE] = !rev ? v : byterev_8(v);
702 } else if (op->vsx_flags & VSX_SPLAT)
Paul Mackerras350779a2017-08-30 14:12:27 +1000703 reg->d[IS_BE] = reg->d[IS_LE];
704 }
705 break;
706 case 4:
707 /* lxvw4x, lxvwsx */
708 wp = mem;
709 for (j = 0; j < size / 4; ++j) {
710 i = IS_LE ? 3 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000711 reg->w[i] = !rev ? *wp++ : byterev_4(*wp++);
Paul Mackerras350779a2017-08-30 14:12:27 +1000712 }
713 if (op->vsx_flags & VSX_SPLAT) {
714 u32 val = reg->w[IS_LE ? 3 : 0];
715 for (; j < 4; ++j) {
716 i = IS_LE ? 3 - j : j;
717 reg->w[i] = val;
718 }
719 }
720 break;
721 case 2:
722 /* lxvh8x */
723 hp = mem;
724 for (j = 0; j < size / 2; ++j) {
725 i = IS_LE ? 7 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000726 reg->h[i] = !rev ? *hp++ : byterev_2(*hp++);
Paul Mackerras350779a2017-08-30 14:12:27 +1000727 }
728 break;
729 case 1:
730 /* lxvb16x */
731 bp = mem;
732 for (j = 0; j < size; ++j) {
733 i = IS_LE ? 15 - j : j;
734 reg->b[i] = *bp++;
735 }
736 break;
737 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000738}
Paul Mackerras350779a2017-08-30 14:12:27 +1000739EXPORT_SYMBOL_GPL(emulate_vsx_load);
740NOKPROBE_SYMBOL(emulate_vsx_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000741
Paul Mackerras350779a2017-08-30 14:12:27 +1000742void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000743 void *mem, bool rev)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000744{
Paul Mackerras350779a2017-08-30 14:12:27 +1000745 int size, write_size;
746 int i, j;
747 union vsx_reg buf;
748 unsigned int *wp;
749 unsigned short *hp;
750 unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000751
Paul Mackerras350779a2017-08-30 14:12:27 +1000752 size = GETSIZE(op->type);
753
754 switch (op->element_size) {
755 case 16:
756 /* stxv, stxvx, stxvl, stxvll */
757 if (size == 0)
758 break;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000759 if (IS_LE && (op->vsx_flags & VSX_LDLEFT))
760 rev = !rev;
761 if (rev) {
Paul Mackerras350779a2017-08-30 14:12:27 +1000762 /* reverse 16 bytes */
763 buf.d[0] = byterev_8(reg->d[1]);
764 buf.d[1] = byterev_8(reg->d[0]);
765 reg = &buf;
766 }
767 memcpy(mem, reg, size);
768 break;
769 case 8:
770 /* scalar stores, stxvd2x */
771 write_size = (size >= 8) ? 8 : size;
772 i = IS_LE ? 8 : 8 - write_size;
773 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
774 buf.d[0] = buf.d[1] = 0;
775 preempt_disable();
776 conv_dp_to_sp(&reg->dp[IS_LE], &buf.fp[1 + IS_LE]);
777 preempt_enable();
778 reg = &buf;
779 }
780 memcpy(mem, &reg->b[i], write_size);
781 if (size == 16)
782 memcpy(mem + 8, &reg->d[IS_BE], 8);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000783 if (unlikely(rev)) {
784 do_byte_reverse(mem, write_size);
785 if (size == 16)
786 do_byte_reverse(mem + 8, 8);
787 }
Paul Mackerras350779a2017-08-30 14:12:27 +1000788 break;
789 case 4:
790 /* stxvw4x */
791 wp = mem;
792 for (j = 0; j < size / 4; ++j) {
793 i = IS_LE ? 3 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000794 *wp++ = !rev ? reg->w[i] : byterev_4(reg->w[i]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000795 }
796 break;
797 case 2:
798 /* stxvh8x */
799 hp = mem;
800 for (j = 0; j < size / 2; ++j) {
801 i = IS_LE ? 7 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000802 *hp++ = !rev ? reg->h[i] : byterev_2(reg->h[i]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000803 }
804 break;
805 case 1:
806 /* stvxb16x */
807 bp = mem;
808 for (j = 0; j < size; ++j) {
809 i = IS_LE ? 15 - j : j;
810 *bp++ = reg->b[i];
811 }
812 break;
813 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000814}
Paul Mackerras350779a2017-08-30 14:12:27 +1000815EXPORT_SYMBOL_GPL(emulate_vsx_store);
816NOKPROBE_SYMBOL(emulate_vsx_store);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000817
818static nokprobe_inline int do_vsx_load(struct instruction_op *op,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000819 unsigned long ea, struct pt_regs *regs,
820 bool cross_endian)
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000821{
822 int reg = op->reg;
823 u8 mem[16];
824 union vsx_reg buf;
825 int size = GETSIZE(op->type);
826
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000827 if (!address_ok(regs, ea, size) || copy_mem_in(mem, ea, size, regs))
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000828 return -EFAULT;
829
Paul Mackerrasd9551892017-08-30 14:12:38 +1000830 emulate_vsx_load(op, &buf, mem, cross_endian);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000831 preempt_disable();
832 if (reg < 32) {
833 /* FP regs + extensions */
834 if (regs->msr & MSR_FP) {
835 load_vsrn(reg, &buf);
836 } else {
837 current->thread.fp_state.fpr[reg][0] = buf.d[0];
838 current->thread.fp_state.fpr[reg][1] = buf.d[1];
839 }
840 } else {
841 if (regs->msr & MSR_VEC)
842 load_vsrn(reg, &buf);
843 else
844 current->thread.vr_state.vr[reg - 32] = buf.v;
845 }
846 preempt_enable();
847 return 0;
848}
849
850static nokprobe_inline int do_vsx_store(struct instruction_op *op,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000851 unsigned long ea, struct pt_regs *regs,
852 bool cross_endian)
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000853{
854 int reg = op->reg;
855 u8 mem[16];
856 union vsx_reg buf;
857 int size = GETSIZE(op->type);
858
859 if (!address_ok(regs, ea, size))
860 return -EFAULT;
861
862 preempt_disable();
863 if (reg < 32) {
864 /* FP regs + extensions */
865 if (regs->msr & MSR_FP) {
866 store_vsrn(reg, &buf);
867 } else {
868 buf.d[0] = current->thread.fp_state.fpr[reg][0];
869 buf.d[1] = current->thread.fp_state.fpr[reg][1];
870 }
871 } else {
872 if (regs->msr & MSR_VEC)
873 store_vsrn(reg, &buf);
874 else
875 buf.v = current->thread.vr_state.vr[reg - 32];
876 }
877 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000878 emulate_vsx_store(op, &buf, mem, cross_endian);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000879 return copy_mem_out(mem, ea, size, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000880}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000881#endif /* CONFIG_VSX */
882
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000883int emulate_dcbz(unsigned long ea, struct pt_regs *regs)
884{
885 int err;
886 unsigned long i, size;
887
888#ifdef __powerpc64__
889 size = ppc64_caches.l1d.block_size;
890 if (!(regs->msr & MSR_64BIT))
891 ea &= 0xffffffffUL;
892#else
893 size = L1_CACHE_BYTES;
894#endif
895 ea &= ~(size - 1);
896 if (!address_ok(regs, ea, size))
897 return -EFAULT;
898 for (i = 0; i < size; i += sizeof(long)) {
899 err = __put_user(0, (unsigned long __user *) (ea + i));
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000900 if (err) {
901 regs->dar = ea;
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000902 return err;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000903 }
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000904 }
905 return 0;
906}
907NOKPROBE_SYMBOL(emulate_dcbz);
908
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000909#define __put_user_asmx(x, addr, err, op, cr) \
910 __asm__ __volatile__( \
911 "1: " op " %2,0,%3\n" \
912 " mfcr %1\n" \
913 "2:\n" \
914 ".section .fixup,\"ax\"\n" \
915 "3: li %0,%4\n" \
916 " b 2b\n" \
917 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100918 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000919 : "=r" (err), "=r" (cr) \
920 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
921
922#define __get_user_asmx(x, addr, err, op) \
923 __asm__ __volatile__( \
924 "1: "op" %1,0,%2\n" \
925 "2:\n" \
926 ".section .fixup,\"ax\"\n" \
927 "3: li %0,%3\n" \
928 " b 2b\n" \
929 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100930 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000931 : "=r" (err), "=r" (x) \
932 : "r" (addr), "i" (-EFAULT), "0" (err))
933
934#define __cacheop_user_asmx(addr, err, op) \
935 __asm__ __volatile__( \
936 "1: "op" 0,%1\n" \
937 "2:\n" \
938 ".section .fixup,\"ax\"\n" \
939 "3: li %0,%3\n" \
940 " b 2b\n" \
941 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100942 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000943 : "=r" (err) \
944 : "r" (addr), "i" (-EFAULT), "0" (err))
945
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000946static nokprobe_inline void set_cr0(const struct pt_regs *regs,
Anton Blanchardad47ff32017-09-19 20:45:52 +1000947 struct instruction_op *op)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000948{
Anton Blanchardad47ff32017-09-19 20:45:52 +1000949 long val = op->val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000950
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000951 op->type |= SETCC;
952 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000953#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000954 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000955 val = (int) val;
956#endif
957 if (val < 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000958 op->ccval |= 0x80000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000959 else if (val > 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000960 op->ccval |= 0x40000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000961 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000962 op->ccval |= 0x20000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000963}
964
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000965static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
966 struct instruction_op *op, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000967 unsigned long val1, unsigned long val2,
968 unsigned long carry_in)
969{
970 unsigned long val = val1 + val2;
971
972 if (carry_in)
973 ++val;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000974 op->type = COMPUTE + SETREG + SETXER;
975 op->reg = rd;
976 op->val = val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000977#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000978 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000979 val = (unsigned int) val;
980 val1 = (unsigned int) val1;
981 }
982#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000983 op->xerval = regs->xer;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000984 if (val < val1 || (carry_in && val == val1))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000985 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000986 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000987 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000988}
989
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000990static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
991 struct instruction_op *op,
992 long v1, long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000993{
994 unsigned int crval, shift;
995
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000996 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000997 crval = (regs->xer >> 31) & 1; /* get SO bit */
998 if (v1 < v2)
999 crval |= 8;
1000 else if (v1 > v2)
1001 crval |= 4;
1002 else
1003 crval |= 2;
1004 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001005 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001006}
1007
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001008static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
1009 struct instruction_op *op,
1010 unsigned long v1,
1011 unsigned long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001012{
1013 unsigned int crval, shift;
1014
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001015 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001016 crval = (regs->xer >> 31) & 1; /* get SO bit */
1017 if (v1 < v2)
1018 crval |= 8;
1019 else if (v1 > v2)
1020 crval |= 4;
1021 else
1022 crval |= 2;
1023 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001024 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001025}
1026
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001027static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
1028 struct instruction_op *op,
1029 unsigned long v1, unsigned long v2)
Matt Brown02c0f622017-07-31 10:58:22 +10001030{
1031 unsigned long long out_val, mask;
1032 int i;
1033
1034 out_val = 0;
1035 for (i = 0; i < 8; i++) {
1036 mask = 0xffUL << (i * 8);
1037 if ((v1 & mask) == (v2 & mask))
1038 out_val |= mask;
1039 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001040 op->val = out_val;
Matt Brown02c0f622017-07-31 10:58:22 +10001041}
1042
Matt Browndcbd19b2017-07-31 10:58:23 +10001043/*
1044 * The size parameter is used to adjust the equivalent popcnt instruction.
1045 * popcntb = 8, popcntw = 32, popcntd = 64
1046 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001047static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
1048 struct instruction_op *op,
1049 unsigned long v1, int size)
Matt Browndcbd19b2017-07-31 10:58:23 +10001050{
1051 unsigned long long out = v1;
1052
1053 out -= (out >> 1) & 0x5555555555555555;
1054 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
1055 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
1056
1057 if (size == 8) { /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001058 op->val = out;
Matt Browndcbd19b2017-07-31 10:58:23 +10001059 return;
1060 }
1061 out += out >> 8;
1062 out += out >> 16;
1063 if (size == 32) { /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001064 op->val = out & 0x0000003f0000003f;
Matt Browndcbd19b2017-07-31 10:58:23 +10001065 return;
1066 }
1067
1068 out = (out + (out >> 32)) & 0x7f;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001069 op->val = out; /* popcntd */
Matt Browndcbd19b2017-07-31 10:58:23 +10001070}
1071
Matt Brownf3127932017-07-31 10:58:24 +10001072#ifdef CONFIG_PPC64
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001073static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
1074 struct instruction_op *op,
1075 unsigned long v1, unsigned long v2)
Matt Brownf3127932017-07-31 10:58:24 +10001076{
1077 unsigned char perm, idx;
1078 unsigned int i;
1079
1080 perm = 0;
1081 for (i = 0; i < 8; i++) {
1082 idx = (v1 >> (i * 8)) & 0xff;
1083 if (idx < 64)
1084 if (v2 & PPC_BIT(idx))
1085 perm |= 1 << i;
1086 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001087 op->val = perm;
Matt Brownf3127932017-07-31 10:58:24 +10001088}
1089#endif /* CONFIG_PPC64 */
Matt Brown2c979c42017-07-31 10:58:25 +10001090/*
1091 * The size parameter adjusts the equivalent prty instruction.
1092 * prtyw = 32, prtyd = 64
1093 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001094static nokprobe_inline void do_prty(const struct pt_regs *regs,
1095 struct instruction_op *op,
1096 unsigned long v, int size)
Matt Brown2c979c42017-07-31 10:58:25 +10001097{
1098 unsigned long long res = v ^ (v >> 8);
1099
1100 res ^= res >> 16;
1101 if (size == 32) { /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001102 op->val = res & 0x0000000100000001;
Matt Brown2c979c42017-07-31 10:58:25 +10001103 return;
1104 }
1105
1106 res ^= res >> 32;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001107 op->val = res & 1; /*prtyd */
Matt Brown2c979c42017-07-31 10:58:25 +10001108}
Matt Brownf3127932017-07-31 10:58:24 +10001109
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301110static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001111{
1112 int ret = 0;
1113
1114 if (v1 < v2)
1115 ret |= 0x10;
1116 else if (v1 > v2)
1117 ret |= 0x08;
1118 else
1119 ret |= 0x04;
1120 if ((unsigned long)v1 < (unsigned long)v2)
1121 ret |= 0x02;
1122 else if ((unsigned long)v1 > (unsigned long)v2)
1123 ret |= 0x01;
1124 return ret;
1125}
1126
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001127/*
1128 * Elements of 32-bit rotate and mask instructions.
1129 */
1130#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
1131 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
1132#ifdef __powerpc64__
1133#define MASK64_L(mb) (~0UL >> (mb))
1134#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
1135#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
1136#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
1137#else
1138#define DATA32(x) (x)
1139#endif
1140#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
1141
1142/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001143 * Decode an instruction, and return information about it in *op
1144 * without changing *regs.
1145 * Integer arithmetic and logical instructions, branches, and barrier
1146 * instructions can be emulated just using the information in *op.
1147 *
1148 * Return value is 1 if the instruction can be emulated just by
1149 * updating *regs with the information in *op, -1 if we need the
1150 * GPRs but *regs doesn't contain the full register set, or 0
1151 * otherwise.
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001152 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001153int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
1154 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001155{
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001156 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001157 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001158 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001159 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001160 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001161
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001162 op->type = COMPUTE;
1163
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001164 opcode = instr >> 26;
1165 switch (opcode) {
1166 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001167 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001168 imm = (signed short)(instr & 0xfffc);
1169 if ((instr & 2) == 0)
1170 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001171 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001172 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001173 op->type |= SETLK;
1174 if (branch_taken(instr, regs, op))
1175 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001176 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001177#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001178 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001179 if ((instr & 0xfe2) == 2)
1180 op->type = SYSCALL;
1181 else
1182 op->type = UNKNOWN;
1183 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001184#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001185 case 18: /* b */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001186 op->type = BRANCH | BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001187 imm = instr & 0x03fffffc;
1188 if (imm & 0x02000000)
1189 imm -= 0x04000000;
1190 if ((instr & 2) == 0)
1191 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001192 op->val = truncate_if_32bit(regs->msr, imm);
Michael Ellermanb91e1362011-04-07 21:56:04 +00001193 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001194 op->type |= SETLK;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001195 return 1;
1196 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001197 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001198 case 0: /* mcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001199 op->type = COMPUTE + SETCC;
Anton Blanchard87c4b83e2017-06-15 09:46:38 +10001200 rd = 7 - ((instr >> 23) & 0x7);
1201 ra = 7 - ((instr >> 18) & 0x7);
1202 rd *= 4;
1203 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001204 val = (regs->ccr >> ra) & 0xf;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001205 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
1206 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001207
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001208 case 16: /* bclr */
1209 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001210 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001211 imm = (instr & 0x400)? regs->ctr: regs->link;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001212 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001213 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001214 op->type |= SETLK;
1215 if (branch_taken(instr, regs, op))
1216 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001217 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001218
1219 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001220 if (regs->msr & MSR_PR)
1221 goto priv;
1222 op->type = RFI;
1223 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001224
1225 case 150: /* isync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001226 op->type = BARRIER | BARRIER_ISYNC;
1227 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001228
1229 case 33: /* crnor */
1230 case 129: /* crandc */
1231 case 193: /* crxor */
1232 case 225: /* crnand */
1233 case 257: /* crand */
1234 case 289: /* creqv */
1235 case 417: /* crorc */
1236 case 449: /* cror */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001237 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001238 ra = (instr >> 16) & 0x1f;
1239 rb = (instr >> 11) & 0x1f;
1240 rd = (instr >> 21) & 0x1f;
1241 ra = (regs->ccr >> (31 - ra)) & 1;
1242 rb = (regs->ccr >> (31 - rb)) & 1;
1243 val = (instr >> (6 + ra * 2 + rb)) & 1;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001244 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001245 (val << (31 - rd));
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001246 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001247 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001248 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001249 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001250 switch ((instr >> 1) & 0x3ff) {
1251 case 598: /* sync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001252 op->type = BARRIER + BARRIER_SYNC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001253#ifdef __powerpc64__
1254 switch ((instr >> 21) & 3) {
1255 case 1: /* lwsync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001256 op->type = BARRIER + BARRIER_LWSYNC;
1257 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001258 case 2: /* ptesync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001259 op->type = BARRIER + BARRIER_PTESYNC;
1260 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001261 }
1262#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001263 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001264
1265 case 854: /* eieio */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001266 op->type = BARRIER + BARRIER_EIEIO;
1267 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001268 }
1269 break;
1270 }
1271
1272 /* Following cases refer to regs->gpr[], so we need all regs */
1273 if (!FULL_REGS(regs))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001274 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001275
1276 rd = (instr >> 21) & 0x1f;
1277 ra = (instr >> 16) & 0x1f;
1278 rb = (instr >> 11) & 0x1f;
1279
1280 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001281#ifdef __powerpc64__
1282 case 2: /* tdi */
1283 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1284 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001285 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001286#endif
1287 case 3: /* twi */
1288 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1289 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001290 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001291
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001292 case 7: /* mulli */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001293 op->val = regs->gpr[ra] * (short) instr;
1294 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001295
1296 case 8: /* subfic */
1297 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001298 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1299 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001300
1301 case 10: /* cmpli */
1302 imm = (unsigned short) instr;
1303 val = regs->gpr[ra];
1304#ifdef __powerpc64__
1305 if ((rd & 1) == 0)
1306 val = (unsigned int) val;
1307#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001308 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1309 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001310
1311 case 11: /* cmpi */
1312 imm = (short) instr;
1313 val = regs->gpr[ra];
1314#ifdef __powerpc64__
1315 if ((rd & 1) == 0)
1316 val = (int) val;
1317#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001318 do_cmp_signed(regs, op, val, imm, rd >> 2);
1319 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001320
1321 case 12: /* addic */
1322 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001323 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1324 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001325
1326 case 13: /* addic. */
1327 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001328 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
Anton Blanchardad47ff32017-09-19 20:45:52 +10001329 set_cr0(regs, op);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001330 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001331
1332 case 14: /* addi */
1333 imm = (short) instr;
1334 if (ra)
1335 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001336 op->val = imm;
1337 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001338
1339 case 15: /* addis */
1340 imm = ((short) instr) << 16;
1341 if (ra)
1342 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001343 op->val = imm;
1344 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001345
Paul Mackerras958465e2017-08-30 14:12:31 +10001346 case 19:
1347 if (((instr >> 1) & 0x1f) == 2) {
1348 /* addpcis */
1349 imm = (short) (instr & 0xffc1); /* d0 + d2 fields */
1350 imm |= (instr >> 15) & 0x3e; /* d1 field */
1351 op->val = regs->nip + (imm << 16) + 4;
1352 goto compute_done;
1353 }
1354 op->type = UNKNOWN;
1355 return 0;
1356
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001357 case 20: /* rlwimi */
1358 mb = (instr >> 6) & 0x1f;
1359 me = (instr >> 1) & 0x1f;
1360 val = DATA32(regs->gpr[rd]);
1361 imm = MASK32(mb, me);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001362 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001363 goto logical_done;
1364
1365 case 21: /* rlwinm */
1366 mb = (instr >> 6) & 0x1f;
1367 me = (instr >> 1) & 0x1f;
1368 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001369 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001370 goto logical_done;
1371
1372 case 23: /* rlwnm */
1373 mb = (instr >> 6) & 0x1f;
1374 me = (instr >> 1) & 0x1f;
1375 rb = regs->gpr[rb] & 0x1f;
1376 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001377 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001378 goto logical_done;
1379
1380 case 24: /* ori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001381 op->val = regs->gpr[rd] | (unsigned short) instr;
1382 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001383
1384 case 25: /* oris */
1385 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001386 op->val = regs->gpr[rd] | (imm << 16);
1387 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001388
1389 case 26: /* xori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001390 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1391 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001392
1393 case 27: /* xoris */
1394 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001395 op->val = regs->gpr[rd] ^ (imm << 16);
1396 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001397
1398 case 28: /* andi. */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001399 op->val = regs->gpr[rd] & (unsigned short) instr;
Anton Blanchardad47ff32017-09-19 20:45:52 +10001400 set_cr0(regs, op);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001401 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001402
1403 case 29: /* andis. */
1404 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001405 op->val = regs->gpr[rd] & (imm << 16);
Anton Blanchardad47ff32017-09-19 20:45:52 +10001406 set_cr0(regs, op);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001407 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001408
1409#ifdef __powerpc64__
1410 case 30: /* rld* */
1411 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1412 val = regs->gpr[rd];
1413 if ((instr & 0x10) == 0) {
1414 sh = rb | ((instr & 2) << 4);
1415 val = ROTATE(val, sh);
1416 switch ((instr >> 2) & 3) {
1417 case 0: /* rldicl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001418 val &= MASK64_L(mb);
1419 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001420 case 1: /* rldicr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001421 val &= MASK64_R(mb);
1422 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001423 case 2: /* rldic */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001424 val &= MASK64(mb, 63 - sh);
1425 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001426 case 3: /* rldimi */
1427 imm = MASK64(mb, 63 - sh);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001428 val = (regs->gpr[ra] & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001429 (val & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001430 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001431 op->val = val;
1432 goto logical_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001433 } else {
1434 sh = regs->gpr[rb] & 0x3f;
1435 val = ROTATE(val, sh);
1436 switch ((instr >> 1) & 7) {
1437 case 0: /* rldcl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001438 op->val = val & MASK64_L(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001439 goto logical_done;
1440 case 1: /* rldcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001441 op->val = val & MASK64_R(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001442 goto logical_done;
1443 }
1444 }
1445#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001446 op->type = UNKNOWN; /* illegal instruction */
1447 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001448
1449 case 31:
Paul Mackerrasf1bbb992017-08-30 14:12:29 +10001450 /* isel occupies 32 minor opcodes */
1451 if (((instr >> 1) & 0x1f) == 15) {
1452 mb = (instr >> 6) & 0x1f; /* bc field */
1453 val = (regs->ccr >> (31 - mb)) & 1;
1454 val2 = (ra) ? regs->gpr[ra] : 0;
1455
1456 op->val = (val) ? val2 : regs->gpr[rb];
1457 goto compute_done;
1458 }
1459
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001460 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001461 case 4: /* tw */
1462 if (rd == 0x1f ||
1463 (rd & trap_compare((int)regs->gpr[ra],
1464 (int)regs->gpr[rb])))
1465 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001466 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001467#ifdef __powerpc64__
1468 case 68: /* td */
1469 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1470 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001471 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001472#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001473 case 83: /* mfmsr */
1474 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001475 goto priv;
1476 op->type = MFMSR;
1477 op->reg = rd;
1478 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001479 case 146: /* mtmsr */
1480 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001481 goto priv;
1482 op->type = MTMSR;
1483 op->reg = rd;
1484 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1485 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001486#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001487 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001488 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001489 goto priv;
1490 op->type = MTMSR;
1491 op->reg = rd;
1492 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1493 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1494 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1495 op->val = imm;
1496 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001497#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001498
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001499 case 19: /* mfcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001500 imm = 0xffffffffUL;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001501 if ((instr >> 20) & 1) {
1502 imm = 0xf0000000UL;
1503 for (sh = 0; sh < 8; ++sh) {
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001504 if (instr & (0x80000 >> sh))
Anton Blanchard64e756c2017-06-15 09:46:39 +10001505 break;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001506 imm >>= 4;
1507 }
Anton Blanchard64e756c2017-06-15 09:46:39 +10001508 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001509 op->val = regs->ccr & imm;
1510 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001511
1512 case 144: /* mtcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001513 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001514 imm = 0xf0000000UL;
1515 val = regs->gpr[rd];
Anton Blanchard5bcaa4c2017-09-19 20:45:53 +10001516 op->ccval = regs->ccr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001517 for (sh = 0; sh < 8; ++sh) {
1518 if (instr & (0x80000 >> sh))
Anton Blanchard5bcaa4c2017-09-19 20:45:53 +10001519 op->ccval = (op->ccval & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001520 (val & imm);
1521 imm >>= 4;
1522 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001523 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001524
1525 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001526 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001527 op->type = MFSPR;
1528 op->reg = rd;
1529 op->spr = spr;
1530 if (spr == SPRN_XER || spr == SPRN_LR ||
1531 spr == SPRN_CTR)
1532 return 1;
1533 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001534
1535 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001536 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001537 op->type = MTSPR;
1538 op->val = regs->gpr[rd];
1539 op->spr = spr;
1540 if (spr == SPRN_XER || spr == SPRN_LR ||
1541 spr == SPRN_CTR)
1542 return 1;
1543 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001544
1545/*
1546 * Compare instructions
1547 */
1548 case 0: /* cmp */
1549 val = regs->gpr[ra];
1550 val2 = regs->gpr[rb];
1551#ifdef __powerpc64__
1552 if ((rd & 1) == 0) {
1553 /* word (32-bit) compare */
1554 val = (int) val;
1555 val2 = (int) val2;
1556 }
1557#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001558 do_cmp_signed(regs, op, val, val2, rd >> 2);
1559 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001560
1561 case 32: /* cmpl */
1562 val = regs->gpr[ra];
1563 val2 = regs->gpr[rb];
1564#ifdef __powerpc64__
1565 if ((rd & 1) == 0) {
1566 /* word (32-bit) compare */
1567 val = (unsigned int) val;
1568 val2 = (unsigned int) val2;
1569 }
1570#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001571 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1572 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001573
Matt Brown02c0f622017-07-31 10:58:22 +10001574 case 508: /* cmpb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001575 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1576 goto logical_done_nocc;
Matt Brown02c0f622017-07-31 10:58:22 +10001577
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001578/*
1579 * Arithmetic instructions
1580 */
1581 case 8: /* subfc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001582 add_with_carry(regs, op, rd, ~regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001583 regs->gpr[rb], 1);
1584 goto arith_done;
1585#ifdef __powerpc64__
1586 case 9: /* mulhdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001587 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001588 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1589 goto arith_done;
1590#endif
1591 case 10: /* addc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001592 add_with_carry(regs, op, rd, regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001593 regs->gpr[rb], 0);
1594 goto arith_done;
1595
1596 case 11: /* mulhwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001597 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001598 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1599 goto arith_done;
1600
1601 case 40: /* subf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001602 op->val = regs->gpr[rb] - regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001603 goto arith_done;
1604#ifdef __powerpc64__
1605 case 73: /* mulhd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001606 asm("mulhd %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001607 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1608 goto arith_done;
1609#endif
1610 case 75: /* mulhw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001611 asm("mulhw %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001612 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1613 goto arith_done;
1614
1615 case 104: /* neg */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001616 op->val = -regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001617 goto arith_done;
1618
1619 case 136: /* subfe */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001620 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1621 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001622 goto arith_done;
1623
1624 case 138: /* adde */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001625 add_with_carry(regs, op, rd, regs->gpr[ra],
1626 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001627 goto arith_done;
1628
1629 case 200: /* subfze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001630 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001631 regs->xer & XER_CA);
1632 goto arith_done;
1633
1634 case 202: /* addze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001635 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001636 regs->xer & XER_CA);
1637 goto arith_done;
1638
1639 case 232: /* subfme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001640 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001641 regs->xer & XER_CA);
1642 goto arith_done;
1643#ifdef __powerpc64__
1644 case 233: /* mulld */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001645 op->val = regs->gpr[ra] * regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001646 goto arith_done;
1647#endif
1648 case 234: /* addme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001649 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001650 regs->xer & XER_CA);
1651 goto arith_done;
1652
1653 case 235: /* mullw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001654 op->val = (unsigned int) regs->gpr[ra] *
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001655 (unsigned int) regs->gpr[rb];
1656 goto arith_done;
1657
1658 case 266: /* add */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001659 op->val = regs->gpr[ra] + regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001660 goto arith_done;
1661#ifdef __powerpc64__
1662 case 457: /* divdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001663 op->val = regs->gpr[ra] / regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001664 goto arith_done;
1665#endif
1666 case 459: /* divwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001667 op->val = (unsigned int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001668 (unsigned int) regs->gpr[rb];
1669 goto arith_done;
1670#ifdef __powerpc64__
1671 case 489: /* divd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001672 op->val = (long int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001673 (long int) regs->gpr[rb];
1674 goto arith_done;
1675#endif
1676 case 491: /* divw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001677 op->val = (int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001678 (int) regs->gpr[rb];
1679 goto arith_done;
1680
1681
1682/*
1683 * Logical instructions
1684 */
1685 case 26: /* cntlzw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001686 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001687 goto logical_done;
1688#ifdef __powerpc64__
1689 case 58: /* cntlzd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001690 op->val = __builtin_clzl(regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001691 goto logical_done;
1692#endif
1693 case 28: /* and */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001694 op->val = regs->gpr[rd] & regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001695 goto logical_done;
1696
1697 case 60: /* andc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001698 op->val = regs->gpr[rd] & ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001699 goto logical_done;
1700
Matt Browndcbd19b2017-07-31 10:58:23 +10001701 case 122: /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001702 do_popcnt(regs, op, regs->gpr[rd], 8);
Paul Mackerras5762e082017-08-30 14:12:30 +10001703 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001704
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001705 case 124: /* nor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001706 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001707 goto logical_done;
Matt Brown2c979c42017-07-31 10:58:25 +10001708
1709 case 154: /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001710 do_prty(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001711 goto logical_done_nocc;
Matt Brown2c979c42017-07-31 10:58:25 +10001712
1713 case 186: /* prtyd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001714 do_prty(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001715 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001716#ifdef CONFIG_PPC64
1717 case 252: /* bpermd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001718 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
Paul Mackerras5762e082017-08-30 14:12:30 +10001719 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001720#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001721 case 284: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001722 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001723 goto logical_done;
1724
1725 case 316: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001726 op->val = regs->gpr[rd] ^ regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001727 goto logical_done;
1728
Matt Browndcbd19b2017-07-31 10:58:23 +10001729 case 378: /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001730 do_popcnt(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001731 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001732
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001733 case 412: /* orc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001734 op->val = regs->gpr[rd] | ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001735 goto logical_done;
1736
1737 case 444: /* or */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001738 op->val = regs->gpr[rd] | regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001739 goto logical_done;
1740
1741 case 476: /* nand */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001742 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001743 goto logical_done;
Matt Browndcbd19b2017-07-31 10:58:23 +10001744#ifdef CONFIG_PPC64
1745 case 506: /* popcntd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001746 do_popcnt(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001747 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001748#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001749 case 922: /* extsh */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001750 op->val = (signed short) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001751 goto logical_done;
1752
1753 case 954: /* extsb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001754 op->val = (signed char) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001755 goto logical_done;
1756#ifdef __powerpc64__
1757 case 986: /* extsw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001758 op->val = (signed int) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001759 goto logical_done;
1760#endif
1761
1762/*
1763 * Shift instructions
1764 */
1765 case 24: /* slw */
1766 sh = regs->gpr[rb] & 0x3f;
1767 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001768 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001769 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001770 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001771 goto logical_done;
1772
1773 case 536: /* srw */
1774 sh = regs->gpr[rb] & 0x3f;
1775 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001776 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001777 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001778 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001779 goto logical_done;
1780
1781 case 792: /* sraw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001782 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001783 sh = regs->gpr[rb] & 0x3f;
1784 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001785 op->val = ival >> (sh < 32 ? sh : 31);
1786 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001787 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001788 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001789 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001790 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001791 goto logical_done;
1792
1793 case 824: /* srawi */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001794 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001795 sh = rb;
1796 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001797 op->val = ival >> sh;
1798 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001799 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001800 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001801 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001802 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001803 goto logical_done;
1804
1805#ifdef __powerpc64__
1806 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001807 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001808 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001809 op->val = regs->gpr[rd] << sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001810 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001811 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001812 goto logical_done;
1813
1814 case 539: /* srd */
1815 sh = regs->gpr[rb] & 0x7f;
1816 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001817 op->val = regs->gpr[rd] >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001818 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001819 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001820 goto logical_done;
1821
1822 case 794: /* srad */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001823 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001824 sh = regs->gpr[rb] & 0x7f;
1825 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001826 op->val = ival >> (sh < 64 ? sh : 63);
1827 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001828 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001829 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001830 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001831 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001832 goto logical_done;
1833
1834 case 826: /* sradi with sh_5 = 0 */
1835 case 827: /* sradi with sh_5 = 1 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001836 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001837 sh = rb | ((instr & 2) << 4);
1838 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001839 op->val = ival >> sh;
1840 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001841 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001842 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001843 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001844 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001845 goto logical_done;
1846#endif /* __powerpc64__ */
1847
1848/*
1849 * Cache instructions
1850 */
1851 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001852 op->type = MKOP(CACHEOP, DCBST, 0);
1853 op->ea = xform_ea(instr, regs);
1854 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001855
1856 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001857 op->type = MKOP(CACHEOP, DCBF, 0);
1858 op->ea = xform_ea(instr, regs);
1859 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001860
1861 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001862 op->type = MKOP(CACHEOP, DCBTST, 0);
1863 op->ea = xform_ea(instr, regs);
1864 op->reg = rd;
1865 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001866
1867 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001868 op->type = MKOP(CACHEOP, DCBTST, 0);
1869 op->ea = xform_ea(instr, regs);
1870 op->reg = rd;
1871 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001872
1873 case 982: /* icbi */
1874 op->type = MKOP(CACHEOP, ICBI, 0);
1875 op->ea = xform_ea(instr, regs);
1876 return 0;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10001877
1878 case 1014: /* dcbz */
1879 op->type = MKOP(CACHEOP, DCBZ, 0);
1880 op->ea = xform_ea(instr, regs);
1881 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001882 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001883 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001884 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001885
Paul Mackerras350779a2017-08-30 14:12:27 +10001886/*
1887 * Loads and stores.
1888 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001889 op->type = UNKNOWN;
1890 op->update_reg = ra;
1891 op->reg = rd;
1892 op->val = regs->gpr[rd];
1893 u = (instr >> 20) & UPDATE;
Paul Mackerras350779a2017-08-30 14:12:27 +10001894 op->vsx_flags = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001895
1896 switch (opcode) {
1897 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001898 u = instr & UPDATE;
1899 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001900 switch ((instr >> 1) & 0x3ff) {
1901 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001902 op->type = MKOP(LARX, 0, 4);
1903 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001904
1905 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001906 op->type = MKOP(STCX, 0, 4);
1907 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001908
1909#ifdef __powerpc64__
1910 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001911 op->type = MKOP(LARX, 0, 8);
1912 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001913
1914 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001915 op->type = MKOP(STCX, 0, 8);
1916 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001917
Paul Mackerras350779a2017-08-30 14:12:27 +10001918 case 52: /* lbarx */
1919 op->type = MKOP(LARX, 0, 1);
1920 break;
1921
1922 case 694: /* stbcx. */
1923 op->type = MKOP(STCX, 0, 1);
1924 break;
1925
1926 case 116: /* lharx */
1927 op->type = MKOP(LARX, 0, 2);
1928 break;
1929
1930 case 726: /* sthcx. */
1931 op->type = MKOP(STCX, 0, 2);
1932 break;
1933
1934 case 276: /* lqarx */
1935 if (!((rd & 1) || rd == ra || rd == rb))
1936 op->type = MKOP(LARX, 0, 16);
1937 break;
1938
1939 case 182: /* stqcx. */
1940 if (!(rd & 1))
1941 op->type = MKOP(STCX, 0, 16);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001942 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001943#endif
1944
1945 case 23: /* lwzx */
1946 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001947 op->type = MKOP(LOAD, u, 4);
1948 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001949
1950 case 87: /* lbzx */
1951 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001952 op->type = MKOP(LOAD, u, 1);
1953 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001954
1955#ifdef CONFIG_ALTIVEC
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001956 /*
1957 * Note: for the load/store vector element instructions,
1958 * bits of the EA say which field of the VMX register to use.
1959 */
1960 case 7: /* lvebx */
1961 op->type = MKOP(LOAD_VMX, 0, 1);
1962 op->element_size = 1;
1963 break;
1964
1965 case 39: /* lvehx */
1966 op->type = MKOP(LOAD_VMX, 0, 2);
1967 op->element_size = 2;
1968 break;
1969
1970 case 71: /* lvewx */
1971 op->type = MKOP(LOAD_VMX, 0, 4);
1972 op->element_size = 4;
1973 break;
1974
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001975 case 103: /* lvx */
1976 case 359: /* lvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001977 op->type = MKOP(LOAD_VMX, 0, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +10001978 op->element_size = 16;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001979 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001980
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001981 case 135: /* stvebx */
1982 op->type = MKOP(STORE_VMX, 0, 1);
1983 op->element_size = 1;
1984 break;
1985
1986 case 167: /* stvehx */
1987 op->type = MKOP(STORE_VMX, 0, 2);
1988 op->element_size = 2;
1989 break;
1990
1991 case 199: /* stvewx */
1992 op->type = MKOP(STORE_VMX, 0, 4);
1993 op->element_size = 4;
1994 break;
1995
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001996 case 231: /* stvx */
1997 case 487: /* stvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001998 op->type = MKOP(STORE_VMX, 0, 16);
1999 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002000#endif /* CONFIG_ALTIVEC */
2001
2002#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002003 case 21: /* ldx */
2004 case 53: /* ldux */
2005 op->type = MKOP(LOAD, u, 8);
2006 break;
2007
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002008 case 149: /* stdx */
2009 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002010 op->type = MKOP(STORE, u, 8);
2011 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002012#endif
2013
2014 case 151: /* stwx */
2015 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002016 op->type = MKOP(STORE, u, 4);
2017 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002018
2019 case 215: /* stbx */
2020 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002021 op->type = MKOP(STORE, u, 1);
2022 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002023
2024 case 279: /* lhzx */
2025 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002026 op->type = MKOP(LOAD, u, 2);
2027 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002028
2029#ifdef __powerpc64__
2030 case 341: /* lwax */
2031 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002032 op->type = MKOP(LOAD, SIGNEXT | u, 4);
2033 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002034#endif
2035
2036 case 343: /* lhax */
2037 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002038 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2039 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002040
2041 case 407: /* sthx */
2042 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002043 op->type = MKOP(STORE, u, 2);
2044 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002045
2046#ifdef __powerpc64__
2047 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002048 op->type = MKOP(LOAD, BYTEREV, 8);
2049 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002050
2051#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002052 case 533: /* lswx */
2053 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
2054 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002055
2056 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002057 op->type = MKOP(LOAD, BYTEREV, 4);
2058 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002059
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002060 case 597: /* lswi */
2061 if (rb == 0)
2062 rb = 32; /* # bytes to load */
2063 op->type = MKOP(LOAD_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002064 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002065 break;
2066
Paul Bolleb69a1da2014-05-20 21:59:42 +02002067#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002068 case 535: /* lfsx */
2069 case 567: /* lfsux */
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002070 op->type = MKOP(LOAD_FP, u | FPCONV, 4);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002071 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002072
2073 case 599: /* lfdx */
2074 case 631: /* lfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002075 op->type = MKOP(LOAD_FP, u, 8);
2076 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002077
2078 case 663: /* stfsx */
2079 case 695: /* stfsux */
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002080 op->type = MKOP(STORE_FP, u | FPCONV, 4);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002081 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002082
2083 case 727: /* stfdx */
2084 case 759: /* stfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002085 op->type = MKOP(STORE_FP, u, 8);
2086 break;
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002087
2088#ifdef __powerpc64__
2089 case 791: /* lfdpx */
2090 op->type = MKOP(LOAD_FP, 0, 16);
2091 break;
2092
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002093 case 855: /* lfiwax */
2094 op->type = MKOP(LOAD_FP, SIGNEXT, 4);
2095 break;
2096
2097 case 887: /* lfiwzx */
2098 op->type = MKOP(LOAD_FP, 0, 4);
2099 break;
2100
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002101 case 919: /* stfdpx */
2102 op->type = MKOP(STORE_FP, 0, 16);
2103 break;
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002104
2105 case 983: /* stfiwx */
2106 op->type = MKOP(STORE_FP, 0, 4);
2107 break;
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002108#endif /* __powerpc64 */
2109#endif /* CONFIG_PPC_FPU */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002110
2111#ifdef __powerpc64__
2112 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002113 op->type = MKOP(STORE, BYTEREV, 8);
2114 op->val = byterev_8(regs->gpr[rd]);
2115 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002116
2117#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002118 case 661: /* stswx */
2119 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
2120 break;
2121
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002122 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002123 op->type = MKOP(STORE, BYTEREV, 4);
2124 op->val = byterev_4(regs->gpr[rd]);
2125 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002126
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002127 case 725: /* stswi */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002128 if (rb == 0)
2129 rb = 32; /* # bytes to store */
2130 op->type = MKOP(STORE_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002131 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002132 break;
2133
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002134 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002135 op->type = MKOP(LOAD, BYTEREV, 2);
2136 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002137
2138 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002139 op->type = MKOP(STORE, BYTEREV, 2);
2140 op->val = byterev_2(regs->gpr[rd]);
2141 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002142
2143#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002144 case 12: /* lxsiwzx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002145 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002146 op->type = MKOP(LOAD_VSX, 0, 4);
2147 op->element_size = 8;
2148 break;
2149
2150 case 76: /* lxsiwax */
2151 op->reg = rd | ((instr & 1) << 5);
2152 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
2153 op->element_size = 8;
2154 break;
2155
2156 case 140: /* stxsiwx */
2157 op->reg = rd | ((instr & 1) << 5);
2158 op->type = MKOP(STORE_VSX, 0, 4);
2159 op->element_size = 8;
2160 break;
2161
2162 case 268: /* lxvx */
2163 op->reg = rd | ((instr & 1) << 5);
2164 op->type = MKOP(LOAD_VSX, 0, 16);
2165 op->element_size = 16;
2166 op->vsx_flags = VSX_CHECK_VEC;
2167 break;
2168
2169 case 269: /* lxvl */
2170 case 301: { /* lxvll */
2171 int nb;
2172 op->reg = rd | ((instr & 1) << 5);
2173 op->ea = ra ? regs->gpr[ra] : 0;
2174 nb = regs->gpr[rb] & 0xff;
2175 if (nb > 16)
2176 nb = 16;
2177 op->type = MKOP(LOAD_VSX, 0, nb);
2178 op->element_size = 16;
2179 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2180 VSX_CHECK_VEC;
2181 break;
2182 }
2183 case 332: /* lxvdsx */
2184 op->reg = rd | ((instr & 1) << 5);
2185 op->type = MKOP(LOAD_VSX, 0, 8);
2186 op->element_size = 8;
2187 op->vsx_flags = VSX_SPLAT;
2188 break;
2189
2190 case 364: /* lxvwsx */
2191 op->reg = rd | ((instr & 1) << 5);
2192 op->type = MKOP(LOAD_VSX, 0, 4);
2193 op->element_size = 4;
2194 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
2195 break;
2196
2197 case 396: /* stxvx */
2198 op->reg = rd | ((instr & 1) << 5);
2199 op->type = MKOP(STORE_VSX, 0, 16);
2200 op->element_size = 16;
2201 op->vsx_flags = VSX_CHECK_VEC;
2202 break;
2203
2204 case 397: /* stxvl */
2205 case 429: { /* stxvll */
2206 int nb;
2207 op->reg = rd | ((instr & 1) << 5);
2208 op->ea = ra ? regs->gpr[ra] : 0;
2209 nb = regs->gpr[rb] & 0xff;
2210 if (nb > 16)
2211 nb = 16;
2212 op->type = MKOP(STORE_VSX, 0, nb);
2213 op->element_size = 16;
2214 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2215 VSX_CHECK_VEC;
2216 break;
2217 }
2218 case 524: /* lxsspx */
2219 op->reg = rd | ((instr & 1) << 5);
2220 op->type = MKOP(LOAD_VSX, 0, 4);
2221 op->element_size = 8;
2222 op->vsx_flags = VSX_FPCONV;
2223 break;
2224
2225 case 588: /* lxsdx */
2226 op->reg = rd | ((instr & 1) << 5);
2227 op->type = MKOP(LOAD_VSX, 0, 8);
2228 op->element_size = 8;
2229 break;
2230
2231 case 652: /* stxsspx */
2232 op->reg = rd | ((instr & 1) << 5);
2233 op->type = MKOP(STORE_VSX, 0, 4);
2234 op->element_size = 8;
2235 op->vsx_flags = VSX_FPCONV;
2236 break;
2237
2238 case 716: /* stxsdx */
2239 op->reg = rd | ((instr & 1) << 5);
2240 op->type = MKOP(STORE_VSX, 0, 8);
2241 op->element_size = 8;
2242 break;
2243
2244 case 780: /* lxvw4x */
2245 op->reg = rd | ((instr & 1) << 5);
2246 op->type = MKOP(LOAD_VSX, 0, 16);
2247 op->element_size = 4;
2248 break;
2249
2250 case 781: /* lxsibzx */
2251 op->reg = rd | ((instr & 1) << 5);
2252 op->type = MKOP(LOAD_VSX, 0, 1);
2253 op->element_size = 8;
2254 op->vsx_flags = VSX_CHECK_VEC;
2255 break;
2256
2257 case 812: /* lxvh8x */
2258 op->reg = rd | ((instr & 1) << 5);
2259 op->type = MKOP(LOAD_VSX, 0, 16);
2260 op->element_size = 2;
2261 op->vsx_flags = VSX_CHECK_VEC;
2262 break;
2263
2264 case 813: /* lxsihzx */
2265 op->reg = rd | ((instr & 1) << 5);
2266 op->type = MKOP(LOAD_VSX, 0, 2);
2267 op->element_size = 8;
2268 op->vsx_flags = VSX_CHECK_VEC;
2269 break;
2270
2271 case 844: /* lxvd2x */
2272 op->reg = rd | ((instr & 1) << 5);
2273 op->type = MKOP(LOAD_VSX, 0, 16);
2274 op->element_size = 8;
2275 break;
2276
2277 case 876: /* lxvb16x */
2278 op->reg = rd | ((instr & 1) << 5);
2279 op->type = MKOP(LOAD_VSX, 0, 16);
2280 op->element_size = 1;
2281 op->vsx_flags = VSX_CHECK_VEC;
2282 break;
2283
2284 case 908: /* stxvw4x */
2285 op->reg = rd | ((instr & 1) << 5);
2286 op->type = MKOP(STORE_VSX, 0, 16);
2287 op->element_size = 4;
2288 break;
2289
2290 case 909: /* stxsibx */
2291 op->reg = rd | ((instr & 1) << 5);
2292 op->type = MKOP(STORE_VSX, 0, 1);
2293 op->element_size = 8;
2294 op->vsx_flags = VSX_CHECK_VEC;
2295 break;
2296
2297 case 940: /* stxvh8x */
2298 op->reg = rd | ((instr & 1) << 5);
2299 op->type = MKOP(STORE_VSX, 0, 16);
2300 op->element_size = 2;
2301 op->vsx_flags = VSX_CHECK_VEC;
2302 break;
2303
2304 case 941: /* stxsihx */
2305 op->reg = rd | ((instr & 1) << 5);
2306 op->type = MKOP(STORE_VSX, 0, 2);
2307 op->element_size = 8;
2308 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002309 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002310
2311 case 972: /* stxvd2x */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002312 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002313 op->type = MKOP(STORE_VSX, 0, 16);
2314 op->element_size = 8;
2315 break;
2316
2317 case 1004: /* stxvb16x */
2318 op->reg = rd | ((instr & 1) << 5);
2319 op->type = MKOP(STORE_VSX, 0, 16);
2320 op->element_size = 1;
2321 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002322 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002323
2324#endif /* CONFIG_VSX */
2325 }
2326 break;
2327
2328 case 32: /* lwz */
2329 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002330 op->type = MKOP(LOAD, u, 4);
2331 op->ea = dform_ea(instr, regs);
2332 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002333
2334 case 34: /* lbz */
2335 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002336 op->type = MKOP(LOAD, u, 1);
2337 op->ea = dform_ea(instr, regs);
2338 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002339
2340 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002341 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002342 op->type = MKOP(STORE, u, 4);
2343 op->ea = dform_ea(instr, regs);
2344 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002345
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002346 case 38: /* stb */
2347 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002348 op->type = MKOP(STORE, u, 1);
2349 op->ea = dform_ea(instr, regs);
2350 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002351
2352 case 40: /* lhz */
2353 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002354 op->type = MKOP(LOAD, u, 2);
2355 op->ea = dform_ea(instr, regs);
2356 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002357
2358 case 42: /* lha */
2359 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002360 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2361 op->ea = dform_ea(instr, regs);
2362 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002363
2364 case 44: /* sth */
2365 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002366 op->type = MKOP(STORE, u, 2);
2367 op->ea = dform_ea(instr, regs);
2368 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002369
2370 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002371 if (ra >= rd)
2372 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002373 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002374 op->ea = dform_ea(instr, regs);
2375 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002376
2377 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002378 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002379 op->ea = dform_ea(instr, regs);
2380 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002381
Sean MacLennancd64d162010-09-01 07:21:21 +00002382#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002383 case 48: /* lfs */
2384 case 49: /* lfsu */
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002385 op->type = MKOP(LOAD_FP, u | FPCONV, 4);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002386 op->ea = dform_ea(instr, regs);
2387 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002388
2389 case 50: /* lfd */
2390 case 51: /* lfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002391 op->type = MKOP(LOAD_FP, u, 8);
2392 op->ea = dform_ea(instr, regs);
2393 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002394
2395 case 52: /* stfs */
2396 case 53: /* stfsu */
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002397 op->type = MKOP(STORE_FP, u | FPCONV, 4);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002398 op->ea = dform_ea(instr, regs);
2399 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002400
2401 case 54: /* stfd */
2402 case 55: /* stfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002403 op->type = MKOP(STORE_FP, u, 8);
2404 op->ea = dform_ea(instr, regs);
2405 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00002406#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002407
2408#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002409 case 56: /* lq */
2410 if (!((rd & 1) || (rd == ra)))
2411 op->type = MKOP(LOAD, 0, 16);
2412 op->ea = dqform_ea(instr, regs);
2413 break;
2414#endif
2415
2416#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002417 case 57: /* lfdp, lxsd, lxssp */
Paul Mackerras350779a2017-08-30 14:12:27 +10002418 op->ea = dsform_ea(instr, regs);
2419 switch (instr & 3) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002420 case 0: /* lfdp */
2421 if (rd & 1)
2422 break; /* reg must be even */
2423 op->type = MKOP(LOAD_FP, 0, 16);
2424 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002425 case 2: /* lxsd */
2426 op->reg = rd + 32;
2427 op->type = MKOP(LOAD_VSX, 0, 8);
2428 op->element_size = 8;
2429 op->vsx_flags = VSX_CHECK_VEC;
2430 break;
2431 case 3: /* lxssp */
2432 op->reg = rd + 32;
2433 op->type = MKOP(LOAD_VSX, 0, 4);
2434 op->element_size = 8;
2435 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2436 break;
2437 }
2438 break;
2439#endif /* CONFIG_VSX */
2440
2441#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002442 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002443 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002444 switch (instr & 3) {
2445 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002446 op->type = MKOP(LOAD, 0, 8);
2447 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002448 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002449 op->type = MKOP(LOAD, UPDATE, 8);
2450 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002451 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002452 op->type = MKOP(LOAD, SIGNEXT, 4);
2453 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002454 }
2455 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002456#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002457
Paul Mackerras350779a2017-08-30 14:12:27 +10002458#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002459 case 61: /* stfdp, lxv, stxsd, stxssp, stxv */
Paul Mackerras350779a2017-08-30 14:12:27 +10002460 switch (instr & 7) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002461 case 0: /* stfdp with LSB of DS field = 0 */
2462 case 4: /* stfdp with LSB of DS field = 1 */
2463 op->ea = dsform_ea(instr, regs);
2464 op->type = MKOP(STORE_FP, 0, 16);
2465 break;
2466
Paul Mackerras350779a2017-08-30 14:12:27 +10002467 case 1: /* lxv */
2468 op->ea = dqform_ea(instr, regs);
2469 if (instr & 8)
2470 op->reg = rd + 32;
2471 op->type = MKOP(LOAD_VSX, 0, 16);
2472 op->element_size = 16;
2473 op->vsx_flags = VSX_CHECK_VEC;
2474 break;
2475
2476 case 2: /* stxsd with LSB of DS field = 0 */
2477 case 6: /* stxsd with LSB of DS field = 1 */
2478 op->ea = dsform_ea(instr, regs);
2479 op->reg = rd + 32;
2480 op->type = MKOP(STORE_VSX, 0, 8);
2481 op->element_size = 8;
2482 op->vsx_flags = VSX_CHECK_VEC;
2483 break;
2484
2485 case 3: /* stxssp with LSB of DS field = 0 */
2486 case 7: /* stxssp with LSB of DS field = 1 */
2487 op->ea = dsform_ea(instr, regs);
2488 op->reg = rd + 32;
2489 op->type = MKOP(STORE_VSX, 0, 4);
2490 op->element_size = 8;
2491 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2492 break;
2493
2494 case 5: /* stxv */
2495 op->ea = dqform_ea(instr, regs);
2496 if (instr & 8)
2497 op->reg = rd + 32;
2498 op->type = MKOP(STORE_VSX, 0, 16);
2499 op->element_size = 16;
2500 op->vsx_flags = VSX_CHECK_VEC;
2501 break;
2502 }
2503 break;
2504#endif /* CONFIG_VSX */
2505
2506#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002507 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002508 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002509 switch (instr & 3) {
2510 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002511 op->type = MKOP(STORE, 0, 8);
2512 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002513 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002514 op->type = MKOP(STORE, UPDATE, 8);
2515 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002516 case 2: /* stq */
2517 if (!(rd & 1))
2518 op->type = MKOP(STORE, 0, 16);
2519 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002520 }
2521 break;
2522#endif /* __powerpc64__ */
2523
2524 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002525 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002526
2527 logical_done:
2528 if (instr & 1)
Anton Blanchardad47ff32017-09-19 20:45:52 +10002529 set_cr0(regs, op);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002530 logical_done_nocc:
2531 op->reg = ra;
2532 op->type |= SETREG;
2533 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002534
2535 arith_done:
2536 if (instr & 1)
Anton Blanchardad47ff32017-09-19 20:45:52 +10002537 set_cr0(regs, op);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002538 compute_done:
2539 op->reg = rd;
2540 op->type |= SETREG;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002541 return 1;
2542
2543 priv:
2544 op->type = INTERRUPT | 0x700;
2545 op->val = SRR1_PROGPRIV;
2546 return 0;
2547
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002548 trap:
2549 op->type = INTERRUPT | 0x700;
2550 op->val = SRR1_PROGTRAP;
2551 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002552}
2553EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302554NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002555
2556/*
2557 * For PPC32 we always use stwu with r1 to change the stack pointer.
2558 * So this emulated store may corrupt the exception frame, now we
2559 * have to provide the exception frame trampoline, which is pushed
2560 * below the kprobed function stack. So we only update gpr[1] but
2561 * don't emulate the real store operation. We will do real store
2562 * operation safely in exception return code by checking this flag.
2563 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302564static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002565{
2566#ifdef CONFIG_PPC32
2567 /*
2568 * Check if we will touch kernel stack overflow
2569 */
2570 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2571 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2572 return -EINVAL;
2573 }
2574#endif /* CONFIG_PPC32 */
2575 /*
2576 * Check if we already set since that means we'll
2577 * lose the previous value.
2578 */
2579 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2580 set_thread_flag(TIF_EMULATE_STACK_STORE);
2581 return 0;
2582}
2583
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302584static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002585{
2586 switch (size) {
2587 case 2:
2588 *valp = (signed short) *valp;
2589 break;
2590 case 4:
2591 *valp = (signed int) *valp;
2592 break;
2593 }
2594}
2595
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302596static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002597{
2598 switch (size) {
2599 case 2:
2600 *valp = byterev_2(*valp);
2601 break;
2602 case 4:
2603 *valp = byterev_4(*valp);
2604 break;
2605#ifdef __powerpc64__
2606 case 8:
2607 *valp = byterev_8(*valp);
2608 break;
2609#endif
2610 }
2611}
2612
2613/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002614 * Emulate an instruction that can be executed just by updating
2615 * fields in *regs.
2616 */
2617void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2618{
2619 unsigned long next_pc;
2620
2621 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2622 switch (op->type & INSTR_TYPE_MASK) {
2623 case COMPUTE:
2624 if (op->type & SETREG)
2625 regs->gpr[op->reg] = op->val;
2626 if (op->type & SETCC)
2627 regs->ccr = op->ccval;
2628 if (op->type & SETXER)
2629 regs->xer = op->xerval;
2630 break;
2631
2632 case BRANCH:
2633 if (op->type & SETLK)
2634 regs->link = next_pc;
2635 if (op->type & BRTAKEN)
2636 next_pc = op->val;
2637 if (op->type & DECCTR)
2638 --regs->ctr;
2639 break;
2640
2641 case BARRIER:
2642 switch (op->type & BARRIER_MASK) {
2643 case BARRIER_SYNC:
2644 mb();
2645 break;
2646 case BARRIER_ISYNC:
2647 isync();
2648 break;
2649 case BARRIER_EIEIO:
2650 eieio();
2651 break;
2652 case BARRIER_LWSYNC:
2653 asm volatile("lwsync" : : : "memory");
2654 break;
2655 case BARRIER_PTESYNC:
2656 asm volatile("ptesync" : : : "memory");
2657 break;
2658 }
2659 break;
2660
2661 case MFSPR:
2662 switch (op->spr) {
2663 case SPRN_XER:
2664 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2665 break;
2666 case SPRN_LR:
2667 regs->gpr[op->reg] = regs->link;
2668 break;
2669 case SPRN_CTR:
2670 regs->gpr[op->reg] = regs->ctr;
2671 break;
2672 default:
2673 WARN_ON_ONCE(1);
2674 }
2675 break;
2676
2677 case MTSPR:
2678 switch (op->spr) {
2679 case SPRN_XER:
2680 regs->xer = op->val & 0xffffffffUL;
2681 break;
2682 case SPRN_LR:
2683 regs->link = op->val;
2684 break;
2685 case SPRN_CTR:
2686 regs->ctr = op->val;
2687 break;
2688 default:
2689 WARN_ON_ONCE(1);
2690 }
2691 break;
2692
2693 default:
2694 WARN_ON_ONCE(1);
2695 }
2696 regs->nip = next_pc;
2697}
2698
2699/*
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002700 * Emulate a previously-analysed load or store instruction.
2701 * Return values are:
2702 * 0 = instruction emulated successfully
2703 * -EFAULT = address out of range or access faulted (regs->dar
2704 * contains the faulting address)
2705 * -EACCES = misaligned access, instruction requires alignment
2706 * -EINVAL = unknown operation in *op
2707 */
2708int emulate_loadstore(struct pt_regs *regs, struct instruction_op *op)
2709{
2710 int err, size, type;
2711 int i, rd, nb;
2712 unsigned int cr;
2713 unsigned long val;
2714 unsigned long ea;
2715 bool cross_endian;
2716
2717 err = 0;
2718 size = GETSIZE(op->type);
2719 type = op->type & INSTR_TYPE_MASK;
2720 cross_endian = (regs->msr & MSR_LE) != (MSR_KERNEL & MSR_LE);
2721 ea = truncate_if_32bit(regs->msr, op->ea);
2722
2723 switch (type) {
2724 case LARX:
2725 if (ea & (size - 1))
2726 return -EACCES; /* can't handle misaligned */
2727 if (!address_ok(regs, ea, size))
2728 return -EFAULT;
2729 err = 0;
Michael Ellerman3b79b262017-09-02 07:48:17 +10002730 val = 0;
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002731 switch (size) {
2732#ifdef __powerpc64__
2733 case 1:
2734 __get_user_asmx(val, ea, err, "lbarx");
2735 break;
2736 case 2:
2737 __get_user_asmx(val, ea, err, "lharx");
2738 break;
2739#endif
2740 case 4:
2741 __get_user_asmx(val, ea, err, "lwarx");
2742 break;
2743#ifdef __powerpc64__
2744 case 8:
2745 __get_user_asmx(val, ea, err, "ldarx");
2746 break;
2747 case 16:
2748 err = do_lqarx(ea, &regs->gpr[op->reg]);
2749 break;
2750#endif
2751 default:
2752 return -EINVAL;
2753 }
2754 if (err) {
2755 regs->dar = ea;
2756 break;
2757 }
2758 if (size < 16)
2759 regs->gpr[op->reg] = val;
2760 break;
2761
2762 case STCX:
2763 if (ea & (size - 1))
2764 return -EACCES; /* can't handle misaligned */
2765 if (!address_ok(regs, ea, size))
2766 return -EFAULT;
2767 err = 0;
2768 switch (size) {
2769#ifdef __powerpc64__
2770 case 1:
2771 __put_user_asmx(op->val, ea, err, "stbcx.", cr);
2772 break;
2773 case 2:
2774 __put_user_asmx(op->val, ea, err, "stbcx.", cr);
2775 break;
2776#endif
2777 case 4:
2778 __put_user_asmx(op->val, ea, err, "stwcx.", cr);
2779 break;
2780#ifdef __powerpc64__
2781 case 8:
2782 __put_user_asmx(op->val, ea, err, "stdcx.", cr);
2783 break;
2784 case 16:
2785 err = do_stqcx(ea, regs->gpr[op->reg],
2786 regs->gpr[op->reg + 1], &cr);
2787 break;
2788#endif
2789 default:
2790 return -EINVAL;
2791 }
2792 if (!err)
2793 regs->ccr = (regs->ccr & 0x0fffffff) |
2794 (cr & 0xe0000000) |
2795 ((regs->xer >> 3) & 0x10000000);
2796 else
2797 regs->dar = ea;
2798 break;
2799
2800 case LOAD:
2801#ifdef __powerpc64__
2802 if (size == 16) {
2803 err = emulate_lq(regs, ea, op->reg, cross_endian);
2804 break;
2805 }
2806#endif
2807 err = read_mem(&regs->gpr[op->reg], ea, size, regs);
2808 if (!err) {
2809 if (op->type & SIGNEXT)
2810 do_signext(&regs->gpr[op->reg], size);
2811 if ((op->type & BYTEREV) == (cross_endian ? 0 : BYTEREV))
2812 do_byterev(&regs->gpr[op->reg], size);
2813 }
2814 break;
2815
2816#ifdef CONFIG_PPC_FPU
2817 case LOAD_FP:
2818 /*
2819 * If the instruction is in userspace, we can emulate it even
2820 * if the VMX state is not live, because we have the state
2821 * stored in the thread_struct. If the instruction is in
2822 * the kernel, we must not touch the state in the thread_struct.
2823 */
2824 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
2825 return 0;
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002826 err = do_fp_load(op, ea, regs, cross_endian);
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002827 break;
2828#endif
2829#ifdef CONFIG_ALTIVEC
2830 case LOAD_VMX:
2831 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
2832 return 0;
2833 err = do_vec_load(op->reg, ea, size, regs, cross_endian);
2834 break;
2835#endif
2836#ifdef CONFIG_VSX
2837 case LOAD_VSX: {
2838 unsigned long msrbit = MSR_VSX;
2839
2840 /*
2841 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2842 * when the target of the instruction is a vector register.
2843 */
2844 if (op->reg >= 32 && (op->vsx_flags & VSX_CHECK_VEC))
2845 msrbit = MSR_VEC;
2846 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
2847 return 0;
2848 err = do_vsx_load(op, ea, regs, cross_endian);
2849 break;
2850 }
2851#endif
2852 case LOAD_MULTI:
2853 if (!address_ok(regs, ea, size))
2854 return -EFAULT;
2855 rd = op->reg;
2856 for (i = 0; i < size; i += 4) {
2857 unsigned int v32 = 0;
2858
2859 nb = size - i;
2860 if (nb > 4)
2861 nb = 4;
2862 err = copy_mem_in((u8 *) &v32, ea, nb, regs);
2863 if (err)
2864 break;
2865 if (unlikely(cross_endian))
2866 v32 = byterev_4(v32);
2867 regs->gpr[rd] = v32;
2868 ea += 4;
Paul Mackerras45f62152017-09-01 09:51:23 +10002869 /* reg number wraps from 31 to 0 for lsw[ix] */
2870 rd = (rd + 1) & 0x1f;
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002871 }
2872 break;
2873
2874 case STORE:
2875#ifdef __powerpc64__
2876 if (size == 16) {
2877 err = emulate_stq(regs, ea, op->reg, cross_endian);
2878 break;
2879 }
2880#endif
2881 if ((op->type & UPDATE) && size == sizeof(long) &&
2882 op->reg == 1 && op->update_reg == 1 &&
2883 !(regs->msr & MSR_PR) &&
2884 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2885 err = handle_stack_update(ea, regs);
2886 break;
2887 }
2888 if (unlikely(cross_endian))
2889 do_byterev(&op->val, size);
2890 err = write_mem(op->val, ea, size, regs);
2891 break;
2892
2893#ifdef CONFIG_PPC_FPU
2894 case STORE_FP:
2895 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
2896 return 0;
Paul Mackerrasd2b65ac2017-08-30 16:34:09 +10002897 err = do_fp_store(op, ea, regs, cross_endian);
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002898 break;
2899#endif
2900#ifdef CONFIG_ALTIVEC
2901 case STORE_VMX:
2902 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
2903 return 0;
2904 err = do_vec_store(op->reg, ea, size, regs, cross_endian);
2905 break;
2906#endif
2907#ifdef CONFIG_VSX
2908 case STORE_VSX: {
2909 unsigned long msrbit = MSR_VSX;
2910
2911 /*
2912 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2913 * when the target of the instruction is a vector register.
2914 */
2915 if (op->reg >= 32 && (op->vsx_flags & VSX_CHECK_VEC))
2916 msrbit = MSR_VEC;
2917 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
2918 return 0;
2919 err = do_vsx_store(op, ea, regs, cross_endian);
2920 break;
2921 }
2922#endif
2923 case STORE_MULTI:
2924 if (!address_ok(regs, ea, size))
2925 return -EFAULT;
2926 rd = op->reg;
2927 for (i = 0; i < size; i += 4) {
2928 unsigned int v32 = regs->gpr[rd];
2929
2930 nb = size - i;
2931 if (nb > 4)
2932 nb = 4;
2933 if (unlikely(cross_endian))
2934 v32 = byterev_4(v32);
2935 err = copy_mem_out((u8 *) &v32, ea, nb, regs);
2936 if (err)
2937 break;
2938 ea += 4;
Paul Mackerras45f62152017-09-01 09:51:23 +10002939 /* reg number wraps from 31 to 0 for stsw[ix] */
2940 rd = (rd + 1) & 0x1f;
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002941 }
2942 break;
2943
2944 default:
2945 return -EINVAL;
2946 }
2947
2948 if (err)
2949 return err;
2950
2951 if (op->type & UPDATE)
2952 regs->gpr[op->update_reg] = op->ea;
2953
2954 return 0;
2955}
2956NOKPROBE_SYMBOL(emulate_loadstore);
2957
2958/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002959 * Emulate instructions that cause a transfer of control,
2960 * loads and stores, and a few other instructions.
2961 * Returns 1 if the step was emulated, 0 if not,
2962 * or -1 if the instruction is one that should not be stepped,
2963 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2964 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302965int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002966{
2967 struct instruction_op op;
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002968 int r, err, type;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002969 unsigned long val;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002970 unsigned long ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002971
2972 r = analyse_instr(&op, regs, instr);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002973 if (r < 0)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002974 return r;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002975 if (r > 0) {
2976 emulate_update_regs(regs, &op);
2977 return 1;
2978 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002979
2980 err = 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002981 type = op.type & INSTR_TYPE_MASK;
2982
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002983 if (OP_IS_LOAD_STORE(type)) {
2984 err = emulate_loadstore(regs, &op);
2985 if (err)
2986 return 0;
2987 goto instr_done;
2988 }
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002989
2990 switch (type) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002991 case CACHEOP:
Paul Mackerrasa53d5182017-08-30 14:12:39 +10002992 ea = truncate_if_32bit(regs->msr, op.ea);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002993 if (!address_ok(regs, ea, 8))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002994 return 0;
2995 switch (op.type & CACHEOP_MASK) {
2996 case DCBST:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002997 __cacheop_user_asmx(ea, err, "dcbst");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002998 break;
2999 case DCBF:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10003000 __cacheop_user_asmx(ea, err, "dcbf");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003001 break;
3002 case DCBTST:
3003 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10003004 prefetchw((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003005 break;
3006 case DCBT:
3007 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10003008 prefetch((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003009 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10003010 case ICBI:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10003011 __cacheop_user_asmx(ea, err, "icbi");
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10003012 break;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10003013 case DCBZ:
3014 err = emulate_dcbz(ea, regs);
3015 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003016 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10003017 if (err) {
3018 regs->dar = ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003019 return 0;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10003020 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003021 goto instr_done;
3022
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003023 case MFMSR:
3024 regs->gpr[op.reg] = regs->msr & MSR_MASK;
3025 goto instr_done;
3026
3027 case MTMSR:
3028 val = regs->gpr[op.reg];
3029 if ((val & MSR_RI) == 0)
3030 /* can't step mtmsr[d] that would clear MSR_RI */
3031 return -1;
3032 /* here op.val is the mask of bits to change */
3033 regs->msr = (regs->msr & ~op.val) | (val & op.val);
3034 goto instr_done;
3035
3036#ifdef CONFIG_PPC64
3037 case SYSCALL: /* sc */
3038 /*
3039 * N.B. this uses knowledge about how the syscall
3040 * entry code works. If that is changed, this will
3041 * need to be changed also.
3042 */
3043 if (regs->gpr[0] == 0x1ebe &&
3044 cpu_has_feature(CPU_FTR_REAL_LE)) {
3045 regs->msr ^= MSR_LE;
3046 goto instr_done;
3047 }
3048 regs->gpr[9] = regs->gpr[13];
3049 regs->gpr[10] = MSR_KERNEL;
3050 regs->gpr[11] = regs->nip + 4;
3051 regs->gpr[12] = regs->msr & MSR_MASK;
3052 regs->gpr[13] = (unsigned long) get_paca();
3053 regs->nip = (unsigned long) &system_call_common;
3054 regs->msr = MSR_KERNEL;
3055 return 1;
3056
3057 case RFI:
3058 return -1;
3059#endif
3060 }
3061 return 0;
3062
Paul Mackerrasbe96f632014-09-02 14:35:07 +10003063 instr_done:
3064 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
3065 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10003066}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05303067NOKPROBE_SYMBOL(emulate_step);