blob: 89e5c26e28605ac9a16c039ab98bd88ec61c2200 [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 */
39extern int do_lfs(int rn, unsigned long ea);
40extern int do_lfd(int rn, unsigned long ea);
41extern int do_stfs(int rn, unsigned long ea);
42extern int do_stfd(int rn, unsigned long ea);
43extern int do_lvx(int rn, unsigned long ea);
44extern int do_stvx(int rn, unsigned long ea);
Paul Mackerras350779a2017-08-30 14:12:27 +100045extern void load_vsrn(int vsr, const void *p);
46extern void store_vsrn(int vsr, void *p);
47extern void conv_sp_to_dp(const float *sp, double *dp);
48extern void conv_dp_to_sp(const double *dp, float *sp);
49#endif
50
51#ifdef __powerpc64__
52/*
53 * Functions in quad.S
54 */
55extern int do_lq(unsigned long ea, unsigned long *regs);
56extern int do_stq(unsigned long ea, unsigned long val0, unsigned long val1);
57extern int do_lqarx(unsigned long ea, unsigned long *regs);
58extern int do_stqcx(unsigned long ea, unsigned long val0, unsigned long val1,
59 unsigned int *crp);
60#endif
61
62#ifdef __LITTLE_ENDIAN__
63#define IS_LE 1
64#define IS_BE 0
65#else
66#define IS_LE 0
67#define IS_BE 1
Sean MacLennancd64d162010-09-01 07:21:21 +000068#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +100069
Paul Mackerras14cf11a2005-09-26 16:04:21 +100070/*
Michael Ellermanb91e1362011-04-07 21:56:04 +000071 * Emulate the truncation of 64 bit values in 32-bit mode.
72 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +053073static nokprobe_inline unsigned long truncate_if_32bit(unsigned long msr,
74 unsigned long val)
Michael Ellermanb91e1362011-04-07 21:56:04 +000075{
76#ifdef __powerpc64__
77 if ((msr & MSR_64BIT) == 0)
78 val &= 0xffffffffUL;
79#endif
80 return val;
81}
82
83/*
Paul Mackerras14cf11a2005-09-26 16:04:21 +100084 * Determine whether a conditional branch instruction would branch.
85 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +100086static nokprobe_inline int branch_taken(unsigned int instr,
87 const struct pt_regs *regs,
88 struct instruction_op *op)
Paul Mackerras14cf11a2005-09-26 16:04:21 +100089{
90 unsigned int bo = (instr >> 21) & 0x1f;
91 unsigned int bi;
92
93 if ((bo & 4) == 0) {
94 /* decrement counter */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +100095 op->type |= DECCTR;
96 if (((bo >> 1) & 1) ^ (regs->ctr == 1))
Paul Mackerras14cf11a2005-09-26 16:04:21 +100097 return 0;
98 }
99 if ((bo & 0x10) == 0) {
100 /* check bit from CR */
101 bi = (instr >> 16) & 0x1f;
102 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
103 return 0;
104 }
105 return 1;
106}
107
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530108static nokprobe_inline long address_ok(struct pt_regs *regs, unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000109{
110 if (!user_mode(regs))
111 return 1;
112 return __access_ok(ea, nb, USER_DS);
113}
114
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000115/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000116 * Calculate effective address for a D-form instruction
117 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000118static nokprobe_inline unsigned long dform_ea(unsigned int instr,
119 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000120{
121 int ra;
122 unsigned long ea;
123
124 ra = (instr >> 16) & 0x1f;
125 ea = (signed short) instr; /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000126 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000127 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000128
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000129 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000130}
131
132#ifdef __powerpc64__
133/*
134 * Calculate effective address for a DS-form instruction
135 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000136static nokprobe_inline unsigned long dsform_ea(unsigned int instr,
137 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000138{
139 int ra;
140 unsigned long ea;
141
142 ra = (instr >> 16) & 0x1f;
143 ea = (signed short) (instr & ~3); /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000144 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000145 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000146
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000147 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000148}
Paul Mackerras350779a2017-08-30 14:12:27 +1000149
150/*
151 * Calculate effective address for a DQ-form instruction
152 */
153static nokprobe_inline unsigned long dqform_ea(unsigned int instr,
154 const struct pt_regs *regs)
155{
156 int ra;
157 unsigned long ea;
158
159 ra = (instr >> 16) & 0x1f;
160 ea = (signed short) (instr & ~0xf); /* sign-extend */
161 if (ra)
162 ea += regs->gpr[ra];
163
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000164 return ea;
Paul Mackerras350779a2017-08-30 14:12:27 +1000165}
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000166#endif /* __powerpc64 */
167
168/*
169 * Calculate effective address for an X-form instruction
170 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530171static nokprobe_inline unsigned long xform_ea(unsigned int instr,
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000172 const struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000173{
174 int ra, rb;
175 unsigned long ea;
176
177 ra = (instr >> 16) & 0x1f;
178 rb = (instr >> 11) & 0x1f;
179 ea = regs->gpr[rb];
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000180 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000181 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000182
Paul Mackerrasd120cdb2017-08-30 14:12:28 +1000183 return ea;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000184}
185
186/*
187 * Return the largest power of 2, not greater than sizeof(unsigned long),
188 * such that x is a multiple of it.
189 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530190static nokprobe_inline unsigned long max_align(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000191{
192 x |= sizeof(unsigned long);
193 return x & -x; /* isolates rightmost bit */
194}
195
196
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530197static nokprobe_inline unsigned long byterev_2(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000198{
199 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
200}
201
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530202static nokprobe_inline unsigned long byterev_4(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000203{
204 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
205 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
206}
207
208#ifdef __powerpc64__
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530209static nokprobe_inline unsigned long byterev_8(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000210{
211 return (byterev_4(x) << 32) | byterev_4(x >> 32);
212}
213#endif
214
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530215static nokprobe_inline int read_mem_aligned(unsigned long *dest,
216 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000217{
218 int err = 0;
219 unsigned long x = 0;
220
221 switch (nb) {
222 case 1:
223 err = __get_user(x, (unsigned char __user *) ea);
224 break;
225 case 2:
226 err = __get_user(x, (unsigned short __user *) ea);
227 break;
228 case 4:
229 err = __get_user(x, (unsigned int __user *) ea);
230 break;
231#ifdef __powerpc64__
232 case 8:
233 err = __get_user(x, (unsigned long __user *) ea);
234 break;
235#endif
236 }
237 if (!err)
238 *dest = x;
239 return err;
240}
241
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530242static nokprobe_inline int read_mem_unaligned(unsigned long *dest,
243 unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000244{
245 int err;
246 unsigned long x, b, c;
Tom Musta6506b472013-10-18 14:42:08 -0500247#ifdef __LITTLE_ENDIAN__
248 int len = nb; /* save a copy of the length for byte reversal */
249#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000250
251 /* unaligned, do this in pieces */
252 x = 0;
253 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500254#ifdef __LITTLE_ENDIAN__
255 c = 1;
256#endif
257#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000258 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500259#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000260 if (c > nb)
261 c = max_align(nb);
262 err = read_mem_aligned(&b, ea, c);
263 if (err)
264 return err;
265 x = (x << (8 * c)) + b;
266 ea += c;
267 }
Tom Musta6506b472013-10-18 14:42:08 -0500268#ifdef __LITTLE_ENDIAN__
269 switch (len) {
270 case 2:
271 *dest = byterev_2(x);
272 break;
273 case 4:
274 *dest = byterev_4(x);
275 break;
276#ifdef __powerpc64__
277 case 8:
278 *dest = byterev_8(x);
279 break;
280#endif
281 }
282#endif
283#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000284 *dest = x;
Tom Musta6506b472013-10-18 14:42:08 -0500285#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000286 return 0;
287}
288
289/*
290 * Read memory at address ea for nb bytes, return 0 for success
291 * or -EFAULT if an error occurred.
292 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530293static int read_mem(unsigned long *dest, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000294 struct pt_regs *regs)
295{
296 if (!address_ok(regs, ea, nb))
297 return -EFAULT;
298 if ((ea & (nb - 1)) == 0)
299 return read_mem_aligned(dest, ea, nb);
300 return read_mem_unaligned(dest, ea, nb, regs);
301}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530302NOKPROBE_SYMBOL(read_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000303
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530304static nokprobe_inline int write_mem_aligned(unsigned long val,
305 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000306{
307 int err = 0;
308
309 switch (nb) {
310 case 1:
311 err = __put_user(val, (unsigned char __user *) ea);
312 break;
313 case 2:
314 err = __put_user(val, (unsigned short __user *) ea);
315 break;
316 case 4:
317 err = __put_user(val, (unsigned int __user *) ea);
318 break;
319#ifdef __powerpc64__
320 case 8:
321 err = __put_user(val, (unsigned long __user *) ea);
322 break;
323#endif
324 }
325 return err;
326}
327
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530328static nokprobe_inline int write_mem_unaligned(unsigned long val,
329 unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000330{
331 int err;
332 unsigned long c;
333
Tom Musta6506b472013-10-18 14:42:08 -0500334#ifdef __LITTLE_ENDIAN__
335 switch (nb) {
336 case 2:
337 val = byterev_2(val);
338 break;
339 case 4:
340 val = byterev_4(val);
341 break;
342#ifdef __powerpc64__
343 case 8:
344 val = byterev_8(val);
345 break;
346#endif
347 }
348#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000349 /* unaligned or little-endian, do this in pieces */
350 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500351#ifdef __LITTLE_ENDIAN__
352 c = 1;
353#endif
354#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000355 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500356#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000357 if (c > nb)
358 c = max_align(nb);
359 err = write_mem_aligned(val >> (nb - c) * 8, ea, c);
360 if (err)
361 return err;
Tom Musta17e8de72013-08-22 09:25:28 -0500362 ea += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000363 }
364 return 0;
365}
366
367/*
368 * Write memory at address ea for nb bytes, return 0 for success
369 * or -EFAULT if an error occurred.
370 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530371static int write_mem(unsigned long val, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000372 struct pt_regs *regs)
373{
374 if (!address_ok(regs, ea, nb))
375 return -EFAULT;
376 if ((ea & (nb - 1)) == 0)
377 return write_mem_aligned(val, ea, nb);
378 return write_mem_unaligned(val, ea, nb, regs);
379}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530380NOKPROBE_SYMBOL(write_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000381
Sean MacLennancd64d162010-09-01 07:21:21 +0000382#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000383/*
384 * Check the address and alignment, and call func to do the actual
385 * load or store.
386 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530387static int do_fp_load(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000388 unsigned long ea, int nb,
389 struct pt_regs *regs)
390{
391 int err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500392 union {
393 double dbl;
394 unsigned long ul[2];
395 struct {
396#ifdef __BIG_ENDIAN__
397 unsigned _pad_;
398 unsigned word;
399#endif
400#ifdef __LITTLE_ENDIAN__
401 unsigned word;
402 unsigned _pad_;
403#endif
404 } single;
405 } data;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000406 unsigned long ptr;
407
408 if (!address_ok(regs, ea, nb))
409 return -EFAULT;
410 if ((ea & 3) == 0)
411 return (*func)(rn, ea);
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500412 ptr = (unsigned long) &data.ul;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000413 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500414 err = read_mem_unaligned(&data.ul[0], ea, nb, regs);
415 if (nb == 4)
416 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000417 } else {
418 /* reading a double on 32-bit */
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500419 err = read_mem_unaligned(&data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000420 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500421 err = read_mem_unaligned(&data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000422 }
423 if (err)
424 return err;
425 return (*func)(rn, ptr);
426}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530427NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000428
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530429static int do_fp_store(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000430 unsigned long ea, int nb,
431 struct pt_regs *regs)
432{
433 int err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500434 union {
435 double dbl;
436 unsigned long ul[2];
437 struct {
438#ifdef __BIG_ENDIAN__
439 unsigned _pad_;
440 unsigned word;
441#endif
442#ifdef __LITTLE_ENDIAN__
443 unsigned word;
444 unsigned _pad_;
445#endif
446 } single;
447 } data;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000448 unsigned long ptr;
449
450 if (!address_ok(regs, ea, nb))
451 return -EFAULT;
452 if ((ea & 3) == 0)
453 return (*func)(rn, ea);
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500454 ptr = (unsigned long) &data.ul[0];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000455 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500456 if (nb == 4)
457 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000458 err = (*func)(rn, ptr);
459 if (err)
460 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500461 err = write_mem_unaligned(data.ul[0], ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000462 } else {
463 /* writing a double on 32-bit */
464 err = (*func)(rn, ptr);
465 if (err)
466 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500467 err = write_mem_unaligned(data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000468 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500469 err = write_mem_unaligned(data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000470 }
471 return err;
472}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530473NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000474#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000475
476#ifdef CONFIG_ALTIVEC
477/* For Altivec/VMX, no need to worry about alignment */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530478static nokprobe_inline int do_vec_load(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000479 unsigned long ea, struct pt_regs *regs)
480{
481 if (!address_ok(regs, ea & ~0xfUL, 16))
482 return -EFAULT;
483 return (*func)(rn, ea);
484}
485
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530486static nokprobe_inline int do_vec_store(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000487 unsigned long ea, struct pt_regs *regs)
488{
489 if (!address_ok(regs, ea & ~0xfUL, 16))
490 return -EFAULT;
491 return (*func)(rn, ea);
492}
493#endif /* CONFIG_ALTIVEC */
494
Paul Mackerras350779a2017-08-30 14:12:27 +1000495#ifdef __powerpc64__
496static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
497 int reg)
498{
499 int err;
500
501 if (!address_ok(regs, ea, 16))
502 return -EFAULT;
503 /* if aligned, should be atomic */
504 if ((ea & 0xf) == 0)
505 return do_lq(ea, &regs->gpr[reg]);
506
507 err = read_mem(&regs->gpr[reg + IS_LE], ea, 8, regs);
508 if (!err)
509 err = read_mem(&regs->gpr[reg + IS_BE], ea + 8, 8, regs);
510 return err;
511}
512
513static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
514 int reg)
515{
516 int err;
517
518 if (!address_ok(regs, ea, 16))
519 return -EFAULT;
520 /* if aligned, should be atomic */
521 if ((ea & 0xf) == 0)
522 return do_stq(ea, regs->gpr[reg], regs->gpr[reg + 1]);
523
524 err = write_mem(regs->gpr[reg + IS_LE], ea, 8, regs);
525 if (!err)
526 err = write_mem(regs->gpr[reg + IS_BE], ea + 8, 8, regs);
527 return err;
528}
529#endif /* __powerpc64 */
530
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000531#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +1000532void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
533 const void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000534{
Paul Mackerras350779a2017-08-30 14:12:27 +1000535 int size, read_size;
536 int i, j;
537 const unsigned int *wp;
538 const unsigned short *hp;
539 const unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000540
Paul Mackerras350779a2017-08-30 14:12:27 +1000541 size = GETSIZE(op->type);
542 reg->d[0] = reg->d[1] = 0;
543
544 switch (op->element_size) {
545 case 16:
546 /* whole vector; lxv[x] or lxvl[l] */
547 if (size == 0)
548 break;
549 memcpy(reg, mem, size);
550 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
551 /* reverse 16 bytes */
552 unsigned long tmp;
553 tmp = byterev_8(reg->d[0]);
554 reg->d[0] = byterev_8(reg->d[1]);
555 reg->d[1] = tmp;
556 }
557 break;
558 case 8:
559 /* scalar loads, lxvd2x, lxvdsx */
560 read_size = (size >= 8) ? 8 : size;
561 i = IS_LE ? 8 : 8 - read_size;
562 memcpy(&reg->b[i], mem, read_size);
563 if (size < 8) {
564 if (op->type & SIGNEXT) {
565 /* size == 4 is the only case here */
566 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
567 } else if (op->vsx_flags & VSX_FPCONV) {
568 preempt_disable();
569 conv_sp_to_dp(&reg->fp[1 + IS_LE],
570 &reg->dp[IS_LE]);
571 preempt_enable();
572 }
573 } else {
574 if (size == 16)
575 reg->d[IS_BE] = *(unsigned long *)(mem + 8);
576 else if (op->vsx_flags & VSX_SPLAT)
577 reg->d[IS_BE] = reg->d[IS_LE];
578 }
579 break;
580 case 4:
581 /* lxvw4x, lxvwsx */
582 wp = mem;
583 for (j = 0; j < size / 4; ++j) {
584 i = IS_LE ? 3 - j : j;
585 reg->w[i] = *wp++;
586 }
587 if (op->vsx_flags & VSX_SPLAT) {
588 u32 val = reg->w[IS_LE ? 3 : 0];
589 for (; j < 4; ++j) {
590 i = IS_LE ? 3 - j : j;
591 reg->w[i] = val;
592 }
593 }
594 break;
595 case 2:
596 /* lxvh8x */
597 hp = mem;
598 for (j = 0; j < size / 2; ++j) {
599 i = IS_LE ? 7 - j : j;
600 reg->h[i] = *hp++;
601 }
602 break;
603 case 1:
604 /* lxvb16x */
605 bp = mem;
606 for (j = 0; j < size; ++j) {
607 i = IS_LE ? 15 - j : j;
608 reg->b[i] = *bp++;
609 }
610 break;
611 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000612}
Paul Mackerras350779a2017-08-30 14:12:27 +1000613EXPORT_SYMBOL_GPL(emulate_vsx_load);
614NOKPROBE_SYMBOL(emulate_vsx_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000615
Paul Mackerras350779a2017-08-30 14:12:27 +1000616void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
617 void *mem)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000618{
Paul Mackerras350779a2017-08-30 14:12:27 +1000619 int size, write_size;
620 int i, j;
621 union vsx_reg buf;
622 unsigned int *wp;
623 unsigned short *hp;
624 unsigned char *bp;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000625
Paul Mackerras350779a2017-08-30 14:12:27 +1000626 size = GETSIZE(op->type);
627
628 switch (op->element_size) {
629 case 16:
630 /* stxv, stxvx, stxvl, stxvll */
631 if (size == 0)
632 break;
633 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
634 /* reverse 16 bytes */
635 buf.d[0] = byterev_8(reg->d[1]);
636 buf.d[1] = byterev_8(reg->d[0]);
637 reg = &buf;
638 }
639 memcpy(mem, reg, size);
640 break;
641 case 8:
642 /* scalar stores, stxvd2x */
643 write_size = (size >= 8) ? 8 : size;
644 i = IS_LE ? 8 : 8 - write_size;
645 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
646 buf.d[0] = buf.d[1] = 0;
647 preempt_disable();
648 conv_dp_to_sp(&reg->dp[IS_LE], &buf.fp[1 + IS_LE]);
649 preempt_enable();
650 reg = &buf;
651 }
652 memcpy(mem, &reg->b[i], write_size);
653 if (size == 16)
654 memcpy(mem + 8, &reg->d[IS_BE], 8);
655 break;
656 case 4:
657 /* stxvw4x */
658 wp = mem;
659 for (j = 0; j < size / 4; ++j) {
660 i = IS_LE ? 3 - j : j;
661 *wp++ = reg->w[i];
662 }
663 break;
664 case 2:
665 /* stxvh8x */
666 hp = mem;
667 for (j = 0; j < size / 2; ++j) {
668 i = IS_LE ? 7 - j : j;
669 *hp++ = reg->h[i];
670 }
671 break;
672 case 1:
673 /* stvxb16x */
674 bp = mem;
675 for (j = 0; j < size; ++j) {
676 i = IS_LE ? 15 - j : j;
677 *bp++ = reg->b[i];
678 }
679 break;
680 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000681}
Paul Mackerras350779a2017-08-30 14:12:27 +1000682EXPORT_SYMBOL_GPL(emulate_vsx_store);
683NOKPROBE_SYMBOL(emulate_vsx_store);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000684#endif /* CONFIG_VSX */
685
686#define __put_user_asmx(x, addr, err, op, cr) \
687 __asm__ __volatile__( \
688 "1: " op " %2,0,%3\n" \
689 " mfcr %1\n" \
690 "2:\n" \
691 ".section .fixup,\"ax\"\n" \
692 "3: li %0,%4\n" \
693 " b 2b\n" \
694 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100695 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000696 : "=r" (err), "=r" (cr) \
697 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
698
699#define __get_user_asmx(x, addr, err, op) \
700 __asm__ __volatile__( \
701 "1: "op" %1,0,%2\n" \
702 "2:\n" \
703 ".section .fixup,\"ax\"\n" \
704 "3: li %0,%3\n" \
705 " b 2b\n" \
706 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100707 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000708 : "=r" (err), "=r" (x) \
709 : "r" (addr), "i" (-EFAULT), "0" (err))
710
711#define __cacheop_user_asmx(addr, err, op) \
712 __asm__ __volatile__( \
713 "1: "op" 0,%1\n" \
714 "2:\n" \
715 ".section .fixup,\"ax\"\n" \
716 "3: li %0,%3\n" \
717 " b 2b\n" \
718 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100719 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000720 : "=r" (err) \
721 : "r" (addr), "i" (-EFAULT), "0" (err))
722
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000723static nokprobe_inline void set_cr0(const struct pt_regs *regs,
724 struct instruction_op *op, int rd)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000725{
726 long val = regs->gpr[rd];
727
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000728 op->type |= SETCC;
729 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000730#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000731 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000732 val = (int) val;
733#endif
734 if (val < 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000735 op->ccval |= 0x80000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000736 else if (val > 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000737 op->ccval |= 0x40000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000738 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000739 op->ccval |= 0x20000000;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000740}
741
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000742static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
743 struct instruction_op *op, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000744 unsigned long val1, unsigned long val2,
745 unsigned long carry_in)
746{
747 unsigned long val = val1 + val2;
748
749 if (carry_in)
750 ++val;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000751 op->type = COMPUTE + SETREG + SETXER;
752 op->reg = rd;
753 op->val = val;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000754#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000755 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000756 val = (unsigned int) val;
757 val1 = (unsigned int) val1;
758 }
759#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000760 op->xerval = regs->xer;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000761 if (val < val1 || (carry_in && val == val1))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000762 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000763 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000764 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000765}
766
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000767static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
768 struct instruction_op *op,
769 long v1, long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000770{
771 unsigned int crval, shift;
772
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000773 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000774 crval = (regs->xer >> 31) & 1; /* get SO bit */
775 if (v1 < v2)
776 crval |= 8;
777 else if (v1 > v2)
778 crval |= 4;
779 else
780 crval |= 2;
781 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000782 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000783}
784
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000785static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
786 struct instruction_op *op,
787 unsigned long v1,
788 unsigned long v2, int crfld)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000789{
790 unsigned int crval, shift;
791
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000792 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000793 crval = (regs->xer >> 31) & 1; /* get SO bit */
794 if (v1 < v2)
795 crval |= 8;
796 else if (v1 > v2)
797 crval |= 4;
798 else
799 crval |= 2;
800 shift = (7 - crfld) * 4;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000801 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000802}
803
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000804static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
805 struct instruction_op *op,
806 unsigned long v1, unsigned long v2)
Matt Brown02c0f622017-07-31 10:58:22 +1000807{
808 unsigned long long out_val, mask;
809 int i;
810
811 out_val = 0;
812 for (i = 0; i < 8; i++) {
813 mask = 0xffUL << (i * 8);
814 if ((v1 & mask) == (v2 & mask))
815 out_val |= mask;
816 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000817 op->val = out_val;
Matt Brown02c0f622017-07-31 10:58:22 +1000818}
819
Matt Browndcbd19b2017-07-31 10:58:23 +1000820/*
821 * The size parameter is used to adjust the equivalent popcnt instruction.
822 * popcntb = 8, popcntw = 32, popcntd = 64
823 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000824static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
825 struct instruction_op *op,
826 unsigned long v1, int size)
Matt Browndcbd19b2017-07-31 10:58:23 +1000827{
828 unsigned long long out = v1;
829
830 out -= (out >> 1) & 0x5555555555555555;
831 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
832 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
833
834 if (size == 8) { /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000835 op->val = out;
Matt Browndcbd19b2017-07-31 10:58:23 +1000836 return;
837 }
838 out += out >> 8;
839 out += out >> 16;
840 if (size == 32) { /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000841 op->val = out & 0x0000003f0000003f;
Matt Browndcbd19b2017-07-31 10:58:23 +1000842 return;
843 }
844
845 out = (out + (out >> 32)) & 0x7f;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000846 op->val = out; /* popcntd */
Matt Browndcbd19b2017-07-31 10:58:23 +1000847}
848
Matt Brownf3127932017-07-31 10:58:24 +1000849#ifdef CONFIG_PPC64
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000850static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
851 struct instruction_op *op,
852 unsigned long v1, unsigned long v2)
Matt Brownf3127932017-07-31 10:58:24 +1000853{
854 unsigned char perm, idx;
855 unsigned int i;
856
857 perm = 0;
858 for (i = 0; i < 8; i++) {
859 idx = (v1 >> (i * 8)) & 0xff;
860 if (idx < 64)
861 if (v2 & PPC_BIT(idx))
862 perm |= 1 << i;
863 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000864 op->val = perm;
Matt Brownf3127932017-07-31 10:58:24 +1000865}
866#endif /* CONFIG_PPC64 */
Matt Brown2c979c42017-07-31 10:58:25 +1000867/*
868 * The size parameter adjusts the equivalent prty instruction.
869 * prtyw = 32, prtyd = 64
870 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000871static nokprobe_inline void do_prty(const struct pt_regs *regs,
872 struct instruction_op *op,
873 unsigned long v, int size)
Matt Brown2c979c42017-07-31 10:58:25 +1000874{
875 unsigned long long res = v ^ (v >> 8);
876
877 res ^= res >> 16;
878 if (size == 32) { /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000879 op->val = res & 0x0000000100000001;
Matt Brown2c979c42017-07-31 10:58:25 +1000880 return;
881 }
882
883 res ^= res >> 32;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000884 op->val = res & 1; /*prtyd */
Matt Brown2c979c42017-07-31 10:58:25 +1000885}
Matt Brownf3127932017-07-31 10:58:24 +1000886
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530887static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000888{
889 int ret = 0;
890
891 if (v1 < v2)
892 ret |= 0x10;
893 else if (v1 > v2)
894 ret |= 0x08;
895 else
896 ret |= 0x04;
897 if ((unsigned long)v1 < (unsigned long)v2)
898 ret |= 0x02;
899 else if ((unsigned long)v1 > (unsigned long)v2)
900 ret |= 0x01;
901 return ret;
902}
903
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000904/*
905 * Elements of 32-bit rotate and mask instructions.
906 */
907#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
908 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
909#ifdef __powerpc64__
910#define MASK64_L(mb) (~0UL >> (mb))
911#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
912#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
913#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
914#else
915#define DATA32(x) (x)
916#endif
917#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
918
919/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000920 * Decode an instruction, and return information about it in *op
921 * without changing *regs.
922 * Integer arithmetic and logical instructions, branches, and barrier
923 * instructions can be emulated just using the information in *op.
924 *
925 * Return value is 1 if the instruction can be emulated just by
926 * updating *regs with the information in *op, -1 if we need the
927 * GPRs but *regs doesn't contain the full register set, or 0
928 * otherwise.
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000929 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000930int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
931 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000932{
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000933 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000934 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000935 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000936 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000937 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000938
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000939 op->type = COMPUTE;
940
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000941 opcode = instr >> 26;
942 switch (opcode) {
943 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000944 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000945 imm = (signed short)(instr & 0xfffc);
946 if ((instr & 2) == 0)
947 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000948 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000949 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000950 op->type |= SETLK;
951 if (branch_taken(instr, regs, op))
952 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000953 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000954#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000955 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000956 if ((instr & 0xfe2) == 2)
957 op->type = SYSCALL;
958 else
959 op->type = UNKNOWN;
960 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000961#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000962 case 18: /* b */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000963 op->type = BRANCH | BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000964 imm = instr & 0x03fffffc;
965 if (imm & 0x02000000)
966 imm -= 0x04000000;
967 if ((instr & 2) == 0)
968 imm += regs->nip;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000969 op->val = truncate_if_32bit(regs->msr, imm);
Michael Ellermanb91e1362011-04-07 21:56:04 +0000970 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000971 op->type |= SETLK;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000972 return 1;
973 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000974 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000975 case 0: /* mcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000976 op->type = COMPUTE + SETCC;
Anton Blanchard87c4b83e2017-06-15 09:46:38 +1000977 rd = 7 - ((instr >> 23) & 0x7);
978 ra = 7 - ((instr >> 18) & 0x7);
979 rd *= 4;
980 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000981 val = (regs->ccr >> ra) & 0xf;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000982 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
983 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000984
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000985 case 16: /* bclr */
986 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000987 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000988 imm = (instr & 0x400)? regs->ctr: regs->link;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000989 op->val = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000990 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +1000991 op->type |= SETLK;
992 if (branch_taken(instr, regs, op))
993 op->type |= BRTAKEN;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000994 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000995
996 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000997 if (regs->msr & MSR_PR)
998 goto priv;
999 op->type = RFI;
1000 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001001
1002 case 150: /* isync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001003 op->type = BARRIER | BARRIER_ISYNC;
1004 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001005
1006 case 33: /* crnor */
1007 case 129: /* crandc */
1008 case 193: /* crxor */
1009 case 225: /* crnand */
1010 case 257: /* crand */
1011 case 289: /* creqv */
1012 case 417: /* crorc */
1013 case 449: /* cror */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001014 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001015 ra = (instr >> 16) & 0x1f;
1016 rb = (instr >> 11) & 0x1f;
1017 rd = (instr >> 21) & 0x1f;
1018 ra = (regs->ccr >> (31 - ra)) & 1;
1019 rb = (regs->ccr >> (31 - rb)) & 1;
1020 val = (instr >> (6 + ra * 2 + rb)) & 1;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001021 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001022 (val << (31 - rd));
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001023 return 1;
1024 default:
1025 op->type = UNKNOWN;
1026 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001027 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001028 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001029 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001030 switch ((instr >> 1) & 0x3ff) {
1031 case 598: /* sync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001032 op->type = BARRIER + BARRIER_SYNC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001033#ifdef __powerpc64__
1034 switch ((instr >> 21) & 3) {
1035 case 1: /* lwsync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001036 op->type = BARRIER + BARRIER_LWSYNC;
1037 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001038 case 2: /* ptesync */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001039 op->type = BARRIER + BARRIER_PTESYNC;
1040 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001041 }
1042#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001043 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001044
1045 case 854: /* eieio */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001046 op->type = BARRIER + BARRIER_EIEIO;
1047 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001048 }
1049 break;
1050 }
1051
1052 /* Following cases refer to regs->gpr[], so we need all regs */
1053 if (!FULL_REGS(regs))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001054 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001055
1056 rd = (instr >> 21) & 0x1f;
1057 ra = (instr >> 16) & 0x1f;
1058 rb = (instr >> 11) & 0x1f;
1059
1060 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001061#ifdef __powerpc64__
1062 case 2: /* tdi */
1063 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1064 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001065 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001066#endif
1067 case 3: /* twi */
1068 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1069 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001070 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001071
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001072 case 7: /* mulli */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001073 op->val = regs->gpr[ra] * (short) instr;
1074 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001075
1076 case 8: /* subfic */
1077 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001078 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1079 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001080
1081 case 10: /* cmpli */
1082 imm = (unsigned short) instr;
1083 val = regs->gpr[ra];
1084#ifdef __powerpc64__
1085 if ((rd & 1) == 0)
1086 val = (unsigned int) val;
1087#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001088 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1089 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001090
1091 case 11: /* cmpi */
1092 imm = (short) instr;
1093 val = regs->gpr[ra];
1094#ifdef __powerpc64__
1095 if ((rd & 1) == 0)
1096 val = (int) val;
1097#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001098 do_cmp_signed(regs, op, val, imm, rd >> 2);
1099 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001100
1101 case 12: /* addic */
1102 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001103 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1104 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001105
1106 case 13: /* addic. */
1107 imm = (short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001108 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1109 set_cr0(regs, op, rd);
1110 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001111
1112 case 14: /* addi */
1113 imm = (short) instr;
1114 if (ra)
1115 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001116 op->val = imm;
1117 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001118
1119 case 15: /* addis */
1120 imm = ((short) instr) << 16;
1121 if (ra)
1122 imm += regs->gpr[ra];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001123 op->val = imm;
1124 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001125
1126 case 20: /* rlwimi */
1127 mb = (instr >> 6) & 0x1f;
1128 me = (instr >> 1) & 0x1f;
1129 val = DATA32(regs->gpr[rd]);
1130 imm = MASK32(mb, me);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001131 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001132 goto logical_done;
1133
1134 case 21: /* rlwinm */
1135 mb = (instr >> 6) & 0x1f;
1136 me = (instr >> 1) & 0x1f;
1137 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001138 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001139 goto logical_done;
1140
1141 case 23: /* rlwnm */
1142 mb = (instr >> 6) & 0x1f;
1143 me = (instr >> 1) & 0x1f;
1144 rb = regs->gpr[rb] & 0x1f;
1145 val = DATA32(regs->gpr[rd]);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001146 op->val = ROTATE(val, rb) & MASK32(mb, me);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001147 goto logical_done;
1148
1149 case 24: /* ori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001150 op->val = regs->gpr[rd] | (unsigned short) instr;
1151 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001152
1153 case 25: /* oris */
1154 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001155 op->val = regs->gpr[rd] | (imm << 16);
1156 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001157
1158 case 26: /* xori */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001159 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1160 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001161
1162 case 27: /* xoris */
1163 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001164 op->val = regs->gpr[rd] ^ (imm << 16);
1165 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001166
1167 case 28: /* andi. */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001168 op->val = regs->gpr[rd] & (unsigned short) instr;
1169 set_cr0(regs, op, ra);
1170 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001171
1172 case 29: /* andis. */
1173 imm = (unsigned short) instr;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001174 op->val = regs->gpr[rd] & (imm << 16);
1175 set_cr0(regs, op, ra);
1176 goto logical_done_nocc;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001177
1178#ifdef __powerpc64__
1179 case 30: /* rld* */
1180 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1181 val = regs->gpr[rd];
1182 if ((instr & 0x10) == 0) {
1183 sh = rb | ((instr & 2) << 4);
1184 val = ROTATE(val, sh);
1185 switch ((instr >> 2) & 3) {
1186 case 0: /* rldicl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001187 val &= MASK64_L(mb);
1188 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001189 case 1: /* rldicr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001190 val &= MASK64_R(mb);
1191 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001192 case 2: /* rldic */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001193 val &= MASK64(mb, 63 - sh);
1194 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001195 case 3: /* rldimi */
1196 imm = MASK64(mb, 63 - sh);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001197 val = (regs->gpr[ra] & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001198 (val & imm);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001199 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001200 op->val = val;
1201 goto logical_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001202 } else {
1203 sh = regs->gpr[rb] & 0x3f;
1204 val = ROTATE(val, sh);
1205 switch ((instr >> 1) & 7) {
1206 case 0: /* rldcl */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001207 op->val = val & MASK64_L(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001208 goto logical_done;
1209 case 1: /* rldcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001210 op->val = val & MASK64_R(mb);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001211 goto logical_done;
1212 }
1213 }
1214#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001215 op->type = UNKNOWN; /* illegal instruction */
1216 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001217
1218 case 31:
1219 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001220 case 4: /* tw */
1221 if (rd == 0x1f ||
1222 (rd & trap_compare((int)regs->gpr[ra],
1223 (int)regs->gpr[rb])))
1224 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001225 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001226#ifdef __powerpc64__
1227 case 68: /* td */
1228 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1229 goto trap;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001230 return 1;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001231#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001232 case 83: /* mfmsr */
1233 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001234 goto priv;
1235 op->type = MFMSR;
1236 op->reg = rd;
1237 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001238 case 146: /* mtmsr */
1239 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001240 goto priv;
1241 op->type = MTMSR;
1242 op->reg = rd;
1243 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1244 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001245#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001246 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001247 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001248 goto priv;
1249 op->type = MTMSR;
1250 op->reg = rd;
1251 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1252 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1253 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1254 op->val = imm;
1255 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +10001256#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001257
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001258 case 19: /* mfcr */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001259 imm = 0xffffffffUL;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001260 if ((instr >> 20) & 1) {
1261 imm = 0xf0000000UL;
1262 for (sh = 0; sh < 8; ++sh) {
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001263 if (instr & (0x80000 >> sh))
Anton Blanchard64e756c2017-06-15 09:46:39 +10001264 break;
Anton Blanchard64e756c2017-06-15 09:46:39 +10001265 imm >>= 4;
1266 }
Anton Blanchard64e756c2017-06-15 09:46:39 +10001267 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001268 op->val = regs->ccr & imm;
1269 goto compute_done;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001270
1271 case 144: /* mtcrf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001272 op->type = COMPUTE + SETCC;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001273 imm = 0xf0000000UL;
1274 val = regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001275 op->val = regs->ccr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001276 for (sh = 0; sh < 8; ++sh) {
1277 if (instr & (0x80000 >> sh))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001278 op->val = (op->val & ~imm) |
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001279 (val & imm);
1280 imm >>= 4;
1281 }
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001282 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001283
1284 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001285 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001286 op->type = MFSPR;
1287 op->reg = rd;
1288 op->spr = spr;
1289 if (spr == SPRN_XER || spr == SPRN_LR ||
1290 spr == SPRN_CTR)
1291 return 1;
1292 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001293
1294 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001295 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001296 op->type = MTSPR;
1297 op->val = regs->gpr[rd];
1298 op->spr = spr;
1299 if (spr == SPRN_XER || spr == SPRN_LR ||
1300 spr == SPRN_CTR)
1301 return 1;
1302 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001303
1304/*
1305 * Compare instructions
1306 */
1307 case 0: /* cmp */
1308 val = regs->gpr[ra];
1309 val2 = regs->gpr[rb];
1310#ifdef __powerpc64__
1311 if ((rd & 1) == 0) {
1312 /* word (32-bit) compare */
1313 val = (int) val;
1314 val2 = (int) val2;
1315 }
1316#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001317 do_cmp_signed(regs, op, val, val2, rd >> 2);
1318 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001319
1320 case 32: /* cmpl */
1321 val = regs->gpr[ra];
1322 val2 = regs->gpr[rb];
1323#ifdef __powerpc64__
1324 if ((rd & 1) == 0) {
1325 /* word (32-bit) compare */
1326 val = (unsigned int) val;
1327 val2 = (unsigned int) val2;
1328 }
1329#endif
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001330 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1331 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001332
Matt Brown02c0f622017-07-31 10:58:22 +10001333 case 508: /* cmpb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001334 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1335 goto logical_done_nocc;
Matt Brown02c0f622017-07-31 10:58:22 +10001336
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001337/*
1338 * Arithmetic instructions
1339 */
1340 case 8: /* subfc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001341 add_with_carry(regs, op, rd, ~regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001342 regs->gpr[rb], 1);
1343 goto arith_done;
1344#ifdef __powerpc64__
1345 case 9: /* mulhdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001346 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001347 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1348 goto arith_done;
1349#endif
1350 case 10: /* addc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001351 add_with_carry(regs, op, rd, regs->gpr[ra],
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001352 regs->gpr[rb], 0);
1353 goto arith_done;
1354
1355 case 11: /* mulhwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001356 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001357 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1358 goto arith_done;
1359
1360 case 40: /* subf */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001361 op->val = regs->gpr[rb] - regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001362 goto arith_done;
1363#ifdef __powerpc64__
1364 case 73: /* mulhd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001365 asm("mulhd %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001366 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1367 goto arith_done;
1368#endif
1369 case 75: /* mulhw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001370 asm("mulhw %0,%1,%2" : "=r" (op->val) :
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001371 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1372 goto arith_done;
1373
1374 case 104: /* neg */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001375 op->val = -regs->gpr[ra];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001376 goto arith_done;
1377
1378 case 136: /* subfe */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001379 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1380 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001381 goto arith_done;
1382
1383 case 138: /* adde */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001384 add_with_carry(regs, op, rd, regs->gpr[ra],
1385 regs->gpr[rb], regs->xer & XER_CA);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001386 goto arith_done;
1387
1388 case 200: /* subfze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001389 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001390 regs->xer & XER_CA);
1391 goto arith_done;
1392
1393 case 202: /* addze */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001394 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001395 regs->xer & XER_CA);
1396 goto arith_done;
1397
1398 case 232: /* subfme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001399 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001400 regs->xer & XER_CA);
1401 goto arith_done;
1402#ifdef __powerpc64__
1403 case 233: /* mulld */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001404 op->val = regs->gpr[ra] * regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001405 goto arith_done;
1406#endif
1407 case 234: /* addme */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001408 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001409 regs->xer & XER_CA);
1410 goto arith_done;
1411
1412 case 235: /* mullw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001413 op->val = (unsigned int) regs->gpr[ra] *
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001414 (unsigned int) regs->gpr[rb];
1415 goto arith_done;
1416
1417 case 266: /* add */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001418 op->val = regs->gpr[ra] + regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001419 goto arith_done;
1420#ifdef __powerpc64__
1421 case 457: /* divdu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001422 op->val = regs->gpr[ra] / regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001423 goto arith_done;
1424#endif
1425 case 459: /* divwu */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001426 op->val = (unsigned int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001427 (unsigned int) regs->gpr[rb];
1428 goto arith_done;
1429#ifdef __powerpc64__
1430 case 489: /* divd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001431 op->val = (long int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001432 (long int) regs->gpr[rb];
1433 goto arith_done;
1434#endif
1435 case 491: /* divw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001436 op->val = (int) regs->gpr[ra] /
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001437 (int) regs->gpr[rb];
1438 goto arith_done;
1439
1440
1441/*
1442 * Logical instructions
1443 */
Matt Browne27f71e2017-07-31 10:58:26 +10001444 case 15: /* isel */
1445 mb = (instr >> 6) & 0x1f; /* bc */
1446 val = (regs->ccr >> (31 - mb)) & 1;
1447 val2 = (ra) ? regs->gpr[ra] : 0;
1448
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001449 op->val = (val) ? val2 : regs->gpr[rb];
1450 goto compute_done;
Matt Browne27f71e2017-07-31 10:58:26 +10001451
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001452 case 26: /* cntlzw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001453 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001454 goto logical_done;
1455#ifdef __powerpc64__
1456 case 58: /* cntlzd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001457 op->val = __builtin_clzl(regs->gpr[rd]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001458 goto logical_done;
1459#endif
1460 case 28: /* and */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001461 op->val = regs->gpr[rd] & regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001462 goto logical_done;
1463
1464 case 60: /* andc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001465 op->val = regs->gpr[rd] & ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001466 goto logical_done;
1467
Matt Browndcbd19b2017-07-31 10:58:23 +10001468 case 122: /* popcntb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001469 do_popcnt(regs, op, regs->gpr[rd], 8);
Matt Browndcbd19b2017-07-31 10:58:23 +10001470 goto logical_done;
1471
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001472 case 124: /* nor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001473 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001474 goto logical_done;
Matt Brown2c979c42017-07-31 10:58:25 +10001475
1476 case 154: /* prtyw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001477 do_prty(regs, op, regs->gpr[rd], 32);
Matt Brown2c979c42017-07-31 10:58:25 +10001478 goto logical_done;
1479
1480 case 186: /* prtyd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001481 do_prty(regs, op, regs->gpr[rd], 64);
Matt Brown2c979c42017-07-31 10:58:25 +10001482 goto logical_done;
Matt Brownf3127932017-07-31 10:58:24 +10001483#ifdef CONFIG_PPC64
1484 case 252: /* bpermd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001485 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
Matt Brownf3127932017-07-31 10:58:24 +10001486 goto logical_done;
1487#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001488 case 284: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001489 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001490 goto logical_done;
1491
1492 case 316: /* xor */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001493 op->val = regs->gpr[rd] ^ regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001494 goto logical_done;
1495
Matt Browndcbd19b2017-07-31 10:58:23 +10001496 case 378: /* popcntw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001497 do_popcnt(regs, op, regs->gpr[rd], 32);
Matt Browndcbd19b2017-07-31 10:58:23 +10001498 goto logical_done;
1499
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001500 case 412: /* orc */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001501 op->val = regs->gpr[rd] | ~regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001502 goto logical_done;
1503
1504 case 444: /* or */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001505 op->val = regs->gpr[rd] | regs->gpr[rb];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001506 goto logical_done;
1507
1508 case 476: /* nand */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001509 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001510 goto logical_done;
Matt Browndcbd19b2017-07-31 10:58:23 +10001511#ifdef CONFIG_PPC64
1512 case 506: /* popcntd */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001513 do_popcnt(regs, op, regs->gpr[rd], 64);
Matt Browndcbd19b2017-07-31 10:58:23 +10001514 goto logical_done;
1515#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001516 case 922: /* extsh */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001517 op->val = (signed short) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001518 goto logical_done;
1519
1520 case 954: /* extsb */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001521 op->val = (signed char) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001522 goto logical_done;
1523#ifdef __powerpc64__
1524 case 986: /* extsw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001525 op->val = (signed int) regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001526 goto logical_done;
1527#endif
1528
1529/*
1530 * Shift instructions
1531 */
1532 case 24: /* slw */
1533 sh = regs->gpr[rb] & 0x3f;
1534 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001535 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001536 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001537 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001538 goto logical_done;
1539
1540 case 536: /* srw */
1541 sh = regs->gpr[rb] & 0x3f;
1542 if (sh < 32)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001543 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001544 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001545 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001546 goto logical_done;
1547
1548 case 792: /* sraw */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001549 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001550 sh = regs->gpr[rb] & 0x3f;
1551 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001552 op->val = ival >> (sh < 32 ? sh : 31);
1553 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001554 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001555 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001556 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001557 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001558 goto logical_done;
1559
1560 case 824: /* srawi */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001561 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001562 sh = rb;
1563 ival = (signed int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001564 op->val = ival >> sh;
1565 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001566 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001567 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001568 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001569 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001570 goto logical_done;
1571
1572#ifdef __powerpc64__
1573 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001574 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001575 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001576 op->val = regs->gpr[rd] << sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001577 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001578 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001579 goto logical_done;
1580
1581 case 539: /* srd */
1582 sh = regs->gpr[rb] & 0x7f;
1583 if (sh < 64)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001584 op->val = regs->gpr[rd] >> sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001585 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001586 op->val = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001587 goto logical_done;
1588
1589 case 794: /* srad */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001590 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001591 sh = regs->gpr[rb] & 0x7f;
1592 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001593 op->val = ival >> (sh < 64 ? sh : 63);
1594 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001595 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001596 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001597 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001598 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001599 goto logical_done;
1600
1601 case 826: /* sradi with sh_5 = 0 */
1602 case 827: /* sradi with sh_5 = 1 */
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001603 op->type = COMPUTE + SETREG + SETXER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001604 sh = rb | ((instr & 2) << 4);
1605 ival = (signed long int) regs->gpr[rd];
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001606 op->val = ival >> sh;
1607 op->xerval = regs->xer;
Paul Mackerrase698b962014-07-19 17:47:57 +10001608 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001609 op->xerval |= XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001610 else
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10001611 op->xerval &= ~XER_CA;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001612 goto logical_done;
1613#endif /* __powerpc64__ */
1614
1615/*
1616 * Cache instructions
1617 */
1618 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001619 op->type = MKOP(CACHEOP, DCBST, 0);
1620 op->ea = xform_ea(instr, regs);
1621 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001622
1623 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001624 op->type = MKOP(CACHEOP, DCBF, 0);
1625 op->ea = xform_ea(instr, regs);
1626 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001627
1628 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001629 op->type = MKOP(CACHEOP, DCBTST, 0);
1630 op->ea = xform_ea(instr, regs);
1631 op->reg = rd;
1632 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001633
1634 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001635 op->type = MKOP(CACHEOP, DCBTST, 0);
1636 op->ea = xform_ea(instr, regs);
1637 op->reg = rd;
1638 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001639
1640 case 982: /* icbi */
1641 op->type = MKOP(CACHEOP, ICBI, 0);
1642 op->ea = xform_ea(instr, regs);
1643 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001644 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001645 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001646 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001647
Paul Mackerras350779a2017-08-30 14:12:27 +10001648/*
1649 * Loads and stores.
1650 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001651 op->type = UNKNOWN;
1652 op->update_reg = ra;
1653 op->reg = rd;
1654 op->val = regs->gpr[rd];
1655 u = (instr >> 20) & UPDATE;
Paul Mackerras350779a2017-08-30 14:12:27 +10001656 op->vsx_flags = 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001657
1658 switch (opcode) {
1659 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001660 u = instr & UPDATE;
1661 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001662 switch ((instr >> 1) & 0x3ff) {
1663 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001664 op->type = MKOP(LARX, 0, 4);
1665 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001666
1667 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001668 op->type = MKOP(STCX, 0, 4);
1669 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001670
1671#ifdef __powerpc64__
1672 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001673 op->type = MKOP(LARX, 0, 8);
1674 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001675
1676 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001677 op->type = MKOP(STCX, 0, 8);
1678 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001679
Paul Mackerras350779a2017-08-30 14:12:27 +10001680 case 52: /* lbarx */
1681 op->type = MKOP(LARX, 0, 1);
1682 break;
1683
1684 case 694: /* stbcx. */
1685 op->type = MKOP(STCX, 0, 1);
1686 break;
1687
1688 case 116: /* lharx */
1689 op->type = MKOP(LARX, 0, 2);
1690 break;
1691
1692 case 726: /* sthcx. */
1693 op->type = MKOP(STCX, 0, 2);
1694 break;
1695
1696 case 276: /* lqarx */
1697 if (!((rd & 1) || rd == ra || rd == rb))
1698 op->type = MKOP(LARX, 0, 16);
1699 break;
1700
1701 case 182: /* stqcx. */
1702 if (!(rd & 1))
1703 op->type = MKOP(STCX, 0, 16);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001704 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001705#endif
1706
1707 case 23: /* lwzx */
1708 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001709 op->type = MKOP(LOAD, u, 4);
1710 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001711
1712 case 87: /* lbzx */
1713 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001714 op->type = MKOP(LOAD, u, 1);
1715 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001716
1717#ifdef CONFIG_ALTIVEC
1718 case 103: /* lvx */
1719 case 359: /* lvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001720 op->type = MKOP(LOAD_VMX, 0, 16);
Paul Mackerras350779a2017-08-30 14:12:27 +10001721 op->element_size = 16;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001722 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001723
1724 case 231: /* stvx */
1725 case 487: /* stvxl */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001726 op->type = MKOP(STORE_VMX, 0, 16);
1727 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001728#endif /* CONFIG_ALTIVEC */
1729
1730#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10001731 case 21: /* ldx */
1732 case 53: /* ldux */
1733 op->type = MKOP(LOAD, u, 8);
1734 break;
1735
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001736 case 149: /* stdx */
1737 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001738 op->type = MKOP(STORE, u, 8);
1739 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001740#endif
1741
1742 case 151: /* stwx */
1743 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001744 op->type = MKOP(STORE, u, 4);
1745 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001746
1747 case 215: /* stbx */
1748 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001749 op->type = MKOP(STORE, u, 1);
1750 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001751
1752 case 279: /* lhzx */
1753 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001754 op->type = MKOP(LOAD, u, 2);
1755 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001756
1757#ifdef __powerpc64__
1758 case 341: /* lwax */
1759 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001760 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1761 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001762#endif
1763
1764 case 343: /* lhax */
1765 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001766 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1767 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001768
1769 case 407: /* sthx */
1770 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001771 op->type = MKOP(STORE, u, 2);
1772 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001773
1774#ifdef __powerpc64__
1775 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001776 op->type = MKOP(LOAD, BYTEREV, 8);
1777 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001778
1779#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001780 case 533: /* lswx */
1781 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
1782 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001783
1784 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001785 op->type = MKOP(LOAD, BYTEREV, 4);
1786 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001787
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001788 case 597: /* lswi */
1789 if (rb == 0)
1790 rb = 32; /* # bytes to load */
1791 op->type = MKOP(LOAD_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10001792 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001793 break;
1794
Paul Bolleb69a1da2014-05-20 21:59:42 +02001795#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001796 case 535: /* lfsx */
1797 case 567: /* lfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001798 op->type = MKOP(LOAD_FP, u, 4);
1799 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001800
1801 case 599: /* lfdx */
1802 case 631: /* lfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001803 op->type = MKOP(LOAD_FP, u, 8);
1804 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001805
1806 case 663: /* stfsx */
1807 case 695: /* stfsux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001808 op->type = MKOP(STORE_FP, u, 4);
1809 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001810
1811 case 727: /* stfdx */
1812 case 759: /* stfdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001813 op->type = MKOP(STORE_FP, u, 8);
1814 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001815#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001816
1817#ifdef __powerpc64__
1818 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001819 op->type = MKOP(STORE, BYTEREV, 8);
1820 op->val = byterev_8(regs->gpr[rd]);
1821 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001822
1823#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001824 case 661: /* stswx */
1825 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
1826 break;
1827
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001828 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001829 op->type = MKOP(STORE, BYTEREV, 4);
1830 op->val = byterev_4(regs->gpr[rd]);
1831 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001832
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001833 case 725:
1834 if (rb == 0)
1835 rb = 32; /* # bytes to store */
1836 op->type = MKOP(STORE_MULTI, 0, rb);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10001837 op->ea = ra ? regs->gpr[ra] : 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001838 break;
1839
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001840 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001841 op->type = MKOP(LOAD, BYTEREV, 2);
1842 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001843
1844 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001845 op->type = MKOP(STORE, BYTEREV, 2);
1846 op->val = byterev_2(regs->gpr[rd]);
1847 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001848
1849#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10001850 case 12: /* lxsiwzx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001851 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10001852 op->type = MKOP(LOAD_VSX, 0, 4);
1853 op->element_size = 8;
1854 break;
1855
1856 case 76: /* lxsiwax */
1857 op->reg = rd | ((instr & 1) << 5);
1858 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
1859 op->element_size = 8;
1860 break;
1861
1862 case 140: /* stxsiwx */
1863 op->reg = rd | ((instr & 1) << 5);
1864 op->type = MKOP(STORE_VSX, 0, 4);
1865 op->element_size = 8;
1866 break;
1867
1868 case 268: /* lxvx */
1869 op->reg = rd | ((instr & 1) << 5);
1870 op->type = MKOP(LOAD_VSX, 0, 16);
1871 op->element_size = 16;
1872 op->vsx_flags = VSX_CHECK_VEC;
1873 break;
1874
1875 case 269: /* lxvl */
1876 case 301: { /* lxvll */
1877 int nb;
1878 op->reg = rd | ((instr & 1) << 5);
1879 op->ea = ra ? regs->gpr[ra] : 0;
1880 nb = regs->gpr[rb] & 0xff;
1881 if (nb > 16)
1882 nb = 16;
1883 op->type = MKOP(LOAD_VSX, 0, nb);
1884 op->element_size = 16;
1885 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
1886 VSX_CHECK_VEC;
1887 break;
1888 }
1889 case 332: /* lxvdsx */
1890 op->reg = rd | ((instr & 1) << 5);
1891 op->type = MKOP(LOAD_VSX, 0, 8);
1892 op->element_size = 8;
1893 op->vsx_flags = VSX_SPLAT;
1894 break;
1895
1896 case 364: /* lxvwsx */
1897 op->reg = rd | ((instr & 1) << 5);
1898 op->type = MKOP(LOAD_VSX, 0, 4);
1899 op->element_size = 4;
1900 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
1901 break;
1902
1903 case 396: /* stxvx */
1904 op->reg = rd | ((instr & 1) << 5);
1905 op->type = MKOP(STORE_VSX, 0, 16);
1906 op->element_size = 16;
1907 op->vsx_flags = VSX_CHECK_VEC;
1908 break;
1909
1910 case 397: /* stxvl */
1911 case 429: { /* stxvll */
1912 int nb;
1913 op->reg = rd | ((instr & 1) << 5);
1914 op->ea = ra ? regs->gpr[ra] : 0;
1915 nb = regs->gpr[rb] & 0xff;
1916 if (nb > 16)
1917 nb = 16;
1918 op->type = MKOP(STORE_VSX, 0, nb);
1919 op->element_size = 16;
1920 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
1921 VSX_CHECK_VEC;
1922 break;
1923 }
1924 case 524: /* lxsspx */
1925 op->reg = rd | ((instr & 1) << 5);
1926 op->type = MKOP(LOAD_VSX, 0, 4);
1927 op->element_size = 8;
1928 op->vsx_flags = VSX_FPCONV;
1929 break;
1930
1931 case 588: /* lxsdx */
1932 op->reg = rd | ((instr & 1) << 5);
1933 op->type = MKOP(LOAD_VSX, 0, 8);
1934 op->element_size = 8;
1935 break;
1936
1937 case 652: /* stxsspx */
1938 op->reg = rd | ((instr & 1) << 5);
1939 op->type = MKOP(STORE_VSX, 0, 4);
1940 op->element_size = 8;
1941 op->vsx_flags = VSX_FPCONV;
1942 break;
1943
1944 case 716: /* stxsdx */
1945 op->reg = rd | ((instr & 1) << 5);
1946 op->type = MKOP(STORE_VSX, 0, 8);
1947 op->element_size = 8;
1948 break;
1949
1950 case 780: /* lxvw4x */
1951 op->reg = rd | ((instr & 1) << 5);
1952 op->type = MKOP(LOAD_VSX, 0, 16);
1953 op->element_size = 4;
1954 break;
1955
1956 case 781: /* lxsibzx */
1957 op->reg = rd | ((instr & 1) << 5);
1958 op->type = MKOP(LOAD_VSX, 0, 1);
1959 op->element_size = 8;
1960 op->vsx_flags = VSX_CHECK_VEC;
1961 break;
1962
1963 case 812: /* lxvh8x */
1964 op->reg = rd | ((instr & 1) << 5);
1965 op->type = MKOP(LOAD_VSX, 0, 16);
1966 op->element_size = 2;
1967 op->vsx_flags = VSX_CHECK_VEC;
1968 break;
1969
1970 case 813: /* lxsihzx */
1971 op->reg = rd | ((instr & 1) << 5);
1972 op->type = MKOP(LOAD_VSX, 0, 2);
1973 op->element_size = 8;
1974 op->vsx_flags = VSX_CHECK_VEC;
1975 break;
1976
1977 case 844: /* lxvd2x */
1978 op->reg = rd | ((instr & 1) << 5);
1979 op->type = MKOP(LOAD_VSX, 0, 16);
1980 op->element_size = 8;
1981 break;
1982
1983 case 876: /* lxvb16x */
1984 op->reg = rd | ((instr & 1) << 5);
1985 op->type = MKOP(LOAD_VSX, 0, 16);
1986 op->element_size = 1;
1987 op->vsx_flags = VSX_CHECK_VEC;
1988 break;
1989
1990 case 908: /* stxvw4x */
1991 op->reg = rd | ((instr & 1) << 5);
1992 op->type = MKOP(STORE_VSX, 0, 16);
1993 op->element_size = 4;
1994 break;
1995
1996 case 909: /* stxsibx */
1997 op->reg = rd | ((instr & 1) << 5);
1998 op->type = MKOP(STORE_VSX, 0, 1);
1999 op->element_size = 8;
2000 op->vsx_flags = VSX_CHECK_VEC;
2001 break;
2002
2003 case 940: /* stxvh8x */
2004 op->reg = rd | ((instr & 1) << 5);
2005 op->type = MKOP(STORE_VSX, 0, 16);
2006 op->element_size = 2;
2007 op->vsx_flags = VSX_CHECK_VEC;
2008 break;
2009
2010 case 941: /* stxsihx */
2011 op->reg = rd | ((instr & 1) << 5);
2012 op->type = MKOP(STORE_VSX, 0, 2);
2013 op->element_size = 8;
2014 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002015 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002016
2017 case 972: /* stxvd2x */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002018 op->reg = rd | ((instr & 1) << 5);
Paul Mackerras350779a2017-08-30 14:12:27 +10002019 op->type = MKOP(STORE_VSX, 0, 16);
2020 op->element_size = 8;
2021 break;
2022
2023 case 1004: /* stxvb16x */
2024 op->reg = rd | ((instr & 1) << 5);
2025 op->type = MKOP(STORE_VSX, 0, 16);
2026 op->element_size = 1;
2027 op->vsx_flags = VSX_CHECK_VEC;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002028 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002029
2030#endif /* CONFIG_VSX */
2031 }
2032 break;
2033
2034 case 32: /* lwz */
2035 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002036 op->type = MKOP(LOAD, u, 4);
2037 op->ea = dform_ea(instr, regs);
2038 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002039
2040 case 34: /* lbz */
2041 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002042 op->type = MKOP(LOAD, u, 1);
2043 op->ea = dform_ea(instr, regs);
2044 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002045
2046 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002047 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002048 op->type = MKOP(STORE, u, 4);
2049 op->ea = dform_ea(instr, regs);
2050 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00002051
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002052 case 38: /* stb */
2053 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002054 op->type = MKOP(STORE, u, 1);
2055 op->ea = dform_ea(instr, regs);
2056 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002057
2058 case 40: /* lhz */
2059 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002060 op->type = MKOP(LOAD, u, 2);
2061 op->ea = dform_ea(instr, regs);
2062 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002063
2064 case 42: /* lha */
2065 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002066 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2067 op->ea = dform_ea(instr, regs);
2068 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002069
2070 case 44: /* sth */
2071 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002072 op->type = MKOP(STORE, u, 2);
2073 op->ea = dform_ea(instr, regs);
2074 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002075
2076 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002077 if (ra >= rd)
2078 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002079 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002080 op->ea = dform_ea(instr, regs);
2081 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002082
2083 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002084 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002085 op->ea = dform_ea(instr, regs);
2086 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002087
Sean MacLennancd64d162010-09-01 07:21:21 +00002088#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002089 case 48: /* lfs */
2090 case 49: /* lfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002091 op->type = MKOP(LOAD_FP, u, 4);
2092 op->ea = dform_ea(instr, regs);
2093 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002094
2095 case 50: /* lfd */
2096 case 51: /* lfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002097 op->type = MKOP(LOAD_FP, u, 8);
2098 op->ea = dform_ea(instr, regs);
2099 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002100
2101 case 52: /* stfs */
2102 case 53: /* stfsu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002103 op->type = MKOP(STORE_FP, u, 4);
2104 op->ea = dform_ea(instr, regs);
2105 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002106
2107 case 54: /* stfd */
2108 case 55: /* stfdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002109 op->type = MKOP(STORE_FP, u, 8);
2110 op->ea = dform_ea(instr, regs);
2111 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00002112#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002113
2114#ifdef __powerpc64__
Paul Mackerras350779a2017-08-30 14:12:27 +10002115 case 56: /* lq */
2116 if (!((rd & 1) || (rd == ra)))
2117 op->type = MKOP(LOAD, 0, 16);
2118 op->ea = dqform_ea(instr, regs);
2119 break;
2120#endif
2121
2122#ifdef CONFIG_VSX
2123 case 57: /* lxsd, lxssp */
2124 op->ea = dsform_ea(instr, regs);
2125 switch (instr & 3) {
2126 case 2: /* lxsd */
2127 op->reg = rd + 32;
2128 op->type = MKOP(LOAD_VSX, 0, 8);
2129 op->element_size = 8;
2130 op->vsx_flags = VSX_CHECK_VEC;
2131 break;
2132 case 3: /* lxssp */
2133 op->reg = rd + 32;
2134 op->type = MKOP(LOAD_VSX, 0, 4);
2135 op->element_size = 8;
2136 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2137 break;
2138 }
2139 break;
2140#endif /* CONFIG_VSX */
2141
2142#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002143 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002144 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002145 switch (instr & 3) {
2146 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002147 op->type = MKOP(LOAD, 0, 8);
2148 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002149 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002150 op->type = MKOP(LOAD, UPDATE, 8);
2151 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002152 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002153 op->type = MKOP(LOAD, SIGNEXT, 4);
2154 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002155 }
2156 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002157#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002158
Paul Mackerras350779a2017-08-30 14:12:27 +10002159#ifdef CONFIG_VSX
2160 case 61: /* lxv, stxsd, stxssp, stxv */
2161 switch (instr & 7) {
2162 case 1: /* lxv */
2163 op->ea = dqform_ea(instr, regs);
2164 if (instr & 8)
2165 op->reg = rd + 32;
2166 op->type = MKOP(LOAD_VSX, 0, 16);
2167 op->element_size = 16;
2168 op->vsx_flags = VSX_CHECK_VEC;
2169 break;
2170
2171 case 2: /* stxsd with LSB of DS field = 0 */
2172 case 6: /* stxsd with LSB of DS field = 1 */
2173 op->ea = dsform_ea(instr, regs);
2174 op->reg = rd + 32;
2175 op->type = MKOP(STORE_VSX, 0, 8);
2176 op->element_size = 8;
2177 op->vsx_flags = VSX_CHECK_VEC;
2178 break;
2179
2180 case 3: /* stxssp with LSB of DS field = 0 */
2181 case 7: /* stxssp with LSB of DS field = 1 */
2182 op->ea = dsform_ea(instr, regs);
2183 op->reg = rd + 32;
2184 op->type = MKOP(STORE_VSX, 0, 4);
2185 op->element_size = 8;
2186 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2187 break;
2188
2189 case 5: /* stxv */
2190 op->ea = dqform_ea(instr, regs);
2191 if (instr & 8)
2192 op->reg = rd + 32;
2193 op->type = MKOP(STORE_VSX, 0, 16);
2194 op->element_size = 16;
2195 op->vsx_flags = VSX_CHECK_VEC;
2196 break;
2197 }
2198 break;
2199#endif /* CONFIG_VSX */
2200
2201#ifdef __powerpc64__
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002202 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002203 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002204 switch (instr & 3) {
2205 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002206 op->type = MKOP(STORE, 0, 8);
2207 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002208 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002209 op->type = MKOP(STORE, UPDATE, 8);
2210 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002211 case 2: /* stq */
2212 if (!(rd & 1))
2213 op->type = MKOP(STORE, 0, 16);
2214 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002215 }
2216 break;
2217#endif /* __powerpc64__ */
2218
2219 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002220 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002221
2222 logical_done:
2223 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002224 set_cr0(regs, op, ra);
2225 logical_done_nocc:
2226 op->reg = ra;
2227 op->type |= SETREG;
2228 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10002229
2230 arith_done:
2231 if (instr & 1)
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002232 set_cr0(regs, op, rd);
2233 compute_done:
2234 op->reg = rd;
2235 op->type |= SETREG;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002236 return 1;
2237
2238 priv:
2239 op->type = INTERRUPT | 0x700;
2240 op->val = SRR1_PROGPRIV;
2241 return 0;
2242
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002243 trap:
2244 op->type = INTERRUPT | 0x700;
2245 op->val = SRR1_PROGTRAP;
2246 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002247}
2248EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302249NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002250
2251/*
2252 * For PPC32 we always use stwu with r1 to change the stack pointer.
2253 * So this emulated store may corrupt the exception frame, now we
2254 * have to provide the exception frame trampoline, which is pushed
2255 * below the kprobed function stack. So we only update gpr[1] but
2256 * don't emulate the real store operation. We will do real store
2257 * operation safely in exception return code by checking this flag.
2258 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302259static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002260{
2261#ifdef CONFIG_PPC32
2262 /*
2263 * Check if we will touch kernel stack overflow
2264 */
2265 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2266 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2267 return -EINVAL;
2268 }
2269#endif /* CONFIG_PPC32 */
2270 /*
2271 * Check if we already set since that means we'll
2272 * lose the previous value.
2273 */
2274 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2275 set_thread_flag(TIF_EMULATE_STACK_STORE);
2276 return 0;
2277}
2278
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302279static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002280{
2281 switch (size) {
2282 case 2:
2283 *valp = (signed short) *valp;
2284 break;
2285 case 4:
2286 *valp = (signed int) *valp;
2287 break;
2288 }
2289}
2290
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302291static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002292{
2293 switch (size) {
2294 case 2:
2295 *valp = byterev_2(*valp);
2296 break;
2297 case 4:
2298 *valp = byterev_4(*valp);
2299 break;
2300#ifdef __powerpc64__
2301 case 8:
2302 *valp = byterev_8(*valp);
2303 break;
2304#endif
2305 }
2306}
2307
2308/*
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002309 * Emulate an instruction that can be executed just by updating
2310 * fields in *regs.
2311 */
2312void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2313{
2314 unsigned long next_pc;
2315
2316 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2317 switch (op->type & INSTR_TYPE_MASK) {
2318 case COMPUTE:
2319 if (op->type & SETREG)
2320 regs->gpr[op->reg] = op->val;
2321 if (op->type & SETCC)
2322 regs->ccr = op->ccval;
2323 if (op->type & SETXER)
2324 regs->xer = op->xerval;
2325 break;
2326
2327 case BRANCH:
2328 if (op->type & SETLK)
2329 regs->link = next_pc;
2330 if (op->type & BRTAKEN)
2331 next_pc = op->val;
2332 if (op->type & DECCTR)
2333 --regs->ctr;
2334 break;
2335
2336 case BARRIER:
2337 switch (op->type & BARRIER_MASK) {
2338 case BARRIER_SYNC:
2339 mb();
2340 break;
2341 case BARRIER_ISYNC:
2342 isync();
2343 break;
2344 case BARRIER_EIEIO:
2345 eieio();
2346 break;
2347 case BARRIER_LWSYNC:
2348 asm volatile("lwsync" : : : "memory");
2349 break;
2350 case BARRIER_PTESYNC:
2351 asm volatile("ptesync" : : : "memory");
2352 break;
2353 }
2354 break;
2355
2356 case MFSPR:
2357 switch (op->spr) {
2358 case SPRN_XER:
2359 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2360 break;
2361 case SPRN_LR:
2362 regs->gpr[op->reg] = regs->link;
2363 break;
2364 case SPRN_CTR:
2365 regs->gpr[op->reg] = regs->ctr;
2366 break;
2367 default:
2368 WARN_ON_ONCE(1);
2369 }
2370 break;
2371
2372 case MTSPR:
2373 switch (op->spr) {
2374 case SPRN_XER:
2375 regs->xer = op->val & 0xffffffffUL;
2376 break;
2377 case SPRN_LR:
2378 regs->link = op->val;
2379 break;
2380 case SPRN_CTR:
2381 regs->ctr = op->val;
2382 break;
2383 default:
2384 WARN_ON_ONCE(1);
2385 }
2386 break;
2387
2388 default:
2389 WARN_ON_ONCE(1);
2390 }
2391 regs->nip = next_pc;
2392}
2393
2394/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002395 * Emulate instructions that cause a transfer of control,
2396 * loads and stores, and a few other instructions.
2397 * Returns 1 if the step was emulated, 0 if not,
2398 * or -1 if the instruction is one that should not be stepped,
2399 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2400 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302401int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002402{
2403 struct instruction_op op;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002404 int r, err, size, type;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002405 unsigned long val;
2406 unsigned int cr;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002407 int i, rd, nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002408 unsigned long ea;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002409
2410 r = analyse_instr(&op, regs, instr);
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002411 if (r < 0)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002412 return r;
Paul Mackerras3cdfcbf2017-08-30 14:12:25 +10002413 if (r > 0) {
2414 emulate_update_regs(regs, &op);
2415 return 1;
2416 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002417
2418 err = 0;
2419 size = GETSIZE(op.type);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002420 type = op.type & INSTR_TYPE_MASK;
2421
2422 ea = op.ea;
2423 if (OP_IS_LOAD_STORE(type) || type == CACHEOP)
2424 ea = truncate_if_32bit(regs->msr, op.ea);
2425
2426 switch (type) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002427 case CACHEOP:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002428 if (!address_ok(regs, ea, 8))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002429 return 0;
2430 switch (op.type & CACHEOP_MASK) {
2431 case DCBST:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002432 __cacheop_user_asmx(ea, err, "dcbst");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002433 break;
2434 case DCBF:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002435 __cacheop_user_asmx(ea, err, "dcbf");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002436 break;
2437 case DCBTST:
2438 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002439 prefetchw((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002440 break;
2441 case DCBT:
2442 if (op.reg == 0)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002443 prefetch((void *) ea);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002444 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002445 case ICBI:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002446 __cacheop_user_asmx(ea, err, "icbi");
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10002447 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002448 }
2449 if (err)
2450 return 0;
2451 goto instr_done;
2452
2453 case LARX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002454 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002455 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002456 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002457 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002458 err = 0;
2459 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002460#ifdef __powerpc64__
2461 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002462 __get_user_asmx(val, ea, err, "lbarx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002463 break;
2464 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002465 __get_user_asmx(val, ea, err, "lharx");
Paul Mackerras350779a2017-08-30 14:12:27 +10002466 break;
2467#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002468 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002469 __get_user_asmx(val, ea, err, "lwarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002470 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002471#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002472 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002473 __get_user_asmx(val, ea, err, "ldarx");
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002474 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002475 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002476 err = do_lqarx(ea, &regs->gpr[op.reg]);
Paul Mackerras350779a2017-08-30 14:12:27 +10002477 goto ldst_done;
Lennart Sorensendd217312016-05-05 16:44:44 -04002478#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002479 default:
2480 return 0;
2481 }
2482 if (!err)
2483 regs->gpr[op.reg] = val;
2484 goto ldst_done;
2485
2486 case STCX:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002487 if (ea & (size - 1))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002488 break; /* can't handle misaligned */
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002489 if (!address_ok(regs, ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01002490 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002491 err = 0;
2492 switch (size) {
Paul Mackerras350779a2017-08-30 14:12:27 +10002493#ifdef __powerpc64__
2494 case 1:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002495 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002496 break;
2497 case 2:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002498 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
Paul Mackerras350779a2017-08-30 14:12:27 +10002499 break;
2500#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002501 case 4:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002502 __put_user_asmx(op.val, ea, err, "stwcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002503 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002504#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002505 case 8:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002506 __put_user_asmx(op.val, ea, err, "stdcx.", cr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002507 break;
Paul Mackerras350779a2017-08-30 14:12:27 +10002508 case 16:
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002509 err = do_stqcx(ea, regs->gpr[op.reg],
Paul Mackerras350779a2017-08-30 14:12:27 +10002510 regs->gpr[op.reg + 1], &cr);
2511 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04002512#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002513 default:
2514 return 0;
2515 }
2516 if (!err)
2517 regs->ccr = (regs->ccr & 0x0fffffff) |
2518 (cr & 0xe0000000) |
2519 ((regs->xer >> 3) & 0x10000000);
2520 goto ldst_done;
2521
2522 case LOAD:
Paul Mackerras350779a2017-08-30 14:12:27 +10002523#ifdef __powerpc64__
2524 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002525 err = emulate_lq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002526 goto ldst_done;
2527 }
2528#endif
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002529 err = read_mem(&regs->gpr[op.reg], ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002530 if (!err) {
2531 if (op.type & SIGNEXT)
2532 do_signext(&regs->gpr[op.reg], size);
2533 if (op.type & BYTEREV)
2534 do_byterev(&regs->gpr[op.reg], size);
2535 }
2536 goto ldst_done;
2537
Paul Mackerras7048c842014-11-03 15:46:43 +11002538#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002539 case LOAD_FP:
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002540 if (!(regs->msr & MSR_FP))
2541 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002542 if (size == 4)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002543 err = do_fp_load(op.reg, do_lfs, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002544 else
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002545 err = do_fp_load(op.reg, do_lfd, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002546 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002547#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002548#ifdef CONFIG_ALTIVEC
2549 case LOAD_VMX:
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002550 if (!(regs->msr & MSR_VEC))
2551 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002552 err = do_vec_load(op.reg, do_lvx, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002553 goto ldst_done;
2554#endif
2555#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002556 case LOAD_VSX: {
2557 char mem[16];
2558 union vsx_reg buf;
2559 unsigned long msrbit = MSR_VSX;
2560
2561 /*
2562 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2563 * when the target of the instruction is a vector register.
2564 */
2565 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2566 msrbit = MSR_VEC;
2567 if (!(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002568 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002569 if (!address_ok(regs, ea, size) ||
2570 __copy_from_user(mem, (void __user *)ea, size))
Paul Mackerras350779a2017-08-30 14:12:27 +10002571 return 0;
2572
2573 emulate_vsx_load(&op, &buf, mem);
2574 load_vsrn(op.reg, &buf);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002575 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002576 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002577#endif
2578 case LOAD_MULTI:
2579 if (regs->msr & MSR_LE)
2580 return 0;
2581 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002582 for (i = 0; i < size; i += 4) {
2583 nb = size - i;
2584 if (nb > 4)
2585 nb = 4;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002586 err = read_mem(&regs->gpr[rd], ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002587 if (err)
2588 return 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002589 if (nb < 4) /* left-justify last bytes */
2590 regs->gpr[rd] <<= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002591 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002592 ++rd;
2593 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002594 goto instr_done;
2595
2596 case STORE:
Paul Mackerras350779a2017-08-30 14:12:27 +10002597#ifdef __powerpc64__
2598 if (size == 16) {
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002599 err = emulate_stq(regs, ea, op.reg);
Paul Mackerras350779a2017-08-30 14:12:27 +10002600 goto ldst_done;
2601 }
2602#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002603 if ((op.type & UPDATE) && size == sizeof(long) &&
2604 op.reg == 1 && op.update_reg == 1 &&
2605 !(regs->msr & MSR_PR) &&
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002606 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2607 err = handle_stack_update(ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002608 goto ldst_done;
2609 }
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002610 err = write_mem(op.val, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002611 goto ldst_done;
2612
Paul Mackerras7048c842014-11-03 15:46:43 +11002613#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002614 case STORE_FP:
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002615 if (!(regs->msr & MSR_FP))
2616 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002617 if (size == 4)
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002618 err = do_fp_store(op.reg, do_stfs, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002619 else
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002620 err = do_fp_store(op.reg, do_stfd, ea, size, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002621 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11002622#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002623#ifdef CONFIG_ALTIVEC
2624 case STORE_VMX:
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002625 if (!(regs->msr & MSR_VEC))
2626 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002627 err = do_vec_store(op.reg, do_stvx, ea, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002628 goto ldst_done;
2629#endif
2630#ifdef CONFIG_VSX
Paul Mackerras350779a2017-08-30 14:12:27 +10002631 case STORE_VSX: {
2632 char mem[16];
2633 union vsx_reg buf;
2634 unsigned long msrbit = MSR_VSX;
2635
2636 /*
2637 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2638 * when the target of the instruction is a vector register.
2639 */
2640 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2641 msrbit = MSR_VEC;
2642 if (!(regs->msr & msrbit))
Paul Mackerrasee0a54d2017-08-30 14:12:26 +10002643 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002644 if (!address_ok(regs, ea, size))
Paul Mackerras350779a2017-08-30 14:12:27 +10002645 return 0;
2646
2647 store_vsrn(op.reg, &buf);
2648 emulate_vsx_store(&op, &buf, mem);
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002649 if (__copy_to_user((void __user *)ea, mem, size))
Paul Mackerras350779a2017-08-30 14:12:27 +10002650 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002651 goto ldst_done;
Paul Mackerras350779a2017-08-30 14:12:27 +10002652 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002653#endif
2654 case STORE_MULTI:
2655 if (regs->msr & MSR_LE)
2656 return 0;
2657 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002658 for (i = 0; i < size; i += 4) {
2659 val = regs->gpr[rd];
2660 nb = size - i;
2661 if (nb > 4)
2662 nb = 4;
2663 else
2664 val >>= 32 - 8 * nb;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002665 err = write_mem(val, ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002666 if (err)
2667 return 0;
Paul Mackerrasd120cdb2017-08-30 14:12:28 +10002668 ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10002669 ++rd;
2670 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10002671 goto instr_done;
2672
2673 case MFMSR:
2674 regs->gpr[op.reg] = regs->msr & MSR_MASK;
2675 goto instr_done;
2676
2677 case MTMSR:
2678 val = regs->gpr[op.reg];
2679 if ((val & MSR_RI) == 0)
2680 /* can't step mtmsr[d] that would clear MSR_RI */
2681 return -1;
2682 /* here op.val is the mask of bits to change */
2683 regs->msr = (regs->msr & ~op.val) | (val & op.val);
2684 goto instr_done;
2685
2686#ifdef CONFIG_PPC64
2687 case SYSCALL: /* sc */
2688 /*
2689 * N.B. this uses knowledge about how the syscall
2690 * entry code works. If that is changed, this will
2691 * need to be changed also.
2692 */
2693 if (regs->gpr[0] == 0x1ebe &&
2694 cpu_has_feature(CPU_FTR_REAL_LE)) {
2695 regs->msr ^= MSR_LE;
2696 goto instr_done;
2697 }
2698 regs->gpr[9] = regs->gpr[13];
2699 regs->gpr[10] = MSR_KERNEL;
2700 regs->gpr[11] = regs->nip + 4;
2701 regs->gpr[12] = regs->msr & MSR_MASK;
2702 regs->gpr[13] = (unsigned long) get_paca();
2703 regs->nip = (unsigned long) &system_call_common;
2704 regs->msr = MSR_KERNEL;
2705 return 1;
2706
2707 case RFI:
2708 return -1;
2709#endif
2710 }
2711 return 0;
2712
2713 ldst_done:
2714 if (err)
2715 return 0;
2716 if (op.type & UPDATE)
2717 regs->gpr[op.update_reg] = op.ea;
2718
2719 instr_done:
2720 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
2721 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10002722}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05302723NOKPROBE_SYMBOL(emulate_step);