blob: 2d7e498b622bfa3830680dbf99e1bf77af967d0f [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;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000418 double d[2];
419 unsigned long l[2];
420 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000421 } 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)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000430 conv_sp_to_dp(&u.f, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000431 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000432 put_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000433 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000434 current->thread.TS_FPR(rn) = u.l[0];
435 if (nb == 16) {
436 /* lfdp */
437 rn |= 1;
438 if (regs->msr & MSR_FP)
439 put_fpr(rn, &u.d[1]);
440 else
441 current->thread.TS_FPR(rn) = u.l[1];
442 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000443 preempt_enable();
444 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000445}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530446NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000447
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000448static int do_fp_store(int rn, unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000449{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000450 union {
451 float f;
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000452 double d[2];
453 unsigned long l[2];
454 u8 b[2 * sizeof(double)];
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000455 } u;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000456
457 if (!address_ok(regs, ea, nb))
458 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000459 preempt_disable();
460 if (regs->msr & MSR_FP)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000461 get_fpr(rn, &u.d[0]);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000462 else
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000463 u.l[0] = current->thread.TS_FPR(rn);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000464 if (nb == 4)
Paul Mackerras1f41fb72017-08-30 14:12:35 +1000465 conv_dp_to_sp(&u.d[0], &u.f);
466 if (nb == 16) {
467 rn |= 1;
468 if (regs->msr & MSR_FP)
469 get_fpr(rn, &u.d[1]);
470 else
471 u.l[1] = current->thread.TS_FPR(rn);
472 }
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000473 preempt_enable();
474 return copy_mem_out(u.b, ea, nb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000475}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530476NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000477#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000478
479#ifdef CONFIG_ALTIVEC
480/* For Altivec/VMX, no need to worry about alignment */
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000481static nokprobe_inline int do_vec_load(int rn, unsigned long ea,
482 int size, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000483{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000484 int err;
485 union {
486 __vector128 v;
487 u8 b[sizeof(__vector128)];
488 } u = {};
489
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000490 if (!address_ok(regs, ea & ~0xfUL, 16))
491 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000492 /* align to multiple of size */
493 ea &= ~(size - 1);
Paul Mackerrase61ccc72017-08-30 14:12:34 +1000494 err = copy_mem_in(&u.b[ea & 0xf], ea, size);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000495 if (err)
496 return err;
497
498 preempt_disable();
499 if (regs->msr & MSR_VEC)
500 put_vr(rn, &u.v);
501 else
502 current->thread.vr_state.vr[rn] = u.v;
503 preempt_enable();
504 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000505}
506
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000507static nokprobe_inline int do_vec_store(int rn, unsigned long ea,
508 int size, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000509{
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000510 union {
511 __vector128 v;
512 u8 b[sizeof(__vector128)];
513 } u;
514
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000515 if (!address_ok(regs, ea & ~0xfUL, 16))
516 return -EFAULT;
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000517 /* align to multiple of size */
518 ea &= ~(size - 1);
519
520 preempt_disable();
521 if (regs->msr & MSR_VEC)
522 get_vr(rn, &u.v);
523 else
524 u.v = current->thread.vr_state.vr[rn];
525 preempt_enable();
Paul Mackerrase61ccc72017-08-30 14:12:34 +1000526 return copy_mem_out(&u.b[ea & 0xf], ea, size);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000527}
528#endif /* CONFIG_ALTIVEC */
529
Paul Mackerras350779a2017-08-30 14:12:27 +1000530#ifdef __powerpc64__
531static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
532 int reg)
533{
534 int err;
535
536 if (!address_ok(regs, ea, 16))
537 return -EFAULT;
538 /* if aligned, should be atomic */
539 if ((ea & 0xf) == 0)
540 return do_lq(ea, &regs->gpr[reg]);
541
542 err = read_mem(&regs->gpr[reg + IS_LE], ea, 8, regs);
543 if (!err)
544 err = read_mem(&regs->gpr[reg + IS_BE], ea + 8, 8, regs);
545 return err;
546}
547
548static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
549 int reg)
550{
551 int err;
552
553 if (!address_ok(regs, ea, 16))
554 return -EFAULT;
555 /* if aligned, should be atomic */
556 if ((ea & 0xf) == 0)
557 return do_stq(ea, regs->gpr[reg], regs->gpr[reg + 1]);
558
559 err = write_mem(regs->gpr[reg + IS_LE], ea, 8, regs);
560 if (!err)
561 err = write_mem(regs->gpr[reg + IS_BE], ea + 8, 8, regs);
562 return err;
563}
564#endif /* __powerpc64 */
565
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000566#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +1000567void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
568 const void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000569{
Paul Mackerras350779a2017-08-30 14:12:27 +1000570 int size, read_size;
571 int i, j;
572 const unsigned int *wp;
573 const unsigned short *hp;
574 const unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000575
Paul Mackerras350779a2017-08-30 14:12:27 +1000576 size = GETSIZE(op->type);
577 reg->d[0] = reg->d[1] = 0;
578
579 switch (op->element_size) {
580 case 16:
581 /* whole vector; lxv[x] or lxvl[l] */
582 if (size == 0)
583 break;
584 memcpy(reg, mem, size);
585 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
586 /* reverse 16 bytes */
587 unsigned long tmp;
588 tmp = byterev_8(reg->d[0]);
589 reg->d[0] = byterev_8(reg->d[1]);
590 reg->d[1] = tmp;
591 }
592 break;
593 case 8:
594 /* scalar loads, lxvd2x, lxvdsx */
595 read_size = (size >= 8) ? 8 : size;
596 i = IS_LE ? 8 : 8 - read_size;
597 memcpy(&reg->b[i], mem, read_size);
598 if (size < 8) {
599 if (op->type & SIGNEXT) {
600 /* size == 4 is the only case here */
601 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
602 } else if (op->vsx_flags & VSX_FPCONV) {
603 preempt_disable();
604 conv_sp_to_dp(&reg->fp[1 + IS_LE],
605 &reg->dp[IS_LE]);
606 preempt_enable();
607 }
608 } else {
609 if (size == 16)
610 reg->d[IS_BE] = *(unsigned long *)(mem + 8);
611 else if (op->vsx_flags & VSX_SPLAT)
612 reg->d[IS_BE] = reg->d[IS_LE];
613 }
614 break;
615 case 4:
616 /* lxvw4x, lxvwsx */
617 wp = mem;
618 for (j = 0; j < size / 4; ++j) {
619 i = IS_LE ? 3 - j : j;
620 reg->w[i] = *wp++;
621 }
622 if (op->vsx_flags & VSX_SPLAT) {
623 u32 val = reg->w[IS_LE ? 3 : 0];
624 for (; j < 4; ++j) {
625 i = IS_LE ? 3 - j : j;
626 reg->w[i] = val;
627 }
628 }
629 break;
630 case 2:
631 /* lxvh8x */
632 hp = mem;
633 for (j = 0; j < size / 2; ++j) {
634 i = IS_LE ? 7 - j : j;
635 reg->h[i] = *hp++;
636 }
637 break;
638 case 1:
639 /* lxvb16x */
640 bp = mem;
641 for (j = 0; j < size; ++j) {
642 i = IS_LE ? 15 - j : j;
643 reg->b[i] = *bp++;
644 }
645 break;
646 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000647}
Paul Mackerras350779a2017-08-30 14:12:27 +1000648EXPORT_SYMBOL_GPL(emulate_vsx_load);
649NOKPROBE_SYMBOL(emulate_vsx_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000650
Paul Mackerras350779a2017-08-30 14:12:27 +1000651void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
652 void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000653{
Paul Mackerras350779a2017-08-30 14:12:27 +1000654 int size, write_size;
655 int i, j;
656 union vsx_reg buf;
657 unsigned int *wp;
658 unsigned short *hp;
659 unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000660
Paul Mackerras350779a2017-08-30 14:12:27 +1000661 size = GETSIZE(op->type);
662
663 switch (op->element_size) {
664 case 16:
665 /* stxv, stxvx, stxvl, stxvll */
666 if (size == 0)
667 break;
668 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
669 /* reverse 16 bytes */
670 buf.d[0] = byterev_8(reg->d[1]);
671 buf.d[1] = byterev_8(reg->d[0]);
672 reg = &buf;
673 }
674 memcpy(mem, reg, size);
675 break;
676 case 8:
677 /* scalar stores, stxvd2x */
678 write_size = (size >= 8) ? 8 : size;
679 i = IS_LE ? 8 : 8 - write_size;
680 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
681 buf.d[0] = buf.d[1] = 0;
682 preempt_disable();
683 conv_dp_to_sp(&reg->dp[IS_LE], &buf.fp[1 + IS_LE]);
684 preempt_enable();
685 reg = &buf;
686 }
687 memcpy(mem, &reg->b[i], write_size);
688 if (size == 16)
689 memcpy(mem + 8, &reg->d[IS_BE], 8);
690 break;
691 case 4:
692 /* stxvw4x */
693 wp = mem;
694 for (j = 0; j < size / 4; ++j) {
695 i = IS_LE ? 3 - j : j;
696 *wp++ = reg->w[i];
697 }
698 break;
699 case 2:
700 /* stxvh8x */
701 hp = mem;
702 for (j = 0; j < size / 2; ++j) {
703 i = IS_LE ? 7 - j : j;
704 *hp++ = reg->h[i];
705 }
706 break;
707 case 1:
708 /* stvxb16x */
709 bp = mem;
710 for (j = 0; j < size; ++j) {
711 i = IS_LE ? 15 - j : j;
712 *bp++ = reg->b[i];
713 }
714 break;
715 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000716}
Paul Mackerras350779a2017-08-30 14:12:27 +1000717EXPORT_SYMBOL_GPL(emulate_vsx_store);
718NOKPROBE_SYMBOL(emulate_vsx_store);
Paul Mackerrasc22435a52017-08-30 14:12:33 +1000719
720static nokprobe_inline int do_vsx_load(struct instruction_op *op,
721 unsigned long ea, struct pt_regs *regs)
722{
723 int reg = op->reg;
724 u8 mem[16];
725 union vsx_reg buf;
726 int size = GETSIZE(op->type);
727
728 if (!address_ok(regs, ea, size) || copy_mem_in(mem, ea, size))
729 return -EFAULT;
730
731 emulate_vsx_load(op, &buf, mem);
732 preempt_disable();
733 if (reg < 32) {
734 /* FP regs + extensions */
735 if (regs->msr & MSR_FP) {
736 load_vsrn(reg, &buf);
737 } else {
738 current->thread.fp_state.fpr[reg][0] = buf.d[0];
739 current->thread.fp_state.fpr[reg][1] = buf.d[1];
740 }
741 } else {
742 if (regs->msr & MSR_VEC)
743 load_vsrn(reg, &buf);
744 else
745 current->thread.vr_state.vr[reg - 32] = buf.v;
746 }
747 preempt_enable();
748 return 0;
749}
750
751static nokprobe_inline int do_vsx_store(struct instruction_op *op,
752 unsigned long ea, struct pt_regs *regs)
753{
754 int reg = op->reg;
755 u8 mem[16];
756 union vsx_reg buf;
757 int size = GETSIZE(op->type);
758
759 if (!address_ok(regs, ea, size))
760 return -EFAULT;
761
762 preempt_disable();
763 if (reg < 32) {
764 /* FP regs + extensions */
765 if (regs->msr & MSR_FP) {
766 store_vsrn(reg, &buf);
767 } else {
768 buf.d[0] = current->thread.fp_state.fpr[reg][0];
769 buf.d[1] = current->thread.fp_state.fpr[reg][1];
770 }
771 } else {
772 if (regs->msr & MSR_VEC)
773 store_vsrn(reg, &buf);
774 else
775 buf.v = current->thread.vr_state.vr[reg - 32];
776 }
777 preempt_enable();
778 emulate_vsx_store(op, &buf, mem);
779 return copy_mem_out(mem, ea, size);
780}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000781#endif /* CONFIG_VSX */
782
Paul Mackerrasb2543f72017-08-30 14:12:36 +1000783int emulate_dcbz(unsigned long ea, struct pt_regs *regs)
784{
785 int err;
786 unsigned long i, size;
787
788#ifdef __powerpc64__
789 size = ppc64_caches.l1d.block_size;
790 if (!(regs->msr & MSR_64BIT))
791 ea &= 0xffffffffUL;
792#else
793 size = L1_CACHE_BYTES;
794#endif
795 ea &= ~(size - 1);
796 if (!address_ok(regs, ea, size))
797 return -EFAULT;
798 for (i = 0; i < size; i += sizeof(long)) {
799 err = __put_user(0, (unsigned long __user *) (ea + i));
800 if (err)
801 return err;
802 }
803 return 0;
804}
805NOKPROBE_SYMBOL(emulate_dcbz);
806
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000807#define __put_user_asmx(x, addr, err, op, cr) \
808 __asm__ __volatile__( \
809 "1: " op " %2,0,%3\n" \
810 " mfcr %1\n" \
811 "2:\n" \
812 ".section .fixup,\"ax\"\n" \
813 "3: li %0,%4\n" \
814 " b 2b\n" \
815 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100816 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000817 : "=r" (err), "=r" (cr) \
818 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
819
820#define __get_user_asmx(x, addr, err, op) \
821 __asm__ __volatile__( \
822 "1: "op" %1,0,%2\n" \
823 "2:\n" \
824 ".section .fixup,\"ax\"\n" \
825 "3: li %0,%3\n" \
826 " b 2b\n" \
827 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100828 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000829 : "=r" (err), "=r" (x) \
830 : "r" (addr), "i" (-EFAULT), "0" (err))
831
832#define __cacheop_user_asmx(addr, err, op) \
833 __asm__ __volatile__( \
834 "1: "op" 0,%1\n" \
835 "2:\n" \
836 ".section .fixup,\"ax\"\n" \
837 "3: li %0,%3\n" \
838 " b 2b\n" \
839 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100840 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000841 : "=r" (err) \
842 : "r" (addr), "i" (-EFAULT), "0" (err))
843
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000844static nokprobe_inline void set_cr0(const struct pt_regs *regs,
845 struct instruction_op *op, int rd)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000846{
847 long val = regs->gpr[rd];
848
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000849 op->type |= SETCC;
850 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000851#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000852 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000853 val = (int) val;
854#endif
855 if (val < 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000856 op->ccval |= 0x80000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000857 else if (val > 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000858 op->ccval |= 0x40000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000859 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000860 op->ccval |= 0x20000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000861}
862
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000863static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
864 struct instruction_op *op, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000865 unsigned long val1, unsigned long val2,
866 unsigned long carry_in)
867{
868 unsigned long val = val1 + val2;
869
870 if (carry_in)
871 ++val;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000872 op->type = COMPUTE + SETREG + SETXER;
873 op->reg = rd;
874 op->val = val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000875#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000876 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000877 val = (unsigned int) val;
878 val1 = (unsigned int) val1;
879 }
880#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000881 op->xerval = regs->xer;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000882 if (val < val1 || (carry_in && val == val1))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000883 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000884 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000885 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000886}
887
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000888static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
889 struct instruction_op *op,
890 long v1, long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000891{
892 unsigned int crval, shift;
893
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000894 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000895 crval = (regs->xer >> 31) & 1; /* get SO bit */
896 if (v1 < v2)
897 crval |= 8;
898 else if (v1 > v2)
899 crval |= 4;
900 else
901 crval |= 2;
902 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000903 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000904}
905
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000906static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
907 struct instruction_op *op,
908 unsigned long v1,
909 unsigned long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000910{
911 unsigned int crval, shift;
912
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000913 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000914 crval = (regs->xer >> 31) & 1; /* get SO bit */
915 if (v1 < v2)
916 crval |= 8;
917 else if (v1 > v2)
918 crval |= 4;
919 else
920 crval |= 2;
921 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000922 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000923}
924
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000925static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
926 struct instruction_op *op,
927 unsigned long v1, unsigned long v2)
Matt Brown02c0f622017-07-31 10:58:22 +1000928{
929 unsigned long long out_val, mask;
930 int i;
931
932 out_val = 0;
933 for (i = 0; i < 8; i++) {
934 mask = 0xffUL << (i * 8);
935 if ((v1 & mask) == (v2 & mask))
936 out_val |= mask;
937 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000938 op->val = out_val;
Matt Brown02c0f622017-07-31 10:58:22 +1000939}
940
Matt Browndcbd19b2017-07-31 10:58:23 +1000941/*
942 * The size parameter is used to adjust the equivalent popcnt instruction.
943 * popcntb = 8, popcntw = 32, popcntd = 64
944 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000945static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
946 struct instruction_op *op,
947 unsigned long v1, int size)
Matt Browndcbd19b2017-07-31 10:58:23 +1000948{
949 unsigned long long out = v1;
950
951 out -= (out >> 1) & 0x5555555555555555;
952 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
953 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
954
955 if (size == 8) { /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000956 op->val = out;
Matt Browndcbd19b2017-07-31 10:58:23 +1000957 return;
958 }
959 out += out >> 8;
960 out += out >> 16;
961 if (size == 32) { /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000962 op->val = out & 0x0000003f0000003f;
Matt Browndcbd19b2017-07-31 10:58:23 +1000963 return;
964 }
965
966 out = (out + (out >> 32)) & 0x7f;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000967 op->val = out; /* popcntd */
Matt Browndcbd19b2017-07-31 10:58:23 +1000968}
969
Matt Brownf3127932017-07-31 10:58:24 +1000970#ifdef CONFIG_PPC64
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000971static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
972 struct instruction_op *op,
973 unsigned long v1, unsigned long v2)
Matt Brownf3127932017-07-31 10:58:24 +1000974{
975 unsigned char perm, idx;
976 unsigned int i;
977
978 perm = 0;
979 for (i = 0; i < 8; i++) {
980 idx = (v1 >> (i * 8)) & 0xff;
981 if (idx < 64)
982 if (v2 & PPC_BIT(idx))
983 perm |= 1 << i;
984 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000985 op->val = perm;
Matt Brownf3127932017-07-31 10:58:24 +1000986}
987#endif /* CONFIG_PPC64 */
Matt Brown2c979c42017-07-31 10:58:25 +1000988/*
989 * The size parameter adjusts the equivalent prty instruction.
990 * prtyw = 32, prtyd = 64
991 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000992static nokprobe_inline void do_prty(const struct pt_regs *regs,
993 struct instruction_op *op,
994 unsigned long v, int size)
Matt Brown2c979c42017-07-31 10:58:25 +1000995{
996 unsigned long long res = v ^ (v >> 8);
997
998 res ^= res >> 16;
999 if (size == 32) { /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001000 op->val = res & 0x0000000100000001;
Matt Brown2c979c42017-07-31 10:58:25 +10001001 return;
1002 }
1003
1004 res ^= res >> 32;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001005 op->val = res & 1; /*prtyd */
Matt Brown2c979c42017-07-31 10:58:25 +10001006}
Matt Brownf3127932017-07-31 10:58:24 +10001007
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301008static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001009{
1010 int ret = 0;
1011
1012 if (v1 < v2)
1013 ret |= 0x10;
1014 else if (v1 > v2)
1015 ret |= 0x08;
1016 else
1017 ret |= 0x04;
1018 if ((unsigned long)v1 < (unsigned long)v2)
1019 ret |= 0x02;
1020 else if ((unsigned long)v1 > (unsigned long)v2)
1021 ret |= 0x01;
1022 return ret;
1023}
1024
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001025/*
1026 * Elements of 32-bit rotate and mask instructions.
1027 */
1028#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
1029 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
1030#ifdef __powerpc64__
1031#define MASK64_L(mb) (~0UL >> (mb))
1032#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
1033#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
1034#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
1035#else
1036#define DATA32(x) (x)
1037#endif
1038#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
1039
1040/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001041 * Decode an instruction, and return information about it in *op
1042 * without changing *regs.
1043 * Integer arithmetic and logical instructions, branches, and barrier
1044 * instructions can be emulated just using the information in *op.
1045 *
1046 * Return value is 1 if the instruction can be emulated just by
1047 * updating *regs with the information in *op, -1 if we need the
1048 * GPRs but *regs doesn't contain the full register set, or 0
1049 * otherwise.
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001050 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001051int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
1052 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001053{
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001054 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001055 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001056 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001057 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001058 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001059
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001060 op->type = COMPUTE;
1061
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001062 opcode = instr >> 26;
1063 switch (opcode) {
1064 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001065 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001066 imm = (signed short)(instr & 0xfffc);
1067 if ((instr & 2) == 0)
1068 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001069 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001070 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001071 op->type |= SETLK;
1072 if (branch_taken(instr, regs, op))
1073 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001074 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001075#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001076 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001077 if ((instr & 0xfe2) == 2)
1078 op->type = SYSCALL;
1079 else
1080 op->type = UNKNOWN;
1081 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001082#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001083 case 18: /* b */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001084 op->type = BRANCH | BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001085 imm = instr & 0x03fffffc;
1086 if (imm & 0x02000000)
1087 imm -= 0x04000000;
1088 if ((instr & 2) == 0)
1089 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001090 op->val = truncate_if_32bit(regs->msr, imm);
Michael Ellermanb91e1362011-04-07 21:56:04 +00001091 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001092 op->type |= SETLK;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001093 return 1;
1094 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001095 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001096 case 0: /* mcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001097 op->type = COMPUTE + SETCC;
Anton Blanchard87c4b83e2017-06-15 09:46:38 +10001098 rd = 7 - ((instr >> 23) & 0x7);
1099 ra = 7 - ((instr >> 18) & 0x7);
1100 rd *= 4;
1101 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001102 val = (regs->ccr >> ra) & 0xf;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001103 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
1104 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001105
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001106 case 16: /* bclr */
1107 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001108 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001109 imm = (instr & 0x400)? regs->ctr: regs->link;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001110 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001111 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001112 op->type |= SETLK;
1113 if (branch_taken(instr, regs, op))
1114 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001115 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001116
1117 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001118 if (regs->msr & MSR_PR)
1119 goto priv;
1120 op->type = RFI;
1121 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001122
1123 case 150: /* isync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001124 op->type = BARRIER | BARRIER_ISYNC;
1125 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001126
1127 case 33: /* crnor */
1128 case 129: /* crandc */
1129 case 193: /* crxor */
1130 case 225: /* crnand */
1131 case 257: /* crand */
1132 case 289: /* creqv */
1133 case 417: /* crorc */
1134 case 449: /* cror */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001135 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001136 ra = (instr >> 16) & 0x1f;
1137 rb = (instr >> 11) & 0x1f;
1138 rd = (instr >> 21) & 0x1f;
1139 ra = (regs->ccr >> (31 - ra)) & 1;
1140 rb = (regs->ccr >> (31 - rb)) & 1;
1141 val = (instr >> (6 + ra * 2 + rb)) & 1;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001142 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001143 (val << (31 - rd));
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001144 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001145 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001146 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001147 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001148 switch ((instr >> 1) & 0x3ff) {
1149 case 598: /* sync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001150 op->type = BARRIER + BARRIER_SYNC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001151#ifdef __powerpc64__
1152 switch ((instr >> 21) & 3) {
1153 case 1: /* lwsync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001154 op->type = BARRIER + BARRIER_LWSYNC;
1155 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001156 case 2: /* ptesync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001157 op->type = BARRIER + BARRIER_PTESYNC;
1158 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001159 }
1160#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001161 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001162
1163 case 854: /* eieio */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001164 op->type = BARRIER + BARRIER_EIEIO;
1165 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001166 }
1167 break;
1168 }
1169
1170 /* Following cases refer to regs->gpr[], so we need all regs */
1171 if (!FULL_REGS(regs))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001172 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001173
1174 rd = (instr >> 21) & 0x1f;
1175 ra = (instr >> 16) & 0x1f;
1176 rb = (instr >> 11) & 0x1f;
1177
1178 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001179#ifdef __powerpc64__
1180 case 2: /* tdi */
1181 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1182 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001183 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001184#endif
1185 case 3: /* twi */
1186 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1187 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001188 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001189
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001190 case 7: /* mulli */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001191 op->val = regs->gpr[ra] * (short) instr;
1192 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001193
1194 case 8: /* subfic */
1195 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001196 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1197 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001198
1199 case 10: /* cmpli */
1200 imm = (unsigned short) instr;
1201 val = regs->gpr[ra];
1202#ifdef __powerpc64__
1203 if ((rd & 1) == 0)
1204 val = (unsigned int) val;
1205#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001206 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1207 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001208
1209 case 11: /* cmpi */
1210 imm = (short) instr;
1211 val = regs->gpr[ra];
1212#ifdef __powerpc64__
1213 if ((rd & 1) == 0)
1214 val = (int) val;
1215#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001216 do_cmp_signed(regs, op, val, imm, rd >> 2);
1217 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001218
1219 case 12: /* addic */
1220 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001221 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1222 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001223
1224 case 13: /* addic. */
1225 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001226 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1227 set_cr0(regs, op, rd);
1228 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001229
1230 case 14: /* addi */
1231 imm = (short) instr;
1232 if (ra)
1233 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001234 op->val = imm;
1235 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001236
1237 case 15: /* addis */
1238 imm = ((short) instr) << 16;
1239 if (ra)
1240 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001241 op->val = imm;
1242 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001243
Paul Mackerras958465e2017-08-30 14:12:31 +10001244 case 19:
1245 if (((instr >> 1) & 0x1f) == 2) {
1246 /* addpcis */
1247 imm = (short) (instr & 0xffc1); /* d0 + d2 fields */
1248 imm |= (instr >> 15) & 0x3e; /* d1 field */
1249 op->val = regs->nip + (imm << 16) + 4;
1250 goto compute_done;
1251 }
1252 op->type = UNKNOWN;
1253 return 0;
1254
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001255 case 20: /* rlwimi */
1256 mb = (instr >> 6) & 0x1f;
1257 me = (instr >> 1) & 0x1f;
1258 val = DATA32(regs->gpr[rd]);
1259 imm = MASK32(mb, me);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001260 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001261 goto logical_done;
1262
1263 case 21: /* rlwinm */
1264 mb = (instr >> 6) & 0x1f;
1265 me = (instr >> 1) & 0x1f;
1266 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001267 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001268 goto logical_done;
1269
1270 case 23: /* rlwnm */
1271 mb = (instr >> 6) & 0x1f;
1272 me = (instr >> 1) & 0x1f;
1273 rb = regs->gpr[rb] & 0x1f;
1274 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001275 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001276 goto logical_done;
1277
1278 case 24: /* ori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001279 op->val = regs->gpr[rd] | (unsigned short) instr;
1280 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001281
1282 case 25: /* oris */
1283 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001284 op->val = regs->gpr[rd] | (imm << 16);
1285 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001286
1287 case 26: /* xori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001288 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1289 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001290
1291 case 27: /* xoris */
1292 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001293 op->val = regs->gpr[rd] ^ (imm << 16);
1294 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001295
1296 case 28: /* andi. */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001297 op->val = regs->gpr[rd] & (unsigned short) instr;
1298 set_cr0(regs, op, ra);
1299 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001300
1301 case 29: /* andis. */
1302 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001303 op->val = regs->gpr[rd] & (imm << 16);
1304 set_cr0(regs, op, ra);
1305 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001306
1307#ifdef __powerpc64__
1308 case 30: /* rld* */
1309 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1310 val = regs->gpr[rd];
1311 if ((instr & 0x10) == 0) {
1312 sh = rb | ((instr & 2) << 4);
1313 val = ROTATE(val, sh);
1314 switch ((instr >> 2) & 3) {
1315 case 0: /* rldicl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001316 val &= MASK64_L(mb);
1317 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001318 case 1: /* rldicr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001319 val &= MASK64_R(mb);
1320 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001321 case 2: /* rldic */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001322 val &= MASK64(mb, 63 - sh);
1323 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001324 case 3: /* rldimi */
1325 imm = MASK64(mb, 63 - sh);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001326 val = (regs->gpr[ra] & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001327 (val & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001328 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001329 op->val = val;
1330 goto logical_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001331 } else {
1332 sh = regs->gpr[rb] & 0x3f;
1333 val = ROTATE(val, sh);
1334 switch ((instr >> 1) & 7) {
1335 case 0: /* rldcl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001336 op->val = val & MASK64_L(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001337 goto logical_done;
1338 case 1: /* rldcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001339 op->val = val & MASK64_R(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001340 goto logical_done;
1341 }
1342 }
1343#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001344 op->type = UNKNOWN; /* illegal instruction */
1345 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001346
1347 case 31:
Paul Mackerrasf1bbb992017-08-30 14:12:29 +10001348 /* isel occupies 32 minor opcodes */
1349 if (((instr >> 1) & 0x1f) == 15) {
1350 mb = (instr >> 6) & 0x1f; /* bc field */
1351 val = (regs->ccr >> (31 - mb)) & 1;
1352 val2 = (ra) ? regs->gpr[ra] : 0;
1353
1354 op->val = (val) ? val2 : regs->gpr[rb];
1355 goto compute_done;
1356 }
1357
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001358 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001359 case 4: /* tw */
1360 if (rd == 0x1f ||
1361 (rd & trap_compare((int)regs->gpr[ra],
1362 (int)regs->gpr[rb])))
1363 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001364 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001365#ifdef __powerpc64__
1366 case 68: /* td */
1367 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1368 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001369 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001370#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001371 case 83: /* mfmsr */
1372 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001373 goto priv;
1374 op->type = MFMSR;
1375 op->reg = rd;
1376 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001377 case 146: /* mtmsr */
1378 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001379 goto priv;
1380 op->type = MTMSR;
1381 op->reg = rd;
1382 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1383 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001384#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001385 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001386 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001387 goto priv;
1388 op->type = MTMSR;
1389 op->reg = rd;
1390 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1391 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1392 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1393 op->val = imm;
1394 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001395#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001396
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001397 case 19: /* mfcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001398 imm = 0xffffffffUL;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001399 if ((instr >> 20) & 1) {
1400 imm = 0xf0000000UL;
1401 for (sh = 0; sh < 8; ++sh) {
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001402 if (instr & (0x80000 >> sh))
Anton Blanchard64e756c2017-06-15 09:46:39 +10001403 break;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001404 imm >>= 4;
1405 }
Anton Blanchard64e756c2017-06-15 09:46:39 +10001406 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001407 op->val = regs->ccr & imm;
1408 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001409
1410 case 144: /* mtcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001411 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001412 imm = 0xf0000000UL;
1413 val = regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001414 op->val = regs->ccr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001415 for (sh = 0; sh < 8; ++sh) {
1416 if (instr & (0x80000 >> sh))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001417 op->val = (op->val & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001418 (val & imm);
1419 imm >>= 4;
1420 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001421 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001422
1423 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001424 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001425 op->type = MFSPR;
1426 op->reg = rd;
1427 op->spr = spr;
1428 if (spr == SPRN_XER || spr == SPRN_LR ||
1429 spr == SPRN_CTR)
1430 return 1;
1431 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001432
1433 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001434 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001435 op->type = MTSPR;
1436 op->val = regs->gpr[rd];
1437 op->spr = spr;
1438 if (spr == SPRN_XER || spr == SPRN_LR ||
1439 spr == SPRN_CTR)
1440 return 1;
1441 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001442
1443/*
1444 * Compare instructions
1445 */
1446 case 0: /* cmp */
1447 val = regs->gpr[ra];
1448 val2 = regs->gpr[rb];
1449#ifdef __powerpc64__
1450 if ((rd & 1) == 0) {
1451 /* word (32-bit) compare */
1452 val = (int) val;
1453 val2 = (int) val2;
1454 }
1455#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001456 do_cmp_signed(regs, op, val, val2, rd >> 2);
1457 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001458
1459 case 32: /* cmpl */
1460 val = regs->gpr[ra];
1461 val2 = regs->gpr[rb];
1462#ifdef __powerpc64__
1463 if ((rd & 1) == 0) {
1464 /* word (32-bit) compare */
1465 val = (unsigned int) val;
1466 val2 = (unsigned int) val2;
1467 }
1468#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001469 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1470 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001471
Matt Brown02c0f622017-07-31 10:58:22 +10001472 case 508: /* cmpb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001473 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1474 goto logical_done_nocc;
Matt Brown02c0f622017-07-31 10:58:22 +10001475
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001476/*
1477 * Arithmetic instructions
1478 */
1479 case 8: /* subfc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001480 add_with_carry(regs, op, rd, ~regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001481 regs->gpr[rb], 1);
1482 goto arith_done;
1483#ifdef __powerpc64__
1484 case 9: /* mulhdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001485 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001486 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1487 goto arith_done;
1488#endif
1489 case 10: /* addc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001490 add_with_carry(regs, op, rd, regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001491 regs->gpr[rb], 0);
1492 goto arith_done;
1493
1494 case 11: /* mulhwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001495 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001496 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1497 goto arith_done;
1498
1499 case 40: /* subf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001500 op->val = regs->gpr[rb] - regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001501 goto arith_done;
1502#ifdef __powerpc64__
1503 case 73: /* mulhd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001504 asm("mulhd %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001505 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1506 goto arith_done;
1507#endif
1508 case 75: /* mulhw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001509 asm("mulhw %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001510 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1511 goto arith_done;
1512
1513 case 104: /* neg */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001514 op->val = -regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001515 goto arith_done;
1516
1517 case 136: /* subfe */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001518 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1519 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001520 goto arith_done;
1521
1522 case 138: /* adde */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001523 add_with_carry(regs, op, rd, regs->gpr[ra],
1524 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001525 goto arith_done;
1526
1527 case 200: /* subfze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001528 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001529 regs->xer & XER_CA);
1530 goto arith_done;
1531
1532 case 202: /* addze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001533 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001534 regs->xer & XER_CA);
1535 goto arith_done;
1536
1537 case 232: /* subfme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001538 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001539 regs->xer & XER_CA);
1540 goto arith_done;
1541#ifdef __powerpc64__
1542 case 233: /* mulld */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001543 op->val = regs->gpr[ra] * regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001544 goto arith_done;
1545#endif
1546 case 234: /* addme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001547 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001548 regs->xer & XER_CA);
1549 goto arith_done;
1550
1551 case 235: /* mullw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001552 op->val = (unsigned int) regs->gpr[ra] *
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001553 (unsigned int) regs->gpr[rb];
1554 goto arith_done;
1555
1556 case 266: /* add */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001557 op->val = regs->gpr[ra] + regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001558 goto arith_done;
1559#ifdef __powerpc64__
1560 case 457: /* divdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001561 op->val = regs->gpr[ra] / regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001562 goto arith_done;
1563#endif
1564 case 459: /* divwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001565 op->val = (unsigned int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001566 (unsigned int) regs->gpr[rb];
1567 goto arith_done;
1568#ifdef __powerpc64__
1569 case 489: /* divd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001570 op->val = (long int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001571 (long int) regs->gpr[rb];
1572 goto arith_done;
1573#endif
1574 case 491: /* divw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001575 op->val = (int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001576 (int) regs->gpr[rb];
1577 goto arith_done;
1578
1579
1580/*
1581 * Logical instructions
1582 */
1583 case 26: /* cntlzw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001584 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001585 goto logical_done;
1586#ifdef __powerpc64__
1587 case 58: /* cntlzd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001588 op->val = __builtin_clzl(regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001589 goto logical_done;
1590#endif
1591 case 28: /* and */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001592 op->val = regs->gpr[rd] & regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001593 goto logical_done;
1594
1595 case 60: /* andc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001596 op->val = regs->gpr[rd] & ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001597 goto logical_done;
1598
Matt Browndcbd19b2017-07-31 10:58:23 +10001599 case 122: /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001600 do_popcnt(regs, op, regs->gpr[rd], 8);
Paul Mackerras5762e082017-08-30 14:12:30 +10001601 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001602
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001603 case 124: /* nor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001604 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001605 goto logical_done;
Matt Brown2c979c42017-07-31 10:58:25 +10001606
1607 case 154: /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001608 do_prty(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001609 goto logical_done_nocc;
Matt Brown2c979c42017-07-31 10:58:25 +10001610
1611 case 186: /* prtyd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001612 do_prty(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001613 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001614#ifdef CONFIG_PPC64
1615 case 252: /* bpermd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001616 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
Paul Mackerras5762e082017-08-30 14:12:30 +10001617 goto logical_done_nocc;
Matt Brownf3127932017-07-31 10:58:24 +10001618#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001619 case 284: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001620 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001621 goto logical_done;
1622
1623 case 316: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001624 op->val = regs->gpr[rd] ^ regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001625 goto logical_done;
1626
Matt Browndcbd19b2017-07-31 10:58:23 +10001627 case 378: /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001628 do_popcnt(regs, op, regs->gpr[rd], 32);
Paul Mackerras5762e082017-08-30 14:12:30 +10001629 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001630
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001631 case 412: /* orc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001632 op->val = regs->gpr[rd] | ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001633 goto logical_done;
1634
1635 case 444: /* or */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001636 op->val = regs->gpr[rd] | regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001637 goto logical_done;
1638
1639 case 476: /* nand */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001640 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001641 goto logical_done;
Matt Browndcbd19b2017-07-31 10:58:23 +10001642#ifdef CONFIG_PPC64
1643 case 506: /* popcntd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001644 do_popcnt(regs, op, regs->gpr[rd], 64);
Paul Mackerras5762e082017-08-30 14:12:30 +10001645 goto logical_done_nocc;
Matt Browndcbd19b2017-07-31 10:58:23 +10001646#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001647 case 922: /* extsh */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001648 op->val = (signed short) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001649 goto logical_done;
1650
1651 case 954: /* extsb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001652 op->val = (signed char) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001653 goto logical_done;
1654#ifdef __powerpc64__
1655 case 986: /* extsw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001656 op->val = (signed int) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001657 goto logical_done;
1658#endif
1659
1660/*
1661 * Shift instructions
1662 */
1663 case 24: /* slw */
1664 sh = regs->gpr[rb] & 0x3f;
1665 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001666 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001667 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001668 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001669 goto logical_done;
1670
1671 case 536: /* srw */
1672 sh = regs->gpr[rb] & 0x3f;
1673 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001674 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001675 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001676 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001677 goto logical_done;
1678
1679 case 792: /* sraw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001680 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001681 sh = regs->gpr[rb] & 0x3f;
1682 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001683 op->val = ival >> (sh < 32 ? sh : 31);
1684 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001685 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001686 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001687 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001688 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001689 goto logical_done;
1690
1691 case 824: /* srawi */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001692 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001693 sh = rb;
1694 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001695 op->val = ival >> sh;
1696 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001697 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001698 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001699 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001700 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001701 goto logical_done;
1702
1703#ifdef __powerpc64__
1704 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001705 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001706 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001707 op->val = regs->gpr[rd] << sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001708 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001709 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001710 goto logical_done;
1711
1712 case 539: /* srd */
1713 sh = regs->gpr[rb] & 0x7f;
1714 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001715 op->val = regs->gpr[rd] >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001716 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001717 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001718 goto logical_done;
1719
1720 case 794: /* srad */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001721 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001722 sh = regs->gpr[rb] & 0x7f;
1723 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001724 op->val = ival >> (sh < 64 ? sh : 63);
1725 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001726 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001727 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001728 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001729 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001730 goto logical_done;
1731
1732 case 826: /* sradi with sh_5 = 0 */
1733 case 827: /* sradi with sh_5 = 1 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001734 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001735 sh = rb | ((instr & 2) << 4);
1736 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001737 op->val = ival >> sh;
1738 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001739 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001740 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001741 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001742 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001743 goto logical_done;
1744#endif /* __powerpc64__ */
1745
1746/*
1747 * Cache instructions
1748 */
1749 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001750 op->type = MKOP(CACHEOP, DCBST, 0);
1751 op->ea = xform_ea(instr, regs);
1752 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001753
1754 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001755 op->type = MKOP(CACHEOP, DCBF, 0);
1756 op->ea = xform_ea(instr, regs);
1757 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001758
1759 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001760 op->type = MKOP(CACHEOP, DCBTST, 0);
1761 op->ea = xform_ea(instr, regs);
1762 op->reg = rd;
1763 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001764
1765 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001766 op->type = MKOP(CACHEOP, DCBTST, 0);
1767 op->ea = xform_ea(instr, regs);
1768 op->reg = rd;
1769 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001770
1771 case 982: /* icbi */
1772 op->type = MKOP(CACHEOP, ICBI, 0);
1773 op->ea = xform_ea(instr, regs);
1774 return 0;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10001775
1776 case 1014: /* dcbz */
1777 op->type = MKOP(CACHEOP, DCBZ, 0);
1778 op->ea = xform_ea(instr, regs);
1779 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001780 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001781 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001782 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001783
Paul Mackerras350779a2017-08-30 14:12:27 +10001784/*
1785 * Loads and stores.
1786 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001787 op->type = UNKNOWN;
1788 op->update_reg = ra;
1789 op->reg = rd;
1790 op->val = regs->gpr[rd];
1791 u = (instr >> 20) & UPDATE;
Paul Mackerras350779a2017-08-30 14:12:27 +10001792 op->vsx_flags = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001793
1794 switch (opcode) {
1795 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001796 u = instr & UPDATE;
1797 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001798 switch ((instr >> 1) & 0x3ff) {
1799 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001800 op->type = MKOP(LARX, 0, 4);
1801 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001802
1803 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001804 op->type = MKOP(STCX, 0, 4);
1805 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001806
1807#ifdef __powerpc64__
1808 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001809 op->type = MKOP(LARX, 0, 8);
1810 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001811
1812 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001813 op->type = MKOP(STCX, 0, 8);
1814 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001815
Paul Mackerras350779a2017-08-30 14:12:27 +10001816 case 52: /* lbarx */
1817 op->type = MKOP(LARX, 0, 1);
1818 break;
1819
1820 case 694: /* stbcx. */
1821 op->type = MKOP(STCX, 0, 1);
1822 break;
1823
1824 case 116: /* lharx */
1825 op->type = MKOP(LARX, 0, 2);
1826 break;
1827
1828 case 726: /* sthcx. */
1829 op->type = MKOP(STCX, 0, 2);
1830 break;
1831
1832 case 276: /* lqarx */
1833 if (!((rd & 1) || rd == ra || rd == rb))
1834 op->type = MKOP(LARX, 0, 16);
1835 break;
1836
1837 case 182: /* stqcx. */
1838 if (!(rd & 1))
1839 op->type = MKOP(STCX, 0, 16);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001840 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001841#endif
1842
1843 case 23: /* lwzx */
1844 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001845 op->type = MKOP(LOAD, u, 4);
1846 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001847
1848 case 87: /* lbzx */
1849 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001850 op->type = MKOP(LOAD, u, 1);
1851 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001852
1853#ifdef CONFIG_ALTIVEC
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001854 /*
1855 * Note: for the load/store vector element instructions,
1856 * bits of the EA say which field of the VMX register to use.
1857 */
1858 case 7: /* lvebx */
1859 op->type = MKOP(LOAD_VMX, 0, 1);
1860 op->element_size = 1;
1861 break;
1862
1863 case 39: /* lvehx */
1864 op->type = MKOP(LOAD_VMX, 0, 2);
1865 op->element_size = 2;
1866 break;
1867
1868 case 71: /* lvewx */
1869 op->type = MKOP(LOAD_VMX, 0, 4);
1870 op->element_size = 4;
1871 break;
1872
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001873 case 103: /* lvx */
1874 case 359: /* lvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001875 op->type = MKOP(LOAD_VMX, 0, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +10001876 op->element_size = 16;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001877 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001878
Paul Mackerrase61ccc72017-08-30 14:12:34 +10001879 case 135: /* stvebx */
1880 op->type = MKOP(STORE_VMX, 0, 1);
1881 op->element_size = 1;
1882 break;
1883
1884 case 167: /* stvehx */
1885 op->type = MKOP(STORE_VMX, 0, 2);
1886 op->element_size = 2;
1887 break;
1888
1889 case 199: /* stvewx */
1890 op->type = MKOP(STORE_VMX, 0, 4);
1891 op->element_size = 4;
1892 break;
1893
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001894 case 231: /* stvx */
1895 case 487: /* stvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001896 op->type = MKOP(STORE_VMX, 0, 16);
1897 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001898#endif /* CONFIG_ALTIVEC */
1899
1900#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10001901 case 21: /* ldx */
1902 case 53: /* ldux */
1903 op->type = MKOP(LOAD, u, 8);
1904 break;
1905
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001906 case 149: /* stdx */
1907 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001908 op->type = MKOP(STORE, u, 8);
1909 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001910#endif
1911
1912 case 151: /* stwx */
1913 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001914 op->type = MKOP(STORE, u, 4);
1915 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001916
1917 case 215: /* stbx */
1918 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001919 op->type = MKOP(STORE, u, 1);
1920 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001921
1922 case 279: /* lhzx */
1923 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001924 op->type = MKOP(LOAD, u, 2);
1925 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001926
1927#ifdef __powerpc64__
1928 case 341: /* lwax */
1929 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001930 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1931 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001932#endif
1933
1934 case 343: /* lhax */
1935 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001936 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1937 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001938
1939 case 407: /* sthx */
1940 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001941 op->type = MKOP(STORE, u, 2);
1942 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001943
1944#ifdef __powerpc64__
1945 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001946 op->type = MKOP(LOAD, BYTEREV, 8);
1947 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001948
1949#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001950 case 533: /* lswx */
1951 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
1952 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001953
1954 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001955 op->type = MKOP(LOAD, BYTEREV, 4);
1956 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001957
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001958 case 597: /* lswi */
1959 if (rb == 0)
1960 rb = 32; /* # bytes to load */
1961 op->type = MKOP(LOAD_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10001962 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001963 break;
1964
Paul Bolleb69a1da2014-05-20 21:59:42 +02001965#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001966 case 535: /* lfsx */
1967 case 567: /* lfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001968 op->type = MKOP(LOAD_FP, u, 4);
1969 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001970
1971 case 599: /* lfdx */
1972 case 631: /* lfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001973 op->type = MKOP(LOAD_FP, u, 8);
1974 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001975
1976 case 663: /* stfsx */
1977 case 695: /* stfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001978 op->type = MKOP(STORE_FP, u, 4);
1979 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001980
1981 case 727: /* stfdx */
1982 case 759: /* stfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001983 op->type = MKOP(STORE_FP, u, 8);
1984 break;
Paul Mackerras1f41fb72017-08-30 14:12:35 +10001985
1986#ifdef __powerpc64__
1987 case 791: /* lfdpx */
1988 op->type = MKOP(LOAD_FP, 0, 16);
1989 break;
1990
1991 case 919: /* stfdpx */
1992 op->type = MKOP(STORE_FP, 0, 16);
1993 break;
1994#endif /* __powerpc64 */
1995#endif /* CONFIG_PPC_FPU */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001996
1997#ifdef __powerpc64__
1998 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001999 op->type = MKOP(STORE, BYTEREV, 8);
2000 op->val = byterev_8(regs->gpr[rd]);
2001 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002002
2003#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002004 case 661: /* stswx */
2005 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
2006 break;
2007
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002008 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002009 op->type = MKOP(STORE, BYTEREV, 4);
2010 op->val = byterev_4(regs->gpr[rd]);
2011 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002012
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002013 case 725: /* stswi */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002014 if (rb == 0)
2015 rb = 32; /* # bytes to store */
2016 op->type = MKOP(STORE_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002017 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002018 break;
2019
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002020 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002021 op->type = MKOP(LOAD, BYTEREV, 2);
2022 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002023
2024 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002025 op->type = MKOP(STORE, BYTEREV, 2);
2026 op->val = byterev_2(regs->gpr[rd]);
2027 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002028
2029#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002030 case 12: /* lxsiwzx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002031 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002032 op->type = MKOP(LOAD_VSX, 0, 4);
2033 op->element_size = 8;
2034 break;
2035
2036 case 76: /* lxsiwax */
2037 op->reg = rd | ((instr & 1) << 5);
2038 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
2039 op->element_size = 8;
2040 break;
2041
2042 case 140: /* stxsiwx */
2043 op->reg = rd | ((instr & 1) << 5);
2044 op->type = MKOP(STORE_VSX, 0, 4);
2045 op->element_size = 8;
2046 break;
2047
2048 case 268: /* lxvx */
2049 op->reg = rd | ((instr & 1) << 5);
2050 op->type = MKOP(LOAD_VSX, 0, 16);
2051 op->element_size = 16;
2052 op->vsx_flags = VSX_CHECK_VEC;
2053 break;
2054
2055 case 269: /* lxvl */
2056 case 301: { /* lxvll */
2057 int nb;
2058 op->reg = rd | ((instr & 1) << 5);
2059 op->ea = ra ? regs->gpr[ra] : 0;
2060 nb = regs->gpr[rb] & 0xff;
2061 if (nb > 16)
2062 nb = 16;
2063 op->type = MKOP(LOAD_VSX, 0, nb);
2064 op->element_size = 16;
2065 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2066 VSX_CHECK_VEC;
2067 break;
2068 }
2069 case 332: /* lxvdsx */
2070 op->reg = rd | ((instr & 1) << 5);
2071 op->type = MKOP(LOAD_VSX, 0, 8);
2072 op->element_size = 8;
2073 op->vsx_flags = VSX_SPLAT;
2074 break;
2075
2076 case 364: /* lxvwsx */
2077 op->reg = rd | ((instr & 1) << 5);
2078 op->type = MKOP(LOAD_VSX, 0, 4);
2079 op->element_size = 4;
2080 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
2081 break;
2082
2083 case 396: /* stxvx */
2084 op->reg = rd | ((instr & 1) << 5);
2085 op->type = MKOP(STORE_VSX, 0, 16);
2086 op->element_size = 16;
2087 op->vsx_flags = VSX_CHECK_VEC;
2088 break;
2089
2090 case 397: /* stxvl */
2091 case 429: { /* stxvll */
2092 int nb;
2093 op->reg = rd | ((instr & 1) << 5);
2094 op->ea = ra ? regs->gpr[ra] : 0;
2095 nb = regs->gpr[rb] & 0xff;
2096 if (nb > 16)
2097 nb = 16;
2098 op->type = MKOP(STORE_VSX, 0, nb);
2099 op->element_size = 16;
2100 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
2101 VSX_CHECK_VEC;
2102 break;
2103 }
2104 case 524: /* lxsspx */
2105 op->reg = rd | ((instr & 1) << 5);
2106 op->type = MKOP(LOAD_VSX, 0, 4);
2107 op->element_size = 8;
2108 op->vsx_flags = VSX_FPCONV;
2109 break;
2110
2111 case 588: /* lxsdx */
2112 op->reg = rd | ((instr & 1) << 5);
2113 op->type = MKOP(LOAD_VSX, 0, 8);
2114 op->element_size = 8;
2115 break;
2116
2117 case 652: /* stxsspx */
2118 op->reg = rd | ((instr & 1) << 5);
2119 op->type = MKOP(STORE_VSX, 0, 4);
2120 op->element_size = 8;
2121 op->vsx_flags = VSX_FPCONV;
2122 break;
2123
2124 case 716: /* stxsdx */
2125 op->reg = rd | ((instr & 1) << 5);
2126 op->type = MKOP(STORE_VSX, 0, 8);
2127 op->element_size = 8;
2128 break;
2129
2130 case 780: /* lxvw4x */
2131 op->reg = rd | ((instr & 1) << 5);
2132 op->type = MKOP(LOAD_VSX, 0, 16);
2133 op->element_size = 4;
2134 break;
2135
2136 case 781: /* lxsibzx */
2137 op->reg = rd | ((instr & 1) << 5);
2138 op->type = MKOP(LOAD_VSX, 0, 1);
2139 op->element_size = 8;
2140 op->vsx_flags = VSX_CHECK_VEC;
2141 break;
2142
2143 case 812: /* lxvh8x */
2144 op->reg = rd | ((instr & 1) << 5);
2145 op->type = MKOP(LOAD_VSX, 0, 16);
2146 op->element_size = 2;
2147 op->vsx_flags = VSX_CHECK_VEC;
2148 break;
2149
2150 case 813: /* lxsihzx */
2151 op->reg = rd | ((instr & 1) << 5);
2152 op->type = MKOP(LOAD_VSX, 0, 2);
2153 op->element_size = 8;
2154 op->vsx_flags = VSX_CHECK_VEC;
2155 break;
2156
2157 case 844: /* lxvd2x */
2158 op->reg = rd | ((instr & 1) << 5);
2159 op->type = MKOP(LOAD_VSX, 0, 16);
2160 op->element_size = 8;
2161 break;
2162
2163 case 876: /* lxvb16x */
2164 op->reg = rd | ((instr & 1) << 5);
2165 op->type = MKOP(LOAD_VSX, 0, 16);
2166 op->element_size = 1;
2167 op->vsx_flags = VSX_CHECK_VEC;
2168 break;
2169
2170 case 908: /* stxvw4x */
2171 op->reg = rd | ((instr & 1) << 5);
2172 op->type = MKOP(STORE_VSX, 0, 16);
2173 op->element_size = 4;
2174 break;
2175
2176 case 909: /* stxsibx */
2177 op->reg = rd | ((instr & 1) << 5);
2178 op->type = MKOP(STORE_VSX, 0, 1);
2179 op->element_size = 8;
2180 op->vsx_flags = VSX_CHECK_VEC;
2181 break;
2182
2183 case 940: /* stxvh8x */
2184 op->reg = rd | ((instr & 1) << 5);
2185 op->type = MKOP(STORE_VSX, 0, 16);
2186 op->element_size = 2;
2187 op->vsx_flags = VSX_CHECK_VEC;
2188 break;
2189
2190 case 941: /* stxsihx */
2191 op->reg = rd | ((instr & 1) << 5);
2192 op->type = MKOP(STORE_VSX, 0, 2);
2193 op->element_size = 8;
2194 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002195 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002196
2197 case 972: /* stxvd2x */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002198 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002199 op->type = MKOP(STORE_VSX, 0, 16);
2200 op->element_size = 8;
2201 break;
2202
2203 case 1004: /* stxvb16x */
2204 op->reg = rd | ((instr & 1) << 5);
2205 op->type = MKOP(STORE_VSX, 0, 16);
2206 op->element_size = 1;
2207 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002208 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002209
2210#endif /* CONFIG_VSX */
2211 }
2212 break;
2213
2214 case 32: /* lwz */
2215 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002216 op->type = MKOP(LOAD, u, 4);
2217 op->ea = dform_ea(instr, regs);
2218 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002219
2220 case 34: /* lbz */
2221 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002222 op->type = MKOP(LOAD, u, 1);
2223 op->ea = dform_ea(instr, regs);
2224 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002225
2226 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002227 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002228 op->type = MKOP(STORE, u, 4);
2229 op->ea = dform_ea(instr, regs);
2230 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002231
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002232 case 38: /* stb */
2233 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002234 op->type = MKOP(STORE, u, 1);
2235 op->ea = dform_ea(instr, regs);
2236 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002237
2238 case 40: /* lhz */
2239 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002240 op->type = MKOP(LOAD, u, 2);
2241 op->ea = dform_ea(instr, regs);
2242 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002243
2244 case 42: /* lha */
2245 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002246 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2247 op->ea = dform_ea(instr, regs);
2248 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002249
2250 case 44: /* sth */
2251 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002252 op->type = MKOP(STORE, u, 2);
2253 op->ea = dform_ea(instr, regs);
2254 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002255
2256 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002257 if (ra >= rd)
2258 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002259 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002260 op->ea = dform_ea(instr, regs);
2261 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002262
2263 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002264 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002265 op->ea = dform_ea(instr, regs);
2266 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002267
Sean MacLennancd64d162010-09-01 07:21:21 +00002268#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002269 case 48: /* lfs */
2270 case 49: /* lfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002271 op->type = MKOP(LOAD_FP, u, 4);
2272 op->ea = dform_ea(instr, regs);
2273 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002274
2275 case 50: /* lfd */
2276 case 51: /* lfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002277 op->type = MKOP(LOAD_FP, u, 8);
2278 op->ea = dform_ea(instr, regs);
2279 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002280
2281 case 52: /* stfs */
2282 case 53: /* stfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002283 op->type = MKOP(STORE_FP, u, 4);
2284 op->ea = dform_ea(instr, regs);
2285 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002286
2287 case 54: /* stfd */
2288 case 55: /* stfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002289 op->type = MKOP(STORE_FP, u, 8);
2290 op->ea = dform_ea(instr, regs);
2291 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00002292#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002293
2294#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002295 case 56: /* lq */
2296 if (!((rd & 1) || (rd == ra)))
2297 op->type = MKOP(LOAD, 0, 16);
2298 op->ea = dqform_ea(instr, regs);
2299 break;
2300#endif
2301
2302#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002303 case 57: /* lfdp, lxsd, lxssp */
Paul Mackerras350779a2017-08-30 14:12:27 +10002304 op->ea = dsform_ea(instr, regs);
2305 switch (instr & 3) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002306 case 0: /* lfdp */
2307 if (rd & 1)
2308 break; /* reg must be even */
2309 op->type = MKOP(LOAD_FP, 0, 16);
2310 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002311 case 2: /* lxsd */
2312 op->reg = rd + 32;
2313 op->type = MKOP(LOAD_VSX, 0, 8);
2314 op->element_size = 8;
2315 op->vsx_flags = VSX_CHECK_VEC;
2316 break;
2317 case 3: /* lxssp */
2318 op->reg = rd + 32;
2319 op->type = MKOP(LOAD_VSX, 0, 4);
2320 op->element_size = 8;
2321 op->vsx_flags = VSX_FPCONV | 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 58: /* ld[u], lwa */
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: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002332 op->type = MKOP(LOAD, 0, 8);
2333 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002334 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002335 op->type = MKOP(LOAD, UPDATE, 8);
2336 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002337 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002338 op->type = MKOP(LOAD, SIGNEXT, 4);
2339 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002340 }
2341 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002342#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002343
Paul Mackerras350779a2017-08-30 14:12:27 +10002344#ifdef CONFIG_VSX
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002345 case 61: /* stfdp, lxv, stxsd, stxssp, stxv */
Paul Mackerras350779a2017-08-30 14:12:27 +10002346 switch (instr & 7) {
Paul Mackerras1f41fb72017-08-30 14:12:35 +10002347 case 0: /* stfdp with LSB of DS field = 0 */
2348 case 4: /* stfdp with LSB of DS field = 1 */
2349 op->ea = dsform_ea(instr, regs);
2350 op->type = MKOP(STORE_FP, 0, 16);
2351 break;
2352
Paul Mackerras350779a2017-08-30 14:12:27 +10002353 case 1: /* lxv */
2354 op->ea = dqform_ea(instr, regs);
2355 if (instr & 8)
2356 op->reg = rd + 32;
2357 op->type = MKOP(LOAD_VSX, 0, 16);
2358 op->element_size = 16;
2359 op->vsx_flags = VSX_CHECK_VEC;
2360 break;
2361
2362 case 2: /* stxsd with LSB of DS field = 0 */
2363 case 6: /* stxsd with LSB of DS field = 1 */
2364 op->ea = dsform_ea(instr, regs);
2365 op->reg = rd + 32;
2366 op->type = MKOP(STORE_VSX, 0, 8);
2367 op->element_size = 8;
2368 op->vsx_flags = VSX_CHECK_VEC;
2369 break;
2370
2371 case 3: /* stxssp with LSB of DS field = 0 */
2372 case 7: /* stxssp with LSB of DS field = 1 */
2373 op->ea = dsform_ea(instr, regs);
2374 op->reg = rd + 32;
2375 op->type = MKOP(STORE_VSX, 0, 4);
2376 op->element_size = 8;
2377 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2378 break;
2379
2380 case 5: /* stxv */
2381 op->ea = dqform_ea(instr, regs);
2382 if (instr & 8)
2383 op->reg = rd + 32;
2384 op->type = MKOP(STORE_VSX, 0, 16);
2385 op->element_size = 16;
2386 op->vsx_flags = VSX_CHECK_VEC;
2387 break;
2388 }
2389 break;
2390#endif /* CONFIG_VSX */
2391
2392#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002393 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002394 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002395 switch (instr & 3) {
2396 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002397 op->type = MKOP(STORE, 0, 8);
2398 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002399 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002400 op->type = MKOP(STORE, UPDATE, 8);
2401 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002402 case 2: /* stq */
2403 if (!(rd & 1))
2404 op->type = MKOP(STORE, 0, 16);
2405 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002406 }
2407 break;
2408#endif /* __powerpc64__ */
2409
2410 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002411 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002412
2413 logical_done:
2414 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002415 set_cr0(regs, op, ra);
2416 logical_done_nocc:
2417 op->reg = ra;
2418 op->type |= SETREG;
2419 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002420
2421 arith_done:
2422 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002423 set_cr0(regs, op, rd);
2424 compute_done:
2425 op->reg = rd;
2426 op->type |= SETREG;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002427 return 1;
2428
2429 priv:
2430 op->type = INTERRUPT | 0x700;
2431 op->val = SRR1_PROGPRIV;
2432 return 0;
2433
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002434 trap:
2435 op->type = INTERRUPT | 0x700;
2436 op->val = SRR1_PROGTRAP;
2437 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002438}
2439EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302440NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002441
2442/*
2443 * For PPC32 we always use stwu with r1 to change the stack pointer.
2444 * So this emulated store may corrupt the exception frame, now we
2445 * have to provide the exception frame trampoline, which is pushed
2446 * below the kprobed function stack. So we only update gpr[1] but
2447 * don't emulate the real store operation. We will do real store
2448 * operation safely in exception return code by checking this flag.
2449 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302450static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002451{
2452#ifdef CONFIG_PPC32
2453 /*
2454 * Check if we will touch kernel stack overflow
2455 */
2456 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2457 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2458 return -EINVAL;
2459 }
2460#endif /* CONFIG_PPC32 */
2461 /*
2462 * Check if we already set since that means we'll
2463 * lose the previous value.
2464 */
2465 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2466 set_thread_flag(TIF_EMULATE_STACK_STORE);
2467 return 0;
2468}
2469
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302470static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002471{
2472 switch (size) {
2473 case 2:
2474 *valp = (signed short) *valp;
2475 break;
2476 case 4:
2477 *valp = (signed int) *valp;
2478 break;
2479 }
2480}
2481
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302482static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002483{
2484 switch (size) {
2485 case 2:
2486 *valp = byterev_2(*valp);
2487 break;
2488 case 4:
2489 *valp = byterev_4(*valp);
2490 break;
2491#ifdef __powerpc64__
2492 case 8:
2493 *valp = byterev_8(*valp);
2494 break;
2495#endif
2496 }
2497}
2498
2499/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002500 * Emulate an instruction that can be executed just by updating
2501 * fields in *regs.
2502 */
2503void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2504{
2505 unsigned long next_pc;
2506
2507 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2508 switch (op->type & INSTR_TYPE_MASK) {
2509 case COMPUTE:
2510 if (op->type & SETREG)
2511 regs->gpr[op->reg] = op->val;
2512 if (op->type & SETCC)
2513 regs->ccr = op->ccval;
2514 if (op->type & SETXER)
2515 regs->xer = op->xerval;
2516 break;
2517
2518 case BRANCH:
2519 if (op->type & SETLK)
2520 regs->link = next_pc;
2521 if (op->type & BRTAKEN)
2522 next_pc = op->val;
2523 if (op->type & DECCTR)
2524 --regs->ctr;
2525 break;
2526
2527 case BARRIER:
2528 switch (op->type & BARRIER_MASK) {
2529 case BARRIER_SYNC:
2530 mb();
2531 break;
2532 case BARRIER_ISYNC:
2533 isync();
2534 break;
2535 case BARRIER_EIEIO:
2536 eieio();
2537 break;
2538 case BARRIER_LWSYNC:
2539 asm volatile("lwsync" : : : "memory");
2540 break;
2541 case BARRIER_PTESYNC:
2542 asm volatile("ptesync" : : : "memory");
2543 break;
2544 }
2545 break;
2546
2547 case MFSPR:
2548 switch (op->spr) {
2549 case SPRN_XER:
2550 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2551 break;
2552 case SPRN_LR:
2553 regs->gpr[op->reg] = regs->link;
2554 break;
2555 case SPRN_CTR:
2556 regs->gpr[op->reg] = regs->ctr;
2557 break;
2558 default:
2559 WARN_ON_ONCE(1);
2560 }
2561 break;
2562
2563 case MTSPR:
2564 switch (op->spr) {
2565 case SPRN_XER:
2566 regs->xer = op->val & 0xffffffffUL;
2567 break;
2568 case SPRN_LR:
2569 regs->link = op->val;
2570 break;
2571 case SPRN_CTR:
2572 regs->ctr = op->val;
2573 break;
2574 default:
2575 WARN_ON_ONCE(1);
2576 }
2577 break;
2578
2579 default:
2580 WARN_ON_ONCE(1);
2581 }
2582 regs->nip = next_pc;
2583}
2584
2585/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002586 * Emulate instructions that cause a transfer of control,
2587 * loads and stores, and a few other instructions.
2588 * Returns 1 if the step was emulated, 0 if not,
2589 * or -1 if the instruction is one that should not be stepped,
2590 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2591 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302592int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002593{
2594 struct instruction_op op;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002595 int r, err, size, type;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002596 unsigned long val;
2597 unsigned int cr;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002598 int i, rd, nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002599 unsigned long ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002600
2601 r = analyse_instr(&op, regs, instr);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002602 if (r < 0)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002603 return r;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002604 if (r > 0) {
2605 emulate_update_regs(regs, &op);
2606 return 1;
2607 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002608
2609 err = 0;
2610 size = GETSIZE(op.type);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002611 type = op.type & INSTR_TYPE_MASK;
2612
2613 ea = op.ea;
2614 if (OP_IS_LOAD_STORE(type) || type == CACHEOP)
2615 ea = truncate_if_32bit(regs->msr, op.ea);
2616
2617 switch (type) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002618 case CACHEOP:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002619 if (!address_ok(regs, ea, 8))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002620 return 0;
2621 switch (op.type & CACHEOP_MASK) {
2622 case DCBST:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002623 __cacheop_user_asmx(ea, err, "dcbst");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002624 break;
2625 case DCBF:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002626 __cacheop_user_asmx(ea, err, "dcbf");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002627 break;
2628 case DCBTST:
2629 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002630 prefetchw((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002631 break;
2632 case DCBT:
2633 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002634 prefetch((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002635 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002636 case ICBI:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002637 __cacheop_user_asmx(ea, err, "icbi");
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002638 break;
Paul Mackerrasb2543f72017-08-30 14:12:36 +10002639 case DCBZ:
2640 err = emulate_dcbz(ea, regs);
2641 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002642 }
2643 if (err)
2644 return 0;
2645 goto instr_done;
2646
2647 case LARX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002648 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002649 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002650 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002651 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002652 err = 0;
2653 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002654#ifdef __powerpc64__
2655 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002656 __get_user_asmx(val, ea, err, "lbarx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002657 break;
2658 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002659 __get_user_asmx(val, ea, err, "lharx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002660 break;
2661#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002662 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002663 __get_user_asmx(val, ea, err, "lwarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002664 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002665#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002666 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002667 __get_user_asmx(val, ea, err, "ldarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002668 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002669 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002670 err = do_lqarx(ea, &regs->gpr[op.reg]);
Paul Mackerras350779a2017-08-30 14:12:27 +10002671 goto ldst_done;
Lennart Sorensendd217312016-05-05 16:44:44 -04002672#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002673 default:
2674 return 0;
2675 }
2676 if (!err)
2677 regs->gpr[op.reg] = val;
2678 goto ldst_done;
2679
2680 case STCX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002681 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002682 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002683 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002684 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002685 err = 0;
2686 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002687#ifdef __powerpc64__
2688 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002689 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002690 break;
2691 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002692 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002693 break;
2694#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002695 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002696 __put_user_asmx(op.val, ea, err, "stwcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002697 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002698#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002699 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002700 __put_user_asmx(op.val, ea, err, "stdcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002701 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002702 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002703 err = do_stqcx(ea, regs->gpr[op.reg],
Paul Mackerras350779a2017-08-30 14:12:27 +10002704 regs->gpr[op.reg + 1], &cr);
2705 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002706#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002707 default:
2708 return 0;
2709 }
2710 if (!err)
2711 regs->ccr = (regs->ccr & 0x0fffffff) |
2712 (cr & 0xe0000000) |
2713 ((regs->xer >> 3) & 0x10000000);
2714 goto ldst_done;
2715
2716 case LOAD:
Paul Mackerras350779a2017-08-30 14:12:27 +10002717#ifdef __powerpc64__
2718 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002719 err = emulate_lq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002720 goto ldst_done;
2721 }
2722#endif
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002723 err = read_mem(&regs->gpr[op.reg], ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002724 if (!err) {
2725 if (op.type & SIGNEXT)
2726 do_signext(&regs->gpr[op.reg], size);
2727 if (op.type & BYTEREV)
2728 do_byterev(&regs->gpr[op.reg], size);
2729 }
2730 goto ldst_done;
2731
Paul Mackerras7048c842014-11-03 15:46:43 +11002732#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002733 case LOAD_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002734 /*
2735 * If the instruction is in userspace, we can emulate it even
2736 * if the VMX state is not live, because we have the state
2737 * stored in the thread_struct. If the instruction is in
2738 * the kernel, we must not touch the state in the thread_struct.
2739 */
2740 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002741 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002742 err = do_fp_load(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002743 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002744#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002745#ifdef CONFIG_ALTIVEC
2746 case LOAD_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002747 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002748 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002749 err = do_vec_load(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002750 goto ldst_done;
2751#endif
2752#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002753 case LOAD_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002754 unsigned long msrbit = MSR_VSX;
2755
2756 /*
2757 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2758 * when the target of the instruction is a vector register.
2759 */
2760 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2761 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002762 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002763 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002764 err = do_vsx_load(&op, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002765 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002766 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002767#endif
2768 case LOAD_MULTI:
2769 if (regs->msr & MSR_LE)
2770 return 0;
2771 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002772 for (i = 0; i < size; i += 4) {
2773 nb = size - i;
2774 if (nb > 4)
2775 nb = 4;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002776 err = read_mem(&regs->gpr[rd], ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002777 if (err)
2778 return 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002779 if (nb < 4) /* left-justify last bytes */
2780 regs->gpr[rd] <<= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002781 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002782 ++rd;
2783 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002784 goto instr_done;
2785
2786 case STORE:
Paul Mackerras350779a2017-08-30 14:12:27 +10002787#ifdef __powerpc64__
2788 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002789 err = emulate_stq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002790 goto ldst_done;
2791 }
2792#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002793 if ((op.type & UPDATE) && size == sizeof(long) &&
2794 op.reg == 1 && op.update_reg == 1 &&
2795 !(regs->msr & MSR_PR) &&
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002796 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2797 err = handle_stack_update(ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002798 goto ldst_done;
2799 }
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002800 err = write_mem(op.val, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002801 goto ldst_done;
2802
Paul Mackerras7048c842014-11-03 15:46:43 +11002803#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002804 case STORE_FP:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002805 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_FP))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002806 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002807 err = do_fp_store(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002808 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002809#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002810#ifdef CONFIG_ALTIVEC
2811 case STORE_VMX:
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002812 if (!(regs->msr & MSR_PR) && !(regs->msr & MSR_VEC))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002813 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002814 err = do_vec_store(op.reg, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002815 goto ldst_done;
2816#endif
2817#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002818 case STORE_VSX: {
Paul Mackerras350779a2017-08-30 14:12:27 +10002819 unsigned long msrbit = MSR_VSX;
2820
2821 /*
2822 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2823 * when the target of the instruction is a vector register.
2824 */
2825 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2826 msrbit = MSR_VEC;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002827 if (!(regs->msr & MSR_PR) && !(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002828 return 0;
Paul Mackerrasc22435a52017-08-30 14:12:33 +10002829 err = do_vsx_store(&op, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002830 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002831 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002832#endif
2833 case STORE_MULTI:
2834 if (regs->msr & MSR_LE)
2835 return 0;
2836 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002837 for (i = 0; i < size; i += 4) {
2838 val = regs->gpr[rd];
2839 nb = size - i;
2840 if (nb > 4)
2841 nb = 4;
2842 else
2843 val >>= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002844 err = write_mem(val, ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002845 if (err)
2846 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002847 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002848 ++rd;
2849 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002850 goto instr_done;
2851
2852 case MFMSR:
2853 regs->gpr[op.reg] = regs->msr & MSR_MASK;
2854 goto instr_done;
2855
2856 case MTMSR:
2857 val = regs->gpr[op.reg];
2858 if ((val & MSR_RI) == 0)
2859 /* can't step mtmsr[d] that would clear MSR_RI */
2860 return -1;
2861 /* here op.val is the mask of bits to change */
2862 regs->msr = (regs->msr & ~op.val) | (val & op.val);
2863 goto instr_done;
2864
2865#ifdef CONFIG_PPC64
2866 case SYSCALL: /* sc */
2867 /*
2868 * N.B. this uses knowledge about how the syscall
2869 * entry code works. If that is changed, this will
2870 * need to be changed also.
2871 */
2872 if (regs->gpr[0] == 0x1ebe &&
2873 cpu_has_feature(CPU_FTR_REAL_LE)) {
2874 regs->msr ^= MSR_LE;
2875 goto instr_done;
2876 }
2877 regs->gpr[9] = regs->gpr[13];
2878 regs->gpr[10] = MSR_KERNEL;
2879 regs->gpr[11] = regs->nip + 4;
2880 regs->gpr[12] = regs->msr & MSR_MASK;
2881 regs->gpr[13] = (unsigned long) get_paca();
2882 regs->nip = (unsigned long) &system_call_common;
2883 regs->msr = MSR_KERNEL;
2884 return 1;
2885
2886 case RFI:
2887 return -1;
2888#endif
2889 }
2890 return 0;
2891
2892 ldst_done:
2893 if (err)
2894 return 0;
2895 if (op.type & UPDATE)
2896 regs->gpr[op.update_reg] = op.ea;
2897
2898 instr_done:
2899 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
2900 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10002901}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302902NOKPROBE_SYMBOL(emulate_step);