blob: fb84f51b1f0b797c2ed914c226559defad769ded [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);
45extern int do_lxvd2x(int rn, unsigned long ea);
46extern int do_stxvd2x(int rn, unsigned long ea);
Sean MacLennancd64d162010-09-01 07:21:21 +000047#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +100048
Paul Mackerras14cf11a2005-09-26 16:04:21 +100049/*
Michael Ellermanb91e1362011-04-07 21:56:04 +000050 * Emulate the truncation of 64 bit values in 32-bit mode.
51 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +053052static nokprobe_inline unsigned long truncate_if_32bit(unsigned long msr,
53 unsigned long val)
Michael Ellermanb91e1362011-04-07 21:56:04 +000054{
55#ifdef __powerpc64__
56 if ((msr & MSR_64BIT) == 0)
57 val &= 0xffffffffUL;
58#endif
59 return val;
60}
61
62/*
Paul Mackerras14cf11a2005-09-26 16:04:21 +100063 * Determine whether a conditional branch instruction would branch.
64 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +053065static nokprobe_inline int branch_taken(unsigned int instr, struct pt_regs *regs)
Paul Mackerras14cf11a2005-09-26 16:04:21 +100066{
67 unsigned int bo = (instr >> 21) & 0x1f;
68 unsigned int bi;
69
70 if ((bo & 4) == 0) {
71 /* decrement counter */
72 --regs->ctr;
73 if (((bo >> 1) & 1) ^ (regs->ctr == 0))
74 return 0;
75 }
76 if ((bo & 0x10) == 0) {
77 /* check bit from CR */
78 bi = (instr >> 16) & 0x1f;
79 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
80 return 0;
81 }
82 return 1;
83}
84
Naveen N. Rao71f6e582017-04-12 16:48:51 +053085static nokprobe_inline long address_ok(struct pt_regs *regs, unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +100086{
87 if (!user_mode(regs))
88 return 1;
89 return __access_ok(ea, nb, USER_DS);
90}
91
Paul Mackerras14cf11a2005-09-26 16:04:21 +100092/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +100093 * Calculate effective address for a D-form instruction
94 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +053095static nokprobe_inline unsigned long dform_ea(unsigned int instr, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +100096{
97 int ra;
98 unsigned long ea;
99
100 ra = (instr >> 16) & 0x1f;
101 ea = (signed short) instr; /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000102 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000103 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000104
105 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000106}
107
108#ifdef __powerpc64__
109/*
110 * Calculate effective address for a DS-form instruction
111 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530112static nokprobe_inline unsigned long dsform_ea(unsigned int instr, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000113{
114 int ra;
115 unsigned long ea;
116
117 ra = (instr >> 16) & 0x1f;
118 ea = (signed short) (instr & ~3); /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000119 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000120 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000121
122 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000123}
124#endif /* __powerpc64 */
125
126/*
127 * Calculate effective address for an X-form instruction
128 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530129static nokprobe_inline unsigned long xform_ea(unsigned int instr,
130 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000131{
132 int ra, rb;
133 unsigned long ea;
134
135 ra = (instr >> 16) & 0x1f;
136 rb = (instr >> 11) & 0x1f;
137 ea = regs->gpr[rb];
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000138 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000139 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000140
141 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000142}
143
144/*
145 * Return the largest power of 2, not greater than sizeof(unsigned long),
146 * such that x is a multiple of it.
147 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530148static nokprobe_inline unsigned long max_align(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000149{
150 x |= sizeof(unsigned long);
151 return x & -x; /* isolates rightmost bit */
152}
153
154
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530155static nokprobe_inline unsigned long byterev_2(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000156{
157 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
158}
159
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530160static nokprobe_inline unsigned long byterev_4(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000161{
162 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
163 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
164}
165
166#ifdef __powerpc64__
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530167static nokprobe_inline unsigned long byterev_8(unsigned long x)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000168{
169 return (byterev_4(x) << 32) | byterev_4(x >> 32);
170}
171#endif
172
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530173static nokprobe_inline int read_mem_aligned(unsigned long *dest,
174 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000175{
176 int err = 0;
177 unsigned long x = 0;
178
179 switch (nb) {
180 case 1:
181 err = __get_user(x, (unsigned char __user *) ea);
182 break;
183 case 2:
184 err = __get_user(x, (unsigned short __user *) ea);
185 break;
186 case 4:
187 err = __get_user(x, (unsigned int __user *) ea);
188 break;
189#ifdef __powerpc64__
190 case 8:
191 err = __get_user(x, (unsigned long __user *) ea);
192 break;
193#endif
194 }
195 if (!err)
196 *dest = x;
197 return err;
198}
199
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530200static nokprobe_inline int read_mem_unaligned(unsigned long *dest,
201 unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000202{
203 int err;
204 unsigned long x, b, c;
Tom Musta6506b472013-10-18 14:42:08 -0500205#ifdef __LITTLE_ENDIAN__
206 int len = nb; /* save a copy of the length for byte reversal */
207#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000208
209 /* unaligned, do this in pieces */
210 x = 0;
211 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500212#ifdef __LITTLE_ENDIAN__
213 c = 1;
214#endif
215#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000216 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500217#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000218 if (c > nb)
219 c = max_align(nb);
220 err = read_mem_aligned(&b, ea, c);
221 if (err)
222 return err;
223 x = (x << (8 * c)) + b;
224 ea += c;
225 }
Tom Musta6506b472013-10-18 14:42:08 -0500226#ifdef __LITTLE_ENDIAN__
227 switch (len) {
228 case 2:
229 *dest = byterev_2(x);
230 break;
231 case 4:
232 *dest = byterev_4(x);
233 break;
234#ifdef __powerpc64__
235 case 8:
236 *dest = byterev_8(x);
237 break;
238#endif
239 }
240#endif
241#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000242 *dest = x;
Tom Musta6506b472013-10-18 14:42:08 -0500243#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000244 return 0;
245}
246
247/*
248 * Read memory at address ea for nb bytes, return 0 for success
249 * or -EFAULT if an error occurred.
250 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530251static int read_mem(unsigned long *dest, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000252 struct pt_regs *regs)
253{
254 if (!address_ok(regs, ea, nb))
255 return -EFAULT;
256 if ((ea & (nb - 1)) == 0)
257 return read_mem_aligned(dest, ea, nb);
258 return read_mem_unaligned(dest, ea, nb, regs);
259}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530260NOKPROBE_SYMBOL(read_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000261
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530262static nokprobe_inline int write_mem_aligned(unsigned long val,
263 unsigned long ea, int nb)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000264{
265 int err = 0;
266
267 switch (nb) {
268 case 1:
269 err = __put_user(val, (unsigned char __user *) ea);
270 break;
271 case 2:
272 err = __put_user(val, (unsigned short __user *) ea);
273 break;
274 case 4:
275 err = __put_user(val, (unsigned int __user *) ea);
276 break;
277#ifdef __powerpc64__
278 case 8:
279 err = __put_user(val, (unsigned long __user *) ea);
280 break;
281#endif
282 }
283 return err;
284}
285
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530286static nokprobe_inline int write_mem_unaligned(unsigned long val,
287 unsigned long ea, int nb, struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000288{
289 int err;
290 unsigned long c;
291
Tom Musta6506b472013-10-18 14:42:08 -0500292#ifdef __LITTLE_ENDIAN__
293 switch (nb) {
294 case 2:
295 val = byterev_2(val);
296 break;
297 case 4:
298 val = byterev_4(val);
299 break;
300#ifdef __powerpc64__
301 case 8:
302 val = byterev_8(val);
303 break;
304#endif
305 }
306#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000307 /* unaligned or little-endian, do this in pieces */
308 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500309#ifdef __LITTLE_ENDIAN__
310 c = 1;
311#endif
312#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000313 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500314#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000315 if (c > nb)
316 c = max_align(nb);
317 err = write_mem_aligned(val >> (nb - c) * 8, ea, c);
318 if (err)
319 return err;
Tom Musta17e8de72013-08-22 09:25:28 -0500320 ea += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000321 }
322 return 0;
323}
324
325/*
326 * Write memory at address ea for nb bytes, return 0 for success
327 * or -EFAULT if an error occurred.
328 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530329static int write_mem(unsigned long val, unsigned long ea, int nb,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000330 struct pt_regs *regs)
331{
332 if (!address_ok(regs, ea, nb))
333 return -EFAULT;
334 if ((ea & (nb - 1)) == 0)
335 return write_mem_aligned(val, ea, nb);
336 return write_mem_unaligned(val, ea, nb, regs);
337}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530338NOKPROBE_SYMBOL(write_mem);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000339
Sean MacLennancd64d162010-09-01 07:21:21 +0000340#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000341/*
342 * Check the address and alignment, and call func to do the actual
343 * load or store.
344 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530345static int do_fp_load(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000346 unsigned long ea, int nb,
347 struct pt_regs *regs)
348{
349 int err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500350 union {
351 double dbl;
352 unsigned long ul[2];
353 struct {
354#ifdef __BIG_ENDIAN__
355 unsigned _pad_;
356 unsigned word;
357#endif
358#ifdef __LITTLE_ENDIAN__
359 unsigned word;
360 unsigned _pad_;
361#endif
362 } single;
363 } data;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000364 unsigned long ptr;
365
366 if (!address_ok(regs, ea, nb))
367 return -EFAULT;
368 if ((ea & 3) == 0)
369 return (*func)(rn, ea);
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500370 ptr = (unsigned long) &data.ul;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000371 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500372 err = read_mem_unaligned(&data.ul[0], ea, nb, regs);
373 if (nb == 4)
374 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000375 } else {
376 /* reading a double on 32-bit */
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500377 err = read_mem_unaligned(&data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000378 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500379 err = read_mem_unaligned(&data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000380 }
381 if (err)
382 return err;
383 return (*func)(rn, ptr);
384}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530385NOKPROBE_SYMBOL(do_fp_load);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000386
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530387static int do_fp_store(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[0];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000413 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500414 if (nb == 4)
415 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000416 err = (*func)(rn, ptr);
417 if (err)
418 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500419 err = write_mem_unaligned(data.ul[0], ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000420 } else {
421 /* writing a double on 32-bit */
422 err = (*func)(rn, ptr);
423 if (err)
424 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500425 err = write_mem_unaligned(data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000426 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500427 err = write_mem_unaligned(data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000428 }
429 return err;
430}
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530431NOKPROBE_SYMBOL(do_fp_store);
Sean MacLennancd64d162010-09-01 07:21:21 +0000432#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000433
434#ifdef CONFIG_ALTIVEC
435/* For Altivec/VMX, no need to worry about alignment */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530436static nokprobe_inline int do_vec_load(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000437 unsigned long ea, struct pt_regs *regs)
438{
439 if (!address_ok(regs, ea & ~0xfUL, 16))
440 return -EFAULT;
441 return (*func)(rn, ea);
442}
443
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530444static nokprobe_inline int do_vec_store(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000445 unsigned long ea, struct pt_regs *regs)
446{
447 if (!address_ok(regs, ea & ~0xfUL, 16))
448 return -EFAULT;
449 return (*func)(rn, ea);
450}
451#endif /* CONFIG_ALTIVEC */
452
453#ifdef CONFIG_VSX
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530454static nokprobe_inline int do_vsx_load(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000455 unsigned long ea, struct pt_regs *regs)
456{
457 int err;
458 unsigned long val[2];
459
460 if (!address_ok(regs, ea, 16))
461 return -EFAULT;
462 if ((ea & 3) == 0)
463 return (*func)(rn, ea);
464 err = read_mem_unaligned(&val[0], ea, 8, regs);
465 if (!err)
466 err = read_mem_unaligned(&val[1], ea + 8, 8, regs);
467 if (!err)
468 err = (*func)(rn, (unsigned long) &val[0]);
469 return err;
470}
471
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530472static nokprobe_inline int do_vsx_store(int rn, int (*func)(int, unsigned long),
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000473 unsigned long ea, struct pt_regs *regs)
474{
475 int err;
476 unsigned long val[2];
477
478 if (!address_ok(regs, ea, 16))
479 return -EFAULT;
480 if ((ea & 3) == 0)
481 return (*func)(rn, ea);
482 err = (*func)(rn, (unsigned long) &val[0]);
483 if (err)
484 return err;
485 err = write_mem_unaligned(val[0], ea, 8, regs);
486 if (!err)
487 err = write_mem_unaligned(val[1], ea + 8, 8, regs);
488 return err;
489}
490#endif /* CONFIG_VSX */
491
492#define __put_user_asmx(x, addr, err, op, cr) \
493 __asm__ __volatile__( \
494 "1: " op " %2,0,%3\n" \
495 " mfcr %1\n" \
496 "2:\n" \
497 ".section .fixup,\"ax\"\n" \
498 "3: li %0,%4\n" \
499 " b 2b\n" \
500 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100501 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000502 : "=r" (err), "=r" (cr) \
503 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
504
505#define __get_user_asmx(x, addr, err, op) \
506 __asm__ __volatile__( \
507 "1: "op" %1,0,%2\n" \
508 "2:\n" \
509 ".section .fixup,\"ax\"\n" \
510 "3: li %0,%3\n" \
511 " b 2b\n" \
512 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100513 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000514 : "=r" (err), "=r" (x) \
515 : "r" (addr), "i" (-EFAULT), "0" (err))
516
517#define __cacheop_user_asmx(addr, err, op) \
518 __asm__ __volatile__( \
519 "1: "op" 0,%1\n" \
520 "2:\n" \
521 ".section .fixup,\"ax\"\n" \
522 "3: li %0,%3\n" \
523 " b 2b\n" \
524 ".previous\n" \
Nicholas Piggin24bfa6a2016-10-13 16:42:53 +1100525 EX_TABLE(1b, 3b) \
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000526 : "=r" (err) \
527 : "r" (addr), "i" (-EFAULT), "0" (err))
528
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530529static nokprobe_inline void set_cr0(struct pt_regs *regs, int rd)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000530{
531 long val = regs->gpr[rd];
532
533 regs->ccr = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
534#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000535 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000536 val = (int) val;
537#endif
538 if (val < 0)
539 regs->ccr |= 0x80000000;
540 else if (val > 0)
541 regs->ccr |= 0x40000000;
542 else
543 regs->ccr |= 0x20000000;
544}
545
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530546static nokprobe_inline void add_with_carry(struct pt_regs *regs, int rd,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000547 unsigned long val1, unsigned long val2,
548 unsigned long carry_in)
549{
550 unsigned long val = val1 + val2;
551
552 if (carry_in)
553 ++val;
554 regs->gpr[rd] = val;
555#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000556 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000557 val = (unsigned int) val;
558 val1 = (unsigned int) val1;
559 }
560#endif
561 if (val < val1 || (carry_in && val == val1))
562 regs->xer |= XER_CA;
563 else
564 regs->xer &= ~XER_CA;
565}
566
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530567static nokprobe_inline void do_cmp_signed(struct pt_regs *regs, long v1, long v2,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000568 int crfld)
569{
570 unsigned int crval, shift;
571
572 crval = (regs->xer >> 31) & 1; /* get SO bit */
573 if (v1 < v2)
574 crval |= 8;
575 else if (v1 > v2)
576 crval |= 4;
577 else
578 crval |= 2;
579 shift = (7 - crfld) * 4;
580 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
581}
582
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530583static nokprobe_inline void do_cmp_unsigned(struct pt_regs *regs, unsigned long v1,
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000584 unsigned long v2, int crfld)
585{
586 unsigned int crval, shift;
587
588 crval = (regs->xer >> 31) & 1; /* get SO bit */
589 if (v1 < v2)
590 crval |= 8;
591 else if (v1 > v2)
592 crval |= 4;
593 else
594 crval |= 2;
595 shift = (7 - crfld) * 4;
596 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
597}
598
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530599static nokprobe_inline int trap_compare(long v1, long v2)
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000600{
601 int ret = 0;
602
603 if (v1 < v2)
604 ret |= 0x10;
605 else if (v1 > v2)
606 ret |= 0x08;
607 else
608 ret |= 0x04;
609 if ((unsigned long)v1 < (unsigned long)v2)
610 ret |= 0x02;
611 else if ((unsigned long)v1 > (unsigned long)v2)
612 ret |= 0x01;
613 return ret;
614}
615
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000616/*
617 * Elements of 32-bit rotate and mask instructions.
618 */
619#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
620 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
621#ifdef __powerpc64__
622#define MASK64_L(mb) (~0UL >> (mb))
623#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
624#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
625#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
626#else
627#define DATA32(x) (x)
628#endif
629#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
630
631/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000632 * Decode an instruction, and execute it if that can be done just by
633 * modifying *regs (i.e. integer arithmetic and logical instructions,
634 * branches, and barrier instructions).
635 * Returns 1 if the instruction has been executed, or 0 if not.
636 * Sets *op to indicate what the instruction does.
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000637 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +0530638int analyse_instr(struct instruction_op *op, struct pt_regs *regs,
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000639 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000640{
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000641 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000642 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000643 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000644 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000645 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000646
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000647 op->type = COMPUTE;
648
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000649 opcode = instr >> 26;
650 switch (opcode) {
651 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000652 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000653 imm = (signed short)(instr & 0xfffc);
654 if ((instr & 2) == 0)
655 imm += regs->nip;
656 regs->nip += 4;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000657 regs->nip = truncate_if_32bit(regs->msr, regs->nip);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000658 if (instr & 1)
659 regs->link = regs->nip;
660 if (branch_taken(instr, regs))
Michael Neuling70a54a42013-05-06 21:32:40 +1000661 regs->nip = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000662 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000663#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000664 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000665 if ((instr & 0xfe2) == 2)
666 op->type = SYSCALL;
667 else
668 op->type = UNKNOWN;
669 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000670#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000671 case 18: /* b */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000672 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000673 imm = instr & 0x03fffffc;
674 if (imm & 0x02000000)
675 imm -= 0x04000000;
676 if ((instr & 2) == 0)
677 imm += regs->nip;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000678 if (instr & 1)
679 regs->link = truncate_if_32bit(regs->msr, regs->nip + 4);
680 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000681 regs->nip = imm;
682 return 1;
683 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000684 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000685 case 0: /* mcrf */
Anton Blanchard87c4b83e2017-06-15 09:46:38 +1000686 rd = 7 - ((instr >> 23) & 0x7);
687 ra = 7 - ((instr >> 18) & 0x7);
688 rd *= 4;
689 ra *= 4;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000690 val = (regs->ccr >> ra) & 0xf;
691 regs->ccr = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
692 goto instr_done;
693
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000694 case 16: /* bclr */
695 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000696 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000697 imm = (instr & 0x400)? regs->ctr: regs->link;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000698 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
699 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000700 if (instr & 1)
701 regs->link = regs->nip;
702 if (branch_taken(instr, regs))
703 regs->nip = imm;
704 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000705
706 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000707 if (regs->msr & MSR_PR)
708 goto priv;
709 op->type = RFI;
710 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000711
712 case 150: /* isync */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000713 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000714 isync();
715 goto instr_done;
716
717 case 33: /* crnor */
718 case 129: /* crandc */
719 case 193: /* crxor */
720 case 225: /* crnand */
721 case 257: /* crand */
722 case 289: /* creqv */
723 case 417: /* crorc */
724 case 449: /* cror */
725 ra = (instr >> 16) & 0x1f;
726 rb = (instr >> 11) & 0x1f;
727 rd = (instr >> 21) & 0x1f;
728 ra = (regs->ccr >> (31 - ra)) & 1;
729 rb = (regs->ccr >> (31 - rb)) & 1;
730 val = (instr >> (6 + ra * 2 + rb)) & 1;
731 regs->ccr = (regs->ccr & ~(1UL << (31 - rd))) |
732 (val << (31 - rd));
733 goto instr_done;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000734 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000735 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000736 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000737 switch ((instr >> 1) & 0x3ff) {
738 case 598: /* sync */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000739 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000740#ifdef __powerpc64__
741 switch ((instr >> 21) & 3) {
742 case 1: /* lwsync */
743 asm volatile("lwsync" : : : "memory");
744 goto instr_done;
745 case 2: /* ptesync */
746 asm volatile("ptesync" : : : "memory");
747 goto instr_done;
748 }
749#endif
750 mb();
751 goto instr_done;
752
753 case 854: /* eieio */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000754 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000755 eieio();
756 goto instr_done;
757 }
758 break;
759 }
760
761 /* Following cases refer to regs->gpr[], so we need all regs */
762 if (!FULL_REGS(regs))
763 return 0;
764
765 rd = (instr >> 21) & 0x1f;
766 ra = (instr >> 16) & 0x1f;
767 rb = (instr >> 11) & 0x1f;
768
769 switch (opcode) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000770#ifdef __powerpc64__
771 case 2: /* tdi */
772 if (rd & trap_compare(regs->gpr[ra], (short) instr))
773 goto trap;
774 goto instr_done;
775#endif
776 case 3: /* twi */
777 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
778 goto trap;
779 goto instr_done;
780
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000781 case 7: /* mulli */
782 regs->gpr[rd] = regs->gpr[ra] * (short) instr;
783 goto instr_done;
784
785 case 8: /* subfic */
786 imm = (short) instr;
787 add_with_carry(regs, rd, ~regs->gpr[ra], imm, 1);
788 goto instr_done;
789
790 case 10: /* cmpli */
791 imm = (unsigned short) instr;
792 val = regs->gpr[ra];
793#ifdef __powerpc64__
794 if ((rd & 1) == 0)
795 val = (unsigned int) val;
796#endif
797 do_cmp_unsigned(regs, val, imm, rd >> 2);
798 goto instr_done;
799
800 case 11: /* cmpi */
801 imm = (short) instr;
802 val = regs->gpr[ra];
803#ifdef __powerpc64__
804 if ((rd & 1) == 0)
805 val = (int) val;
806#endif
807 do_cmp_signed(regs, val, imm, rd >> 2);
808 goto instr_done;
809
810 case 12: /* addic */
811 imm = (short) instr;
812 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
813 goto instr_done;
814
815 case 13: /* addic. */
816 imm = (short) instr;
817 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
818 set_cr0(regs, rd);
819 goto instr_done;
820
821 case 14: /* addi */
822 imm = (short) instr;
823 if (ra)
824 imm += regs->gpr[ra];
825 regs->gpr[rd] = imm;
826 goto instr_done;
827
828 case 15: /* addis */
829 imm = ((short) instr) << 16;
830 if (ra)
831 imm += regs->gpr[ra];
832 regs->gpr[rd] = imm;
833 goto instr_done;
834
835 case 20: /* rlwimi */
836 mb = (instr >> 6) & 0x1f;
837 me = (instr >> 1) & 0x1f;
838 val = DATA32(regs->gpr[rd]);
839 imm = MASK32(mb, me);
840 regs->gpr[ra] = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
841 goto logical_done;
842
843 case 21: /* rlwinm */
844 mb = (instr >> 6) & 0x1f;
845 me = (instr >> 1) & 0x1f;
846 val = DATA32(regs->gpr[rd]);
847 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
848 goto logical_done;
849
850 case 23: /* rlwnm */
851 mb = (instr >> 6) & 0x1f;
852 me = (instr >> 1) & 0x1f;
853 rb = regs->gpr[rb] & 0x1f;
854 val = DATA32(regs->gpr[rd]);
855 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
856 goto logical_done;
857
858 case 24: /* ori */
859 imm = (unsigned short) instr;
860 regs->gpr[ra] = regs->gpr[rd] | imm;
861 goto instr_done;
862
863 case 25: /* oris */
864 imm = (unsigned short) instr;
865 regs->gpr[ra] = regs->gpr[rd] | (imm << 16);
866 goto instr_done;
867
868 case 26: /* xori */
869 imm = (unsigned short) instr;
870 regs->gpr[ra] = regs->gpr[rd] ^ imm;
871 goto instr_done;
872
873 case 27: /* xoris */
874 imm = (unsigned short) instr;
875 regs->gpr[ra] = regs->gpr[rd] ^ (imm << 16);
876 goto instr_done;
877
878 case 28: /* andi. */
879 imm = (unsigned short) instr;
880 regs->gpr[ra] = regs->gpr[rd] & imm;
881 set_cr0(regs, ra);
882 goto instr_done;
883
884 case 29: /* andis. */
885 imm = (unsigned short) instr;
886 regs->gpr[ra] = regs->gpr[rd] & (imm << 16);
887 set_cr0(regs, ra);
888 goto instr_done;
889
890#ifdef __powerpc64__
891 case 30: /* rld* */
892 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
893 val = regs->gpr[rd];
894 if ((instr & 0x10) == 0) {
895 sh = rb | ((instr & 2) << 4);
896 val = ROTATE(val, sh);
897 switch ((instr >> 2) & 3) {
898 case 0: /* rldicl */
899 regs->gpr[ra] = val & MASK64_L(mb);
900 goto logical_done;
901 case 1: /* rldicr */
902 regs->gpr[ra] = val & MASK64_R(mb);
903 goto logical_done;
904 case 2: /* rldic */
905 regs->gpr[ra] = val & MASK64(mb, 63 - sh);
906 goto logical_done;
907 case 3: /* rldimi */
908 imm = MASK64(mb, 63 - sh);
909 regs->gpr[ra] = (regs->gpr[ra] & ~imm) |
910 (val & imm);
911 goto logical_done;
912 }
913 } else {
914 sh = regs->gpr[rb] & 0x3f;
915 val = ROTATE(val, sh);
916 switch ((instr >> 1) & 7) {
917 case 0: /* rldcl */
918 regs->gpr[ra] = val & MASK64_L(mb);
919 goto logical_done;
920 case 1: /* rldcr */
921 regs->gpr[ra] = val & MASK64_R(mb);
922 goto logical_done;
923 }
924 }
925#endif
Oliver O'Halloran66707832016-02-16 17:31:53 +1100926 break; /* illegal instruction */
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000927
928 case 31:
929 switch ((instr >> 1) & 0x3ff) {
Paul Mackerrascf87c3f2014-09-02 14:35:08 +1000930 case 4: /* tw */
931 if (rd == 0x1f ||
932 (rd & trap_compare((int)regs->gpr[ra],
933 (int)regs->gpr[rb])))
934 goto trap;
935 goto instr_done;
936#ifdef __powerpc64__
937 case 68: /* td */
938 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
939 goto trap;
940 goto instr_done;
941#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000942 case 83: /* mfmsr */
943 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000944 goto priv;
945 op->type = MFMSR;
946 op->reg = rd;
947 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000948 case 146: /* mtmsr */
949 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000950 goto priv;
951 op->type = MTMSR;
952 op->reg = rd;
953 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
954 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000955#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000956 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000957 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000958 goto priv;
959 op->type = MTMSR;
960 op->reg = rd;
961 /* only MSR_EE and MSR_RI get changed if bit 15 set */
962 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
963 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
964 op->val = imm;
965 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000966#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000967
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000968 case 19: /* mfcr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000969 regs->gpr[rd] = regs->ccr;
970 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000971 goto instr_done;
972
973 case 144: /* mtcrf */
974 imm = 0xf0000000UL;
975 val = regs->gpr[rd];
976 for (sh = 0; sh < 8; ++sh) {
977 if (instr & (0x80000 >> sh))
978 regs->ccr = (regs->ccr & ~imm) |
979 (val & imm);
980 imm >>= 4;
981 }
982 goto instr_done;
983
984 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000985 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000986 switch (spr) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000987 case SPRN_XER: /* mfxer */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000988 regs->gpr[rd] = regs->xer;
989 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000990 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000991 case SPRN_LR: /* mflr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000992 regs->gpr[rd] = regs->link;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000993 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000994 case SPRN_CTR: /* mfctr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000995 regs->gpr[rd] = regs->ctr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000996 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000997 default:
998 op->type = MFSPR;
999 op->reg = rd;
1000 op->spr = spr;
1001 return 0;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001002 }
1003 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001004
1005 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001006 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001007 switch (spr) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001008 case SPRN_XER: /* mtxer */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001009 regs->xer = (regs->gpr[rd] & 0xffffffffUL);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001010 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001011 case SPRN_LR: /* mtlr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001012 regs->link = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001013 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001014 case SPRN_CTR: /* mtctr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001015 regs->ctr = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001016 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001017 default:
1018 op->type = MTSPR;
1019 op->val = regs->gpr[rd];
1020 op->spr = spr;
1021 return 0;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +10001022 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001023 break;
1024
1025/*
1026 * Compare instructions
1027 */
1028 case 0: /* cmp */
1029 val = regs->gpr[ra];
1030 val2 = regs->gpr[rb];
1031#ifdef __powerpc64__
1032 if ((rd & 1) == 0) {
1033 /* word (32-bit) compare */
1034 val = (int) val;
1035 val2 = (int) val2;
1036 }
1037#endif
1038 do_cmp_signed(regs, val, val2, rd >> 2);
1039 goto instr_done;
1040
1041 case 32: /* cmpl */
1042 val = regs->gpr[ra];
1043 val2 = regs->gpr[rb];
1044#ifdef __powerpc64__
1045 if ((rd & 1) == 0) {
1046 /* word (32-bit) compare */
1047 val = (unsigned int) val;
1048 val2 = (unsigned int) val2;
1049 }
1050#endif
1051 do_cmp_unsigned(regs, val, val2, rd >> 2);
1052 goto instr_done;
1053
1054/*
1055 * Arithmetic instructions
1056 */
1057 case 8: /* subfc */
1058 add_with_carry(regs, rd, ~regs->gpr[ra],
1059 regs->gpr[rb], 1);
1060 goto arith_done;
1061#ifdef __powerpc64__
1062 case 9: /* mulhdu */
1063 asm("mulhdu %0,%1,%2" : "=r" (regs->gpr[rd]) :
1064 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1065 goto arith_done;
1066#endif
1067 case 10: /* addc */
1068 add_with_carry(regs, rd, regs->gpr[ra],
1069 regs->gpr[rb], 0);
1070 goto arith_done;
1071
1072 case 11: /* mulhwu */
1073 asm("mulhwu %0,%1,%2" : "=r" (regs->gpr[rd]) :
1074 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1075 goto arith_done;
1076
1077 case 40: /* subf */
1078 regs->gpr[rd] = regs->gpr[rb] - regs->gpr[ra];
1079 goto arith_done;
1080#ifdef __powerpc64__
1081 case 73: /* mulhd */
1082 asm("mulhd %0,%1,%2" : "=r" (regs->gpr[rd]) :
1083 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1084 goto arith_done;
1085#endif
1086 case 75: /* mulhw */
1087 asm("mulhw %0,%1,%2" : "=r" (regs->gpr[rd]) :
1088 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1089 goto arith_done;
1090
1091 case 104: /* neg */
1092 regs->gpr[rd] = -regs->gpr[ra];
1093 goto arith_done;
1094
1095 case 136: /* subfe */
1096 add_with_carry(regs, rd, ~regs->gpr[ra], regs->gpr[rb],
1097 regs->xer & XER_CA);
1098 goto arith_done;
1099
1100 case 138: /* adde */
1101 add_with_carry(regs, rd, regs->gpr[ra], regs->gpr[rb],
1102 regs->xer & XER_CA);
1103 goto arith_done;
1104
1105 case 200: /* subfze */
1106 add_with_carry(regs, rd, ~regs->gpr[ra], 0L,
1107 regs->xer & XER_CA);
1108 goto arith_done;
1109
1110 case 202: /* addze */
1111 add_with_carry(regs, rd, regs->gpr[ra], 0L,
1112 regs->xer & XER_CA);
1113 goto arith_done;
1114
1115 case 232: /* subfme */
1116 add_with_carry(regs, rd, ~regs->gpr[ra], -1L,
1117 regs->xer & XER_CA);
1118 goto arith_done;
1119#ifdef __powerpc64__
1120 case 233: /* mulld */
1121 regs->gpr[rd] = regs->gpr[ra] * regs->gpr[rb];
1122 goto arith_done;
1123#endif
1124 case 234: /* addme */
1125 add_with_carry(regs, rd, regs->gpr[ra], -1L,
1126 regs->xer & XER_CA);
1127 goto arith_done;
1128
1129 case 235: /* mullw */
1130 regs->gpr[rd] = (unsigned int) regs->gpr[ra] *
1131 (unsigned int) regs->gpr[rb];
1132 goto arith_done;
1133
1134 case 266: /* add */
1135 regs->gpr[rd] = regs->gpr[ra] + regs->gpr[rb];
1136 goto arith_done;
1137#ifdef __powerpc64__
1138 case 457: /* divdu */
1139 regs->gpr[rd] = regs->gpr[ra] / regs->gpr[rb];
1140 goto arith_done;
1141#endif
1142 case 459: /* divwu */
1143 regs->gpr[rd] = (unsigned int) regs->gpr[ra] /
1144 (unsigned int) regs->gpr[rb];
1145 goto arith_done;
1146#ifdef __powerpc64__
1147 case 489: /* divd */
1148 regs->gpr[rd] = (long int) regs->gpr[ra] /
1149 (long int) regs->gpr[rb];
1150 goto arith_done;
1151#endif
1152 case 491: /* divw */
1153 regs->gpr[rd] = (int) regs->gpr[ra] /
1154 (int) regs->gpr[rb];
1155 goto arith_done;
1156
1157
1158/*
1159 * Logical instructions
1160 */
1161 case 26: /* cntlzw */
1162 asm("cntlzw %0,%1" : "=r" (regs->gpr[ra]) :
1163 "r" (regs->gpr[rd]));
1164 goto logical_done;
1165#ifdef __powerpc64__
1166 case 58: /* cntlzd */
1167 asm("cntlzd %0,%1" : "=r" (regs->gpr[ra]) :
1168 "r" (regs->gpr[rd]));
1169 goto logical_done;
1170#endif
1171 case 28: /* and */
1172 regs->gpr[ra] = regs->gpr[rd] & regs->gpr[rb];
1173 goto logical_done;
1174
1175 case 60: /* andc */
1176 regs->gpr[ra] = regs->gpr[rd] & ~regs->gpr[rb];
1177 goto logical_done;
1178
1179 case 124: /* nor */
1180 regs->gpr[ra] = ~(regs->gpr[rd] | regs->gpr[rb]);
1181 goto logical_done;
1182
1183 case 284: /* xor */
1184 regs->gpr[ra] = ~(regs->gpr[rd] ^ regs->gpr[rb]);
1185 goto logical_done;
1186
1187 case 316: /* xor */
1188 regs->gpr[ra] = regs->gpr[rd] ^ regs->gpr[rb];
1189 goto logical_done;
1190
1191 case 412: /* orc */
1192 regs->gpr[ra] = regs->gpr[rd] | ~regs->gpr[rb];
1193 goto logical_done;
1194
1195 case 444: /* or */
1196 regs->gpr[ra] = regs->gpr[rd] | regs->gpr[rb];
1197 goto logical_done;
1198
1199 case 476: /* nand */
1200 regs->gpr[ra] = ~(regs->gpr[rd] & regs->gpr[rb]);
1201 goto logical_done;
1202
1203 case 922: /* extsh */
1204 regs->gpr[ra] = (signed short) regs->gpr[rd];
1205 goto logical_done;
1206
1207 case 954: /* extsb */
1208 regs->gpr[ra] = (signed char) regs->gpr[rd];
1209 goto logical_done;
1210#ifdef __powerpc64__
1211 case 986: /* extsw */
1212 regs->gpr[ra] = (signed int) regs->gpr[rd];
1213 goto logical_done;
1214#endif
1215
1216/*
1217 * Shift instructions
1218 */
1219 case 24: /* slw */
1220 sh = regs->gpr[rb] & 0x3f;
1221 if (sh < 32)
1222 regs->gpr[ra] = (regs->gpr[rd] << sh) & 0xffffffffUL;
1223 else
1224 regs->gpr[ra] = 0;
1225 goto logical_done;
1226
1227 case 536: /* srw */
1228 sh = regs->gpr[rb] & 0x3f;
1229 if (sh < 32)
1230 regs->gpr[ra] = (regs->gpr[rd] & 0xffffffffUL) >> sh;
1231 else
1232 regs->gpr[ra] = 0;
1233 goto logical_done;
1234
1235 case 792: /* sraw */
1236 sh = regs->gpr[rb] & 0x3f;
1237 ival = (signed int) regs->gpr[rd];
1238 regs->gpr[ra] = ival >> (sh < 32 ? sh : 31);
Paul Mackerrase698b962014-07-19 17:47:57 +10001239 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001240 regs->xer |= XER_CA;
1241 else
1242 regs->xer &= ~XER_CA;
1243 goto logical_done;
1244
1245 case 824: /* srawi */
1246 sh = rb;
1247 ival = (signed int) regs->gpr[rd];
1248 regs->gpr[ra] = ival >> sh;
Paul Mackerrase698b962014-07-19 17:47:57 +10001249 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001250 regs->xer |= XER_CA;
1251 else
1252 regs->xer &= ~XER_CA;
1253 goto logical_done;
1254
1255#ifdef __powerpc64__
1256 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001257 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001258 if (sh < 64)
1259 regs->gpr[ra] = regs->gpr[rd] << sh;
1260 else
1261 regs->gpr[ra] = 0;
1262 goto logical_done;
1263
1264 case 539: /* srd */
1265 sh = regs->gpr[rb] & 0x7f;
1266 if (sh < 64)
1267 regs->gpr[ra] = regs->gpr[rd] >> sh;
1268 else
1269 regs->gpr[ra] = 0;
1270 goto logical_done;
1271
1272 case 794: /* srad */
1273 sh = regs->gpr[rb] & 0x7f;
1274 ival = (signed long int) regs->gpr[rd];
1275 regs->gpr[ra] = ival >> (sh < 64 ? sh : 63);
Paul Mackerrase698b962014-07-19 17:47:57 +10001276 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001277 regs->xer |= XER_CA;
1278 else
1279 regs->xer &= ~XER_CA;
1280 goto logical_done;
1281
1282 case 826: /* sradi with sh_5 = 0 */
1283 case 827: /* sradi with sh_5 = 1 */
1284 sh = rb | ((instr & 2) << 4);
1285 ival = (signed long int) regs->gpr[rd];
1286 regs->gpr[ra] = ival >> sh;
Paul Mackerrase698b962014-07-19 17:47:57 +10001287 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001288 regs->xer |= XER_CA;
1289 else
1290 regs->xer &= ~XER_CA;
1291 goto logical_done;
1292#endif /* __powerpc64__ */
1293
1294/*
1295 * Cache instructions
1296 */
1297 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001298 op->type = MKOP(CACHEOP, DCBST, 0);
1299 op->ea = xform_ea(instr, regs);
1300 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001301
1302 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001303 op->type = MKOP(CACHEOP, DCBF, 0);
1304 op->ea = xform_ea(instr, regs);
1305 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001306
1307 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001308 op->type = MKOP(CACHEOP, DCBTST, 0);
1309 op->ea = xform_ea(instr, regs);
1310 op->reg = rd;
1311 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001312
1313 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001314 op->type = MKOP(CACHEOP, DCBTST, 0);
1315 op->ea = xform_ea(instr, regs);
1316 op->reg = rd;
1317 return 0;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001318
1319 case 982: /* icbi */
1320 op->type = MKOP(CACHEOP, ICBI, 0);
1321 op->ea = xform_ea(instr, regs);
1322 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001323 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001324 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001325 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001326
1327 /*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001328 * Loads and stores.
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001329 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001330 op->type = UNKNOWN;
1331 op->update_reg = ra;
1332 op->reg = rd;
1333 op->val = regs->gpr[rd];
1334 u = (instr >> 20) & UPDATE;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001335
1336 switch (opcode) {
1337 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001338 u = instr & UPDATE;
1339 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001340 switch ((instr >> 1) & 0x3ff) {
1341 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001342 op->type = MKOP(LARX, 0, 4);
1343 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001344
1345 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001346 op->type = MKOP(STCX, 0, 4);
1347 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001348
1349#ifdef __powerpc64__
1350 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001351 op->type = MKOP(LARX, 0, 8);
1352 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001353
1354 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001355 op->type = MKOP(STCX, 0, 8);
1356 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001357
1358 case 21: /* ldx */
1359 case 53: /* ldux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001360 op->type = MKOP(LOAD, u, 8);
1361 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001362#endif
1363
1364 case 23: /* lwzx */
1365 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001366 op->type = MKOP(LOAD, u, 4);
1367 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001368
1369 case 87: /* lbzx */
1370 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001371 op->type = MKOP(LOAD, u, 1);
1372 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001373
1374#ifdef CONFIG_ALTIVEC
1375 case 103: /* lvx */
1376 case 359: /* lvxl */
1377 if (!(regs->msr & MSR_VEC))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001378 goto vecunavail;
1379 op->type = MKOP(LOAD_VMX, 0, 16);
1380 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001381
1382 case 231: /* stvx */
1383 case 487: /* stvxl */
1384 if (!(regs->msr & MSR_VEC))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001385 goto vecunavail;
1386 op->type = MKOP(STORE_VMX, 0, 16);
1387 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001388#endif /* CONFIG_ALTIVEC */
1389
1390#ifdef __powerpc64__
1391 case 149: /* stdx */
1392 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001393 op->type = MKOP(STORE, u, 8);
1394 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001395#endif
1396
1397 case 151: /* stwx */
1398 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001399 op->type = MKOP(STORE, u, 4);
1400 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001401
1402 case 215: /* stbx */
1403 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001404 op->type = MKOP(STORE, u, 1);
1405 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001406
1407 case 279: /* lhzx */
1408 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001409 op->type = MKOP(LOAD, u, 2);
1410 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001411
1412#ifdef __powerpc64__
1413 case 341: /* lwax */
1414 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001415 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1416 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001417#endif
1418
1419 case 343: /* lhax */
1420 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001421 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1422 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001423
1424 case 407: /* sthx */
1425 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001426 op->type = MKOP(STORE, u, 2);
1427 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001428
1429#ifdef __powerpc64__
1430 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001431 op->type = MKOP(LOAD, BYTEREV, 8);
1432 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001433
1434#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001435 case 533: /* lswx */
1436 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
1437 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001438
1439 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001440 op->type = MKOP(LOAD, BYTEREV, 4);
1441 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001442
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001443 case 597: /* lswi */
1444 if (rb == 0)
1445 rb = 32; /* # bytes to load */
1446 op->type = MKOP(LOAD_MULTI, 0, rb);
1447 op->ea = 0;
1448 if (ra)
1449 op->ea = truncate_if_32bit(regs->msr,
1450 regs->gpr[ra]);
1451 break;
1452
Paul Bolleb69a1da2014-05-20 21:59:42 +02001453#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001454 case 535: /* lfsx */
1455 case 567: /* lfsux */
1456 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001457 goto fpunavail;
1458 op->type = MKOP(LOAD_FP, u, 4);
1459 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001460
1461 case 599: /* lfdx */
1462 case 631: /* lfdux */
1463 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001464 goto fpunavail;
1465 op->type = MKOP(LOAD_FP, u, 8);
1466 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001467
1468 case 663: /* stfsx */
1469 case 695: /* stfsux */
1470 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001471 goto fpunavail;
1472 op->type = MKOP(STORE_FP, u, 4);
1473 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001474
1475 case 727: /* stfdx */
1476 case 759: /* stfdux */
1477 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001478 goto fpunavail;
1479 op->type = MKOP(STORE_FP, u, 8);
1480 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001481#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001482
1483#ifdef __powerpc64__
1484 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001485 op->type = MKOP(STORE, BYTEREV, 8);
1486 op->val = byterev_8(regs->gpr[rd]);
1487 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001488
1489#endif
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001490 case 661: /* stswx */
1491 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
1492 break;
1493
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001494 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001495 op->type = MKOP(STORE, BYTEREV, 4);
1496 op->val = byterev_4(regs->gpr[rd]);
1497 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001498
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001499 case 725:
1500 if (rb == 0)
1501 rb = 32; /* # bytes to store */
1502 op->type = MKOP(STORE_MULTI, 0, rb);
1503 op->ea = 0;
1504 if (ra)
1505 op->ea = truncate_if_32bit(regs->msr,
1506 regs->gpr[ra]);
1507 break;
1508
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001509 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001510 op->type = MKOP(LOAD, BYTEREV, 2);
1511 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001512
1513 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001514 op->type = MKOP(STORE, BYTEREV, 2);
1515 op->val = byterev_2(regs->gpr[rd]);
1516 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001517
1518#ifdef CONFIG_VSX
1519 case 844: /* lxvd2x */
1520 case 876: /* lxvd2ux */
1521 if (!(regs->msr & MSR_VSX))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001522 goto vsxunavail;
1523 op->reg = rd | ((instr & 1) << 5);
1524 op->type = MKOP(LOAD_VSX, u, 16);
1525 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001526
1527 case 972: /* stxvd2x */
1528 case 1004: /* stxvd2ux */
1529 if (!(regs->msr & MSR_VSX))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001530 goto vsxunavail;
1531 op->reg = rd | ((instr & 1) << 5);
1532 op->type = MKOP(STORE_VSX, u, 16);
1533 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001534
1535#endif /* CONFIG_VSX */
1536 }
1537 break;
1538
1539 case 32: /* lwz */
1540 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001541 op->type = MKOP(LOAD, u, 4);
1542 op->ea = dform_ea(instr, regs);
1543 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001544
1545 case 34: /* lbz */
1546 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001547 op->type = MKOP(LOAD, u, 1);
1548 op->ea = dform_ea(instr, regs);
1549 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001550
1551 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00001552 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001553 op->type = MKOP(STORE, u, 4);
1554 op->ea = dform_ea(instr, regs);
1555 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00001556
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001557 case 38: /* stb */
1558 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001559 op->type = MKOP(STORE, u, 1);
1560 op->ea = dform_ea(instr, regs);
1561 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001562
1563 case 40: /* lhz */
1564 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001565 op->type = MKOP(LOAD, u, 2);
1566 op->ea = dform_ea(instr, regs);
1567 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001568
1569 case 42: /* lha */
1570 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001571 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1572 op->ea = dform_ea(instr, regs);
1573 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001574
1575 case 44: /* sth */
1576 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001577 op->type = MKOP(STORE, u, 2);
1578 op->ea = dform_ea(instr, regs);
1579 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001580
1581 case 46: /* lmw */
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001582 if (ra >= rd)
1583 break; /* invalid form, ra in range to load */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001584 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001585 op->ea = dform_ea(instr, regs);
1586 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001587
1588 case 47: /* stmw */
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001589 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001590 op->ea = dform_ea(instr, regs);
1591 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001592
Sean MacLennancd64d162010-09-01 07:21:21 +00001593#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001594 case 48: /* lfs */
1595 case 49: /* lfsu */
1596 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001597 goto fpunavail;
1598 op->type = MKOP(LOAD_FP, u, 4);
1599 op->ea = dform_ea(instr, regs);
1600 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001601
1602 case 50: /* lfd */
1603 case 51: /* lfdu */
1604 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001605 goto fpunavail;
1606 op->type = MKOP(LOAD_FP, u, 8);
1607 op->ea = dform_ea(instr, regs);
1608 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001609
1610 case 52: /* stfs */
1611 case 53: /* stfsu */
1612 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001613 goto fpunavail;
1614 op->type = MKOP(STORE_FP, u, 4);
1615 op->ea = dform_ea(instr, regs);
1616 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001617
1618 case 54: /* stfd */
1619 case 55: /* stfdu */
1620 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001621 goto fpunavail;
1622 op->type = MKOP(STORE_FP, u, 8);
1623 op->ea = dform_ea(instr, regs);
1624 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001625#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001626
1627#ifdef __powerpc64__
1628 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001629 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001630 switch (instr & 3) {
1631 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001632 op->type = MKOP(LOAD, 0, 8);
1633 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001634 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001635 op->type = MKOP(LOAD, UPDATE, 8);
1636 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001637 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001638 op->type = MKOP(LOAD, SIGNEXT, 4);
1639 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001640 }
1641 break;
1642
1643 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001644 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001645 switch (instr & 3) {
1646 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001647 op->type = MKOP(STORE, 0, 8);
1648 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001649 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001650 op->type = MKOP(STORE, UPDATE, 8);
1651 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001652 }
1653 break;
1654#endif /* __powerpc64__ */
1655
1656 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001657 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001658
1659 logical_done:
1660 if (instr & 1)
1661 set_cr0(regs, ra);
1662 goto instr_done;
1663
1664 arith_done:
1665 if (instr & 1)
1666 set_cr0(regs, rd);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001667
1668 instr_done:
1669 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
1670 return 1;
1671
1672 priv:
1673 op->type = INTERRUPT | 0x700;
1674 op->val = SRR1_PROGPRIV;
1675 return 0;
1676
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001677 trap:
1678 op->type = INTERRUPT | 0x700;
1679 op->val = SRR1_PROGTRAP;
1680 return 0;
1681
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001682#ifdef CONFIG_PPC_FPU
1683 fpunavail:
1684 op->type = INTERRUPT | 0x800;
1685 return 0;
1686#endif
1687
1688#ifdef CONFIG_ALTIVEC
1689 vecunavail:
1690 op->type = INTERRUPT | 0xf20;
1691 return 0;
1692#endif
1693
1694#ifdef CONFIG_VSX
1695 vsxunavail:
1696 op->type = INTERRUPT | 0xf40;
1697 return 0;
1698#endif
1699}
1700EXPORT_SYMBOL_GPL(analyse_instr);
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301701NOKPROBE_SYMBOL(analyse_instr);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001702
1703/*
1704 * For PPC32 we always use stwu with r1 to change the stack pointer.
1705 * So this emulated store may corrupt the exception frame, now we
1706 * have to provide the exception frame trampoline, which is pushed
1707 * below the kprobed function stack. So we only update gpr[1] but
1708 * don't emulate the real store operation. We will do real store
1709 * operation safely in exception return code by checking this flag.
1710 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301711static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001712{
1713#ifdef CONFIG_PPC32
1714 /*
1715 * Check if we will touch kernel stack overflow
1716 */
1717 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
1718 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
1719 return -EINVAL;
1720 }
1721#endif /* CONFIG_PPC32 */
1722 /*
1723 * Check if we already set since that means we'll
1724 * lose the previous value.
1725 */
1726 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
1727 set_thread_flag(TIF_EMULATE_STACK_STORE);
1728 return 0;
1729}
1730
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301731static nokprobe_inline void do_signext(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001732{
1733 switch (size) {
1734 case 2:
1735 *valp = (signed short) *valp;
1736 break;
1737 case 4:
1738 *valp = (signed int) *valp;
1739 break;
1740 }
1741}
1742
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301743static nokprobe_inline void do_byterev(unsigned long *valp, int size)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001744{
1745 switch (size) {
1746 case 2:
1747 *valp = byterev_2(*valp);
1748 break;
1749 case 4:
1750 *valp = byterev_4(*valp);
1751 break;
1752#ifdef __powerpc64__
1753 case 8:
1754 *valp = byterev_8(*valp);
1755 break;
1756#endif
1757 }
1758}
1759
1760/*
1761 * Emulate instructions that cause a transfer of control,
1762 * loads and stores, and a few other instructions.
1763 * Returns 1 if the step was emulated, 0 if not,
1764 * or -1 if the instruction is one that should not be stepped,
1765 * such as an rfid, or a mtmsrd that would clear MSR_RI.
1766 */
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301767int emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001768{
1769 struct instruction_op op;
1770 int r, err, size;
1771 unsigned long val;
1772 unsigned int cr;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001773 int i, rd, nb;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001774
1775 r = analyse_instr(&op, regs, instr);
1776 if (r != 0)
1777 return r;
1778
1779 err = 0;
1780 size = GETSIZE(op.type);
1781 switch (op.type & INSTR_TYPE_MASK) {
1782 case CACHEOP:
1783 if (!address_ok(regs, op.ea, 8))
1784 return 0;
1785 switch (op.type & CACHEOP_MASK) {
1786 case DCBST:
1787 __cacheop_user_asmx(op.ea, err, "dcbst");
1788 break;
1789 case DCBF:
1790 __cacheop_user_asmx(op.ea, err, "dcbf");
1791 break;
1792 case DCBTST:
1793 if (op.reg == 0)
1794 prefetchw((void *) op.ea);
1795 break;
1796 case DCBT:
1797 if (op.reg == 0)
1798 prefetch((void *) op.ea);
1799 break;
Paul Mackerrascf87c3f2014-09-02 14:35:08 +10001800 case ICBI:
1801 __cacheop_user_asmx(op.ea, err, "icbi");
1802 break;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001803 }
1804 if (err)
1805 return 0;
1806 goto instr_done;
1807
1808 case LARX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001809 if (op.ea & (size - 1))
1810 break; /* can't handle misaligned */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001811 if (!address_ok(regs, op.ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01001812 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001813 err = 0;
1814 switch (size) {
1815 case 4:
1816 __get_user_asmx(val, op.ea, err, "lwarx");
1817 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04001818#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001819 case 8:
1820 __get_user_asmx(val, op.ea, err, "ldarx");
1821 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04001822#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001823 default:
1824 return 0;
1825 }
1826 if (!err)
1827 regs->gpr[op.reg] = val;
1828 goto ldst_done;
1829
1830 case STCX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001831 if (op.ea & (size - 1))
1832 break; /* can't handle misaligned */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001833 if (!address_ok(regs, op.ea, size))
Markus Elfring3c4b66a2017-01-21 15:30:15 +01001834 return 0;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001835 err = 0;
1836 switch (size) {
1837 case 4:
1838 __put_user_asmx(op.val, op.ea, err, "stwcx.", cr);
1839 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04001840#ifdef __powerpc64__
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001841 case 8:
1842 __put_user_asmx(op.val, op.ea, err, "stdcx.", cr);
1843 break;
Lennart Sorensendd217312016-05-05 16:44:44 -04001844#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001845 default:
1846 return 0;
1847 }
1848 if (!err)
1849 regs->ccr = (regs->ccr & 0x0fffffff) |
1850 (cr & 0xe0000000) |
1851 ((regs->xer >> 3) & 0x10000000);
1852 goto ldst_done;
1853
1854 case LOAD:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001855 err = read_mem(&regs->gpr[op.reg], op.ea, size, regs);
1856 if (!err) {
1857 if (op.type & SIGNEXT)
1858 do_signext(&regs->gpr[op.reg], size);
1859 if (op.type & BYTEREV)
1860 do_byterev(&regs->gpr[op.reg], size);
1861 }
1862 goto ldst_done;
1863
Paul Mackerras7048c842014-11-03 15:46:43 +11001864#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001865 case LOAD_FP:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001866 if (size == 4)
1867 err = do_fp_load(op.reg, do_lfs, op.ea, size, regs);
1868 else
1869 err = do_fp_load(op.reg, do_lfd, op.ea, size, regs);
1870 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11001871#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001872#ifdef CONFIG_ALTIVEC
1873 case LOAD_VMX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001874 err = do_vec_load(op.reg, do_lvx, op.ea & ~0xfUL, regs);
1875 goto ldst_done;
1876#endif
1877#ifdef CONFIG_VSX
1878 case LOAD_VSX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001879 err = do_vsx_load(op.reg, do_lxvd2x, op.ea, regs);
1880 goto ldst_done;
1881#endif
1882 case LOAD_MULTI:
1883 if (regs->msr & MSR_LE)
1884 return 0;
1885 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001886 for (i = 0; i < size; i += 4) {
1887 nb = size - i;
1888 if (nb > 4)
1889 nb = 4;
1890 err = read_mem(&regs->gpr[rd], op.ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001891 if (err)
1892 return 0;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001893 if (nb < 4) /* left-justify last bytes */
1894 regs->gpr[rd] <<= 32 - 8 * nb;
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001895 op.ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001896 ++rd;
1897 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001898 goto instr_done;
1899
1900 case STORE:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001901 if ((op.type & UPDATE) && size == sizeof(long) &&
1902 op.reg == 1 && op.update_reg == 1 &&
1903 !(regs->msr & MSR_PR) &&
1904 op.ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
1905 err = handle_stack_update(op.ea, regs);
1906 goto ldst_done;
1907 }
1908 err = write_mem(op.val, op.ea, size, regs);
1909 goto ldst_done;
1910
Paul Mackerras7048c842014-11-03 15:46:43 +11001911#ifdef CONFIG_PPC_FPU
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001912 case STORE_FP:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001913 if (size == 4)
1914 err = do_fp_store(op.reg, do_stfs, op.ea, size, regs);
1915 else
1916 err = do_fp_store(op.reg, do_stfd, op.ea, size, regs);
1917 goto ldst_done;
Paul Mackerras7048c842014-11-03 15:46:43 +11001918#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001919#ifdef CONFIG_ALTIVEC
1920 case STORE_VMX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001921 err = do_vec_store(op.reg, do_stvx, op.ea & ~0xfUL, regs);
1922 goto ldst_done;
1923#endif
1924#ifdef CONFIG_VSX
1925 case STORE_VSX:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001926 err = do_vsx_store(op.reg, do_stxvd2x, op.ea, regs);
1927 goto ldst_done;
1928#endif
1929 case STORE_MULTI:
1930 if (regs->msr & MSR_LE)
1931 return 0;
1932 rd = op.reg;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001933 for (i = 0; i < size; i += 4) {
1934 val = regs->gpr[rd];
1935 nb = size - i;
1936 if (nb > 4)
1937 nb = 4;
1938 else
1939 val >>= 32 - 8 * nb;
1940 err = write_mem(val, op.ea, nb, regs);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001941 if (err)
1942 return 0;
1943 op.ea += 4;
Paul Mackerrasc9f6f4e2014-09-02 14:35:09 +10001944 ++rd;
1945 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001946 goto instr_done;
1947
1948 case MFMSR:
1949 regs->gpr[op.reg] = regs->msr & MSR_MASK;
1950 goto instr_done;
1951
1952 case MTMSR:
1953 val = regs->gpr[op.reg];
1954 if ((val & MSR_RI) == 0)
1955 /* can't step mtmsr[d] that would clear MSR_RI */
1956 return -1;
1957 /* here op.val is the mask of bits to change */
1958 regs->msr = (regs->msr & ~op.val) | (val & op.val);
1959 goto instr_done;
1960
1961#ifdef CONFIG_PPC64
1962 case SYSCALL: /* sc */
1963 /*
1964 * N.B. this uses knowledge about how the syscall
1965 * entry code works. If that is changed, this will
1966 * need to be changed also.
1967 */
1968 if (regs->gpr[0] == 0x1ebe &&
1969 cpu_has_feature(CPU_FTR_REAL_LE)) {
1970 regs->msr ^= MSR_LE;
1971 goto instr_done;
1972 }
1973 regs->gpr[9] = regs->gpr[13];
1974 regs->gpr[10] = MSR_KERNEL;
1975 regs->gpr[11] = regs->nip + 4;
1976 regs->gpr[12] = regs->msr & MSR_MASK;
1977 regs->gpr[13] = (unsigned long) get_paca();
1978 regs->nip = (unsigned long) &system_call_common;
1979 regs->msr = MSR_KERNEL;
1980 return 1;
1981
1982 case RFI:
1983 return -1;
1984#endif
1985 }
1986 return 0;
1987
1988 ldst_done:
1989 if (err)
1990 return 0;
1991 if (op.type & UPDATE)
1992 regs->gpr[op.update_reg] = op.ea;
1993
1994 instr_done:
1995 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
1996 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001997}
Naveen N. Rao71f6e582017-04-12 16:48:51 +05301998NOKPROBE_SYMBOL(emulate_step);