blob: 5d8284938898c82b17dc799875d94e55801ceecc [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 Mackerrasd9551892017-08-30 14:12:38 +1000460static int do_fp_load(int rn, unsigned long ea, int nb, struct pt_regs *regs,
461 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000462{
463 int err;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000464 union {
465 float f;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000466 double d[2];
467 unsigned long l[2];
468 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000469 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000470
471 if (!address_ok(regs, ea, nb))
472 return -EFAULT;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000473 err = copy_mem_in(u.b, ea, nb, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000474 if (err)
475 return err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000476 if (unlikely(cross_endian)) {
477 do_byte_reverse(u.b, min(nb, 8));
478 if (nb == 16)
479 do_byte_reverse(&u.b[8], 8);
480 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000481 preempt_disable();
482 if (nb == 4)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000483 conv_sp_to_dp(&u.f, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000484 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000485 put_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000486 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000487 current->thread.TS_FPR(rn) = u.l[0];
488 if (nb == 16) {
489 /* lfdp */
490 rn |= 1;
491 if (regs->msr & MSR_FP)
492 put_fpr(rn, &u.d[1]);
493 else
494 current->thread.TS_FPR(rn) = u.l[1];
495 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000496 preempt_enable();
497 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000498}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530499NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000500
Paul Mackerrasd9551892017-08-30 14:12:38 +1000501static int do_fp_store(int rn, unsigned long ea, int nb, struct pt_regs *regs,
502 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000503{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000504 union {
505 float f;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000506 double d[2];
507 unsigned long l[2];
508 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000509 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000510
511 if (!address_ok(regs, ea, nb))
512 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000513 preempt_disable();
514 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000515 get_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000516 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000517 u.l[0] = current->thread.TS_FPR(rn);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000518 if (nb == 4)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000519 conv_dp_to_sp(&u.d[0], &u.f);
520 if (nb == 16) {
521 rn |= 1;
522 if (regs->msr & MSR_FP)
523 get_fpr(rn, &u.d[1]);
524 else
525 u.l[1] = current->thread.TS_FPR(rn);
526 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000527 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000528 if (unlikely(cross_endian)) {
529 do_byte_reverse(u.b, min(nb, 8));
530 if (nb == 16)
531 do_byte_reverse(&u.b[8], 8);
532 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000533 return copy_mem_out(u.b, ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000534}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530535NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000536#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000537
538#ifdef CONFIG_ALTIVEC
539/* For Altivec/VMX, no need to worry about alignment */
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000540static nokprobe_inline int do_vec_load(int rn, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000541 int size, struct pt_regs *regs,
542 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000543{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000544 int err;
545 union {
546 __vector128 v;
547 u8 b[sizeof(__vector128)];
548 } u = {};
549
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000550 if (!address_ok(regs, ea & ~0xfUL, 16))
551 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000552 /* align to multiple of size */
553 ea &= ~(size - 1);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000554 err = copy_mem_in(&u.b[ea & 0xf], ea, size, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000555 if (err)
556 return err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000557 if (unlikely(cross_endian))
558 do_byte_reverse(&u.b[ea & 0xf], size);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000559 preempt_disable();
560 if (regs->msr & MSR_VEC)
561 put_vr(rn, &u.v);
562 else
563 current->thread.vr_state.vr[rn] = u.v;
564 preempt_enable();
565 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000566}
567
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000568static nokprobe_inline int do_vec_store(int rn, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000569 int size, struct pt_regs *regs,
570 bool cross_endian)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000571{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000572 union {
573 __vector128 v;
574 u8 b[sizeof(__vector128)];
575 } u;
576
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000577 if (!address_ok(regs, ea & ~0xfUL, 16))
578 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000579 /* align to multiple of size */
580 ea &= ~(size - 1);
581
582 preempt_disable();
583 if (regs->msr & MSR_VEC)
584 get_vr(rn, &u.v);
585 else
586 u.v = current->thread.vr_state.vr[rn];
587 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000588 if (unlikely(cross_endian))
589 do_byte_reverse(&u.b[ea & 0xf], size);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000590 return copy_mem_out(&u.b[ea & 0xf], ea, size, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000591}
592#endif /* CONFIG_ALTIVEC */
593
Paul Mackerras350779a2017-08-30 14:12:27 +1000594#ifdef __powerpc64__
595static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000596 int reg, bool cross_endian)
Paul Mackerras350779a2017-08-30 14:12:27 +1000597{
598 int err;
599
600 if (!address_ok(regs, ea, 16))
601 return -EFAULT;
602 /* if aligned, should be atomic */
Paul Mackerrasd9551892017-08-30 14:12:38 +1000603 if ((ea & 0xf) == 0) {
604 err = do_lq(ea, &regs->gpr[reg]);
605 } else {
606 err = read_mem(&regs->gpr[reg + IS_LE], ea, 8, regs);
607 if (!err)
608 err = read_mem(&regs->gpr[reg + IS_BE], ea + 8, 8, regs);
609 }
610 if (!err && unlikely(cross_endian))
611 do_byte_reverse(&regs->gpr[reg], 16);
Paul Mackerras350779a2017-08-30 14:12:27 +1000612 return err;
613}
614
615static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000616 int reg, bool cross_endian)
Paul Mackerras350779a2017-08-30 14:12:27 +1000617{
618 int err;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000619 unsigned long vals[2];
Paul Mackerras350779a2017-08-30 14:12:27 +1000620
621 if (!address_ok(regs, ea, 16))
622 return -EFAULT;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000623 vals[0] = regs->gpr[reg];
624 vals[1] = regs->gpr[reg + 1];
625 if (unlikely(cross_endian))
626 do_byte_reverse(vals, 16);
627
Paul Mackerras350779a2017-08-30 14:12:27 +1000628 /* if aligned, should be atomic */
629 if ((ea & 0xf) == 0)
Paul Mackerrasd9551892017-08-30 14:12:38 +1000630 return do_stq(ea, vals[0], vals[1]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000631
Paul Mackerrasd9551892017-08-30 14:12:38 +1000632 err = write_mem(vals[IS_LE], ea, 8, regs);
Paul Mackerras350779a2017-08-30 14:12:27 +1000633 if (!err)
Paul Mackerrasd9551892017-08-30 14:12:38 +1000634 err = write_mem(vals[IS_BE], ea + 8, 8, regs);
Paul Mackerras350779a2017-08-30 14:12:27 +1000635 return err;
636}
637#endif /* __powerpc64 */
638
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000639#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +1000640void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000641 const void *mem, bool rev)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000642{
Paul Mackerras350779a2017-08-30 14:12:27 +1000643 int size, read_size;
644 int i, j;
645 const unsigned int *wp;
646 const unsigned short *hp;
647 const unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000648
Paul Mackerras350779a2017-08-30 14:12:27 +1000649 size = GETSIZE(op->type);
650 reg->d[0] = reg->d[1] = 0;
651
652 switch (op->element_size) {
653 case 16:
654 /* whole vector; lxv[x] or lxvl[l] */
655 if (size == 0)
656 break;
657 memcpy(reg, mem, size);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000658 if (IS_LE && (op->vsx_flags & VSX_LDLEFT))
659 rev = !rev;
660 if (rev)
661 do_byte_reverse(reg, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +1000662 break;
663 case 8:
664 /* scalar loads, lxvd2x, lxvdsx */
665 read_size = (size >= 8) ? 8 : size;
666 i = IS_LE ? 8 : 8 - read_size;
667 memcpy(&reg->b[i], mem, read_size);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000668 if (rev)
669 do_byte_reverse(&reg->b[i], 8);
Paul Mackerras350779a2017-08-30 14:12:27 +1000670 if (size < 8) {
671 if (op->type & SIGNEXT) {
672 /* size == 4 is the only case here */
673 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
674 } else if (op->vsx_flags & VSX_FPCONV) {
675 preempt_disable();
676 conv_sp_to_dp(&reg->fp[1 + IS_LE],
677 &reg->dp[IS_LE]);
678 preempt_enable();
679 }
680 } else {
Paul Mackerrasd9551892017-08-30 14:12:38 +1000681 if (size == 16) {
682 unsigned long v = *(unsigned long *)(mem + 8);
683 reg->d[IS_BE] = !rev ? v : byterev_8(v);
684 } else if (op->vsx_flags & VSX_SPLAT)
Paul Mackerras350779a2017-08-30 14:12:27 +1000685 reg->d[IS_BE] = reg->d[IS_LE];
686 }
687 break;
688 case 4:
689 /* lxvw4x, lxvwsx */
690 wp = mem;
691 for (j = 0; j < size / 4; ++j) {
692 i = IS_LE ? 3 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000693 reg->w[i] = !rev ? *wp++ : byterev_4(*wp++);
Paul Mackerras350779a2017-08-30 14:12:27 +1000694 }
695 if (op->vsx_flags & VSX_SPLAT) {
696 u32 val = reg->w[IS_LE ? 3 : 0];
697 for (; j < 4; ++j) {
698 i = IS_LE ? 3 - j : j;
699 reg->w[i] = val;
700 }
701 }
702 break;
703 case 2:
704 /* lxvh8x */
705 hp = mem;
706 for (j = 0; j < size / 2; ++j) {
707 i = IS_LE ? 7 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000708 reg->h[i] = !rev ? *hp++ : byterev_2(*hp++);
Paul Mackerras350779a2017-08-30 14:12:27 +1000709 }
710 break;
711 case 1:
712 /* lxvb16x */
713 bp = mem;
714 for (j = 0; j < size; ++j) {
715 i = IS_LE ? 15 - j : j;
716 reg->b[i] = *bp++;
717 }
718 break;
719 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000720}
Paul Mackerras350779a2017-08-30 14:12:27 +1000721EXPORT_SYMBOL_GPL(emulate_vsx_load);
722NOKPROBE_SYMBOL(emulate_vsx_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000723
Paul Mackerras350779a2017-08-30 14:12:27 +1000724void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000725 void *mem, bool rev)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000726{
Paul Mackerras350779a2017-08-30 14:12:27 +1000727 int size, write_size;
728 int i, j;
729 union vsx_reg buf;
730 unsigned int *wp;
731 unsigned short *hp;
732 unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000733
Paul Mackerras350779a2017-08-30 14:12:27 +1000734 size = GETSIZE(op->type);
735
736 switch (op->element_size) {
737 case 16:
738 /* stxv, stxvx, stxvl, stxvll */
739 if (size == 0)
740 break;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000741 if (IS_LE && (op->vsx_flags & VSX_LDLEFT))
742 rev = !rev;
743 if (rev) {
Paul Mackerras350779a2017-08-30 14:12:27 +1000744 /* reverse 16 bytes */
745 buf.d[0] = byterev_8(reg->d[1]);
746 buf.d[1] = byterev_8(reg->d[0]);
747 reg = &buf;
748 }
749 memcpy(mem, reg, size);
750 break;
751 case 8:
752 /* scalar stores, stxvd2x */
753 write_size = (size >= 8) ? 8 : size;
754 i = IS_LE ? 8 : 8 - write_size;
755 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
756 buf.d[0] = buf.d[1] = 0;
757 preempt_disable();
758 conv_dp_to_sp(&reg->dp[IS_LE], &buf.fp[1 + IS_LE]);
759 preempt_enable();
760 reg = &buf;
761 }
762 memcpy(mem, &reg->b[i], write_size);
763 if (size == 16)
764 memcpy(mem + 8, &reg->d[IS_BE], 8);
Paul Mackerrasd9551892017-08-30 14:12:38 +1000765 if (unlikely(rev)) {
766 do_byte_reverse(mem, write_size);
767 if (size == 16)
768 do_byte_reverse(mem + 8, 8);
769 }
Paul Mackerras350779a2017-08-30 14:12:27 +1000770 break;
771 case 4:
772 /* stxvw4x */
773 wp = mem;
774 for (j = 0; j < size / 4; ++j) {
775 i = IS_LE ? 3 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000776 *wp++ = !rev ? reg->w[i] : byterev_4(reg->w[i]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000777 }
778 break;
779 case 2:
780 /* stxvh8x */
781 hp = mem;
782 for (j = 0; j < size / 2; ++j) {
783 i = IS_LE ? 7 - j : j;
Paul Mackerrasd9551892017-08-30 14:12:38 +1000784 *hp++ = !rev ? reg->h[i] : byterev_2(reg->h[i]);
Paul Mackerras350779a2017-08-30 14:12:27 +1000785 }
786 break;
787 case 1:
788 /* stvxb16x */
789 bp = mem;
790 for (j = 0; j < size; ++j) {
791 i = IS_LE ? 15 - j : j;
792 *bp++ = reg->b[i];
793 }
794 break;
795 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000796}
Paul Mackerras350779a2017-08-30 14:12:27 +1000797EXPORT_SYMBOL_GPL(emulate_vsx_store);
798NOKPROBE_SYMBOL(emulate_vsx_store);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000799
800static nokprobe_inline int do_vsx_load(struct instruction_op *op,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000801 unsigned long ea, struct pt_regs *regs,
802 bool cross_endian)
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000803{
804 int reg = op->reg;
805 u8 mem[16];
806 union vsx_reg buf;
807 int size = GETSIZE(op->type);
808
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000809 if (!address_ok(regs, ea, size) || copy_mem_in(mem, ea, size, regs))
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000810 return -EFAULT;
811
Paul Mackerrasd9551892017-08-30 14:12:38 +1000812 emulate_vsx_load(op, &buf, mem, cross_endian);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000813 preempt_disable();
814 if (reg < 32) {
815 /* FP regs + extensions */
816 if (regs->msr & MSR_FP) {
817 load_vsrn(reg, &buf);
818 } else {
819 current->thread.fp_state.fpr[reg][0] = buf.d[0];
820 current->thread.fp_state.fpr[reg][1] = buf.d[1];
821 }
822 } else {
823 if (regs->msr & MSR_VEC)
824 load_vsrn(reg, &buf);
825 else
826 current->thread.vr_state.vr[reg - 32] = buf.v;
827 }
828 preempt_enable();
829 return 0;
830}
831
832static nokprobe_inline int do_vsx_store(struct instruction_op *op,
Paul Mackerrasd9551892017-08-30 14:12:38 +1000833 unsigned long ea, struct pt_regs *regs,
834 bool cross_endian)
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000835{
836 int reg = op->reg;
837 u8 mem[16];
838 union vsx_reg buf;
839 int size = GETSIZE(op->type);
840
841 if (!address_ok(regs, ea, size))
842 return -EFAULT;
843
844 preempt_disable();
845 if (reg < 32) {
846 /* FP regs + extensions */
847 if (regs->msr & MSR_FP) {
848 store_vsrn(reg, &buf);
849 } else {
850 buf.d[0] = current->thread.fp_state.fpr[reg][0];
851 buf.d[1] = current->thread.fp_state.fpr[reg][1];
852 }
853 } else {
854 if (regs->msr & MSR_VEC)
855 store_vsrn(reg, &buf);
856 else
857 buf.v = current->thread.vr_state.vr[reg - 32];
858 }
859 preempt_enable();
Paul Mackerrasd9551892017-08-30 14:12:38 +1000860 emulate_vsx_store(op, &buf, mem, cross_endian);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000861 return copy_mem_out(mem, ea, size, regs);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000862}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000863#endif /* CONFIG_VSX */
864
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000865int emulate_dcbz(unsigned long ea, struct pt_regs *regs)
866{
867 int err;
868 unsigned long i, size;
869
870#ifdef __powerpc64__
871 size = ppc64_caches.l1d.block_size;
872 if (!(regs->msr & MSR_64BIT))
873 ea &= 0xffffffffUL;
874#else
875 size = L1_CACHE_BYTES;
876#endif
877 ea &= ~(size - 1);
878 if (!address_ok(regs, ea, size))
879 return -EFAULT;
880 for (i = 0; i < size; i += sizeof(long)) {
881 err = __put_user(0, (unsigned long __user *) (ea + i));
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000882 if (err) {
883 regs->dar = ea;
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000884 return err;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +1000885 }
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000886 }
887 return 0;
888}
889NOKPROBE_SYMBOL(emulate_dcbz);
890
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000891#define __put_user_asmx(x, addr, err, op, cr) \
892 __asm__ __volatile__( \
893 "1: " op " %2,0,%3\n" \
894 " mfcr %1\n" \
895 "2:\n" \
896 ".section .fixup,\"ax\"\n" \
897 "3: li %0,%4\n" \
898 " b 2b\n" \
899 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100900 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000901 : "=r" (err), "=r" (cr) \
902 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
903
904#define __get_user_asmx(x, addr, err, op) \
905 __asm__ __volatile__( \
906 "1: "op" %1,0,%2\n" \
907 "2:\n" \
908 ".section .fixup,\"ax\"\n" \
909 "3: li %0,%3\n" \
910 " b 2b\n" \
911 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100912 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000913 : "=r" (err), "=r" (x) \
914 : "r" (addr), "i" (-EFAULT), "0" (err))
915
916#define __cacheop_user_asmx(addr, err, op) \
917 __asm__ __volatile__( \
918 "1: "op" 0,%1\n" \
919 "2:\n" \
920 ".section .fixup,\"ax\"\n" \
921 "3: li %0,%3\n" \
922 " b 2b\n" \
923 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100924 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000925 : "=r" (err) \
926 : "r" (addr), "i" (-EFAULT), "0" (err))
927
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000928static nokprobe_inline void set_cr0(const struct pt_regs *regs,
929 struct instruction_op *op, int rd)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000930{
931 long val = regs->gpr[rd];
932
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000933 op->type |= SETCC;
934 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000935#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000936 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000937 val = (int) val;
938#endif
939 if (val < 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000940 op->ccval |= 0x80000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000941 else if (val > 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000942 op->ccval |= 0x40000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000943 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000944 op->ccval |= 0x20000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000945}
946
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000947static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
948 struct instruction_op *op, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000949 unsigned long val1, unsigned long val2,
950 unsigned long carry_in)
951{
952 unsigned long val = val1 + val2;
953
954 if (carry_in)
955 ++val;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000956 op->type = COMPUTE + SETREG + SETXER;
957 op->reg = rd;
958 op->val = val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000959#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000960 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000961 val = (unsigned int) val;
962 val1 = (unsigned int) val1;
963 }
964#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000965 op->xerval = regs->xer;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000966 if (val < val1 || (carry_in && val == val1))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000967 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000968 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000969 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000970}
971
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000972static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
973 struct instruction_op *op,
974 long v1, long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000975{
976 unsigned int crval, shift;
977
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000978 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000979 crval = (regs->xer >> 31) & 1; /* get SO bit */
980 if (v1 < v2)
981 crval |= 8;
982 else if (v1 > v2)
983 crval |= 4;
984 else
985 crval |= 2;
986 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000987 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000988}
989
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000990static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
991 struct instruction_op *op,
992 unsigned long v1,
993 unsigned long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000994{
995 unsigned int crval, shift;
996
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000997 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000998 crval = (regs->xer >> 31) & 1; /* get SO bit */
999 if (v1 < v2)
1000 crval |= 8;
1001 else if (v1 > v2)
1002 crval |= 4;
1003 else
1004 crval |= 2;
1005 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001006 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001007}
1008
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001009static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
1010 struct instruction_op *op,
1011 unsigned long v1, unsigned long v2)
Matt Brown02c0f622017-07-31 10:58:22 +10001012{
1013 unsigned long long out_val, mask;
1014 int i;
1015
1016 out_val = 0;
1017 for (i = 0; i < 8; i++) {
1018 mask = 0xffUL << (i * 8);
1019 if ((v1 & mask) == (v2 & mask))
1020 out_val |= mask;
1021 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001022 op->val = out_val;
Matt Brown02c0f622017-07-31 10:58:22 +10001023}
1024
Matt Browndcbd19b2017-07-31 10:58:23 +10001025/*
1026 * The size parameter is used to adjust the equivalent popcnt instruction.
1027 * popcntb = 8, popcntw = 32, popcntd = 64
1028 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001029static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
1030 struct instruction_op *op,
1031 unsigned long v1, int size)
Matt Browndcbd19b2017-07-31 10:58:23 +10001032{
1033 unsigned long long out = v1;
1034
1035 out -= (out >> 1) & 0x5555555555555555;
1036 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
1037 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
1038
1039 if (size == 8) { /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001040 op->val = out;
Matt Browndcbd19b2017-07-31 10:58:23 +10001041 return;
1042 }
1043 out += out >> 8;
1044 out += out >> 16;
1045 if (size == 32) { /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001046 op->val = out & 0x0000003f0000003f;
Matt Browndcbd19b2017-07-31 10:58:23 +10001047 return;
1048 }
1049
1050 out = (out + (out >> 32)) & 0x7f;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001051 op->val = out; /* popcntd */
Matt Browndcbd19b2017-07-31 10:58:23 +10001052}
1053
Matt Brownf3127932017-07-31 10:58:24 +10001054#ifdef CONFIG_PPC64
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001055static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
1056 struct instruction_op *op,
1057 unsigned long v1, unsigned long v2)
Matt Brownf3127932017-07-31 10:58:24 +10001058{
1059 unsigned char perm, idx;
1060 unsigned int i;
1061
1062 perm = 0;
1063 for (i = 0; i < 8; i++) {
1064 idx = (v1 >> (i * 8)) & 0xff;
1065 if (idx < 64)
1066 if (v2 & PPC_BIT(idx))
1067 perm |= 1 << i;
1068 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001069 op->val = perm;
Matt Brownf3127932017-07-31 10:58:24 +10001070}
1071#endif /* CONFIG_PPC64 */
Matt Brown2c979c42017-07-31 10:58:25 +10001072/*
1073 * The size parameter adjusts the equivalent prty instruction.
1074 * prtyw = 32, prtyd = 64
1075 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001076static nokprobe_inline void do_prty(const struct pt_regs *regs,
1077 struct instruction_op *op,
1078 unsigned long v, int size)
Matt Brown2c979c42017-07-31 10:58:25 +10001079{
1080 unsigned long long res = v ^ (v >> 8);
1081
1082 res ^= res >> 16;
1083 if (size == 32) { /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001084 op->val = res & 0x0000000100000001;
Matt Brown2c979c42017-07-31 10:58:25 +10001085 return;
1086 }
1087
1088 res ^= res >> 32;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001089 op->val = res & 1; /*prtyd */
Matt Brown2c979c42017-07-31 10:58:25 +10001090}
Matt Brownf3127932017-07-31 10:58:24 +10001091
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301092static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001093{
1094 int ret = 0;
1095
1096 if (v1 < v2)
1097 ret |= 0x10;
1098 else if (v1 > v2)
1099 ret |= 0x08;
1100 else
1101 ret |= 0x04;
1102 if ((unsigned long)v1 < (unsigned long)v2)
1103 ret |= 0x02;
1104 else if ((unsigned long)v1 > (unsigned long)v2)
1105 ret |= 0x01;
1106 return ret;
1107}
1108
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001109/*
1110 * Elements of 32-bit rotate and mask instructions.
1111 */
1112#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
1113 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
1114#ifdef __powerpc64__
1115#define MASK64_L(mb) (~0UL >> (mb))
1116#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
1117#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
1118#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
1119#else
1120#define DATA32(x) (x)
1121#endif
1122#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
1123
1124/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001125 * Decode an instruction, and return information about it in *op
1126 * without changing *regs.
1127 * Integer arithmetic and logical instructions, branches, and barrier
1128 * instructions can be emulated just using the information in *op.
1129 *
1130 * Return value is 1 if the instruction can be emulated just by
1131 * updating *regs with the information in *op, -1 if we need the
1132 * GPRs but *regs doesn't contain the full register set, or 0
1133 * otherwise.
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001134 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001135int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
1136 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001137{
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001138 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001139 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001140 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001141 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001142 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001143
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001144 op->type = COMPUTE;
1145
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001146 opcode = instr >> 26;
1147 switch (opcode) {
1148 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001149 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001150 imm = (signed short)(instr & 0xfffc);
1151 if ((instr & 2) == 0)
1152 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001153 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001154 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001155 op->type |= SETLK;
1156 if (branch_taken(instr, regs, op))
1157 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001158 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001159#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001160 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001161 if ((instr & 0xfe2) == 2)
1162 op->type = SYSCALL;
1163 else
1164 op->type = UNKNOWN;
1165 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001166#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001167 case 18: /* b */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001168 op->type = BRANCH | BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001169 imm = instr & 0x03fffffc;
1170 if (imm & 0x02000000)
1171 imm -= 0x04000000;
1172 if ((instr & 2) == 0)
1173 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001174 op->val = truncate_if_32bit(regs->msr, imm);
Michael Ellermanb91e1362011-04-07 21:56:04 +00001175 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001176 op->type |= SETLK;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001177 return 1;
1178 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001179 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001180 case 0: /* mcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001181 op->type = COMPUTE + SETCC;
Anton Blanchard87c4b83e2017-06-15 09:46:38 +10001182 rd = 7 - ((instr >> 23) & 0x7);
1183 ra = 7 - ((instr >> 18) & 0x7);
1184 rd *= 4;
1185 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001186 val = (regs->ccr >> ra) & 0xf;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001187 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
1188 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001189
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001190 case 16: /* bclr */
1191 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001192 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001193 imm = (instr & 0x400)? regs->ctr: regs->link;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001194 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001195 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001196 op->type |= SETLK;
1197 if (branch_taken(instr, regs, op))
1198 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001199 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001200
1201 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001202 if (regs->msr & MSR_PR)
1203 goto priv;
1204 op->type = RFI;
1205 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001206
1207 case 150: /* isync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001208 op->type = BARRIER | BARRIER_ISYNC;
1209 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001210
1211 case 33: /* crnor */
1212 case 129: /* crandc */
1213 case 193: /* crxor */
1214 case 225: /* crnand */
1215 case 257: /* crand */
1216 case 289: /* creqv */
1217 case 417: /* crorc */
1218 case 449: /* cror */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001219 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001220 ra = (instr >> 16) & 0x1f;
1221 rb = (instr >> 11) & 0x1f;
1222 rd = (instr >> 21) & 0x1f;
1223 ra = (regs->ccr >> (31 - ra)) & 1;
1224 rb = (regs->ccr >> (31 - rb)) & 1;
1225 val = (instr >> (6 + ra * 2 + rb)) & 1;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001226 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001227 (val << (31 - rd));
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001228 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001229 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001230 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001231 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001232 switch ((instr >> 1) & 0x3ff) {
1233 case 598: /* sync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001234 op->type = BARRIER + BARRIER_SYNC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001235#ifdef __powerpc64__
1236 switch ((instr >> 21) & 3) {
1237 case 1: /* lwsync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001238 op->type = BARRIER + BARRIER_LWSYNC;
1239 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001240 case 2: /* ptesync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001241 op->type = BARRIER + BARRIER_PTESYNC;
1242 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001243 }
1244#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001245 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001246
1247 case 854: /* eieio */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001248 op->type = BARRIER + BARRIER_EIEIO;
1249 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001250 }
1251 break;
1252 }
1253
1254 /* Following cases refer to regs->gpr[], so we need all regs */
1255 if (!FULL_REGS(regs))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001256 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001257
1258 rd = (instr >> 21) & 0x1f;
1259 ra = (instr >> 16) & 0x1f;
1260 rb = (instr >> 11) & 0x1f;
1261
1262 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001263#ifdef __powerpc64__
1264 case 2: /* tdi */
1265 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1266 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001267 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001268#endif
1269 case 3: /* twi */
1270 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1271 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001272 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001273
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001274 case 7: /* mulli */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001275 op->val = regs->gpr[ra] * (short) instr;
1276 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001277
1278 case 8: /* subfic */
1279 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001280 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1281 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001282
1283 case 10: /* cmpli */
1284 imm = (unsigned short) instr;
1285 val = regs->gpr[ra];
1286#ifdef __powerpc64__
1287 if ((rd & 1) == 0)
1288 val = (unsigned int) val;
1289#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001290 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1291 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001292
1293 case 11: /* cmpi */
1294 imm = (short) instr;
1295 val = regs->gpr[ra];
1296#ifdef __powerpc64__
1297 if ((rd & 1) == 0)
1298 val = (int) val;
1299#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001300 do_cmp_signed(regs, op, val, imm, rd >> 2);
1301 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001302
1303 case 12: /* addic */
1304 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001305 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1306 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001307
1308 case 13: /* addic. */
1309 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001310 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1311 set_cr0(regs, op, rd);
1312 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001313
1314 case 14: /* addi */
1315 imm = (short) instr;
1316 if (ra)
1317 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001318 op->val = imm;
1319 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001320
1321 case 15: /* addis */
1322 imm = ((short) instr) << 16;
1323 if (ra)
1324 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001325 op->val = imm;
1326 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001327
Paul Mackerras958465e2017-08-30 14:12:31 +10001328 case 19:
1329 if (((instr >> 1) & 0x1f) == 2) {
1330 /* addpcis */
1331 imm = (short) (instr & 0xffc1); /* d0 + d2 fields */
1332 imm |= (instr >> 15) & 0x3e; /* d1 field */
1333 op->val = regs->nip + (imm << 16) + 4;
1334 goto compute_done;
1335 }
1336 op->type = UNKNOWN;
1337 return 0;
1338
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001339 case 20: /* rlwimi */
1340 mb = (instr >> 6) & 0x1f;
1341 me = (instr >> 1) & 0x1f;
1342 val = DATA32(regs->gpr[rd]);
1343 imm = MASK32(mb, me);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001344 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001345 goto logical_done;
1346
1347 case 21: /* rlwinm */
1348 mb = (instr >> 6) & 0x1f;
1349 me = (instr >> 1) & 0x1f;
1350 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001351 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001352 goto logical_done;
1353
1354 case 23: /* rlwnm */
1355 mb = (instr >> 6) & 0x1f;
1356 me = (instr >> 1) & 0x1f;
1357 rb = regs->gpr[rb] & 0x1f;
1358 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001359 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001360 goto logical_done;
1361
1362 case 24: /* ori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001363 op->val = regs->gpr[rd] | (unsigned short) instr;
1364 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001365
1366 case 25: /* oris */
1367 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001368 op->val = regs->gpr[rd] | (imm << 16);
1369 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001370
1371 case 26: /* xori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001372 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1373 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001374
1375 case 27: /* xoris */
1376 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001377 op->val = regs->gpr[rd] ^ (imm << 16);
1378 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001379
1380 case 28: /* andi. */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001381 op->val = regs->gpr[rd] & (unsigned short) instr;
1382 set_cr0(regs, op, ra);
1383 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001384
1385 case 29: /* andis. */
1386 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001387 op->val = regs->gpr[rd] & (imm << 16);
1388 set_cr0(regs, op, ra);
1389 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001390
1391#ifdef __powerpc64__
1392 case 30: /* rld* */
1393 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1394 val = regs->gpr[rd];
1395 if ((instr & 0x10) == 0) {
1396 sh = rb | ((instr & 2) << 4);
1397 val = ROTATE(val, sh);
1398 switch ((instr >> 2) & 3) {
1399 case 0: /* rldicl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001400 val &= MASK64_L(mb);
1401 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001402 case 1: /* rldicr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001403 val &= MASK64_R(mb);
1404 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001405 case 2: /* rldic */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001406 val &= MASK64(mb, 63 - sh);
1407 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001408 case 3: /* rldimi */
1409 imm = MASK64(mb, 63 - sh);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001410 val = (regs->gpr[ra] & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001411 (val & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001412 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001413 op->val = val;
1414 goto logical_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001415 } else {
1416 sh = regs->gpr[rb] & 0x3f;
1417 val = ROTATE(val, sh);
1418 switch ((instr >> 1) & 7) {
1419 case 0: /* rldcl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001420 op->val = val & MASK64_L(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001421 goto logical_done;
1422 case 1: /* rldcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001423 op->val = val & MASK64_R(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001424 goto logical_done;
1425 }
1426 }
1427#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001428 op->type = UNKNOWN; /* illegal instruction */
1429 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001430
1431 case 31:
Paul Mackerrasf1bbb992017-08-30 14:12:29 +10001432 /* isel occupies 32 minor opcodes */
1433 if (((instr >> 1) & 0x1f) == 15) {
1434 mb = (instr >> 6) & 0x1f; /* bc field */
1435 val = (regs->ccr >> (31 - mb)) & 1;
1436 val2 = (ra) ? regs->gpr[ra] : 0;
1437
1438 op->val = (val) ? val2 : regs->gpr[rb];
1439 goto compute_done;
1440 }
1441
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001442 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001443 case 4: /* tw */
1444 if (rd == 0x1f ||
1445 (rd & trap_compare((int)regs->gpr[ra],
1446 (int)regs->gpr[rb])))
1447 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001448 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001449#ifdef __powerpc64__
1450 case 68: /* td */
1451 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1452 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001453 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001454#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001455 case 83: /* mfmsr */
1456 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001457 goto priv;
1458 op->type = MFMSR;
1459 op->reg = rd;
1460 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001461 case 146: /* mtmsr */
1462 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001463 goto priv;
1464 op->type = MTMSR;
1465 op->reg = rd;
1466 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1467 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001468#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001469 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001470 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001471 goto priv;
1472 op->type = MTMSR;
1473 op->reg = rd;
1474 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1475 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1476 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1477 op->val = imm;
1478 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001479#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001480
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001481 case 19: /* mfcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001482 imm = 0xffffffffUL;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001483 if ((instr >> 20) & 1) {
1484 imm = 0xf0000000UL;
1485 for (sh = 0; sh < 8; ++sh) {
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001486 if (instr & (0x80000 >> sh))
Anton Blanchard64e756c2017-06-15 09:46:39 +10001487 break;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001488 imm >>= 4;
1489 }
Anton Blanchard64e756c2017-06-15 09:46:39 +10001490 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001491 op->val = regs->ccr & imm;
1492 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001493
1494 case 144: /* mtcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001495 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001496 imm = 0xf0000000UL;
1497 val = regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001498 op->val = regs->ccr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001499 for (sh = 0; sh < 8; ++sh) {
1500 if (instr & (0x80000 >> sh))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001501 op->val = (op->val & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001502 (val & imm);
1503 imm >>= 4;
1504 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001505 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001506
1507 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001508 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001509 op->type = MFSPR;
1510 op->reg = rd;
1511 op->spr = spr;
1512 if (spr == SPRN_XER || spr == SPRN_LR ||
1513 spr == SPRN_CTR)
1514 return 1;
1515 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001516
1517 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001518 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001519 op->type = MTSPR;
1520 op->val = regs->gpr[rd];
1521 op->spr = spr;
1522 if (spr == SPRN_XER || spr == SPRN_LR ||
1523 spr == SPRN_CTR)
1524 return 1;
1525 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001526
1527/*
1528 * Compare instructions
1529 */
1530 case 0: /* cmp */
1531 val = regs->gpr[ra];
1532 val2 = regs->gpr[rb];
1533#ifdef __powerpc64__
1534 if ((rd & 1) == 0) {
1535 /* word (32-bit) compare */
1536 val = (int) val;
1537 val2 = (int) val2;
1538 }
1539#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001540 do_cmp_signed(regs, op, val, val2, rd >> 2);
1541 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001542
1543 case 32: /* cmpl */
1544 val = regs->gpr[ra];
1545 val2 = regs->gpr[rb];
1546#ifdef __powerpc64__
1547 if ((rd & 1) == 0) {
1548 /* word (32-bit) compare */
1549 val = (unsigned int) val;
1550 val2 = (unsigned int) val2;
1551 }
1552#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001553 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1554 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001555
Matt Brown02c0f622017-07-31 10:58:22 +10001556 case 508: /* cmpb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001557 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1558 goto logical_done_nocc;
Matt Brown02c0f622017-07-31 10:58:22 +10001559
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001560/*
1561 * Arithmetic instructions
1562 */
1563 case 8: /* subfc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001564 add_with_carry(regs, op, rd, ~regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001565 regs->gpr[rb], 1);
1566 goto arith_done;
1567#ifdef __powerpc64__
1568 case 9: /* mulhdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001569 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001570 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1571 goto arith_done;
1572#endif
1573 case 10: /* addc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001574 add_with_carry(regs, op, rd, regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001575 regs->gpr[rb], 0);
1576 goto arith_done;
1577
1578 case 11: /* mulhwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001579 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001580 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1581 goto arith_done;
1582
1583 case 40: /* subf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001584 op->val = regs->gpr[rb] - regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001585 goto arith_done;
1586#ifdef __powerpc64__
1587 case 73: /* mulhd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001588 asm("mulhd %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001589 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1590 goto arith_done;
1591#endif
1592 case 75: /* mulhw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001593 asm("mulhw %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001594 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1595 goto arith_done;
1596
1597 case 104: /* neg */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001598 op->val = -regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001599 goto arith_done;
1600
1601 case 136: /* subfe */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001602 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1603 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001604 goto arith_done;
1605
1606 case 138: /* adde */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001607 add_with_carry(regs, op, rd, regs->gpr[ra],
1608 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001609 goto arith_done;
1610
1611 case 200: /* subfze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001612 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001613 regs->xer & XER_CA);
1614 goto arith_done;
1615
1616 case 202: /* addze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001617 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001618 regs->xer & XER_CA);
1619 goto arith_done;
1620
1621 case 232: /* subfme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001622 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001623 regs->xer & XER_CA);
1624 goto arith_done;
1625#ifdef __powerpc64__
1626 case 233: /* mulld */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001627 op->val = regs->gpr[ra] * regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001628 goto arith_done;
1629#endif
1630 case 234: /* addme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001631 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001632 regs->xer & XER_CA);
1633 goto arith_done;
1634
1635 case 235: /* mullw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001636 op->val = (unsigned int) regs->gpr[ra] *
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001637 (unsigned int) regs->gpr[rb];
1638 goto arith_done;
1639
1640 case 266: /* add */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001641 op->val = regs->gpr[ra] + regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001642 goto arith_done;
1643#ifdef __powerpc64__
1644 case 457: /* divdu */
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 459: /* divwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001649 op->val = (unsigned int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001650 (unsigned int) regs->gpr[rb];
1651 goto arith_done;
1652#ifdef __powerpc64__
1653 case 489: /* divd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001654 op->val = (long int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001655 (long int) regs->gpr[rb];
1656 goto arith_done;
1657#endif
1658 case 491: /* divw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001659 op->val = (int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001660 (int) regs->gpr[rb];
1661 goto arith_done;
1662
1663
1664/*
1665 * Logical instructions
1666 */
1667 case 26: /* cntlzw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001668 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001669 goto logical_done;
1670#ifdef __powerpc64__
1671 case 58: /* cntlzd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001672 op->val = __builtin_clzl(regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001673 goto logical_done;
1674#endif
1675 case 28: /* and */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001676 op->val = regs->gpr[rd] & regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001677 goto logical_done;
1678
1679 case 60: /* andc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001680 op->val = regs->gpr[rd] & ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001681 goto logical_done;
1682
Matt Browndcbd19b2017-07-31 10:58:23 +10001683 case 122: /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001684 do_popcnt(regs, op, regs->gpr[rd], 8);
Paul Mackerras5762e082017-08-30 14:12:30 +10001685 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001686
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001687 case 124: /* nor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001688 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001689 goto logical_done;
Matt Brown2c979c42017-07-31 10:58:25 +10001690
1691 case 154: /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001692 do_prty(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001693 goto logical_done_nocc;
Matt Brown2c979c42017-07-31 10:58:25 +10001694
1695 case 186: /* prtyd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001696 do_prty(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001697 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001698#ifdef CONFIG_PPC64
1699 case 252: /* bpermd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001700 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
Paul Mackerras5762e082017-08-30 14:12:30 +10001701 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001702#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001703 case 284: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001704 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001705 goto logical_done;
1706
1707 case 316: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001708 op->val = regs->gpr[rd] ^ regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001709 goto logical_done;
1710
Matt Browndcbd19b2017-07-31 10:58:23 +10001711 case 378: /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001712 do_popcnt(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001713 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001714
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001715 case 412: /* orc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001716 op->val = regs->gpr[rd] | ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001717 goto logical_done;
1718
1719 case 444: /* or */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001720 op->val = regs->gpr[rd] | regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001721 goto logical_done;
1722
1723 case 476: /* nand */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001724 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001725 goto logical_done;
Matt Browndcbd19b2017-07-31 10:58:23 +10001726#ifdef CONFIG_PPC64
1727 case 506: /* popcntd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001728 do_popcnt(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001729 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001730#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001731 case 922: /* extsh */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001732 op->val = (signed short) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001733 goto logical_done;
1734
1735 case 954: /* extsb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001736 op->val = (signed char) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001737 goto logical_done;
1738#ifdef __powerpc64__
1739 case 986: /* extsw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001740 op->val = (signed int) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001741 goto logical_done;
1742#endif
1743
1744/*
1745 * Shift instructions
1746 */
1747 case 24: /* slw */
1748 sh = regs->gpr[rb] & 0x3f;
1749 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001750 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001751 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001752 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001753 goto logical_done;
1754
1755 case 536: /* srw */
1756 sh = regs->gpr[rb] & 0x3f;
1757 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001758 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001759 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001760 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001761 goto logical_done;
1762
1763 case 792: /* sraw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001764 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001765 sh = regs->gpr[rb] & 0x3f;
1766 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001767 op->val = ival >> (sh < 32 ? sh : 31);
1768 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001769 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001770 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001771 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001772 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001773 goto logical_done;
1774
1775 case 824: /* srawi */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001776 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001777 sh = rb;
1778 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001779 op->val = ival >> sh;
1780 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001781 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001782 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001783 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001784 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001785 goto logical_done;
1786
1787#ifdef __powerpc64__
1788 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001789 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001790 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001791 op->val = regs->gpr[rd] << sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001792 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001793 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001794 goto logical_done;
1795
1796 case 539: /* srd */
1797 sh = regs->gpr[rb] & 0x7f;
1798 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001799 op->val = regs->gpr[rd] >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001800 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001801 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001802 goto logical_done;
1803
1804 case 794: /* srad */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001805 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001806 sh = regs->gpr[rb] & 0x7f;
1807 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001808 op->val = ival >> (sh < 64 ? sh : 63);
1809 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001810 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001811 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001812 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001813 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001814 goto logical_done;
1815
1816 case 826: /* sradi with sh_5 = 0 */
1817 case 827: /* sradi with sh_5 = 1 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001818 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001819 sh = rb | ((instr & 2) << 4);
1820 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001821 op->val = ival >> sh;
1822 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001823 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001824 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001825 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001826 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001827 goto logical_done;
1828#endif /* __powerpc64__ */
1829
1830/*
1831 * Cache instructions
1832 */
1833 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001834 op->type = MKOP(CACHEOP, DCBST, 0);
1835 op->ea = xform_ea(instr, regs);
1836 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001837
1838 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001839 op->type = MKOP(CACHEOP, DCBF, 0);
1840 op->ea = xform_ea(instr, regs);
1841 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001842
1843 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001844 op->type = MKOP(CACHEOP, DCBTST, 0);
1845 op->ea = xform_ea(instr, regs);
1846 op->reg = rd;
1847 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001848
1849 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001850 op->type = MKOP(CACHEOP, DCBTST, 0);
1851 op->ea = xform_ea(instr, regs);
1852 op->reg = rd;
1853 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001854
1855 case 982: /* icbi */
1856 op->type = MKOP(CACHEOP, ICBI, 0);
1857 op->ea = xform_ea(instr, regs);
1858 return 0;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10001859
1860 case 1014: /* dcbz */
1861 op->type = MKOP(CACHEOP, DCBZ, 0);
1862 op->ea = xform_ea(instr, regs);
1863 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001864 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001865 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001866 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001867
Paul Mackerras350779a2017-08-30 14:12:27 +10001868/*
1869 * Loads and stores.
1870 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001871 op->type = UNKNOWN;
1872 op->update_reg = ra;
1873 op->reg = rd;
1874 op->val = regs->gpr[rd];
1875 u = (instr >> 20) & UPDATE;
Paul Mackerras350779a2017-08-30 14:12:27 +10001876 op->vsx_flags = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001877
1878 switch (opcode) {
1879 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001880 u = instr & UPDATE;
1881 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001882 switch ((instr >> 1) & 0x3ff) {
1883 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001884 op->type = MKOP(LARX, 0, 4);
1885 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001886
1887 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001888 op->type = MKOP(STCX, 0, 4);
1889 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001890
1891#ifdef __powerpc64__
1892 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001893 op->type = MKOP(LARX, 0, 8);
1894 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001895
1896 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001897 op->type = MKOP(STCX, 0, 8);
1898 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001899
Paul Mackerras350779a2017-08-30 14:12:27 +10001900 case 52: /* lbarx */
1901 op->type = MKOP(LARX, 0, 1);
1902 break;
1903
1904 case 694: /* stbcx. */
1905 op->type = MKOP(STCX, 0, 1);
1906 break;
1907
1908 case 116: /* lharx */
1909 op->type = MKOP(LARX, 0, 2);
1910 break;
1911
1912 case 726: /* sthcx. */
1913 op->type = MKOP(STCX, 0, 2);
1914 break;
1915
1916 case 276: /* lqarx */
1917 if (!((rd & 1) || rd == ra || rd == rb))
1918 op->type = MKOP(LARX, 0, 16);
1919 break;
1920
1921 case 182: /* stqcx. */
1922 if (!(rd & 1))
1923 op->type = MKOP(STCX, 0, 16);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001924 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001925#endif
1926
1927 case 23: /* lwzx */
1928 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001929 op->type = MKOP(LOAD, u, 4);
1930 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001931
1932 case 87: /* lbzx */
1933 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001934 op->type = MKOP(LOAD, u, 1);
1935 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001936
1937#ifdef CONFIG_ALTIVEC
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001938 /*
1939 * Note: for the load/store vector element instructions,
1940 * bits of the EA say which field of the VMX register to use.
1941 */
1942 case 7: /* lvebx */
1943 op->type = MKOP(LOAD_VMX, 0, 1);
1944 op->element_size = 1;
1945 break;
1946
1947 case 39: /* lvehx */
1948 op->type = MKOP(LOAD_VMX, 0, 2);
1949 op->element_size = 2;
1950 break;
1951
1952 case 71: /* lvewx */
1953 op->type = MKOP(LOAD_VMX, 0, 4);
1954 op->element_size = 4;
1955 break;
1956
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001957 case 103: /* lvx */
1958 case 359: /* lvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001959 op->type = MKOP(LOAD_VMX, 0, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +10001960 op->element_size = 16;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001961 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001962
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001963 case 135: /* stvebx */
1964 op->type = MKOP(STORE_VMX, 0, 1);
1965 op->element_size = 1;
1966 break;
1967
1968 case 167: /* stvehx */
1969 op->type = MKOP(STORE_VMX, 0, 2);
1970 op->element_size = 2;
1971 break;
1972
1973 case 199: /* stvewx */
1974 op->type = MKOP(STORE_VMX, 0, 4);
1975 op->element_size = 4;
1976 break;
1977
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001978 case 231: /* stvx */
1979 case 487: /* stvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001980 op->type = MKOP(STORE_VMX, 0, 16);
1981 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001982#endif /* CONFIG_ALTIVEC */
1983
1984#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10001985 case 21: /* ldx */
1986 case 53: /* ldux */
1987 op->type = MKOP(LOAD, u, 8);
1988 break;
1989
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001990 case 149: /* stdx */
1991 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001992 op->type = MKOP(STORE, u, 8);
1993 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001994#endif
1995
1996 case 151: /* stwx */
1997 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001998 op->type = MKOP(STORE, u, 4);
1999 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002000
2001 case 215: /* stbx */
2002 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002003 op->type = MKOP(STORE, u, 1);
2004 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002005
2006 case 279: /* lhzx */
2007 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002008 op->type = MKOP(LOAD, u, 2);
2009 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002010
2011#ifdef __powerpc64__
2012 case 341: /* lwax */
2013 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002014 op->type = MKOP(LOAD, SIGNEXT | u, 4);
2015 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002016#endif
2017
2018 case 343: /* lhax */
2019 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002020 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2021 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002022
2023 case 407: /* sthx */
2024 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002025 op->type = MKOP(STORE, u, 2);
2026 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002027
2028#ifdef __powerpc64__
2029 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002030 op->type = MKOP(LOAD, BYTEREV, 8);
2031 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002032
2033#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002034 case 533: /* lswx */
2035 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
2036 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002037
2038 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002039 op->type = MKOP(LOAD, BYTEREV, 4);
2040 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002041
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002042 case 597: /* lswi */
2043 if (rb == 0)
2044 rb = 32; /* # bytes to load */
2045 op->type = MKOP(LOAD_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002046 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002047 break;
2048
Paul Bolleb69a1da2014-05-20 21:59:42 +02002049#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002050 case 535: /* lfsx */
2051 case 567: /* lfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002052 op->type = MKOP(LOAD_FP, u, 4);
2053 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002054
2055 case 599: /* lfdx */
2056 case 631: /* lfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002057 op->type = MKOP(LOAD_FP, u, 8);
2058 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002059
2060 case 663: /* stfsx */
2061 case 695: /* stfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002062 op->type = MKOP(STORE_FP, u, 4);
2063 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002064
2065 case 727: /* stfdx */
2066 case 759: /* stfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002067 op->type = MKOP(STORE_FP, u, 8);
2068 break;
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002069
2070#ifdef __powerpc64__
2071 case 791: /* lfdpx */
2072 op->type = MKOP(LOAD_FP, 0, 16);
2073 break;
2074
2075 case 919: /* stfdpx */
2076 op->type = MKOP(STORE_FP, 0, 16);
2077 break;
2078#endif /* __powerpc64 */
2079#endif /* CONFIG_PPC_FPU */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002080
2081#ifdef __powerpc64__
2082 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002083 op->type = MKOP(STORE, BYTEREV, 8);
2084 op->val = byterev_8(regs->gpr[rd]);
2085 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002086
2087#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002088 case 661: /* stswx */
2089 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
2090 break;
2091
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002092 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002093 op->type = MKOP(STORE, BYTEREV, 4);
2094 op->val = byterev_4(regs->gpr[rd]);
2095 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002096
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002097 case 725: /* stswi */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002098 if (rb == 0)
2099 rb = 32; /* # bytes to store */
2100 op->type = MKOP(STORE_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002101 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002102 break;
2103
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002104 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002105 op->type = MKOP(LOAD, BYTEREV, 2);
2106 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002107
2108 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002109 op->type = MKOP(STORE, BYTEREV, 2);
2110 op->val = byterev_2(regs->gpr[rd]);
2111 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002112
2113#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002114 case 12: /* lxsiwzx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002115 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002116 op->type = MKOP(LOAD_VSX, 0, 4);
2117 op->element_size = 8;
2118 break;
2119
2120 case 76: /* lxsiwax */
2121 op->reg = rd | ((instr & 1) << 5);
2122 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
2123 op->element_size = 8;
2124 break;
2125
2126 case 140: /* stxsiwx */
2127 op->reg = rd | ((instr & 1) << 5);
2128 op->type = MKOP(STORE_VSX, 0, 4);
2129 op->element_size = 8;
2130 break;
2131
2132 case 268: /* lxvx */
2133 op->reg = rd | ((instr & 1) << 5);
2134 op->type = MKOP(LOAD_VSX, 0, 16);
2135 op->element_size = 16;
2136 op->vsx_flags = VSX_CHECK_VEC;
2137 break;
2138
2139 case 269: /* lxvl */
2140 case 301: { /* lxvll */
2141 int nb;
2142 op->reg = rd | ((instr & 1) << 5);
2143 op->ea = ra ? regs->gpr[ra] : 0;
2144 nb = regs->gpr[rb] & 0xff;
2145 if (nb > 16)
2146 nb = 16;
2147 op->type = MKOP(LOAD_VSX, 0, nb);
2148 op->element_size = 16;
2149 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2150 VSX_CHECK_VEC;
2151 break;
2152 }
2153 case 332: /* lxvdsx */
2154 op->reg = rd | ((instr & 1) << 5);
2155 op->type = MKOP(LOAD_VSX, 0, 8);
2156 op->element_size = 8;
2157 op->vsx_flags = VSX_SPLAT;
2158 break;
2159
2160 case 364: /* lxvwsx */
2161 op->reg = rd | ((instr & 1) << 5);
2162 op->type = MKOP(LOAD_VSX, 0, 4);
2163 op->element_size = 4;
2164 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
2165 break;
2166
2167 case 396: /* stxvx */
2168 op->reg = rd | ((instr & 1) << 5);
2169 op->type = MKOP(STORE_VSX, 0, 16);
2170 op->element_size = 16;
2171 op->vsx_flags = VSX_CHECK_VEC;
2172 break;
2173
2174 case 397: /* stxvl */
2175 case 429: { /* stxvll */
2176 int nb;
2177 op->reg = rd | ((instr & 1) << 5);
2178 op->ea = ra ? regs->gpr[ra] : 0;
2179 nb = regs->gpr[rb] & 0xff;
2180 if (nb > 16)
2181 nb = 16;
2182 op->type = MKOP(STORE_VSX, 0, nb);
2183 op->element_size = 16;
2184 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2185 VSX_CHECK_VEC;
2186 break;
2187 }
2188 case 524: /* lxsspx */
2189 op->reg = rd | ((instr & 1) << 5);
2190 op->type = MKOP(LOAD_VSX, 0, 4);
2191 op->element_size = 8;
2192 op->vsx_flags = VSX_FPCONV;
2193 break;
2194
2195 case 588: /* lxsdx */
2196 op->reg = rd | ((instr & 1) << 5);
2197 op->type = MKOP(LOAD_VSX, 0, 8);
2198 op->element_size = 8;
2199 break;
2200
2201 case 652: /* stxsspx */
2202 op->reg = rd | ((instr & 1) << 5);
2203 op->type = MKOP(STORE_VSX, 0, 4);
2204 op->element_size = 8;
2205 op->vsx_flags = VSX_FPCONV;
2206 break;
2207
2208 case 716: /* stxsdx */
2209 op->reg = rd | ((instr & 1) << 5);
2210 op->type = MKOP(STORE_VSX, 0, 8);
2211 op->element_size = 8;
2212 break;
2213
2214 case 780: /* lxvw4x */
2215 op->reg = rd | ((instr & 1) << 5);
2216 op->type = MKOP(LOAD_VSX, 0, 16);
2217 op->element_size = 4;
2218 break;
2219
2220 case 781: /* lxsibzx */
2221 op->reg = rd | ((instr & 1) << 5);
2222 op->type = MKOP(LOAD_VSX, 0, 1);
2223 op->element_size = 8;
2224 op->vsx_flags = VSX_CHECK_VEC;
2225 break;
2226
2227 case 812: /* lxvh8x */
2228 op->reg = rd | ((instr & 1) << 5);
2229 op->type = MKOP(LOAD_VSX, 0, 16);
2230 op->element_size = 2;
2231 op->vsx_flags = VSX_CHECK_VEC;
2232 break;
2233
2234 case 813: /* lxsihzx */
2235 op->reg = rd | ((instr & 1) << 5);
2236 op->type = MKOP(LOAD_VSX, 0, 2);
2237 op->element_size = 8;
2238 op->vsx_flags = VSX_CHECK_VEC;
2239 break;
2240
2241 case 844: /* lxvd2x */
2242 op->reg = rd | ((instr & 1) << 5);
2243 op->type = MKOP(LOAD_VSX, 0, 16);
2244 op->element_size = 8;
2245 break;
2246
2247 case 876: /* lxvb16x */
2248 op->reg = rd | ((instr & 1) << 5);
2249 op->type = MKOP(LOAD_VSX, 0, 16);
2250 op->element_size = 1;
2251 op->vsx_flags = VSX_CHECK_VEC;
2252 break;
2253
2254 case 908: /* stxvw4x */
2255 op->reg = rd | ((instr & 1) << 5);
2256 op->type = MKOP(STORE_VSX, 0, 16);
2257 op->element_size = 4;
2258 break;
2259
2260 case 909: /* stxsibx */
2261 op->reg = rd | ((instr & 1) << 5);
2262 op->type = MKOP(STORE_VSX, 0, 1);
2263 op->element_size = 8;
2264 op->vsx_flags = VSX_CHECK_VEC;
2265 break;
2266
2267 case 940: /* stxvh8x */
2268 op->reg = rd | ((instr & 1) << 5);
2269 op->type = MKOP(STORE_VSX, 0, 16);
2270 op->element_size = 2;
2271 op->vsx_flags = VSX_CHECK_VEC;
2272 break;
2273
2274 case 941: /* stxsihx */
2275 op->reg = rd | ((instr & 1) << 5);
2276 op->type = MKOP(STORE_VSX, 0, 2);
2277 op->element_size = 8;
2278 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002279 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002280
2281 case 972: /* stxvd2x */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002282 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002283 op->type = MKOP(STORE_VSX, 0, 16);
2284 op->element_size = 8;
2285 break;
2286
2287 case 1004: /* stxvb16x */
2288 op->reg = rd | ((instr & 1) << 5);
2289 op->type = MKOP(STORE_VSX, 0, 16);
2290 op->element_size = 1;
2291 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002292 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002293
2294#endif /* CONFIG_VSX */
2295 }
2296 break;
2297
2298 case 32: /* lwz */
2299 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002300 op->type = MKOP(LOAD, u, 4);
2301 op->ea = dform_ea(instr, regs);
2302 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002303
2304 case 34: /* lbz */
2305 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002306 op->type = MKOP(LOAD, u, 1);
2307 op->ea = dform_ea(instr, regs);
2308 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002309
2310 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002311 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002312 op->type = MKOP(STORE, u, 4);
2313 op->ea = dform_ea(instr, regs);
2314 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002315
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002316 case 38: /* stb */
2317 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002318 op->type = MKOP(STORE, u, 1);
2319 op->ea = dform_ea(instr, regs);
2320 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002321
2322 case 40: /* lhz */
2323 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002324 op->type = MKOP(LOAD, u, 2);
2325 op->ea = dform_ea(instr, regs);
2326 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002327
2328 case 42: /* lha */
2329 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002330 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2331 op->ea = dform_ea(instr, regs);
2332 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002333
2334 case 44: /* sth */
2335 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002336 op->type = MKOP(STORE, u, 2);
2337 op->ea = dform_ea(instr, regs);
2338 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002339
2340 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002341 if (ra >= rd)
2342 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002343 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002344 op->ea = dform_ea(instr, regs);
2345 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002346
2347 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002348 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002349 op->ea = dform_ea(instr, regs);
2350 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002351
Sean MacLennancd64d162010-09-01 07:21:21 +00002352#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002353 case 48: /* lfs */
2354 case 49: /* lfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002355 op->type = MKOP(LOAD_FP, u, 4);
2356 op->ea = dform_ea(instr, regs);
2357 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002358
2359 case 50: /* lfd */
2360 case 51: /* lfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002361 op->type = MKOP(LOAD_FP, u, 8);
2362 op->ea = dform_ea(instr, regs);
2363 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002364
2365 case 52: /* stfs */
2366 case 53: /* stfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002367 op->type = MKOP(STORE_FP, u, 4);
2368 op->ea = dform_ea(instr, regs);
2369 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002370
2371 case 54: /* stfd */
2372 case 55: /* stfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002373 op->type = MKOP(STORE_FP, u, 8);
2374 op->ea = dform_ea(instr, regs);
2375 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00002376#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002377
2378#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002379 case 56: /* lq */
2380 if (!((rd & 1) || (rd == ra)))
2381 op->type = MKOP(LOAD, 0, 16);
2382 op->ea = dqform_ea(instr, regs);
2383 break;
2384#endif
2385
2386#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002387 case 57: /* lfdp, lxsd, lxssp */
Paul Mackerras350779a2017-08-30 14:12:27 +10002388 op->ea = dsform_ea(instr, regs);
2389 switch (instr & 3) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002390 case 0: /* lfdp */
2391 if (rd & 1)
2392 break; /* reg must be even */
2393 op->type = MKOP(LOAD_FP, 0, 16);
2394 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002395 case 2: /* lxsd */
2396 op->reg = rd + 32;
2397 op->type = MKOP(LOAD_VSX, 0, 8);
2398 op->element_size = 8;
2399 op->vsx_flags = VSX_CHECK_VEC;
2400 break;
2401 case 3: /* lxssp */
2402 op->reg = rd + 32;
2403 op->type = MKOP(LOAD_VSX, 0, 4);
2404 op->element_size = 8;
2405 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2406 break;
2407 }
2408 break;
2409#endif /* CONFIG_VSX */
2410
2411#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002412 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002413 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002414 switch (instr & 3) {
2415 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002416 op->type = MKOP(LOAD, 0, 8);
2417 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002418 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002419 op->type = MKOP(LOAD, UPDATE, 8);
2420 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002421 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002422 op->type = MKOP(LOAD, SIGNEXT, 4);
2423 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002424 }
2425 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002426#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002427
Paul Mackerras350779a2017-08-30 14:12:27 +10002428#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002429 case 61: /* stfdp, lxv, stxsd, stxssp, stxv */
Paul Mackerras350779a2017-08-30 14:12:27 +10002430 switch (instr & 7) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002431 case 0: /* stfdp with LSB of DS field = 0 */
2432 case 4: /* stfdp with LSB of DS field = 1 */
2433 op->ea = dsform_ea(instr, regs);
2434 op->type = MKOP(STORE_FP, 0, 16);
2435 break;
2436
Paul Mackerras350779a2017-08-30 14:12:27 +10002437 case 1: /* lxv */
2438 op->ea = dqform_ea(instr, regs);
2439 if (instr & 8)
2440 op->reg = rd + 32;
2441 op->type = MKOP(LOAD_VSX, 0, 16);
2442 op->element_size = 16;
2443 op->vsx_flags = VSX_CHECK_VEC;
2444 break;
2445
2446 case 2: /* stxsd with LSB of DS field = 0 */
2447 case 6: /* stxsd with LSB of DS field = 1 */
2448 op->ea = dsform_ea(instr, regs);
2449 op->reg = rd + 32;
2450 op->type = MKOP(STORE_VSX, 0, 8);
2451 op->element_size = 8;
2452 op->vsx_flags = VSX_CHECK_VEC;
2453 break;
2454
2455 case 3: /* stxssp with LSB of DS field = 0 */
2456 case 7: /* stxssp with LSB of DS field = 1 */
2457 op->ea = dsform_ea(instr, regs);
2458 op->reg = rd + 32;
2459 op->type = MKOP(STORE_VSX, 0, 4);
2460 op->element_size = 8;
2461 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2462 break;
2463
2464 case 5: /* stxv */
2465 op->ea = dqform_ea(instr, regs);
2466 if (instr & 8)
2467 op->reg = rd + 32;
2468 op->type = MKOP(STORE_VSX, 0, 16);
2469 op->element_size = 16;
2470 op->vsx_flags = VSX_CHECK_VEC;
2471 break;
2472 }
2473 break;
2474#endif /* CONFIG_VSX */
2475
2476#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002477 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002478 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002479 switch (instr & 3) {
2480 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002481 op->type = MKOP(STORE, 0, 8);
2482 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002483 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002484 op->type = MKOP(STORE, UPDATE, 8);
2485 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002486 case 2: /* stq */
2487 if (!(rd & 1))
2488 op->type = MKOP(STORE, 0, 16);
2489 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002490 }
2491 break;
2492#endif /* __powerpc64__ */
2493
2494 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002495 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002496
2497 logical_done:
2498 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002499 set_cr0(regs, op, ra);
2500 logical_done_nocc:
2501 op->reg = ra;
2502 op->type |= SETREG;
2503 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002504
2505 arith_done:
2506 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002507 set_cr0(regs, op, rd);
2508 compute_done:
2509 op->reg = rd;
2510 op->type |= SETREG;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002511 return 1;
2512
2513 priv:
2514 op->type = INTERRUPT | 0x700;
2515 op->val = SRR1_PROGPRIV;
2516 return 0;
2517
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002518 trap:
2519 op->type = INTERRUPT | 0x700;
2520 op->val = SRR1_PROGTRAP;
2521 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002522}
2523EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302524NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002525
2526/*
2527 * For PPC32 we always use stwu with r1 to change the stack pointer.
2528 * So this emulated store may corrupt the exception frame, now we
2529 * have to provide the exception frame trampoline, which is pushed
2530 * below the kprobed function stack. So we only update gpr[1] but
2531 * don't emulate the real store operation. We will do real store
2532 * operation safely in exception return code by checking this flag.
2533 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302534static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002535{
2536#ifdef CONFIG_PPC32
2537 /*
2538 * Check if we will touch kernel stack overflow
2539 */
2540 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2541 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2542 return -EINVAL;
2543 }
2544#endif /* CONFIG_PPC32 */
2545 /*
2546 * Check if we already set since that means we'll
2547 * lose the previous value.
2548 */
2549 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2550 set_thread_flag(TIF_EMULATE_STACK_STORE);
2551 return 0;
2552}
2553
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302554static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002555{
2556 switch (size) {
2557 case 2:
2558 *valp = (signed short) *valp;
2559 break;
2560 case 4:
2561 *valp = (signed int) *valp;
2562 break;
2563 }
2564}
2565
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302566static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002567{
2568 switch (size) {
2569 case 2:
2570 *valp = byterev_2(*valp);
2571 break;
2572 case 4:
2573 *valp = byterev_4(*valp);
2574 break;
2575#ifdef __powerpc64__
2576 case 8:
2577 *valp = byterev_8(*valp);
2578 break;
2579#endif
2580 }
2581}
2582
2583/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002584 * Emulate an instruction that can be executed just by updating
2585 * fields in *regs.
2586 */
2587void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2588{
2589 unsigned long next_pc;
2590
2591 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2592 switch (op->type & INSTR_TYPE_MASK) {
2593 case COMPUTE:
2594 if (op->type & SETREG)
2595 regs->gpr[op->reg] = op->val;
2596 if (op->type & SETCC)
2597 regs->ccr = op->ccval;
2598 if (op->type & SETXER)
2599 regs->xer = op->xerval;
2600 break;
2601
2602 case BRANCH:
2603 if (op->type & SETLK)
2604 regs->link = next_pc;
2605 if (op->type & BRTAKEN)
2606 next_pc = op->val;
2607 if (op->type & DECCTR)
2608 --regs->ctr;
2609 break;
2610
2611 case BARRIER:
2612 switch (op->type & BARRIER_MASK) {
2613 case BARRIER_SYNC:
2614 mb();
2615 break;
2616 case BARRIER_ISYNC:
2617 isync();
2618 break;
2619 case BARRIER_EIEIO:
2620 eieio();
2621 break;
2622 case BARRIER_LWSYNC:
2623 asm volatile("lwsync" : : : "memory");
2624 break;
2625 case BARRIER_PTESYNC:
2626 asm volatile("ptesync" : : : "memory");
2627 break;
2628 }
2629 break;
2630
2631 case MFSPR:
2632 switch (op->spr) {
2633 case SPRN_XER:
2634 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2635 break;
2636 case SPRN_LR:
2637 regs->gpr[op->reg] = regs->link;
2638 break;
2639 case SPRN_CTR:
2640 regs->gpr[op->reg] = regs->ctr;
2641 break;
2642 default:
2643 WARN_ON_ONCE(1);
2644 }
2645 break;
2646
2647 case MTSPR:
2648 switch (op->spr) {
2649 case SPRN_XER:
2650 regs->xer = op->val & 0xffffffffUL;
2651 break;
2652 case SPRN_LR:
2653 regs->link = op->val;
2654 break;
2655 case SPRN_CTR:
2656 regs->ctr = op->val;
2657 break;
2658 default:
2659 WARN_ON_ONCE(1);
2660 }
2661 break;
2662
2663 default:
2664 WARN_ON_ONCE(1);
2665 }
2666 regs->nip = next_pc;
2667}
2668
2669/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002670 * Emulate instructions that cause a transfer of control,
2671 * loads and stores, and a few other instructions.
2672 * Returns 1 if the step was emulated, 0 if not,
2673 * or -1 if the instruction is one that should not be stepped,
2674 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2675 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302676int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002677{
2678 struct instruction_op op;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002679 int r, err, size, type;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002680 unsigned long val;
2681 unsigned int cr;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002682 int i, rd, nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002683 unsigned long ea;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002684 bool cross_endian;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002685
2686 r = analyse_instr(&op, regs, instr);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002687 if (r < 0)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002688 return r;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002689 if (r > 0) {
2690 emulate_update_regs(regs, &op);
2691 return 1;
2692 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002693
2694 err = 0;
2695 size = GETSIZE(op.type);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002696 type = op.type & INSTR_TYPE_MASK;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002697 cross_endian = (regs->msr & MSR_LE) != (MSR_KERNEL & MSR_LE);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002698
2699 ea = op.ea;
2700 if (OP_IS_LOAD_STORE(type) || type == CACHEOP)
2701 ea = truncate_if_32bit(regs->msr, op.ea);
2702
2703 switch (type) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002704 case CACHEOP:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002705 if (!address_ok(regs, ea, 8))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002706 return 0;
2707 switch (op.type & CACHEOP_MASK) {
2708 case DCBST:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002709 __cacheop_user_asmx(ea, err, "dcbst");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002710 break;
2711 case DCBF:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002712 __cacheop_user_asmx(ea, err, "dcbf");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002713 break;
2714 case DCBTST:
2715 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002716 prefetchw((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002717 break;
2718 case DCBT:
2719 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002720 prefetch((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002721 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002722 case ICBI:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002723 __cacheop_user_asmx(ea, err, "icbi");
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002724 break;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10002725 case DCBZ:
2726 err = emulate_dcbz(ea, regs);
2727 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002728 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10002729 if (err) {
2730 regs->dar = ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002731 return 0;
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10002732 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002733 goto instr_done;
2734
2735 case LARX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002736 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002737 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002738 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002739 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002740 err = 0;
2741 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002742#ifdef __powerpc64__
2743 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002744 __get_user_asmx(val, ea, err, "lbarx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002745 break;
2746 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002747 __get_user_asmx(val, ea, err, "lharx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002748 break;
2749#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002750 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002751 __get_user_asmx(val, ea, err, "lwarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002752 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002753#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002754 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002755 __get_user_asmx(val, ea, err, "ldarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002756 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002757 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002758 err = do_lqarx(ea, &regs->gpr[op.reg]);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10002759 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002760#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002761 default:
2762 return 0;
2763 }
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10002764 if (err) {
2765 regs->dar = ea;
2766 return 0;
2767 }
2768 if (size < 16)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002769 regs->gpr[op.reg] = val;
2770 goto ldst_done;
2771
2772 case STCX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002773 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002774 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002775 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002776 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002777 err = 0;
2778 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002779#ifdef __powerpc64__
2780 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002781 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002782 break;
2783 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002784 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002785 break;
2786#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002787 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002788 __put_user_asmx(op.val, ea, err, "stwcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002789 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002790#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002791 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002792 __put_user_asmx(op.val, ea, err, "stdcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002793 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002794 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002795 err = do_stqcx(ea, regs->gpr[op.reg],
Paul Mackerras350779a2017-08-30 14:12:27 +10002796 regs->gpr[op.reg + 1], &cr);
2797 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002798#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002799 default:
2800 return 0;
2801 }
2802 if (!err)
2803 regs->ccr = (regs->ccr & 0x0fffffff) |
2804 (cr & 0xe0000000) |
2805 ((regs->xer >> 3) & 0x10000000);
Paul Mackerrasb9da9c82017-08-30 14:12:37 +10002806 else
2807 regs->dar = ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002808 goto ldst_done;
2809
2810 case LOAD:
Paul Mackerras350779a2017-08-30 14:12:27 +10002811#ifdef __powerpc64__
2812 if (size == 16) {
Paul Mackerrasd9551892017-08-30 14:12:38 +10002813 err = emulate_lq(regs, ea, op.reg, cross_endian);
Paul Mackerras350779a2017-08-30 14:12:27 +10002814 goto ldst_done;
2815 }
2816#endif
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002817 err = read_mem(&regs->gpr[op.reg], ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002818 if (!err) {
2819 if (op.type & SIGNEXT)
2820 do_signext(&regs->gpr[op.reg], size);
Paul Mackerrasd9551892017-08-30 14:12:38 +10002821 if ((op.type & BYTEREV) == (cross_endian ? 0 : BYTEREV))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002822 do_byterev(&regs->gpr[op.reg], size);
2823 }
2824 goto ldst_done;
2825
Paul Mackerras7048c842014-11-03 15:46:43 +11002826#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002827 case LOAD_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002828 /*
2829 * If the instruction is in userspace, we can emulate it even
2830 * if the VMX state is not live, because we have the state
2831 * stored in the thread_struct. If the instruction is in
2832 * the kernel, we must not touch the state in the thread_struct.
2833 */
2834 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002835 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002836 err = do_fp_load(op.reg, ea, size, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002837 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002838#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002839#ifdef CONFIG_ALTIVEC
2840 case LOAD_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002841 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002842 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002843 err = do_vec_load(op.reg, ea, size, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002844 goto ldst_done;
2845#endif
2846#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002847 case LOAD_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002848 unsigned long msrbit = MSR_VSX;
2849
2850 /*
2851 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2852 * when the target of the instruction is a vector register.
2853 */
2854 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2855 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002856 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002857 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002858 err = do_vsx_load(&op, ea, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002859 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002860 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002861#endif
2862 case LOAD_MULTI:
Paul Mackerrasd9551892017-08-30 14:12:38 +10002863 if (!address_ok(regs, ea, size))
2864 return -EFAULT;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002865 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002866 for (i = 0; i < size; i += 4) {
Paul Mackerrasd9551892017-08-30 14:12:38 +10002867 unsigned int v32 = 0;
2868
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002869 nb = size - i;
2870 if (nb > 4)
2871 nb = 4;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002872 err = copy_mem_in((u8 *) &v32, ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002873 if (err)
2874 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002875 if (unlikely(cross_endian))
2876 v32 = byterev_4(v32);
2877 regs->gpr[rd] = v32;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002878 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002879 ++rd;
2880 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002881 goto instr_done;
2882
2883 case STORE:
Paul Mackerras350779a2017-08-30 14:12:27 +10002884#ifdef __powerpc64__
2885 if (size == 16) {
Paul Mackerrasd9551892017-08-30 14:12:38 +10002886 err = emulate_stq(regs, ea, op.reg, cross_endian);
Paul Mackerras350779a2017-08-30 14:12:27 +10002887 goto ldst_done;
2888 }
2889#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002890 if ((op.type & UPDATE) && size == sizeof(long) &&
2891 op.reg == 1 && op.update_reg == 1 &&
2892 !(regs->msr & MSR_PR) &&
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002893 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2894 err = handle_stack_update(ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002895 goto ldst_done;
2896 }
Paul Mackerrasd9551892017-08-30 14:12:38 +10002897 if (unlikely(cross_endian))
2898 do_byterev(&op.val, size);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002899 err = write_mem(op.val, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002900 goto ldst_done;
2901
Paul Mackerras7048c842014-11-03 15:46:43 +11002902#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002903 case STORE_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002904 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002905 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002906 err = do_fp_store(op.reg, ea, size, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002907 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002908#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002909#ifdef CONFIG_ALTIVEC
2910 case STORE_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002911 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002912 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002913 err = do_vec_store(op.reg, ea, size, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002914 goto ldst_done;
2915#endif
2916#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002917 case STORE_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002918 unsigned long msrbit = MSR_VSX;
2919
2920 /*
2921 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2922 * when the target of the instruction is a vector register.
2923 */
2924 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2925 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002926 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002927 return 0;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002928 err = do_vsx_store(&op, ea, regs, cross_endian);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002929 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002930 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002931#endif
2932 case STORE_MULTI:
Paul Mackerrasd9551892017-08-30 14:12:38 +10002933 if (!address_ok(regs, ea, size))
2934 return -EFAULT;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002935 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002936 for (i = 0; i < size; i += 4) {
Paul Mackerrasd9551892017-08-30 14:12:38 +10002937 unsigned int v32 = regs->gpr[rd];
2938
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002939 nb = size - i;
2940 if (nb > 4)
2941 nb = 4;
Paul Mackerrasd9551892017-08-30 14:12:38 +10002942 if (unlikely(cross_endian))
2943 v32 = byterev_4(v32);
2944 err = copy_mem_out((u8 *) &v32, ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002945 if (err)
2946 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002947 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002948 ++rd;
2949 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002950 goto instr_done;
2951
2952 case MFMSR:
2953 regs->gpr[op.reg] = regs->msr & MSR_MASK;
2954 goto instr_done;
2955
2956 case MTMSR:
2957 val = regs->gpr[op.reg];
2958 if ((val & MSR_RI) == 0)
2959 /* can't step mtmsr[d] that would clear MSR_RI */
2960 return -1;
2961 /* here op.val is the mask of bits to change */
2962 regs->msr = (regs->msr & ~op.val) | (val & op.val);
2963 goto instr_done;
2964
2965#ifdef CONFIG_PPC64
2966 case SYSCALL: /* sc */
2967 /*
2968 * N.B. this uses knowledge about how the syscall
2969 * entry code works. If that is changed, this will
2970 * need to be changed also.
2971 */
2972 if (regs->gpr[0] == 0x1ebe &&
2973 cpu_has_feature(CPU_FTR_REAL_LE)) {
2974 regs->msr ^= MSR_LE;
2975 goto instr_done;
2976 }
2977 regs->gpr[9] = regs->gpr[13];
2978 regs->gpr[10] = MSR_KERNEL;
2979 regs->gpr[11] = regs->nip + 4;
2980 regs->gpr[12] = regs->msr & MSR_MASK;
2981 regs->gpr[13] = (unsigned long) get_paca();
2982 regs->nip = (unsigned long) &system_call_common;
2983 regs->msr = MSR_KERNEL;
2984 return 1;
2985
2986 case RFI:
2987 return -1;
2988#endif
2989 }
2990 return 0;
2991
2992 ldst_done:
2993 if (err)
2994 return 0;
2995 if (op.type & UPDATE)
2996 regs->gpr[op.update_reg] = op.ea;
2997
2998 instr_done:
2999 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
3000 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10003001}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05303002NOKPROBE_SYMBOL(emulate_step);