blob: 0de41f29e0b06a90afccbbd2bf78bd44fdc4df82 [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
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530106static nokprobe_inline long address_ok(struct pt_regs *regs, unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000107{
108 if (!user_mode(regs))
109 return 1;
110 return __access_ok(ea, nb, USER_DS);
111}
112
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000113/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000114 * Calculate effective address for a D-form instruction
115 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000116static nokprobe_inline unsigned long dform_ea(unsigned int instr,
117 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000118{
119 int ra;
120 unsigned long ea;
121
122 ra = (instr >> 16) & 0x1f;
123 ea = (signed short) instr; /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000124 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000125 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000126
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000127 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000128}
129
130#ifdef __powerpc64__
131/*
132 * Calculate effective address for a DS-form instruction
133 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000134static nokprobe_inline unsigned long dsform_ea(unsigned int instr,
135 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000136{
137 int ra;
138 unsigned long ea;
139
140 ra = (instr >> 16) & 0x1f;
141 ea = (signed short) (instr & ~3); /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000142 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000143 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000144
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000145 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000146}
Paul Mackerras350779a2017-08-30 14:12:27 +1000147
148/*
149 * Calculate effective address for a DQ-form instruction
150 */
151static nokprobe_inline unsigned long dqform_ea(unsigned int instr,
152 const struct pt_regs *regs)
153{
154 int ra;
155 unsigned long ea;
156
157 ra = (instr >> 16) & 0x1f;
158 ea = (signed short) (instr & ~0xf); /* sign-extend */
159 if (ra)
160 ea += regs->gpr[ra];
161
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000162 return ea;
Paul Mackerras350779a2017-08-30 14:12:27 +1000163}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000164#endif /* __powerpc64 */
165
166/*
167 * Calculate effective address for an X-form instruction
168 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530169static nokprobe_inline unsigned long xform_ea(unsigned int instr,
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000170 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000171{
172 int ra, rb;
173 unsigned long ea;
174
175 ra = (instr >> 16) & 0x1f;
176 rb = (instr >> 11) & 0x1f;
177 ea = regs->gpr[rb];
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000178 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000179 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000180
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000181 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000182}
183
184/*
185 * Return the largest power of 2, not greater than sizeof(unsigned long),
186 * such that x is a multiple of it.
187 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530188static nokprobe_inline unsigned long max_align(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000189{
190 x |= sizeof(unsigned long);
191 return x & -x; /* isolates rightmost bit */
192}
193
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530194static nokprobe_inline unsigned long byterev_2(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000195{
196 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
197}
198
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530199static nokprobe_inline unsigned long byterev_4(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000200{
201 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
202 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
203}
204
205#ifdef __powerpc64__
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530206static nokprobe_inline unsigned long byterev_8(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000207{
208 return (byterev_4(x) << 32) | byterev_4(x >> 32);
209}
210#endif
211
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530212static nokprobe_inline int read_mem_aligned(unsigned long *dest,
213 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000214{
215 int err = 0;
216 unsigned long x = 0;
217
218 switch (nb) {
219 case 1:
220 err = __get_user(x, (unsigned char __user *) ea);
221 break;
222 case 2:
223 err = __get_user(x, (unsigned short __user *) ea);
224 break;
225 case 4:
226 err = __get_user(x, (unsigned int __user *) ea);
227 break;
228#ifdef __powerpc64__
229 case 8:
230 err = __get_user(x, (unsigned long __user *) ea);
231 break;
232#endif
233 }
234 if (!err)
235 *dest = x;
236 return err;
237}
238
Paul Mackerrase0a09862017-08-30 14:12:32 +1000239/*
240 * Copy from userspace to a buffer, using the largest possible
241 * aligned accesses, up to sizeof(long).
242 */
243static int nokprobe_inline copy_mem_in(u8 *dest, unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000244{
Paul Mackerrase0a09862017-08-30 14:12:32 +1000245 int err = 0;
246 int c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000247
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000248 for (; nb > 0; nb -= c) {
249 c = max_align(ea);
250 if (c > nb)
251 c = max_align(nb);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000252 switch (c) {
253 case 1:
254 err = __get_user(*dest, (unsigned char __user *) ea);
255 break;
256 case 2:
257 err = __get_user(*(u16 *)dest,
258 (unsigned short __user *) ea);
259 break;
260 case 4:
261 err = __get_user(*(u32 *)dest,
262 (unsigned int __user *) ea);
263 break;
264#ifdef __powerpc64__
265 case 8:
266 err = __get_user(*(unsigned long *)dest,
267 (unsigned long __user *) ea);
268 break;
269#endif
270 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000271 if (err)
272 return err;
Paul Mackerrase0a09862017-08-30 14:12:32 +1000273 dest += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000274 ea += c;
275 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000276 return 0;
277}
278
Paul Mackerrase0a09862017-08-30 14:12:32 +1000279static nokprobe_inline int read_mem_unaligned(unsigned long *dest,
280 unsigned long ea, int nb,
281 struct pt_regs *regs)
282{
283 union {
284 unsigned long ul;
285 u8 b[sizeof(unsigned long)];
286 } u;
287 int i;
288 int err;
289
290 u.ul = 0;
291 i = IS_BE ? sizeof(unsigned long) - nb : 0;
292 err = copy_mem_in(&u.b[i], ea, nb);
293 if (!err)
294 *dest = u.ul;
295 return err;
296}
297
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000298/*
299 * Read memory at address ea for nb bytes, return 0 for success
Paul Mackerrase0a09862017-08-30 14:12:32 +1000300 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
301 * If nb < sizeof(long), the result is right-justified on BE systems.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000302 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530303static int read_mem(unsigned long *dest, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000304 struct pt_regs *regs)
305{
306 if (!address_ok(regs, ea, nb))
307 return -EFAULT;
308 if ((ea & (nb - 1)) == 0)
309 return read_mem_aligned(dest, ea, nb);
310 return read_mem_unaligned(dest, ea, nb, regs);
311}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530312NOKPROBE_SYMBOL(read_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000313
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530314static nokprobe_inline int write_mem_aligned(unsigned long val,
315 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000316{
317 int err = 0;
318
319 switch (nb) {
320 case 1:
321 err = __put_user(val, (unsigned char __user *) ea);
322 break;
323 case 2:
324 err = __put_user(val, (unsigned short __user *) ea);
325 break;
326 case 4:
327 err = __put_user(val, (unsigned int __user *) ea);
328 break;
329#ifdef __powerpc64__
330 case 8:
331 err = __put_user(val, (unsigned long __user *) ea);
332 break;
333#endif
334 }
335 return err;
336}
337
Paul Mackerrase0a09862017-08-30 14:12:32 +1000338/*
339 * Copy from a buffer to userspace, using the largest possible
340 * aligned accesses, up to sizeof(long).
341 */
342static int nokprobe_inline copy_mem_out(u8 *dest, unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000343{
Paul Mackerrase0a09862017-08-30 14:12:32 +1000344 int err = 0;
345 int c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000346
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000347 for (; nb > 0; nb -= c) {
348 c = max_align(ea);
349 if (c > nb)
350 c = max_align(nb);
Paul Mackerrase0a09862017-08-30 14:12:32 +1000351 switch (c) {
352 case 1:
353 err = __put_user(*dest, (unsigned char __user *) ea);
354 break;
355 case 2:
356 err = __put_user(*(u16 *)dest,
357 (unsigned short __user *) ea);
358 break;
359 case 4:
360 err = __put_user(*(u32 *)dest,
361 (unsigned int __user *) ea);
362 break;
363#ifdef __powerpc64__
364 case 8:
365 err = __put_user(*(unsigned long *)dest,
366 (unsigned long __user *) ea);
367 break;
368#endif
369 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000370 if (err)
371 return err;
Paul Mackerrase0a09862017-08-30 14:12:32 +1000372 dest += c;
Tom Musta17e8de72013-08-22 09:25:28 -0500373 ea += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000374 }
375 return 0;
376}
377
Paul Mackerrase0a09862017-08-30 14:12:32 +1000378static nokprobe_inline int write_mem_unaligned(unsigned long val,
379 unsigned long ea, int nb,
380 struct pt_regs *regs)
381{
382 union {
383 unsigned long ul;
384 u8 b[sizeof(unsigned long)];
385 } u;
386 int i;
387
388 u.ul = val;
389 i = IS_BE ? sizeof(unsigned long) - nb : 0;
390 return copy_mem_out(&u.b[i], ea, nb);
391}
392
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000393/*
394 * Write memory at address ea for nb bytes, return 0 for success
Paul Mackerrase0a09862017-08-30 14:12:32 +1000395 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000396 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530397static int write_mem(unsigned long val, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000398 struct pt_regs *regs)
399{
400 if (!address_ok(regs, ea, nb))
401 return -EFAULT;
402 if ((ea & (nb - 1)) == 0)
403 return write_mem_aligned(val, ea, nb);
404 return write_mem_unaligned(val, ea, nb, regs);
405}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530406NOKPROBE_SYMBOL(write_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000407
Sean MacLennancd64d162010-09-01 07:21:21 +0000408#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000409/*
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000410 * These access either the real FP register or the image in the
411 * thread_struct, depending on regs->msr & MSR_FP.
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000412 */
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000413static int do_fp_load(int rn, unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000414{
415 int err;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000416 union {
417 float f;
418 double d;
419 unsigned long l;
420 u8 b[sizeof(double)];
421 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000422
423 if (!address_ok(regs, ea, nb))
424 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000425 err = copy_mem_in(u.b, ea, nb);
426 if (err)
427 return err;
428 preempt_disable();
429 if (nb == 4)
430 conv_sp_to_dp(&u.f, &u.d);
431 if (regs->msr & MSR_FP)
432 put_fpr(rn, &u.d);
433 else
434 current->thread.TS_FPR(rn) = u.l;
435 preempt_enable();
436 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000437}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530438NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000439
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000440static int do_fp_store(int rn, unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000441{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000442 union {
443 float f;
444 double d;
445 unsigned long l;
446 u8 b[sizeof(double)];
447 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000448
449 if (!address_ok(regs, ea, nb))
450 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000451 preempt_disable();
452 if (regs->msr & MSR_FP)
453 get_fpr(rn, &u.d);
454 else
455 u.l = current->thread.TS_FPR(rn);
456 if (nb == 4)
457 conv_dp_to_sp(&u.d, &u.f);
458 preempt_enable();
459 return copy_mem_out(u.b, ea, nb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000460}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530461NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000462#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000463
464#ifdef CONFIG_ALTIVEC
465/* For Altivec/VMX, no need to worry about alignment */
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000466static nokprobe_inline int do_vec_load(int rn, unsigned long ea,
467 int size, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000468{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000469 int err;
470 union {
471 __vector128 v;
472 u8 b[sizeof(__vector128)];
473 } u = {};
474
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000475 if (!address_ok(regs, ea & ~0xfUL, 16))
476 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000477 /* align to multiple of size */
478 ea &= ~(size - 1);
Paul Mackerrase61ccc72017-08-30 14:12:34 +1000479 err = copy_mem_in(&u.b[ea & 0xf], ea, size);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000480 if (err)
481 return err;
482
483 preempt_disable();
484 if (regs->msr & MSR_VEC)
485 put_vr(rn, &u.v);
486 else
487 current->thread.vr_state.vr[rn] = u.v;
488 preempt_enable();
489 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000490}
491
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000492static nokprobe_inline int do_vec_store(int rn, unsigned long ea,
493 int size, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000494{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000495 union {
496 __vector128 v;
497 u8 b[sizeof(__vector128)];
498 } u;
499
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000500 if (!address_ok(regs, ea & ~0xfUL, 16))
501 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000502 /* align to multiple of size */
503 ea &= ~(size - 1);
504
505 preempt_disable();
506 if (regs->msr & MSR_VEC)
507 get_vr(rn, &u.v);
508 else
509 u.v = current->thread.vr_state.vr[rn];
510 preempt_enable();
Paul Mackerrase61ccc72017-08-30 14:12:34 +1000511 return copy_mem_out(&u.b[ea & 0xf], ea, size);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000512}
513#endif /* CONFIG_ALTIVEC */
514
Paul Mackerras350779a2017-08-30 14:12:27 +1000515#ifdef __powerpc64__
516static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
517 int reg)
518{
519 int err;
520
521 if (!address_ok(regs, ea, 16))
522 return -EFAULT;
523 /* if aligned, should be atomic */
524 if ((ea & 0xf) == 0)
525 return do_lq(ea, &regs->gpr[reg]);
526
527 err = read_mem(&regs->gpr[reg + IS_LE], ea, 8, regs);
528 if (!err)
529 err = read_mem(&regs->gpr[reg + IS_BE], ea + 8, 8, regs);
530 return err;
531}
532
533static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
534 int reg)
535{
536 int err;
537
538 if (!address_ok(regs, ea, 16))
539 return -EFAULT;
540 /* if aligned, should be atomic */
541 if ((ea & 0xf) == 0)
542 return do_stq(ea, regs->gpr[reg], regs->gpr[reg + 1]);
543
544 err = write_mem(regs->gpr[reg + IS_LE], ea, 8, regs);
545 if (!err)
546 err = write_mem(regs->gpr[reg + IS_BE], ea + 8, 8, regs);
547 return err;
548}
549#endif /* __powerpc64 */
550
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000551#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +1000552void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
553 const void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000554{
Paul Mackerras350779a2017-08-30 14:12:27 +1000555 int size, read_size;
556 int i, j;
557 const unsigned int *wp;
558 const unsigned short *hp;
559 const unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000560
Paul Mackerras350779a2017-08-30 14:12:27 +1000561 size = GETSIZE(op->type);
562 reg->d[0] = reg->d[1] = 0;
563
564 switch (op->element_size) {
565 case 16:
566 /* whole vector; lxv[x] or lxvl[l] */
567 if (size == 0)
568 break;
569 memcpy(reg, mem, size);
570 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
571 /* reverse 16 bytes */
572 unsigned long tmp;
573 tmp = byterev_8(reg->d[0]);
574 reg->d[0] = byterev_8(reg->d[1]);
575 reg->d[1] = tmp;
576 }
577 break;
578 case 8:
579 /* scalar loads, lxvd2x, lxvdsx */
580 read_size = (size >= 8) ? 8 : size;
581 i = IS_LE ? 8 : 8 - read_size;
582 memcpy(&reg->b[i], mem, read_size);
583 if (size < 8) {
584 if (op->type & SIGNEXT) {
585 /* size == 4 is the only case here */
586 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
587 } else if (op->vsx_flags & VSX_FPCONV) {
588 preempt_disable();
589 conv_sp_to_dp(&reg->fp[1 + IS_LE],
590 &reg->dp[IS_LE]);
591 preempt_enable();
592 }
593 } else {
594 if (size == 16)
595 reg->d[IS_BE] = *(unsigned long *)(mem + 8);
596 else if (op->vsx_flags & VSX_SPLAT)
597 reg->d[IS_BE] = reg->d[IS_LE];
598 }
599 break;
600 case 4:
601 /* lxvw4x, lxvwsx */
602 wp = mem;
603 for (j = 0; j < size / 4; ++j) {
604 i = IS_LE ? 3 - j : j;
605 reg->w[i] = *wp++;
606 }
607 if (op->vsx_flags & VSX_SPLAT) {
608 u32 val = reg->w[IS_LE ? 3 : 0];
609 for (; j < 4; ++j) {
610 i = IS_LE ? 3 - j : j;
611 reg->w[i] = val;
612 }
613 }
614 break;
615 case 2:
616 /* lxvh8x */
617 hp = mem;
618 for (j = 0; j < size / 2; ++j) {
619 i = IS_LE ? 7 - j : j;
620 reg->h[i] = *hp++;
621 }
622 break;
623 case 1:
624 /* lxvb16x */
625 bp = mem;
626 for (j = 0; j < size; ++j) {
627 i = IS_LE ? 15 - j : j;
628 reg->b[i] = *bp++;
629 }
630 break;
631 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000632}
Paul Mackerras350779a2017-08-30 14:12:27 +1000633EXPORT_SYMBOL_GPL(emulate_vsx_load);
634NOKPROBE_SYMBOL(emulate_vsx_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000635
Paul Mackerras350779a2017-08-30 14:12:27 +1000636void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
637 void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000638{
Paul Mackerras350779a2017-08-30 14:12:27 +1000639 int size, write_size;
640 int i, j;
641 union vsx_reg buf;
642 unsigned int *wp;
643 unsigned short *hp;
644 unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000645
Paul Mackerras350779a2017-08-30 14:12:27 +1000646 size = GETSIZE(op->type);
647
648 switch (op->element_size) {
649 case 16:
650 /* stxv, stxvx, stxvl, stxvll */
651 if (size == 0)
652 break;
653 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
654 /* reverse 16 bytes */
655 buf.d[0] = byterev_8(reg->d[1]);
656 buf.d[1] = byterev_8(reg->d[0]);
657 reg = &buf;
658 }
659 memcpy(mem, reg, size);
660 break;
661 case 8:
662 /* scalar stores, stxvd2x */
663 write_size = (size >= 8) ? 8 : size;
664 i = IS_LE ? 8 : 8 - write_size;
665 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
666 buf.d[0] = buf.d[1] = 0;
667 preempt_disable();
668 conv_dp_to_sp(&reg->dp[IS_LE], &buf.fp[1 + IS_LE]);
669 preempt_enable();
670 reg = &buf;
671 }
672 memcpy(mem, &reg->b[i], write_size);
673 if (size == 16)
674 memcpy(mem + 8, &reg->d[IS_BE], 8);
675 break;
676 case 4:
677 /* stxvw4x */
678 wp = mem;
679 for (j = 0; j < size / 4; ++j) {
680 i = IS_LE ? 3 - j : j;
681 *wp++ = reg->w[i];
682 }
683 break;
684 case 2:
685 /* stxvh8x */
686 hp = mem;
687 for (j = 0; j < size / 2; ++j) {
688 i = IS_LE ? 7 - j : j;
689 *hp++ = reg->h[i];
690 }
691 break;
692 case 1:
693 /* stvxb16x */
694 bp = mem;
695 for (j = 0; j < size; ++j) {
696 i = IS_LE ? 15 - j : j;
697 *bp++ = reg->b[i];
698 }
699 break;
700 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000701}
Paul Mackerras350779a2017-08-30 14:12:27 +1000702EXPORT_SYMBOL_GPL(emulate_vsx_store);
703NOKPROBE_SYMBOL(emulate_vsx_store);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000704
705static nokprobe_inline int do_vsx_load(struct instruction_op *op,
706 unsigned long ea, struct pt_regs *regs)
707{
708 int reg = op->reg;
709 u8 mem[16];
710 union vsx_reg buf;
711 int size = GETSIZE(op->type);
712
713 if (!address_ok(regs, ea, size) || copy_mem_in(mem, ea, size))
714 return -EFAULT;
715
716 emulate_vsx_load(op, &buf, mem);
717 preempt_disable();
718 if (reg < 32) {
719 /* FP regs + extensions */
720 if (regs->msr & MSR_FP) {
721 load_vsrn(reg, &buf);
722 } else {
723 current->thread.fp_state.fpr[reg][0] = buf.d[0];
724 current->thread.fp_state.fpr[reg][1] = buf.d[1];
725 }
726 } else {
727 if (regs->msr & MSR_VEC)
728 load_vsrn(reg, &buf);
729 else
730 current->thread.vr_state.vr[reg - 32] = buf.v;
731 }
732 preempt_enable();
733 return 0;
734}
735
736static nokprobe_inline int do_vsx_store(struct instruction_op *op,
737 unsigned long ea, struct pt_regs *regs)
738{
739 int reg = op->reg;
740 u8 mem[16];
741 union vsx_reg buf;
742 int size = GETSIZE(op->type);
743
744 if (!address_ok(regs, ea, size))
745 return -EFAULT;
746
747 preempt_disable();
748 if (reg < 32) {
749 /* FP regs + extensions */
750 if (regs->msr & MSR_FP) {
751 store_vsrn(reg, &buf);
752 } else {
753 buf.d[0] = current->thread.fp_state.fpr[reg][0];
754 buf.d[1] = current->thread.fp_state.fpr[reg][1];
755 }
756 } else {
757 if (regs->msr & MSR_VEC)
758 store_vsrn(reg, &buf);
759 else
760 buf.v = current->thread.vr_state.vr[reg - 32];
761 }
762 preempt_enable();
763 emulate_vsx_store(op, &buf, mem);
764 return copy_mem_out(mem, ea, size);
765}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000766#endif /* CONFIG_VSX */
767
768#define __put_user_asmx(x, addr, err, op, cr) \
769 __asm__ __volatile__( \
770 "1: " op " %2,0,%3\n" \
771 " mfcr %1\n" \
772 "2:\n" \
773 ".section .fixup,\"ax\"\n" \
774 "3: li %0,%4\n" \
775 " b 2b\n" \
776 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100777 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000778 : "=r" (err), "=r" (cr) \
779 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
780
781#define __get_user_asmx(x, addr, err, op) \
782 __asm__ __volatile__( \
783 "1: "op" %1,0,%2\n" \
784 "2:\n" \
785 ".section .fixup,\"ax\"\n" \
786 "3: li %0,%3\n" \
787 " b 2b\n" \
788 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100789 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000790 : "=r" (err), "=r" (x) \
791 : "r" (addr), "i" (-EFAULT), "0" (err))
792
793#define __cacheop_user_asmx(addr, err, op) \
794 __asm__ __volatile__( \
795 "1: "op" 0,%1\n" \
796 "2:\n" \
797 ".section .fixup,\"ax\"\n" \
798 "3: li %0,%3\n" \
799 " b 2b\n" \
800 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100801 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000802 : "=r" (err) \
803 : "r" (addr), "i" (-EFAULT), "0" (err))
804
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000805static nokprobe_inline void set_cr0(const struct pt_regs *regs,
806 struct instruction_op *op, int rd)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000807{
808 long val = regs->gpr[rd];
809
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000810 op->type |= SETCC;
811 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000812#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000813 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000814 val = (int) val;
815#endif
816 if (val < 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000817 op->ccval |= 0x80000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000818 else if (val > 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000819 op->ccval |= 0x40000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000820 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000821 op->ccval |= 0x20000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000822}
823
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000824static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
825 struct instruction_op *op, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000826 unsigned long val1, unsigned long val2,
827 unsigned long carry_in)
828{
829 unsigned long val = val1 + val2;
830
831 if (carry_in)
832 ++val;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000833 op->type = COMPUTE + SETREG + SETXER;
834 op->reg = rd;
835 op->val = val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000836#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000837 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000838 val = (unsigned int) val;
839 val1 = (unsigned int) val1;
840 }
841#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000842 op->xerval = regs->xer;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000843 if (val < val1 || (carry_in && val == val1))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000844 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000845 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000846 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000847}
848
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000849static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
850 struct instruction_op *op,
851 long v1, long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000852{
853 unsigned int crval, shift;
854
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000855 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000856 crval = (regs->xer >> 31) & 1; /* get SO bit */
857 if (v1 < v2)
858 crval |= 8;
859 else if (v1 > v2)
860 crval |= 4;
861 else
862 crval |= 2;
863 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000864 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000865}
866
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000867static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
868 struct instruction_op *op,
869 unsigned long v1,
870 unsigned long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000871{
872 unsigned int crval, shift;
873
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000874 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000875 crval = (regs->xer >> 31) & 1; /* get SO bit */
876 if (v1 < v2)
877 crval |= 8;
878 else if (v1 > v2)
879 crval |= 4;
880 else
881 crval |= 2;
882 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000883 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000884}
885
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000886static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
887 struct instruction_op *op,
888 unsigned long v1, unsigned long v2)
Matt Brown02c0f622017-07-31 10:58:22 +1000889{
890 unsigned long long out_val, mask;
891 int i;
892
893 out_val = 0;
894 for (i = 0; i < 8; i++) {
895 mask = 0xffUL << (i * 8);
896 if ((v1 & mask) == (v2 & mask))
897 out_val |= mask;
898 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000899 op->val = out_val;
Matt Brown02c0f622017-07-31 10:58:22 +1000900}
901
Matt Browndcbd19b2017-07-31 10:58:23 +1000902/*
903 * The size parameter is used to adjust the equivalent popcnt instruction.
904 * popcntb = 8, popcntw = 32, popcntd = 64
905 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000906static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
907 struct instruction_op *op,
908 unsigned long v1, int size)
Matt Browndcbd19b2017-07-31 10:58:23 +1000909{
910 unsigned long long out = v1;
911
912 out -= (out >> 1) & 0x5555555555555555;
913 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
914 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
915
916 if (size == 8) { /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000917 op->val = out;
Matt Browndcbd19b2017-07-31 10:58:23 +1000918 return;
919 }
920 out += out >> 8;
921 out += out >> 16;
922 if (size == 32) { /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000923 op->val = out & 0x0000003f0000003f;
Matt Browndcbd19b2017-07-31 10:58:23 +1000924 return;
925 }
926
927 out = (out + (out >> 32)) & 0x7f;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000928 op->val = out; /* popcntd */
Matt Browndcbd19b2017-07-31 10:58:23 +1000929}
930
Matt Brownf3127932017-07-31 10:58:24 +1000931#ifdef CONFIG_PPC64
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000932static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
933 struct instruction_op *op,
934 unsigned long v1, unsigned long v2)
Matt Brownf3127932017-07-31 10:58:24 +1000935{
936 unsigned char perm, idx;
937 unsigned int i;
938
939 perm = 0;
940 for (i = 0; i < 8; i++) {
941 idx = (v1 >> (i * 8)) & 0xff;
942 if (idx < 64)
943 if (v2 & PPC_BIT(idx))
944 perm |= 1 << i;
945 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000946 op->val = perm;
Matt Brownf3127932017-07-31 10:58:24 +1000947}
948#endif /* CONFIG_PPC64 */
Matt Brown2c979c42017-07-31 10:58:25 +1000949/*
950 * The size parameter adjusts the equivalent prty instruction.
951 * prtyw = 32, prtyd = 64
952 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000953static nokprobe_inline void do_prty(const struct pt_regs *regs,
954 struct instruction_op *op,
955 unsigned long v, int size)
Matt Brown2c979c42017-07-31 10:58:25 +1000956{
957 unsigned long long res = v ^ (v >> 8);
958
959 res ^= res >> 16;
960 if (size == 32) { /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000961 op->val = res & 0x0000000100000001;
Matt Brown2c979c42017-07-31 10:58:25 +1000962 return;
963 }
964
965 res ^= res >> 32;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000966 op->val = res & 1; /*prtyd */
Matt Brown2c979c42017-07-31 10:58:25 +1000967}
Matt Brownf3127932017-07-31 10:58:24 +1000968
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530969static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000970{
971 int ret = 0;
972
973 if (v1 < v2)
974 ret |= 0x10;
975 else if (v1 > v2)
976 ret |= 0x08;
977 else
978 ret |= 0x04;
979 if ((unsigned long)v1 < (unsigned long)v2)
980 ret |= 0x02;
981 else if ((unsigned long)v1 > (unsigned long)v2)
982 ret |= 0x01;
983 return ret;
984}
985
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000986/*
987 * Elements of 32-bit rotate and mask instructions.
988 */
989#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
990 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
991#ifdef __powerpc64__
992#define MASK64_L(mb) (~0UL >> (mb))
993#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
994#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
995#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
996#else
997#define DATA32(x) (x)
998#endif
999#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
1000
1001/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001002 * Decode an instruction, and return information about it in *op
1003 * without changing *regs.
1004 * Integer arithmetic and logical instructions, branches, and barrier
1005 * instructions can be emulated just using the information in *op.
1006 *
1007 * Return value is 1 if the instruction can be emulated just by
1008 * updating *regs with the information in *op, -1 if we need the
1009 * GPRs but *regs doesn't contain the full register set, or 0
1010 * otherwise.
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001011 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001012int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
1013 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001014{
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001015 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001016 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001017 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001018 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001019 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001020
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001021 op->type = COMPUTE;
1022
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001023 opcode = instr >> 26;
1024 switch (opcode) {
1025 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001026 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001027 imm = (signed short)(instr & 0xfffc);
1028 if ((instr & 2) == 0)
1029 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001030 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001031 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001032 op->type |= SETLK;
1033 if (branch_taken(instr, regs, op))
1034 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001035 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001036#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001037 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001038 if ((instr & 0xfe2) == 2)
1039 op->type = SYSCALL;
1040 else
1041 op->type = UNKNOWN;
1042 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001043#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001044 case 18: /* b */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001045 op->type = BRANCH | BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001046 imm = instr & 0x03fffffc;
1047 if (imm & 0x02000000)
1048 imm -= 0x04000000;
1049 if ((instr & 2) == 0)
1050 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001051 op->val = truncate_if_32bit(regs->msr, imm);
Michael Ellermanb91e1362011-04-07 21:56:04 +00001052 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001053 op->type |= SETLK;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001054 return 1;
1055 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001056 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001057 case 0: /* mcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001058 op->type = COMPUTE + SETCC;
Anton Blanchard87c4b83e2017-06-15 09:46:38 +10001059 rd = 7 - ((instr >> 23) & 0x7);
1060 ra = 7 - ((instr >> 18) & 0x7);
1061 rd *= 4;
1062 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001063 val = (regs->ccr >> ra) & 0xf;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001064 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
1065 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001066
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001067 case 16: /* bclr */
1068 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001069 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001070 imm = (instr & 0x400)? regs->ctr: regs->link;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001071 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001072 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001073 op->type |= SETLK;
1074 if (branch_taken(instr, regs, op))
1075 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001076 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001077
1078 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001079 if (regs->msr & MSR_PR)
1080 goto priv;
1081 op->type = RFI;
1082 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001083
1084 case 150: /* isync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001085 op->type = BARRIER | BARRIER_ISYNC;
1086 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001087
1088 case 33: /* crnor */
1089 case 129: /* crandc */
1090 case 193: /* crxor */
1091 case 225: /* crnand */
1092 case 257: /* crand */
1093 case 289: /* creqv */
1094 case 417: /* crorc */
1095 case 449: /* cror */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001096 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001097 ra = (instr >> 16) & 0x1f;
1098 rb = (instr >> 11) & 0x1f;
1099 rd = (instr >> 21) & 0x1f;
1100 ra = (regs->ccr >> (31 - ra)) & 1;
1101 rb = (regs->ccr >> (31 - rb)) & 1;
1102 val = (instr >> (6 + ra * 2 + rb)) & 1;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001103 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001104 (val << (31 - rd));
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001105 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001106 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001107 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001108 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001109 switch ((instr >> 1) & 0x3ff) {
1110 case 598: /* sync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001111 op->type = BARRIER + BARRIER_SYNC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001112#ifdef __powerpc64__
1113 switch ((instr >> 21) & 3) {
1114 case 1: /* lwsync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001115 op->type = BARRIER + BARRIER_LWSYNC;
1116 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001117 case 2: /* ptesync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001118 op->type = BARRIER + BARRIER_PTESYNC;
1119 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001120 }
1121#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001122 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001123
1124 case 854: /* eieio */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001125 op->type = BARRIER + BARRIER_EIEIO;
1126 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001127 }
1128 break;
1129 }
1130
1131 /* Following cases refer to regs->gpr[], so we need all regs */
1132 if (!FULL_REGS(regs))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001133 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001134
1135 rd = (instr >> 21) & 0x1f;
1136 ra = (instr >> 16) & 0x1f;
1137 rb = (instr >> 11) & 0x1f;
1138
1139 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001140#ifdef __powerpc64__
1141 case 2: /* tdi */
1142 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1143 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001144 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001145#endif
1146 case 3: /* twi */
1147 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1148 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001149 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001150
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001151 case 7: /* mulli */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001152 op->val = regs->gpr[ra] * (short) instr;
1153 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001154
1155 case 8: /* subfic */
1156 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001157 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1158 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001159
1160 case 10: /* cmpli */
1161 imm = (unsigned short) instr;
1162 val = regs->gpr[ra];
1163#ifdef __powerpc64__
1164 if ((rd & 1) == 0)
1165 val = (unsigned int) val;
1166#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001167 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1168 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001169
1170 case 11: /* cmpi */
1171 imm = (short) instr;
1172 val = regs->gpr[ra];
1173#ifdef __powerpc64__
1174 if ((rd & 1) == 0)
1175 val = (int) val;
1176#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001177 do_cmp_signed(regs, op, val, imm, rd >> 2);
1178 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001179
1180 case 12: /* addic */
1181 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001182 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1183 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001184
1185 case 13: /* addic. */
1186 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001187 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1188 set_cr0(regs, op, rd);
1189 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001190
1191 case 14: /* addi */
1192 imm = (short) instr;
1193 if (ra)
1194 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001195 op->val = imm;
1196 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001197
1198 case 15: /* addis */
1199 imm = ((short) instr) << 16;
1200 if (ra)
1201 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001202 op->val = imm;
1203 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001204
Paul Mackerras958465e2017-08-30 14:12:31 +10001205 case 19:
1206 if (((instr >> 1) & 0x1f) == 2) {
1207 /* addpcis */
1208 imm = (short) (instr & 0xffc1); /* d0 + d2 fields */
1209 imm |= (instr >> 15) & 0x3e; /* d1 field */
1210 op->val = regs->nip + (imm << 16) + 4;
1211 goto compute_done;
1212 }
1213 op->type = UNKNOWN;
1214 return 0;
1215
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001216 case 20: /* rlwimi */
1217 mb = (instr >> 6) & 0x1f;
1218 me = (instr >> 1) & 0x1f;
1219 val = DATA32(regs->gpr[rd]);
1220 imm = MASK32(mb, me);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001221 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001222 goto logical_done;
1223
1224 case 21: /* rlwinm */
1225 mb = (instr >> 6) & 0x1f;
1226 me = (instr >> 1) & 0x1f;
1227 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001228 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001229 goto logical_done;
1230
1231 case 23: /* rlwnm */
1232 mb = (instr >> 6) & 0x1f;
1233 me = (instr >> 1) & 0x1f;
1234 rb = regs->gpr[rb] & 0x1f;
1235 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001236 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001237 goto logical_done;
1238
1239 case 24: /* ori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001240 op->val = regs->gpr[rd] | (unsigned short) instr;
1241 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001242
1243 case 25: /* oris */
1244 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001245 op->val = regs->gpr[rd] | (imm << 16);
1246 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001247
1248 case 26: /* xori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001249 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1250 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001251
1252 case 27: /* xoris */
1253 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001254 op->val = regs->gpr[rd] ^ (imm << 16);
1255 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001256
1257 case 28: /* andi. */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001258 op->val = regs->gpr[rd] & (unsigned short) instr;
1259 set_cr0(regs, op, ra);
1260 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001261
1262 case 29: /* andis. */
1263 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001264 op->val = regs->gpr[rd] & (imm << 16);
1265 set_cr0(regs, op, ra);
1266 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001267
1268#ifdef __powerpc64__
1269 case 30: /* rld* */
1270 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1271 val = regs->gpr[rd];
1272 if ((instr & 0x10) == 0) {
1273 sh = rb | ((instr & 2) << 4);
1274 val = ROTATE(val, sh);
1275 switch ((instr >> 2) & 3) {
1276 case 0: /* rldicl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001277 val &= MASK64_L(mb);
1278 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001279 case 1: /* rldicr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001280 val &= MASK64_R(mb);
1281 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001282 case 2: /* rldic */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001283 val &= MASK64(mb, 63 - sh);
1284 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001285 case 3: /* rldimi */
1286 imm = MASK64(mb, 63 - sh);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001287 val = (regs->gpr[ra] & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001288 (val & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001289 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001290 op->val = val;
1291 goto logical_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001292 } else {
1293 sh = regs->gpr[rb] & 0x3f;
1294 val = ROTATE(val, sh);
1295 switch ((instr >> 1) & 7) {
1296 case 0: /* rldcl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001297 op->val = val & MASK64_L(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001298 goto logical_done;
1299 case 1: /* rldcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001300 op->val = val & MASK64_R(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001301 goto logical_done;
1302 }
1303 }
1304#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001305 op->type = UNKNOWN; /* illegal instruction */
1306 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001307
1308 case 31:
Paul Mackerrasf1bbb992017-08-30 14:12:29 +10001309 /* isel occupies 32 minor opcodes */
1310 if (((instr >> 1) & 0x1f) == 15) {
1311 mb = (instr >> 6) & 0x1f; /* bc field */
1312 val = (regs->ccr >> (31 - mb)) & 1;
1313 val2 = (ra) ? regs->gpr[ra] : 0;
1314
1315 op->val = (val) ? val2 : regs->gpr[rb];
1316 goto compute_done;
1317 }
1318
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001319 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001320 case 4: /* tw */
1321 if (rd == 0x1f ||
1322 (rd & trap_compare((int)regs->gpr[ra],
1323 (int)regs->gpr[rb])))
1324 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001325 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001326#ifdef __powerpc64__
1327 case 68: /* td */
1328 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1329 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001330 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001331#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001332 case 83: /* mfmsr */
1333 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001334 goto priv;
1335 op->type = MFMSR;
1336 op->reg = rd;
1337 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001338 case 146: /* mtmsr */
1339 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001340 goto priv;
1341 op->type = MTMSR;
1342 op->reg = rd;
1343 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1344 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001345#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001346 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001347 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001348 goto priv;
1349 op->type = MTMSR;
1350 op->reg = rd;
1351 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1352 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1353 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1354 op->val = imm;
1355 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001356#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001357
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001358 case 19: /* mfcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001359 imm = 0xffffffffUL;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001360 if ((instr >> 20) & 1) {
1361 imm = 0xf0000000UL;
1362 for (sh = 0; sh < 8; ++sh) {
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001363 if (instr & (0x80000 >> sh))
Anton Blanchard64e756c2017-06-15 09:46:39 +10001364 break;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001365 imm >>= 4;
1366 }
Anton Blanchard64e756c2017-06-15 09:46:39 +10001367 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001368 op->val = regs->ccr & imm;
1369 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001370
1371 case 144: /* mtcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001372 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001373 imm = 0xf0000000UL;
1374 val = regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001375 op->val = regs->ccr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001376 for (sh = 0; sh < 8; ++sh) {
1377 if (instr & (0x80000 >> sh))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001378 op->val = (op->val & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001379 (val & imm);
1380 imm >>= 4;
1381 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001382 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001383
1384 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001385 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001386 op->type = MFSPR;
1387 op->reg = rd;
1388 op->spr = spr;
1389 if (spr == SPRN_XER || spr == SPRN_LR ||
1390 spr == SPRN_CTR)
1391 return 1;
1392 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001393
1394 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001395 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001396 op->type = MTSPR;
1397 op->val = regs->gpr[rd];
1398 op->spr = spr;
1399 if (spr == SPRN_XER || spr == SPRN_LR ||
1400 spr == SPRN_CTR)
1401 return 1;
1402 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001403
1404/*
1405 * Compare instructions
1406 */
1407 case 0: /* cmp */
1408 val = regs->gpr[ra];
1409 val2 = regs->gpr[rb];
1410#ifdef __powerpc64__
1411 if ((rd & 1) == 0) {
1412 /* word (32-bit) compare */
1413 val = (int) val;
1414 val2 = (int) val2;
1415 }
1416#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001417 do_cmp_signed(regs, op, val, val2, rd >> 2);
1418 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001419
1420 case 32: /* cmpl */
1421 val = regs->gpr[ra];
1422 val2 = regs->gpr[rb];
1423#ifdef __powerpc64__
1424 if ((rd & 1) == 0) {
1425 /* word (32-bit) compare */
1426 val = (unsigned int) val;
1427 val2 = (unsigned int) val2;
1428 }
1429#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001430 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1431 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001432
Matt Brown02c0f622017-07-31 10:58:22 +10001433 case 508: /* cmpb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001434 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1435 goto logical_done_nocc;
Matt Brown02c0f622017-07-31 10:58:22 +10001436
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001437/*
1438 * Arithmetic instructions
1439 */
1440 case 8: /* subfc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001441 add_with_carry(regs, op, rd, ~regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001442 regs->gpr[rb], 1);
1443 goto arith_done;
1444#ifdef __powerpc64__
1445 case 9: /* mulhdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001446 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001447 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1448 goto arith_done;
1449#endif
1450 case 10: /* addc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001451 add_with_carry(regs, op, rd, regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001452 regs->gpr[rb], 0);
1453 goto arith_done;
1454
1455 case 11: /* mulhwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001456 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001457 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1458 goto arith_done;
1459
1460 case 40: /* subf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001461 op->val = regs->gpr[rb] - regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001462 goto arith_done;
1463#ifdef __powerpc64__
1464 case 73: /* mulhd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001465 asm("mulhd %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001466 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1467 goto arith_done;
1468#endif
1469 case 75: /* mulhw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001470 asm("mulhw %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001471 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1472 goto arith_done;
1473
1474 case 104: /* neg */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001475 op->val = -regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001476 goto arith_done;
1477
1478 case 136: /* subfe */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001479 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1480 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001481 goto arith_done;
1482
1483 case 138: /* adde */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001484 add_with_carry(regs, op, rd, regs->gpr[ra],
1485 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001486 goto arith_done;
1487
1488 case 200: /* subfze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001489 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001490 regs->xer & XER_CA);
1491 goto arith_done;
1492
1493 case 202: /* addze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001494 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001495 regs->xer & XER_CA);
1496 goto arith_done;
1497
1498 case 232: /* subfme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001499 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001500 regs->xer & XER_CA);
1501 goto arith_done;
1502#ifdef __powerpc64__
1503 case 233: /* mulld */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001504 op->val = regs->gpr[ra] * regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001505 goto arith_done;
1506#endif
1507 case 234: /* addme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001508 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001509 regs->xer & XER_CA);
1510 goto arith_done;
1511
1512 case 235: /* mullw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001513 op->val = (unsigned int) regs->gpr[ra] *
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001514 (unsigned int) regs->gpr[rb];
1515 goto arith_done;
1516
1517 case 266: /* add */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001518 op->val = regs->gpr[ra] + regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001519 goto arith_done;
1520#ifdef __powerpc64__
1521 case 457: /* divdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001522 op->val = regs->gpr[ra] / regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001523 goto arith_done;
1524#endif
1525 case 459: /* divwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001526 op->val = (unsigned int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001527 (unsigned int) regs->gpr[rb];
1528 goto arith_done;
1529#ifdef __powerpc64__
1530 case 489: /* divd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001531 op->val = (long int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001532 (long int) regs->gpr[rb];
1533 goto arith_done;
1534#endif
1535 case 491: /* divw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001536 op->val = (int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001537 (int) regs->gpr[rb];
1538 goto arith_done;
1539
1540
1541/*
1542 * Logical instructions
1543 */
1544 case 26: /* cntlzw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001545 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001546 goto logical_done;
1547#ifdef __powerpc64__
1548 case 58: /* cntlzd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001549 op->val = __builtin_clzl(regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001550 goto logical_done;
1551#endif
1552 case 28: /* and */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001553 op->val = regs->gpr[rd] & regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001554 goto logical_done;
1555
1556 case 60: /* andc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001557 op->val = regs->gpr[rd] & ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001558 goto logical_done;
1559
Matt Browndcbd19b2017-07-31 10:58:23 +10001560 case 122: /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001561 do_popcnt(regs, op, regs->gpr[rd], 8);
Paul Mackerras5762e082017-08-30 14:12:30 +10001562 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001563
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001564 case 124: /* nor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001565 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001566 goto logical_done;
Matt Brown2c979c42017-07-31 10:58:25 +10001567
1568 case 154: /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001569 do_prty(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001570 goto logical_done_nocc;
Matt Brown2c979c42017-07-31 10:58:25 +10001571
1572 case 186: /* prtyd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001573 do_prty(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001574 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001575#ifdef CONFIG_PPC64
1576 case 252: /* bpermd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001577 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
Paul Mackerras5762e082017-08-30 14:12:30 +10001578 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001579#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001580 case 284: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001581 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001582 goto logical_done;
1583
1584 case 316: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001585 op->val = regs->gpr[rd] ^ regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001586 goto logical_done;
1587
Matt Browndcbd19b2017-07-31 10:58:23 +10001588 case 378: /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001589 do_popcnt(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001590 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001591
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001592 case 412: /* orc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001593 op->val = regs->gpr[rd] | ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001594 goto logical_done;
1595
1596 case 444: /* or */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001597 op->val = regs->gpr[rd] | regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001598 goto logical_done;
1599
1600 case 476: /* nand */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001601 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001602 goto logical_done;
Matt Browndcbd19b2017-07-31 10:58:23 +10001603#ifdef CONFIG_PPC64
1604 case 506: /* popcntd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001605 do_popcnt(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001606 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001607#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001608 case 922: /* extsh */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001609 op->val = (signed short) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001610 goto logical_done;
1611
1612 case 954: /* extsb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001613 op->val = (signed char) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001614 goto logical_done;
1615#ifdef __powerpc64__
1616 case 986: /* extsw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001617 op->val = (signed int) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001618 goto logical_done;
1619#endif
1620
1621/*
1622 * Shift instructions
1623 */
1624 case 24: /* slw */
1625 sh = regs->gpr[rb] & 0x3f;
1626 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001627 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001628 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001629 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001630 goto logical_done;
1631
1632 case 536: /* srw */
1633 sh = regs->gpr[rb] & 0x3f;
1634 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001635 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001636 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001637 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001638 goto logical_done;
1639
1640 case 792: /* sraw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001641 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001642 sh = regs->gpr[rb] & 0x3f;
1643 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001644 op->val = ival >> (sh < 32 ? sh : 31);
1645 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001646 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001647 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001648 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001649 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001650 goto logical_done;
1651
1652 case 824: /* srawi */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001653 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001654 sh = rb;
1655 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001656 op->val = ival >> sh;
1657 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001658 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001659 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001660 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001661 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001662 goto logical_done;
1663
1664#ifdef __powerpc64__
1665 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001666 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001667 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001668 op->val = regs->gpr[rd] << sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001669 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001670 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001671 goto logical_done;
1672
1673 case 539: /* srd */
1674 sh = regs->gpr[rb] & 0x7f;
1675 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001676 op->val = regs->gpr[rd] >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001677 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001678 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001679 goto logical_done;
1680
1681 case 794: /* srad */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001682 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001683 sh = regs->gpr[rb] & 0x7f;
1684 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001685 op->val = ival >> (sh < 64 ? sh : 63);
1686 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001687 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001688 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001689 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001690 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001691 goto logical_done;
1692
1693 case 826: /* sradi with sh_5 = 0 */
1694 case 827: /* sradi with sh_5 = 1 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001695 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001696 sh = rb | ((instr & 2) << 4);
1697 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001698 op->val = ival >> sh;
1699 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001700 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001701 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001702 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001703 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001704 goto logical_done;
1705#endif /* __powerpc64__ */
1706
1707/*
1708 * Cache instructions
1709 */
1710 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001711 op->type = MKOP(CACHEOP, DCBST, 0);
1712 op->ea = xform_ea(instr, regs);
1713 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001714
1715 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001716 op->type = MKOP(CACHEOP, DCBF, 0);
1717 op->ea = xform_ea(instr, regs);
1718 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001719
1720 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001721 op->type = MKOP(CACHEOP, DCBTST, 0);
1722 op->ea = xform_ea(instr, regs);
1723 op->reg = rd;
1724 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001725
1726 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001727 op->type = MKOP(CACHEOP, DCBTST, 0);
1728 op->ea = xform_ea(instr, regs);
1729 op->reg = rd;
1730 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001731
1732 case 982: /* icbi */
1733 op->type = MKOP(CACHEOP, ICBI, 0);
1734 op->ea = xform_ea(instr, regs);
1735 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001736 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001737 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001738 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001739
Paul Mackerras350779a2017-08-30 14:12:27 +10001740/*
1741 * Loads and stores.
1742 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001743 op->type = UNKNOWN;
1744 op->update_reg = ra;
1745 op->reg = rd;
1746 op->val = regs->gpr[rd];
1747 u = (instr >> 20) & UPDATE;
Paul Mackerras350779a2017-08-30 14:12:27 +10001748 op->vsx_flags = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001749
1750 switch (opcode) {
1751 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001752 u = instr & UPDATE;
1753 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001754 switch ((instr >> 1) & 0x3ff) {
1755 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001756 op->type = MKOP(LARX, 0, 4);
1757 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001758
1759 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001760 op->type = MKOP(STCX, 0, 4);
1761 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001762
1763#ifdef __powerpc64__
1764 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001765 op->type = MKOP(LARX, 0, 8);
1766 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001767
1768 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001769 op->type = MKOP(STCX, 0, 8);
1770 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001771
Paul Mackerras350779a2017-08-30 14:12:27 +10001772 case 52: /* lbarx */
1773 op->type = MKOP(LARX, 0, 1);
1774 break;
1775
1776 case 694: /* stbcx. */
1777 op->type = MKOP(STCX, 0, 1);
1778 break;
1779
1780 case 116: /* lharx */
1781 op->type = MKOP(LARX, 0, 2);
1782 break;
1783
1784 case 726: /* sthcx. */
1785 op->type = MKOP(STCX, 0, 2);
1786 break;
1787
1788 case 276: /* lqarx */
1789 if (!((rd & 1) || rd == ra || rd == rb))
1790 op->type = MKOP(LARX, 0, 16);
1791 break;
1792
1793 case 182: /* stqcx. */
1794 if (!(rd & 1))
1795 op->type = MKOP(STCX, 0, 16);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001796 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001797#endif
1798
1799 case 23: /* lwzx */
1800 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001801 op->type = MKOP(LOAD, u, 4);
1802 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001803
1804 case 87: /* lbzx */
1805 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001806 op->type = MKOP(LOAD, u, 1);
1807 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001808
1809#ifdef CONFIG_ALTIVEC
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001810 /*
1811 * Note: for the load/store vector element instructions,
1812 * bits of the EA say which field of the VMX register to use.
1813 */
1814 case 7: /* lvebx */
1815 op->type = MKOP(LOAD_VMX, 0, 1);
1816 op->element_size = 1;
1817 break;
1818
1819 case 39: /* lvehx */
1820 op->type = MKOP(LOAD_VMX, 0, 2);
1821 op->element_size = 2;
1822 break;
1823
1824 case 71: /* lvewx */
1825 op->type = MKOP(LOAD_VMX, 0, 4);
1826 op->element_size = 4;
1827 break;
1828
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001829 case 103: /* lvx */
1830 case 359: /* lvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001831 op->type = MKOP(LOAD_VMX, 0, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +10001832 op->element_size = 16;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001833 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001834
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001835 case 135: /* stvebx */
1836 op->type = MKOP(STORE_VMX, 0, 1);
1837 op->element_size = 1;
1838 break;
1839
1840 case 167: /* stvehx */
1841 op->type = MKOP(STORE_VMX, 0, 2);
1842 op->element_size = 2;
1843 break;
1844
1845 case 199: /* stvewx */
1846 op->type = MKOP(STORE_VMX, 0, 4);
1847 op->element_size = 4;
1848 break;
1849
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001850 case 231: /* stvx */
1851 case 487: /* stvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001852 op->type = MKOP(STORE_VMX, 0, 16);
1853 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001854#endif /* CONFIG_ALTIVEC */
1855
1856#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10001857 case 21: /* ldx */
1858 case 53: /* ldux */
1859 op->type = MKOP(LOAD, u, 8);
1860 break;
1861
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001862 case 149: /* stdx */
1863 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001864 op->type = MKOP(STORE, u, 8);
1865 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001866#endif
1867
1868 case 151: /* stwx */
1869 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001870 op->type = MKOP(STORE, u, 4);
1871 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001872
1873 case 215: /* stbx */
1874 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001875 op->type = MKOP(STORE, u, 1);
1876 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001877
1878 case 279: /* lhzx */
1879 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001880 op->type = MKOP(LOAD, u, 2);
1881 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001882
1883#ifdef __powerpc64__
1884 case 341: /* lwax */
1885 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001886 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1887 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001888#endif
1889
1890 case 343: /* lhax */
1891 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001892 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1893 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001894
1895 case 407: /* sthx */
1896 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001897 op->type = MKOP(STORE, u, 2);
1898 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001899
1900#ifdef __powerpc64__
1901 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001902 op->type = MKOP(LOAD, BYTEREV, 8);
1903 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001904
1905#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001906 case 533: /* lswx */
1907 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
1908 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001909
1910 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001911 op->type = MKOP(LOAD, BYTEREV, 4);
1912 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001913
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001914 case 597: /* lswi */
1915 if (rb == 0)
1916 rb = 32; /* # bytes to load */
1917 op->type = MKOP(LOAD_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10001918 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001919 break;
1920
Paul Bolleb69a1da2014-05-20 21:59:42 +02001921#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001922 case 535: /* lfsx */
1923 case 567: /* lfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001924 op->type = MKOP(LOAD_FP, u, 4);
1925 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001926
1927 case 599: /* lfdx */
1928 case 631: /* lfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001929 op->type = MKOP(LOAD_FP, u, 8);
1930 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001931
1932 case 663: /* stfsx */
1933 case 695: /* stfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001934 op->type = MKOP(STORE_FP, u, 4);
1935 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001936
1937 case 727: /* stfdx */
1938 case 759: /* stfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001939 op->type = MKOP(STORE_FP, u, 8);
1940 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001941#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001942
1943#ifdef __powerpc64__
1944 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001945 op->type = MKOP(STORE, BYTEREV, 8);
1946 op->val = byterev_8(regs->gpr[rd]);
1947 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001948
1949#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001950 case 661: /* stswx */
1951 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
1952 break;
1953
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001954 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001955 op->type = MKOP(STORE, BYTEREV, 4);
1956 op->val = byterev_4(regs->gpr[rd]);
1957 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001958
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001959 case 725:
1960 if (rb == 0)
1961 rb = 32; /* # bytes to store */
1962 op->type = MKOP(STORE_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10001963 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001964 break;
1965
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001966 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001967 op->type = MKOP(LOAD, BYTEREV, 2);
1968 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001969
1970 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001971 op->type = MKOP(STORE, BYTEREV, 2);
1972 op->val = byterev_2(regs->gpr[rd]);
1973 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001974
1975#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10001976 case 12: /* lxsiwzx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001977 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10001978 op->type = MKOP(LOAD_VSX, 0, 4);
1979 op->element_size = 8;
1980 break;
1981
1982 case 76: /* lxsiwax */
1983 op->reg = rd | ((instr & 1) << 5);
1984 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
1985 op->element_size = 8;
1986 break;
1987
1988 case 140: /* stxsiwx */
1989 op->reg = rd | ((instr & 1) << 5);
1990 op->type = MKOP(STORE_VSX, 0, 4);
1991 op->element_size = 8;
1992 break;
1993
1994 case 268: /* lxvx */
1995 op->reg = rd | ((instr & 1) << 5);
1996 op->type = MKOP(LOAD_VSX, 0, 16);
1997 op->element_size = 16;
1998 op->vsx_flags = VSX_CHECK_VEC;
1999 break;
2000
2001 case 269: /* lxvl */
2002 case 301: { /* lxvll */
2003 int nb;
2004 op->reg = rd | ((instr & 1) << 5);
2005 op->ea = ra ? regs->gpr[ra] : 0;
2006 nb = regs->gpr[rb] & 0xff;
2007 if (nb > 16)
2008 nb = 16;
2009 op->type = MKOP(LOAD_VSX, 0, nb);
2010 op->element_size = 16;
2011 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2012 VSX_CHECK_VEC;
2013 break;
2014 }
2015 case 332: /* lxvdsx */
2016 op->reg = rd | ((instr & 1) << 5);
2017 op->type = MKOP(LOAD_VSX, 0, 8);
2018 op->element_size = 8;
2019 op->vsx_flags = VSX_SPLAT;
2020 break;
2021
2022 case 364: /* lxvwsx */
2023 op->reg = rd | ((instr & 1) << 5);
2024 op->type = MKOP(LOAD_VSX, 0, 4);
2025 op->element_size = 4;
2026 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
2027 break;
2028
2029 case 396: /* stxvx */
2030 op->reg = rd | ((instr & 1) << 5);
2031 op->type = MKOP(STORE_VSX, 0, 16);
2032 op->element_size = 16;
2033 op->vsx_flags = VSX_CHECK_VEC;
2034 break;
2035
2036 case 397: /* stxvl */
2037 case 429: { /* stxvll */
2038 int nb;
2039 op->reg = rd | ((instr & 1) << 5);
2040 op->ea = ra ? regs->gpr[ra] : 0;
2041 nb = regs->gpr[rb] & 0xff;
2042 if (nb > 16)
2043 nb = 16;
2044 op->type = MKOP(STORE_VSX, 0, nb);
2045 op->element_size = 16;
2046 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2047 VSX_CHECK_VEC;
2048 break;
2049 }
2050 case 524: /* lxsspx */
2051 op->reg = rd | ((instr & 1) << 5);
2052 op->type = MKOP(LOAD_VSX, 0, 4);
2053 op->element_size = 8;
2054 op->vsx_flags = VSX_FPCONV;
2055 break;
2056
2057 case 588: /* lxsdx */
2058 op->reg = rd | ((instr & 1) << 5);
2059 op->type = MKOP(LOAD_VSX, 0, 8);
2060 op->element_size = 8;
2061 break;
2062
2063 case 652: /* stxsspx */
2064 op->reg = rd | ((instr & 1) << 5);
2065 op->type = MKOP(STORE_VSX, 0, 4);
2066 op->element_size = 8;
2067 op->vsx_flags = VSX_FPCONV;
2068 break;
2069
2070 case 716: /* stxsdx */
2071 op->reg = rd | ((instr & 1) << 5);
2072 op->type = MKOP(STORE_VSX, 0, 8);
2073 op->element_size = 8;
2074 break;
2075
2076 case 780: /* lxvw4x */
2077 op->reg = rd | ((instr & 1) << 5);
2078 op->type = MKOP(LOAD_VSX, 0, 16);
2079 op->element_size = 4;
2080 break;
2081
2082 case 781: /* lxsibzx */
2083 op->reg = rd | ((instr & 1) << 5);
2084 op->type = MKOP(LOAD_VSX, 0, 1);
2085 op->element_size = 8;
2086 op->vsx_flags = VSX_CHECK_VEC;
2087 break;
2088
2089 case 812: /* lxvh8x */
2090 op->reg = rd | ((instr & 1) << 5);
2091 op->type = MKOP(LOAD_VSX, 0, 16);
2092 op->element_size = 2;
2093 op->vsx_flags = VSX_CHECK_VEC;
2094 break;
2095
2096 case 813: /* lxsihzx */
2097 op->reg = rd | ((instr & 1) << 5);
2098 op->type = MKOP(LOAD_VSX, 0, 2);
2099 op->element_size = 8;
2100 op->vsx_flags = VSX_CHECK_VEC;
2101 break;
2102
2103 case 844: /* lxvd2x */
2104 op->reg = rd | ((instr & 1) << 5);
2105 op->type = MKOP(LOAD_VSX, 0, 16);
2106 op->element_size = 8;
2107 break;
2108
2109 case 876: /* lxvb16x */
2110 op->reg = rd | ((instr & 1) << 5);
2111 op->type = MKOP(LOAD_VSX, 0, 16);
2112 op->element_size = 1;
2113 op->vsx_flags = VSX_CHECK_VEC;
2114 break;
2115
2116 case 908: /* stxvw4x */
2117 op->reg = rd | ((instr & 1) << 5);
2118 op->type = MKOP(STORE_VSX, 0, 16);
2119 op->element_size = 4;
2120 break;
2121
2122 case 909: /* stxsibx */
2123 op->reg = rd | ((instr & 1) << 5);
2124 op->type = MKOP(STORE_VSX, 0, 1);
2125 op->element_size = 8;
2126 op->vsx_flags = VSX_CHECK_VEC;
2127 break;
2128
2129 case 940: /* stxvh8x */
2130 op->reg = rd | ((instr & 1) << 5);
2131 op->type = MKOP(STORE_VSX, 0, 16);
2132 op->element_size = 2;
2133 op->vsx_flags = VSX_CHECK_VEC;
2134 break;
2135
2136 case 941: /* stxsihx */
2137 op->reg = rd | ((instr & 1) << 5);
2138 op->type = MKOP(STORE_VSX, 0, 2);
2139 op->element_size = 8;
2140 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002141 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002142
2143 case 972: /* stxvd2x */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002144 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002145 op->type = MKOP(STORE_VSX, 0, 16);
2146 op->element_size = 8;
2147 break;
2148
2149 case 1004: /* stxvb16x */
2150 op->reg = rd | ((instr & 1) << 5);
2151 op->type = MKOP(STORE_VSX, 0, 16);
2152 op->element_size = 1;
2153 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002154 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002155
2156#endif /* CONFIG_VSX */
2157 }
2158 break;
2159
2160 case 32: /* lwz */
2161 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002162 op->type = MKOP(LOAD, u, 4);
2163 op->ea = dform_ea(instr, regs);
2164 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002165
2166 case 34: /* lbz */
2167 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002168 op->type = MKOP(LOAD, u, 1);
2169 op->ea = dform_ea(instr, regs);
2170 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002171
2172 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002173 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002174 op->type = MKOP(STORE, u, 4);
2175 op->ea = dform_ea(instr, regs);
2176 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002177
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002178 case 38: /* stb */
2179 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002180 op->type = MKOP(STORE, u, 1);
2181 op->ea = dform_ea(instr, regs);
2182 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002183
2184 case 40: /* lhz */
2185 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002186 op->type = MKOP(LOAD, u, 2);
2187 op->ea = dform_ea(instr, regs);
2188 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002189
2190 case 42: /* lha */
2191 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002192 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2193 op->ea = dform_ea(instr, regs);
2194 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002195
2196 case 44: /* sth */
2197 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002198 op->type = MKOP(STORE, u, 2);
2199 op->ea = dform_ea(instr, regs);
2200 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002201
2202 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002203 if (ra >= rd)
2204 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002205 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002206 op->ea = dform_ea(instr, regs);
2207 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002208
2209 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002210 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002211 op->ea = dform_ea(instr, regs);
2212 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002213
Sean MacLennancd64d162010-09-01 07:21:21 +00002214#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002215 case 48: /* lfs */
2216 case 49: /* lfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002217 op->type = MKOP(LOAD_FP, u, 4);
2218 op->ea = dform_ea(instr, regs);
2219 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002220
2221 case 50: /* lfd */
2222 case 51: /* lfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002223 op->type = MKOP(LOAD_FP, u, 8);
2224 op->ea = dform_ea(instr, regs);
2225 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002226
2227 case 52: /* stfs */
2228 case 53: /* stfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002229 op->type = MKOP(STORE_FP, u, 4);
2230 op->ea = dform_ea(instr, regs);
2231 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002232
2233 case 54: /* stfd */
2234 case 55: /* stfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002235 op->type = MKOP(STORE_FP, u, 8);
2236 op->ea = dform_ea(instr, regs);
2237 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00002238#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002239
2240#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002241 case 56: /* lq */
2242 if (!((rd & 1) || (rd == ra)))
2243 op->type = MKOP(LOAD, 0, 16);
2244 op->ea = dqform_ea(instr, regs);
2245 break;
2246#endif
2247
2248#ifdef CONFIG_VSX
2249 case 57: /* lxsd, lxssp */
2250 op->ea = dsform_ea(instr, regs);
2251 switch (instr & 3) {
2252 case 2: /* lxsd */
2253 op->reg = rd + 32;
2254 op->type = MKOP(LOAD_VSX, 0, 8);
2255 op->element_size = 8;
2256 op->vsx_flags = VSX_CHECK_VEC;
2257 break;
2258 case 3: /* lxssp */
2259 op->reg = rd + 32;
2260 op->type = MKOP(LOAD_VSX, 0, 4);
2261 op->element_size = 8;
2262 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2263 break;
2264 }
2265 break;
2266#endif /* CONFIG_VSX */
2267
2268#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002269 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002270 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002271 switch (instr & 3) {
2272 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002273 op->type = MKOP(LOAD, 0, 8);
2274 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002275 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002276 op->type = MKOP(LOAD, UPDATE, 8);
2277 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002278 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002279 op->type = MKOP(LOAD, SIGNEXT, 4);
2280 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002281 }
2282 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002283#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002284
Paul Mackerras350779a2017-08-30 14:12:27 +10002285#ifdef CONFIG_VSX
2286 case 61: /* lxv, stxsd, stxssp, stxv */
2287 switch (instr & 7) {
2288 case 1: /* lxv */
2289 op->ea = dqform_ea(instr, regs);
2290 if (instr & 8)
2291 op->reg = rd + 32;
2292 op->type = MKOP(LOAD_VSX, 0, 16);
2293 op->element_size = 16;
2294 op->vsx_flags = VSX_CHECK_VEC;
2295 break;
2296
2297 case 2: /* stxsd with LSB of DS field = 0 */
2298 case 6: /* stxsd with LSB of DS field = 1 */
2299 op->ea = dsform_ea(instr, regs);
2300 op->reg = rd + 32;
2301 op->type = MKOP(STORE_VSX, 0, 8);
2302 op->element_size = 8;
2303 op->vsx_flags = VSX_CHECK_VEC;
2304 break;
2305
2306 case 3: /* stxssp with LSB of DS field = 0 */
2307 case 7: /* stxssp with LSB of DS field = 1 */
2308 op->ea = dsform_ea(instr, regs);
2309 op->reg = rd + 32;
2310 op->type = MKOP(STORE_VSX, 0, 4);
2311 op->element_size = 8;
2312 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2313 break;
2314
2315 case 5: /* stxv */
2316 op->ea = dqform_ea(instr, regs);
2317 if (instr & 8)
2318 op->reg = rd + 32;
2319 op->type = MKOP(STORE_VSX, 0, 16);
2320 op->element_size = 16;
2321 op->vsx_flags = VSX_CHECK_VEC;
2322 break;
2323 }
2324 break;
2325#endif /* CONFIG_VSX */
2326
2327#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002328 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002329 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002330 switch (instr & 3) {
2331 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002332 op->type = MKOP(STORE, 0, 8);
2333 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002334 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002335 op->type = MKOP(STORE, UPDATE, 8);
2336 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002337 case 2: /* stq */
2338 if (!(rd & 1))
2339 op->type = MKOP(STORE, 0, 16);
2340 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002341 }
2342 break;
2343#endif /* __powerpc64__ */
2344
2345 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002346 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002347
2348 logical_done:
2349 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002350 set_cr0(regs, op, ra);
2351 logical_done_nocc:
2352 op->reg = ra;
2353 op->type |= SETREG;
2354 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002355
2356 arith_done:
2357 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002358 set_cr0(regs, op, rd);
2359 compute_done:
2360 op->reg = rd;
2361 op->type |= SETREG;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002362 return 1;
2363
2364 priv:
2365 op->type = INTERRUPT | 0x700;
2366 op->val = SRR1_PROGPRIV;
2367 return 0;
2368
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002369 trap:
2370 op->type = INTERRUPT | 0x700;
2371 op->val = SRR1_PROGTRAP;
2372 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002373}
2374EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302375NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002376
2377/*
2378 * For PPC32 we always use stwu with r1 to change the stack pointer.
2379 * So this emulated store may corrupt the exception frame, now we
2380 * have to provide the exception frame trampoline, which is pushed
2381 * below the kprobed function stack. So we only update gpr[1] but
2382 * don't emulate the real store operation. We will do real store
2383 * operation safely in exception return code by checking this flag.
2384 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302385static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002386{
2387#ifdef CONFIG_PPC32
2388 /*
2389 * Check if we will touch kernel stack overflow
2390 */
2391 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2392 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2393 return -EINVAL;
2394 }
2395#endif /* CONFIG_PPC32 */
2396 /*
2397 * Check if we already set since that means we'll
2398 * lose the previous value.
2399 */
2400 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2401 set_thread_flag(TIF_EMULATE_STACK_STORE);
2402 return 0;
2403}
2404
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302405static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002406{
2407 switch (size) {
2408 case 2:
2409 *valp = (signed short) *valp;
2410 break;
2411 case 4:
2412 *valp = (signed int) *valp;
2413 break;
2414 }
2415}
2416
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302417static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002418{
2419 switch (size) {
2420 case 2:
2421 *valp = byterev_2(*valp);
2422 break;
2423 case 4:
2424 *valp = byterev_4(*valp);
2425 break;
2426#ifdef __powerpc64__
2427 case 8:
2428 *valp = byterev_8(*valp);
2429 break;
2430#endif
2431 }
2432}
2433
2434/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002435 * Emulate an instruction that can be executed just by updating
2436 * fields in *regs.
2437 */
2438void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2439{
2440 unsigned long next_pc;
2441
2442 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2443 switch (op->type & INSTR_TYPE_MASK) {
2444 case COMPUTE:
2445 if (op->type & SETREG)
2446 regs->gpr[op->reg] = op->val;
2447 if (op->type & SETCC)
2448 regs->ccr = op->ccval;
2449 if (op->type & SETXER)
2450 regs->xer = op->xerval;
2451 break;
2452
2453 case BRANCH:
2454 if (op->type & SETLK)
2455 regs->link = next_pc;
2456 if (op->type & BRTAKEN)
2457 next_pc = op->val;
2458 if (op->type & DECCTR)
2459 --regs->ctr;
2460 break;
2461
2462 case BARRIER:
2463 switch (op->type & BARRIER_MASK) {
2464 case BARRIER_SYNC:
2465 mb();
2466 break;
2467 case BARRIER_ISYNC:
2468 isync();
2469 break;
2470 case BARRIER_EIEIO:
2471 eieio();
2472 break;
2473 case BARRIER_LWSYNC:
2474 asm volatile("lwsync" : : : "memory");
2475 break;
2476 case BARRIER_PTESYNC:
2477 asm volatile("ptesync" : : : "memory");
2478 break;
2479 }
2480 break;
2481
2482 case MFSPR:
2483 switch (op->spr) {
2484 case SPRN_XER:
2485 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2486 break;
2487 case SPRN_LR:
2488 regs->gpr[op->reg] = regs->link;
2489 break;
2490 case SPRN_CTR:
2491 regs->gpr[op->reg] = regs->ctr;
2492 break;
2493 default:
2494 WARN_ON_ONCE(1);
2495 }
2496 break;
2497
2498 case MTSPR:
2499 switch (op->spr) {
2500 case SPRN_XER:
2501 regs->xer = op->val & 0xffffffffUL;
2502 break;
2503 case SPRN_LR:
2504 regs->link = op->val;
2505 break;
2506 case SPRN_CTR:
2507 regs->ctr = op->val;
2508 break;
2509 default:
2510 WARN_ON_ONCE(1);
2511 }
2512 break;
2513
2514 default:
2515 WARN_ON_ONCE(1);
2516 }
2517 regs->nip = next_pc;
2518}
2519
2520/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002521 * Emulate instructions that cause a transfer of control,
2522 * loads and stores, and a few other instructions.
2523 * Returns 1 if the step was emulated, 0 if not,
2524 * or -1 if the instruction is one that should not be stepped,
2525 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2526 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302527int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002528{
2529 struct instruction_op op;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002530 int r, err, size, type;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002531 unsigned long val;
2532 unsigned int cr;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002533 int i, rd, nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002534 unsigned long ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002535
2536 r = analyse_instr(&op, regs, instr);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002537 if (r < 0)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002538 return r;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002539 if (r > 0) {
2540 emulate_update_regs(regs, &op);
2541 return 1;
2542 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002543
2544 err = 0;
2545 size = GETSIZE(op.type);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002546 type = op.type & INSTR_TYPE_MASK;
2547
2548 ea = op.ea;
2549 if (OP_IS_LOAD_STORE(type) || type == CACHEOP)
2550 ea = truncate_if_32bit(regs->msr, op.ea);
2551
2552 switch (type) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002553 case CACHEOP:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002554 if (!address_ok(regs, ea, 8))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002555 return 0;
2556 switch (op.type & CACHEOP_MASK) {
2557 case DCBST:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002558 __cacheop_user_asmx(ea, err, "dcbst");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002559 break;
2560 case DCBF:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002561 __cacheop_user_asmx(ea, err, "dcbf");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002562 break;
2563 case DCBTST:
2564 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002565 prefetchw((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002566 break;
2567 case DCBT:
2568 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002569 prefetch((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002570 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002571 case ICBI:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002572 __cacheop_user_asmx(ea, err, "icbi");
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002573 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002574 }
2575 if (err)
2576 return 0;
2577 goto instr_done;
2578
2579 case LARX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002580 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002581 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002582 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002583 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002584 err = 0;
2585 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002586#ifdef __powerpc64__
2587 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002588 __get_user_asmx(val, ea, err, "lbarx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002589 break;
2590 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002591 __get_user_asmx(val, ea, err, "lharx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002592 break;
2593#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002594 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002595 __get_user_asmx(val, ea, err, "lwarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002596 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002597#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002598 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002599 __get_user_asmx(val, ea, err, "ldarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002600 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002601 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002602 err = do_lqarx(ea, &regs->gpr[op.reg]);
Paul Mackerras350779a2017-08-30 14:12:27 +10002603 goto ldst_done;
Lennart Sorensendd217312016-05-05 16:44:44 -04002604#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002605 default:
2606 return 0;
2607 }
2608 if (!err)
2609 regs->gpr[op.reg] = val;
2610 goto ldst_done;
2611
2612 case STCX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002613 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002614 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002615 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002616 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002617 err = 0;
2618 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002619#ifdef __powerpc64__
2620 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002621 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002622 break;
2623 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002624 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002625 break;
2626#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002627 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002628 __put_user_asmx(op.val, ea, err, "stwcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002629 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002630#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002631 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002632 __put_user_asmx(op.val, ea, err, "stdcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002633 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002634 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002635 err = do_stqcx(ea, regs->gpr[op.reg],
Paul Mackerras350779a2017-08-30 14:12:27 +10002636 regs->gpr[op.reg + 1], &cr);
2637 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002638#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002639 default:
2640 return 0;
2641 }
2642 if (!err)
2643 regs->ccr = (regs->ccr & 0x0fffffff) |
2644 (cr & 0xe0000000) |
2645 ((regs->xer >> 3) & 0x10000000);
2646 goto ldst_done;
2647
2648 case LOAD:
Paul Mackerras350779a2017-08-30 14:12:27 +10002649#ifdef __powerpc64__
2650 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002651 err = emulate_lq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002652 goto ldst_done;
2653 }
2654#endif
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002655 err = read_mem(&regs->gpr[op.reg], ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002656 if (!err) {
2657 if (op.type & SIGNEXT)
2658 do_signext(&regs->gpr[op.reg], size);
2659 if (op.type & BYTEREV)
2660 do_byterev(&regs->gpr[op.reg], size);
2661 }
2662 goto ldst_done;
2663
Paul Mackerras7048c842014-11-03 15:46:43 +11002664#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002665 case LOAD_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002666 /*
2667 * If the instruction is in userspace, we can emulate it even
2668 * if the VMX state is not live, because we have the state
2669 * stored in the thread_struct. If the instruction is in
2670 * the kernel, we must not touch the state in the thread_struct.
2671 */
2672 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002673 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002674 err = do_fp_load(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002675 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002676#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002677#ifdef CONFIG_ALTIVEC
2678 case LOAD_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002679 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002680 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002681 err = do_vec_load(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002682 goto ldst_done;
2683#endif
2684#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002685 case LOAD_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002686 unsigned long msrbit = MSR_VSX;
2687
2688 /*
2689 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2690 * when the target of the instruction is a vector register.
2691 */
2692 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2693 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002694 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002695 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002696 err = do_vsx_load(&op, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002697 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002698 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002699#endif
2700 case LOAD_MULTI:
2701 if (regs->msr & MSR_LE)
2702 return 0;
2703 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002704 for (i = 0; i < size; i += 4) {
2705 nb = size - i;
2706 if (nb > 4)
2707 nb = 4;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002708 err = read_mem(&regs->gpr[rd], ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002709 if (err)
2710 return 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002711 if (nb < 4) /* left-justify last bytes */
2712 regs->gpr[rd] <<= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002713 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002714 ++rd;
2715 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002716 goto instr_done;
2717
2718 case STORE:
Paul Mackerras350779a2017-08-30 14:12:27 +10002719#ifdef __powerpc64__
2720 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002721 err = emulate_stq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002722 goto ldst_done;
2723 }
2724#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002725 if ((op.type & UPDATE) && size == sizeof(long) &&
2726 op.reg == 1 && op.update_reg == 1 &&
2727 !(regs->msr & MSR_PR) &&
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002728 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2729 err = handle_stack_update(ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002730 goto ldst_done;
2731 }
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002732 err = write_mem(op.val, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002733 goto ldst_done;
2734
Paul Mackerras7048c842014-11-03 15:46:43 +11002735#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002736 case STORE_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002737 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002738 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002739 err = do_fp_store(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002740 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002741#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002742#ifdef CONFIG_ALTIVEC
2743 case STORE_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002744 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002745 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002746 err = do_vec_store(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002747 goto ldst_done;
2748#endif
2749#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002750 case STORE_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002751 unsigned long msrbit = MSR_VSX;
2752
2753 /*
2754 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2755 * when the target of the instruction is a vector register.
2756 */
2757 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2758 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002759 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002760 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002761 err = do_vsx_store(&op, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002762 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002763 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002764#endif
2765 case STORE_MULTI:
2766 if (regs->msr & MSR_LE)
2767 return 0;
2768 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002769 for (i = 0; i < size; i += 4) {
2770 val = regs->gpr[rd];
2771 nb = size - i;
2772 if (nb > 4)
2773 nb = 4;
2774 else
2775 val >>= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002776 err = write_mem(val, ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002777 if (err)
2778 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002779 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002780 ++rd;
2781 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002782 goto instr_done;
2783
2784 case MFMSR:
2785 regs->gpr[op.reg] = regs->msr & MSR_MASK;
2786 goto instr_done;
2787
2788 case MTMSR:
2789 val = regs->gpr[op.reg];
2790 if ((val & MSR_RI) == 0)
2791 /* can't step mtmsr[d] that would clear MSR_RI */
2792 return -1;
2793 /* here op.val is the mask of bits to change */
2794 regs->msr = (regs->msr & ~op.val) | (val & op.val);
2795 goto instr_done;
2796
2797#ifdef CONFIG_PPC64
2798 case SYSCALL: /* sc */
2799 /*
2800 * N.B. this uses knowledge about how the syscall
2801 * entry code works. If that is changed, this will
2802 * need to be changed also.
2803 */
2804 if (regs->gpr[0] == 0x1ebe &&
2805 cpu_has_feature(CPU_FTR_REAL_LE)) {
2806 regs->msr ^= MSR_LE;
2807 goto instr_done;
2808 }
2809 regs->gpr[9] = regs->gpr[13];
2810 regs->gpr[10] = MSR_KERNEL;
2811 regs->gpr[11] = regs->nip + 4;
2812 regs->gpr[12] = regs->msr & MSR_MASK;
2813 regs->gpr[13] = (unsigned long) get_paca();
2814 regs->nip = (unsigned long) &system_call_common;
2815 regs->msr = MSR_KERNEL;
2816 return 1;
2817
2818 case RFI:
2819 return -1;
2820#endif
2821 }
2822 return 0;
2823
2824 ldst_done:
2825 if (err)
2826 return 0;
2827 if (op.type & UPDATE)
2828 regs->gpr[op.update_reg] = op.ea;
2829
2830 instr_done:
2831 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
2832 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10002833}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302834NOKPROBE_SYMBOL(emulate_step);