blob: 3726a03179ab16a46408d6bb72f9486e9c8b7433 [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>
Paul Mackerras0016a4c2010-06-15 14:48:58 +100017#include <asm/uaccess.h>
18#include <asm/cputable.h>
Paul Mackerras14cf11a2005-09-26 16:04:21 +100019
20extern char system_call_common[];
21
Paul Mackerrasc0325242005-10-28 22:48:08 +100022#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +100023/* Bits in SRR1 that are copied from MSR */
Stephen Rothwellaf308372006-03-23 17:38:10 +110024#define MSR_MASK 0xffffffff87c0ffffUL
Paul Mackerrasc0325242005-10-28 22:48:08 +100025#else
26#define MSR_MASK 0x87c0ffff
27#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +100028
Paul Mackerras0016a4c2010-06-15 14:48:58 +100029/* Bits in XER */
30#define XER_SO 0x80000000U
31#define XER_OV 0x40000000U
32#define XER_CA 0x20000000U
33
Sean MacLennancd64d162010-09-01 07:21:21 +000034#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +100035/*
36 * Functions in ldstfp.S
37 */
38extern int do_lfs(int rn, unsigned long ea);
39extern int do_lfd(int rn, unsigned long ea);
40extern int do_stfs(int rn, unsigned long ea);
41extern int do_stfd(int rn, unsigned long ea);
42extern int do_lvx(int rn, unsigned long ea);
43extern int do_stvx(int rn, unsigned long ea);
44extern int do_lxvd2x(int rn, unsigned long ea);
45extern int do_stxvd2x(int rn, unsigned long ea);
Sean MacLennancd64d162010-09-01 07:21:21 +000046#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +100047
Paul Mackerras14cf11a2005-09-26 16:04:21 +100048/*
Michael Ellermanb91e1362011-04-07 21:56:04 +000049 * Emulate the truncation of 64 bit values in 32-bit mode.
50 */
51static unsigned long truncate_if_32bit(unsigned long msr, unsigned long val)
52{
53#ifdef __powerpc64__
54 if ((msr & MSR_64BIT) == 0)
55 val &= 0xffffffffUL;
56#endif
57 return val;
58}
59
60/*
Paul Mackerras14cf11a2005-09-26 16:04:21 +100061 * Determine whether a conditional branch instruction would branch.
62 */
Gui,Jian0d69a052006-11-01 10:50:15 +080063static int __kprobes branch_taken(unsigned int instr, struct pt_regs *regs)
Paul Mackerras14cf11a2005-09-26 16:04:21 +100064{
65 unsigned int bo = (instr >> 21) & 0x1f;
66 unsigned int bi;
67
68 if ((bo & 4) == 0) {
69 /* decrement counter */
70 --regs->ctr;
71 if (((bo >> 1) & 1) ^ (regs->ctr == 0))
72 return 0;
73 }
74 if ((bo & 0x10) == 0) {
75 /* check bit from CR */
76 bi = (instr >> 16) & 0x1f;
77 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
78 return 0;
79 }
80 return 1;
81}
82
Paul Mackerras0016a4c2010-06-15 14:48:58 +100083
84static long __kprobes address_ok(struct pt_regs *regs, unsigned long ea, int nb)
85{
86 if (!user_mode(regs))
87 return 1;
88 return __access_ok(ea, nb, USER_DS);
89}
90
Paul Mackerras14cf11a2005-09-26 16:04:21 +100091/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +100092 * Calculate effective address for a D-form instruction
93 */
94static unsigned long __kprobes dform_ea(unsigned int instr, struct pt_regs *regs)
95{
96 int ra;
97 unsigned long ea;
98
99 ra = (instr >> 16) & 0x1f;
100 ea = (signed short) instr; /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000101 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000102 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000103
104 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000105}
106
107#ifdef __powerpc64__
108/*
109 * Calculate effective address for a DS-form instruction
110 */
111static unsigned long __kprobes dsform_ea(unsigned int instr, struct pt_regs *regs)
112{
113 int ra;
114 unsigned long ea;
115
116 ra = (instr >> 16) & 0x1f;
117 ea = (signed short) (instr & ~3); /* sign-extend */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000118 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000119 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000120
121 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000122}
123#endif /* __powerpc64 */
124
125/*
126 * Calculate effective address for an X-form instruction
127 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000128static unsigned long __kprobes xform_ea(unsigned int instr,
129 struct pt_regs *regs)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000130{
131 int ra, rb;
132 unsigned long ea;
133
134 ra = (instr >> 16) & 0x1f;
135 rb = (instr >> 11) & 0x1f;
136 ea = regs->gpr[rb];
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000137 if (ra)
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000138 ea += regs->gpr[ra];
Michael Ellermanb91e1362011-04-07 21:56:04 +0000139
140 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000141}
142
143/*
144 * Return the largest power of 2, not greater than sizeof(unsigned long),
145 * such that x is a multiple of it.
146 */
147static inline unsigned long max_align(unsigned long x)
148{
149 x |= sizeof(unsigned long);
150 return x & -x; /* isolates rightmost bit */
151}
152
153
154static inline unsigned long byterev_2(unsigned long x)
155{
156 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
157}
158
159static inline unsigned long byterev_4(unsigned long x)
160{
161 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
162 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
163}
164
165#ifdef __powerpc64__
166static inline unsigned long byterev_8(unsigned long x)
167{
168 return (byterev_4(x) << 32) | byterev_4(x >> 32);
169}
170#endif
171
172static int __kprobes read_mem_aligned(unsigned long *dest, unsigned long ea,
173 int nb)
174{
175 int err = 0;
176 unsigned long x = 0;
177
178 switch (nb) {
179 case 1:
180 err = __get_user(x, (unsigned char __user *) ea);
181 break;
182 case 2:
183 err = __get_user(x, (unsigned short __user *) ea);
184 break;
185 case 4:
186 err = __get_user(x, (unsigned int __user *) ea);
187 break;
188#ifdef __powerpc64__
189 case 8:
190 err = __get_user(x, (unsigned long __user *) ea);
191 break;
192#endif
193 }
194 if (!err)
195 *dest = x;
196 return err;
197}
198
199static int __kprobes read_mem_unaligned(unsigned long *dest, unsigned long ea,
200 int nb, struct pt_regs *regs)
201{
202 int err;
203 unsigned long x, b, c;
Tom Musta6506b472013-10-18 14:42:08 -0500204#ifdef __LITTLE_ENDIAN__
205 int len = nb; /* save a copy of the length for byte reversal */
206#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000207
208 /* unaligned, do this in pieces */
209 x = 0;
210 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500211#ifdef __LITTLE_ENDIAN__
212 c = 1;
213#endif
214#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000215 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500216#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000217 if (c > nb)
218 c = max_align(nb);
219 err = read_mem_aligned(&b, ea, c);
220 if (err)
221 return err;
222 x = (x << (8 * c)) + b;
223 ea += c;
224 }
Tom Musta6506b472013-10-18 14:42:08 -0500225#ifdef __LITTLE_ENDIAN__
226 switch (len) {
227 case 2:
228 *dest = byterev_2(x);
229 break;
230 case 4:
231 *dest = byterev_4(x);
232 break;
233#ifdef __powerpc64__
234 case 8:
235 *dest = byterev_8(x);
236 break;
237#endif
238 }
239#endif
240#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000241 *dest = x;
Tom Musta6506b472013-10-18 14:42:08 -0500242#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000243 return 0;
244}
245
246/*
247 * Read memory at address ea for nb bytes, return 0 for success
248 * or -EFAULT if an error occurred.
249 */
250static int __kprobes read_mem(unsigned long *dest, unsigned long ea, int nb,
251 struct pt_regs *regs)
252{
253 if (!address_ok(regs, ea, nb))
254 return -EFAULT;
255 if ((ea & (nb - 1)) == 0)
256 return read_mem_aligned(dest, ea, nb);
257 return read_mem_unaligned(dest, ea, nb, regs);
258}
259
260static int __kprobes write_mem_aligned(unsigned long val, unsigned long ea,
261 int nb)
262{
263 int err = 0;
264
265 switch (nb) {
266 case 1:
267 err = __put_user(val, (unsigned char __user *) ea);
268 break;
269 case 2:
270 err = __put_user(val, (unsigned short __user *) ea);
271 break;
272 case 4:
273 err = __put_user(val, (unsigned int __user *) ea);
274 break;
275#ifdef __powerpc64__
276 case 8:
277 err = __put_user(val, (unsigned long __user *) ea);
278 break;
279#endif
280 }
281 return err;
282}
283
284static int __kprobes write_mem_unaligned(unsigned long val, unsigned long ea,
285 int nb, struct pt_regs *regs)
286{
287 int err;
288 unsigned long c;
289
Tom Musta6506b472013-10-18 14:42:08 -0500290#ifdef __LITTLE_ENDIAN__
291 switch (nb) {
292 case 2:
293 val = byterev_2(val);
294 break;
295 case 4:
296 val = byterev_4(val);
297 break;
298#ifdef __powerpc64__
299 case 8:
300 val = byterev_8(val);
301 break;
302#endif
303 }
304#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000305 /* unaligned or little-endian, do this in pieces */
306 for (; nb > 0; nb -= c) {
Tom Musta6506b472013-10-18 14:42:08 -0500307#ifdef __LITTLE_ENDIAN__
308 c = 1;
309#endif
310#ifdef __BIG_ENDIAN__
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000311 c = max_align(ea);
Tom Musta6506b472013-10-18 14:42:08 -0500312#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000313 if (c > nb)
314 c = max_align(nb);
315 err = write_mem_aligned(val >> (nb - c) * 8, ea, c);
316 if (err)
317 return err;
Tom Musta17e8de72013-08-22 09:25:28 -0500318 ea += c;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000319 }
320 return 0;
321}
322
323/*
324 * Write memory at address ea for nb bytes, return 0 for success
325 * or -EFAULT if an error occurred.
326 */
327static int __kprobes write_mem(unsigned long val, unsigned long ea, int nb,
328 struct pt_regs *regs)
329{
330 if (!address_ok(regs, ea, nb))
331 return -EFAULT;
332 if ((ea & (nb - 1)) == 0)
333 return write_mem_aligned(val, ea, nb);
334 return write_mem_unaligned(val, ea, nb, regs);
335}
336
Sean MacLennancd64d162010-09-01 07:21:21 +0000337#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000338/*
339 * Check the address and alignment, and call func to do the actual
340 * load or store.
341 */
342static int __kprobes do_fp_load(int rn, int (*func)(int, unsigned long),
343 unsigned long ea, int nb,
344 struct pt_regs *regs)
345{
346 int err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500347 union {
348 double dbl;
349 unsigned long ul[2];
350 struct {
351#ifdef __BIG_ENDIAN__
352 unsigned _pad_;
353 unsigned word;
354#endif
355#ifdef __LITTLE_ENDIAN__
356 unsigned word;
357 unsigned _pad_;
358#endif
359 } single;
360 } data;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000361 unsigned long ptr;
362
363 if (!address_ok(regs, ea, nb))
364 return -EFAULT;
365 if ((ea & 3) == 0)
366 return (*func)(rn, ea);
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500367 ptr = (unsigned long) &data.ul;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000368 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500369 err = read_mem_unaligned(&data.ul[0], ea, nb, regs);
370 if (nb == 4)
371 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000372 } else {
373 /* reading a double on 32-bit */
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500374 err = read_mem_unaligned(&data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000375 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500376 err = read_mem_unaligned(&data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000377 }
378 if (err)
379 return err;
380 return (*func)(rn, ptr);
381}
382
383static int __kprobes do_fp_store(int rn, int (*func)(int, unsigned long),
384 unsigned long ea, int nb,
385 struct pt_regs *regs)
386{
387 int err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500388 union {
389 double dbl;
390 unsigned long ul[2];
391 struct {
392#ifdef __BIG_ENDIAN__
393 unsigned _pad_;
394 unsigned word;
395#endif
396#ifdef __LITTLE_ENDIAN__
397 unsigned word;
398 unsigned _pad_;
399#endif
400 } single;
401 } data;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000402 unsigned long ptr;
403
404 if (!address_ok(regs, ea, nb))
405 return -EFAULT;
406 if ((ea & 3) == 0)
407 return (*func)(rn, ea);
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500408 ptr = (unsigned long) &data.ul[0];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000409 if (sizeof(unsigned long) == 8 || nb == 4) {
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500410 if (nb == 4)
411 ptr = (unsigned long)&(data.single.word);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000412 err = (*func)(rn, ptr);
413 if (err)
414 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500415 err = write_mem_unaligned(data.ul[0], ea, nb, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000416 } else {
417 /* writing a double on 32-bit */
418 err = (*func)(rn, ptr);
419 if (err)
420 return err;
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500421 err = write_mem_unaligned(data.ul[0], ea, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000422 if (!err)
Tom Mustadbc2fbd2013-10-18 14:44:17 -0500423 err = write_mem_unaligned(data.ul[1], ea + 4, 4, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000424 }
425 return err;
426}
Sean MacLennancd64d162010-09-01 07:21:21 +0000427#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000428
429#ifdef CONFIG_ALTIVEC
430/* For Altivec/VMX, no need to worry about alignment */
431static int __kprobes do_vec_load(int rn, int (*func)(int, unsigned long),
432 unsigned long ea, struct pt_regs *regs)
433{
434 if (!address_ok(regs, ea & ~0xfUL, 16))
435 return -EFAULT;
436 return (*func)(rn, ea);
437}
438
439static int __kprobes do_vec_store(int rn, int (*func)(int, unsigned long),
440 unsigned long ea, struct pt_regs *regs)
441{
442 if (!address_ok(regs, ea & ~0xfUL, 16))
443 return -EFAULT;
444 return (*func)(rn, ea);
445}
446#endif /* CONFIG_ALTIVEC */
447
448#ifdef CONFIG_VSX
449static int __kprobes do_vsx_load(int rn, int (*func)(int, unsigned long),
450 unsigned long ea, struct pt_regs *regs)
451{
452 int err;
453 unsigned long val[2];
454
455 if (!address_ok(regs, ea, 16))
456 return -EFAULT;
457 if ((ea & 3) == 0)
458 return (*func)(rn, ea);
459 err = read_mem_unaligned(&val[0], ea, 8, regs);
460 if (!err)
461 err = read_mem_unaligned(&val[1], ea + 8, 8, regs);
462 if (!err)
463 err = (*func)(rn, (unsigned long) &val[0]);
464 return err;
465}
466
467static int __kprobes do_vsx_store(int rn, int (*func)(int, unsigned long),
468 unsigned long ea, struct pt_regs *regs)
469{
470 int err;
471 unsigned long val[2];
472
473 if (!address_ok(regs, ea, 16))
474 return -EFAULT;
475 if ((ea & 3) == 0)
476 return (*func)(rn, ea);
477 err = (*func)(rn, (unsigned long) &val[0]);
478 if (err)
479 return err;
480 err = write_mem_unaligned(val[0], ea, 8, regs);
481 if (!err)
482 err = write_mem_unaligned(val[1], ea + 8, 8, regs);
483 return err;
484}
485#endif /* CONFIG_VSX */
486
487#define __put_user_asmx(x, addr, err, op, cr) \
488 __asm__ __volatile__( \
489 "1: " op " %2,0,%3\n" \
490 " mfcr %1\n" \
491 "2:\n" \
492 ".section .fixup,\"ax\"\n" \
493 "3: li %0,%4\n" \
494 " b 2b\n" \
495 ".previous\n" \
496 ".section __ex_table,\"a\"\n" \
497 PPC_LONG_ALIGN "\n" \
498 PPC_LONG "1b,3b\n" \
499 ".previous" \
500 : "=r" (err), "=r" (cr) \
501 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
502
503#define __get_user_asmx(x, addr, err, op) \
504 __asm__ __volatile__( \
505 "1: "op" %1,0,%2\n" \
506 "2:\n" \
507 ".section .fixup,\"ax\"\n" \
508 "3: li %0,%3\n" \
509 " b 2b\n" \
510 ".previous\n" \
511 ".section __ex_table,\"a\"\n" \
512 PPC_LONG_ALIGN "\n" \
513 PPC_LONG "1b,3b\n" \
514 ".previous" \
515 : "=r" (err), "=r" (x) \
516 : "r" (addr), "i" (-EFAULT), "0" (err))
517
518#define __cacheop_user_asmx(addr, err, op) \
519 __asm__ __volatile__( \
520 "1: "op" 0,%1\n" \
521 "2:\n" \
522 ".section .fixup,\"ax\"\n" \
523 "3: li %0,%3\n" \
524 " b 2b\n" \
525 ".previous\n" \
526 ".section __ex_table,\"a\"\n" \
527 PPC_LONG_ALIGN "\n" \
528 PPC_LONG "1b,3b\n" \
529 ".previous" \
530 : "=r" (err) \
531 : "r" (addr), "i" (-EFAULT), "0" (err))
532
533static void __kprobes set_cr0(struct pt_regs *regs, int rd)
534{
535 long val = regs->gpr[rd];
536
537 regs->ccr = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
538#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000539 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000540 val = (int) val;
541#endif
542 if (val < 0)
543 regs->ccr |= 0x80000000;
544 else if (val > 0)
545 regs->ccr |= 0x40000000;
546 else
547 regs->ccr |= 0x20000000;
548}
549
550static void __kprobes add_with_carry(struct pt_regs *regs, int rd,
551 unsigned long val1, unsigned long val2,
552 unsigned long carry_in)
553{
554 unsigned long val = val1 + val2;
555
556 if (carry_in)
557 ++val;
558 regs->gpr[rd] = val;
559#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000560 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000561 val = (unsigned int) val;
562 val1 = (unsigned int) val1;
563 }
564#endif
565 if (val < val1 || (carry_in && val == val1))
566 regs->xer |= XER_CA;
567 else
568 regs->xer &= ~XER_CA;
569}
570
571static void __kprobes do_cmp_signed(struct pt_regs *regs, long v1, long v2,
572 int crfld)
573{
574 unsigned int crval, shift;
575
576 crval = (regs->xer >> 31) & 1; /* get SO bit */
577 if (v1 < v2)
578 crval |= 8;
579 else if (v1 > v2)
580 crval |= 4;
581 else
582 crval |= 2;
583 shift = (7 - crfld) * 4;
584 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
585}
586
587static void __kprobes do_cmp_unsigned(struct pt_regs *regs, unsigned long v1,
588 unsigned long v2, int crfld)
589{
590 unsigned int crval, shift;
591
592 crval = (regs->xer >> 31) & 1; /* get SO bit */
593 if (v1 < v2)
594 crval |= 8;
595 else if (v1 > v2)
596 crval |= 4;
597 else
598 crval |= 2;
599 shift = (7 - crfld) * 4;
600 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
601}
602
603/*
604 * Elements of 32-bit rotate and mask instructions.
605 */
606#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
607 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
608#ifdef __powerpc64__
609#define MASK64_L(mb) (~0UL >> (mb))
610#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
611#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
612#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
613#else
614#define DATA32(x) (x)
615#endif
616#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
617
618/*
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000619 * Decode an instruction, and execute it if that can be done just by
620 * modifying *regs (i.e. integer arithmetic and logical instructions,
621 * branches, and barrier instructions).
622 * Returns 1 if the instruction has been executed, or 0 if not.
623 * Sets *op to indicate what the instruction does.
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000624 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000625int __kprobes analyse_instr(struct instruction_op *op, struct pt_regs *regs,
626 unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000627{
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000628 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000629 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000630 unsigned long int val, val2;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000631 unsigned int mb, me, sh;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000632 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000633
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000634 op->type = COMPUTE;
635
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000636 opcode = instr >> 26;
637 switch (opcode) {
638 case 16: /* bc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000639 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000640 imm = (signed short)(instr & 0xfffc);
641 if ((instr & 2) == 0)
642 imm += regs->nip;
643 regs->nip += 4;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000644 regs->nip = truncate_if_32bit(regs->msr, regs->nip);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000645 if (instr & 1)
646 regs->link = regs->nip;
647 if (branch_taken(instr, regs))
Michael Neuling70a54a42013-05-06 21:32:40 +1000648 regs->nip = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000649 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000650#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000651 case 17: /* sc */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000652 if ((instr & 0xfe2) == 2)
653 op->type = SYSCALL;
654 else
655 op->type = UNKNOWN;
656 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000657#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000658 case 18: /* b */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000659 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000660 imm = instr & 0x03fffffc;
661 if (imm & 0x02000000)
662 imm -= 0x04000000;
663 if ((instr & 2) == 0)
664 imm += regs->nip;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000665 if (instr & 1)
666 regs->link = truncate_if_32bit(regs->msr, regs->nip + 4);
667 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000668 regs->nip = imm;
669 return 1;
670 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000671 switch ((instr >> 1) & 0x3ff) {
672 case 16: /* bclr */
673 case 528: /* bcctr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000674 op->type = BRANCH;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000675 imm = (instr & 0x400)? regs->ctr: regs->link;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000676 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
677 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000678 if (instr & 1)
679 regs->link = regs->nip;
680 if (branch_taken(instr, regs))
681 regs->nip = imm;
682 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000683
684 case 18: /* rfid, scary */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000685 if (regs->msr & MSR_PR)
686 goto priv;
687 op->type = RFI;
688 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000689
690 case 150: /* isync */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000691 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000692 isync();
693 goto instr_done;
694
695 case 33: /* crnor */
696 case 129: /* crandc */
697 case 193: /* crxor */
698 case 225: /* crnand */
699 case 257: /* crand */
700 case 289: /* creqv */
701 case 417: /* crorc */
702 case 449: /* cror */
703 ra = (instr >> 16) & 0x1f;
704 rb = (instr >> 11) & 0x1f;
705 rd = (instr >> 21) & 0x1f;
706 ra = (regs->ccr >> (31 - ra)) & 1;
707 rb = (regs->ccr >> (31 - rb)) & 1;
708 val = (instr >> (6 + ra * 2 + rb)) & 1;
709 regs->ccr = (regs->ccr & ~(1UL << (31 - rd))) |
710 (val << (31 - rd));
711 goto instr_done;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000712 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000713 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000714 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000715 switch ((instr >> 1) & 0x3ff) {
716 case 598: /* sync */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000717 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000718#ifdef __powerpc64__
719 switch ((instr >> 21) & 3) {
720 case 1: /* lwsync */
721 asm volatile("lwsync" : : : "memory");
722 goto instr_done;
723 case 2: /* ptesync */
724 asm volatile("ptesync" : : : "memory");
725 goto instr_done;
726 }
727#endif
728 mb();
729 goto instr_done;
730
731 case 854: /* eieio */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000732 op->type = BARRIER;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000733 eieio();
734 goto instr_done;
735 }
736 break;
737 }
738
739 /* Following cases refer to regs->gpr[], so we need all regs */
740 if (!FULL_REGS(regs))
741 return 0;
742
743 rd = (instr >> 21) & 0x1f;
744 ra = (instr >> 16) & 0x1f;
745 rb = (instr >> 11) & 0x1f;
746
747 switch (opcode) {
748 case 7: /* mulli */
749 regs->gpr[rd] = regs->gpr[ra] * (short) instr;
750 goto instr_done;
751
752 case 8: /* subfic */
753 imm = (short) instr;
754 add_with_carry(regs, rd, ~regs->gpr[ra], imm, 1);
755 goto instr_done;
756
757 case 10: /* cmpli */
758 imm = (unsigned short) instr;
759 val = regs->gpr[ra];
760#ifdef __powerpc64__
761 if ((rd & 1) == 0)
762 val = (unsigned int) val;
763#endif
764 do_cmp_unsigned(regs, val, imm, rd >> 2);
765 goto instr_done;
766
767 case 11: /* cmpi */
768 imm = (short) instr;
769 val = regs->gpr[ra];
770#ifdef __powerpc64__
771 if ((rd & 1) == 0)
772 val = (int) val;
773#endif
774 do_cmp_signed(regs, val, imm, rd >> 2);
775 goto instr_done;
776
777 case 12: /* addic */
778 imm = (short) instr;
779 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
780 goto instr_done;
781
782 case 13: /* addic. */
783 imm = (short) instr;
784 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
785 set_cr0(regs, rd);
786 goto instr_done;
787
788 case 14: /* addi */
789 imm = (short) instr;
790 if (ra)
791 imm += regs->gpr[ra];
792 regs->gpr[rd] = imm;
793 goto instr_done;
794
795 case 15: /* addis */
796 imm = ((short) instr) << 16;
797 if (ra)
798 imm += regs->gpr[ra];
799 regs->gpr[rd] = imm;
800 goto instr_done;
801
802 case 20: /* rlwimi */
803 mb = (instr >> 6) & 0x1f;
804 me = (instr >> 1) & 0x1f;
805 val = DATA32(regs->gpr[rd]);
806 imm = MASK32(mb, me);
807 regs->gpr[ra] = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
808 goto logical_done;
809
810 case 21: /* rlwinm */
811 mb = (instr >> 6) & 0x1f;
812 me = (instr >> 1) & 0x1f;
813 val = DATA32(regs->gpr[rd]);
814 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
815 goto logical_done;
816
817 case 23: /* rlwnm */
818 mb = (instr >> 6) & 0x1f;
819 me = (instr >> 1) & 0x1f;
820 rb = regs->gpr[rb] & 0x1f;
821 val = DATA32(regs->gpr[rd]);
822 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
823 goto logical_done;
824
825 case 24: /* ori */
826 imm = (unsigned short) instr;
827 regs->gpr[ra] = regs->gpr[rd] | imm;
828 goto instr_done;
829
830 case 25: /* oris */
831 imm = (unsigned short) instr;
832 regs->gpr[ra] = regs->gpr[rd] | (imm << 16);
833 goto instr_done;
834
835 case 26: /* xori */
836 imm = (unsigned short) instr;
837 regs->gpr[ra] = regs->gpr[rd] ^ imm;
838 goto instr_done;
839
840 case 27: /* xoris */
841 imm = (unsigned short) instr;
842 regs->gpr[ra] = regs->gpr[rd] ^ (imm << 16);
843 goto instr_done;
844
845 case 28: /* andi. */
846 imm = (unsigned short) instr;
847 regs->gpr[ra] = regs->gpr[rd] & imm;
848 set_cr0(regs, ra);
849 goto instr_done;
850
851 case 29: /* andis. */
852 imm = (unsigned short) instr;
853 regs->gpr[ra] = regs->gpr[rd] & (imm << 16);
854 set_cr0(regs, ra);
855 goto instr_done;
856
857#ifdef __powerpc64__
858 case 30: /* rld* */
859 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
860 val = regs->gpr[rd];
861 if ((instr & 0x10) == 0) {
862 sh = rb | ((instr & 2) << 4);
863 val = ROTATE(val, sh);
864 switch ((instr >> 2) & 3) {
865 case 0: /* rldicl */
866 regs->gpr[ra] = val & MASK64_L(mb);
867 goto logical_done;
868 case 1: /* rldicr */
869 regs->gpr[ra] = val & MASK64_R(mb);
870 goto logical_done;
871 case 2: /* rldic */
872 regs->gpr[ra] = val & MASK64(mb, 63 - sh);
873 goto logical_done;
874 case 3: /* rldimi */
875 imm = MASK64(mb, 63 - sh);
876 regs->gpr[ra] = (regs->gpr[ra] & ~imm) |
877 (val & imm);
878 goto logical_done;
879 }
880 } else {
881 sh = regs->gpr[rb] & 0x3f;
882 val = ROTATE(val, sh);
883 switch ((instr >> 1) & 7) {
884 case 0: /* rldcl */
885 regs->gpr[ra] = val & MASK64_L(mb);
886 goto logical_done;
887 case 1: /* rldcr */
888 regs->gpr[ra] = val & MASK64_R(mb);
889 goto logical_done;
890 }
891 }
892#endif
893
894 case 31:
895 switch ((instr >> 1) & 0x3ff) {
896 case 83: /* mfmsr */
897 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000898 goto priv;
899 op->type = MFMSR;
900 op->reg = rd;
901 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000902 case 146: /* mtmsr */
903 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000904 goto priv;
905 op->type = MTMSR;
906 op->reg = rd;
907 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
908 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000909#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000910 case 178: /* mtmsrd */
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000911 if (regs->msr & MSR_PR)
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000912 goto priv;
913 op->type = MTMSR;
914 op->reg = rd;
915 /* only MSR_EE and MSR_RI get changed if bit 15 set */
916 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
917 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
918 op->val = imm;
919 return 0;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000920#endif
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000921
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000922 case 19: /* mfcr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000923 regs->gpr[rd] = regs->ccr;
924 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000925 goto instr_done;
926
927 case 144: /* mtcrf */
928 imm = 0xf0000000UL;
929 val = regs->gpr[rd];
930 for (sh = 0; sh < 8; ++sh) {
931 if (instr & (0x80000 >> sh))
932 regs->ccr = (regs->ccr & ~imm) |
933 (val & imm);
934 imm >>= 4;
935 }
936 goto instr_done;
937
938 case 339: /* mfspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000939 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000940 switch (spr) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000941 case SPRN_XER: /* mfxer */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000942 regs->gpr[rd] = regs->xer;
943 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000944 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000945 case SPRN_LR: /* mflr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000946 regs->gpr[rd] = regs->link;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000947 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000948 case SPRN_CTR: /* mfctr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000949 regs->gpr[rd] = regs->ctr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000950 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000951 default:
952 op->type = MFSPR;
953 op->reg = rd;
954 op->spr = spr;
955 return 0;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000956 }
957 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000958
959 case 467: /* mtspr */
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000960 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000961 switch (spr) {
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000962 case SPRN_XER: /* mtxer */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000963 regs->xer = (regs->gpr[rd] & 0xffffffffUL);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000964 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000965 case SPRN_LR: /* mtlr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000966 regs->link = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000967 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000968 case SPRN_CTR: /* mtctr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000969 regs->ctr = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000970 goto instr_done;
Paul Mackerrasbe96f632014-09-02 14:35:07 +1000971 default:
972 op->type = MTSPR;
973 op->val = regs->gpr[rd];
974 op->spr = spr;
975 return 0;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000976 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000977 break;
978
979/*
980 * Compare instructions
981 */
982 case 0: /* cmp */
983 val = regs->gpr[ra];
984 val2 = regs->gpr[rb];
985#ifdef __powerpc64__
986 if ((rd & 1) == 0) {
987 /* word (32-bit) compare */
988 val = (int) val;
989 val2 = (int) val2;
990 }
991#endif
992 do_cmp_signed(regs, val, val2, rd >> 2);
993 goto instr_done;
994
995 case 32: /* cmpl */
996 val = regs->gpr[ra];
997 val2 = regs->gpr[rb];
998#ifdef __powerpc64__
999 if ((rd & 1) == 0) {
1000 /* word (32-bit) compare */
1001 val = (unsigned int) val;
1002 val2 = (unsigned int) val2;
1003 }
1004#endif
1005 do_cmp_unsigned(regs, val, val2, rd >> 2);
1006 goto instr_done;
1007
1008/*
1009 * Arithmetic instructions
1010 */
1011 case 8: /* subfc */
1012 add_with_carry(regs, rd, ~regs->gpr[ra],
1013 regs->gpr[rb], 1);
1014 goto arith_done;
1015#ifdef __powerpc64__
1016 case 9: /* mulhdu */
1017 asm("mulhdu %0,%1,%2" : "=r" (regs->gpr[rd]) :
1018 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1019 goto arith_done;
1020#endif
1021 case 10: /* addc */
1022 add_with_carry(regs, rd, regs->gpr[ra],
1023 regs->gpr[rb], 0);
1024 goto arith_done;
1025
1026 case 11: /* mulhwu */
1027 asm("mulhwu %0,%1,%2" : "=r" (regs->gpr[rd]) :
1028 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1029 goto arith_done;
1030
1031 case 40: /* subf */
1032 regs->gpr[rd] = regs->gpr[rb] - regs->gpr[ra];
1033 goto arith_done;
1034#ifdef __powerpc64__
1035 case 73: /* mulhd */
1036 asm("mulhd %0,%1,%2" : "=r" (regs->gpr[rd]) :
1037 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1038 goto arith_done;
1039#endif
1040 case 75: /* mulhw */
1041 asm("mulhw %0,%1,%2" : "=r" (regs->gpr[rd]) :
1042 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1043 goto arith_done;
1044
1045 case 104: /* neg */
1046 regs->gpr[rd] = -regs->gpr[ra];
1047 goto arith_done;
1048
1049 case 136: /* subfe */
1050 add_with_carry(regs, rd, ~regs->gpr[ra], regs->gpr[rb],
1051 regs->xer & XER_CA);
1052 goto arith_done;
1053
1054 case 138: /* adde */
1055 add_with_carry(regs, rd, regs->gpr[ra], regs->gpr[rb],
1056 regs->xer & XER_CA);
1057 goto arith_done;
1058
1059 case 200: /* subfze */
1060 add_with_carry(regs, rd, ~regs->gpr[ra], 0L,
1061 regs->xer & XER_CA);
1062 goto arith_done;
1063
1064 case 202: /* addze */
1065 add_with_carry(regs, rd, regs->gpr[ra], 0L,
1066 regs->xer & XER_CA);
1067 goto arith_done;
1068
1069 case 232: /* subfme */
1070 add_with_carry(regs, rd, ~regs->gpr[ra], -1L,
1071 regs->xer & XER_CA);
1072 goto arith_done;
1073#ifdef __powerpc64__
1074 case 233: /* mulld */
1075 regs->gpr[rd] = regs->gpr[ra] * regs->gpr[rb];
1076 goto arith_done;
1077#endif
1078 case 234: /* addme */
1079 add_with_carry(regs, rd, regs->gpr[ra], -1L,
1080 regs->xer & XER_CA);
1081 goto arith_done;
1082
1083 case 235: /* mullw */
1084 regs->gpr[rd] = (unsigned int) regs->gpr[ra] *
1085 (unsigned int) regs->gpr[rb];
1086 goto arith_done;
1087
1088 case 266: /* add */
1089 regs->gpr[rd] = regs->gpr[ra] + regs->gpr[rb];
1090 goto arith_done;
1091#ifdef __powerpc64__
1092 case 457: /* divdu */
1093 regs->gpr[rd] = regs->gpr[ra] / regs->gpr[rb];
1094 goto arith_done;
1095#endif
1096 case 459: /* divwu */
1097 regs->gpr[rd] = (unsigned int) regs->gpr[ra] /
1098 (unsigned int) regs->gpr[rb];
1099 goto arith_done;
1100#ifdef __powerpc64__
1101 case 489: /* divd */
1102 regs->gpr[rd] = (long int) regs->gpr[ra] /
1103 (long int) regs->gpr[rb];
1104 goto arith_done;
1105#endif
1106 case 491: /* divw */
1107 regs->gpr[rd] = (int) regs->gpr[ra] /
1108 (int) regs->gpr[rb];
1109 goto arith_done;
1110
1111
1112/*
1113 * Logical instructions
1114 */
1115 case 26: /* cntlzw */
1116 asm("cntlzw %0,%1" : "=r" (regs->gpr[ra]) :
1117 "r" (regs->gpr[rd]));
1118 goto logical_done;
1119#ifdef __powerpc64__
1120 case 58: /* cntlzd */
1121 asm("cntlzd %0,%1" : "=r" (regs->gpr[ra]) :
1122 "r" (regs->gpr[rd]));
1123 goto logical_done;
1124#endif
1125 case 28: /* and */
1126 regs->gpr[ra] = regs->gpr[rd] & regs->gpr[rb];
1127 goto logical_done;
1128
1129 case 60: /* andc */
1130 regs->gpr[ra] = regs->gpr[rd] & ~regs->gpr[rb];
1131 goto logical_done;
1132
1133 case 124: /* nor */
1134 regs->gpr[ra] = ~(regs->gpr[rd] | regs->gpr[rb]);
1135 goto logical_done;
1136
1137 case 284: /* xor */
1138 regs->gpr[ra] = ~(regs->gpr[rd] ^ regs->gpr[rb]);
1139 goto logical_done;
1140
1141 case 316: /* xor */
1142 regs->gpr[ra] = regs->gpr[rd] ^ regs->gpr[rb];
1143 goto logical_done;
1144
1145 case 412: /* orc */
1146 regs->gpr[ra] = regs->gpr[rd] | ~regs->gpr[rb];
1147 goto logical_done;
1148
1149 case 444: /* or */
1150 regs->gpr[ra] = regs->gpr[rd] | regs->gpr[rb];
1151 goto logical_done;
1152
1153 case 476: /* nand */
1154 regs->gpr[ra] = ~(regs->gpr[rd] & regs->gpr[rb]);
1155 goto logical_done;
1156
1157 case 922: /* extsh */
1158 regs->gpr[ra] = (signed short) regs->gpr[rd];
1159 goto logical_done;
1160
1161 case 954: /* extsb */
1162 regs->gpr[ra] = (signed char) regs->gpr[rd];
1163 goto logical_done;
1164#ifdef __powerpc64__
1165 case 986: /* extsw */
1166 regs->gpr[ra] = (signed int) regs->gpr[rd];
1167 goto logical_done;
1168#endif
1169
1170/*
1171 * Shift instructions
1172 */
1173 case 24: /* slw */
1174 sh = regs->gpr[rb] & 0x3f;
1175 if (sh < 32)
1176 regs->gpr[ra] = (regs->gpr[rd] << sh) & 0xffffffffUL;
1177 else
1178 regs->gpr[ra] = 0;
1179 goto logical_done;
1180
1181 case 536: /* srw */
1182 sh = regs->gpr[rb] & 0x3f;
1183 if (sh < 32)
1184 regs->gpr[ra] = (regs->gpr[rd] & 0xffffffffUL) >> sh;
1185 else
1186 regs->gpr[ra] = 0;
1187 goto logical_done;
1188
1189 case 792: /* sraw */
1190 sh = regs->gpr[rb] & 0x3f;
1191 ival = (signed int) regs->gpr[rd];
1192 regs->gpr[ra] = ival >> (sh < 32 ? sh : 31);
Paul Mackerrase698b962014-07-19 17:47:57 +10001193 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001194 regs->xer |= XER_CA;
1195 else
1196 regs->xer &= ~XER_CA;
1197 goto logical_done;
1198
1199 case 824: /* srawi */
1200 sh = rb;
1201 ival = (signed int) regs->gpr[rd];
1202 regs->gpr[ra] = ival >> sh;
Paul Mackerrase698b962014-07-19 17:47:57 +10001203 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001204 regs->xer |= XER_CA;
1205 else
1206 regs->xer &= ~XER_CA;
1207 goto logical_done;
1208
1209#ifdef __powerpc64__
1210 case 27: /* sld */
Paul Mackerrase698b962014-07-19 17:47:57 +10001211 sh = regs->gpr[rb] & 0x7f;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001212 if (sh < 64)
1213 regs->gpr[ra] = regs->gpr[rd] << sh;
1214 else
1215 regs->gpr[ra] = 0;
1216 goto logical_done;
1217
1218 case 539: /* srd */
1219 sh = regs->gpr[rb] & 0x7f;
1220 if (sh < 64)
1221 regs->gpr[ra] = regs->gpr[rd] >> sh;
1222 else
1223 regs->gpr[ra] = 0;
1224 goto logical_done;
1225
1226 case 794: /* srad */
1227 sh = regs->gpr[rb] & 0x7f;
1228 ival = (signed long int) regs->gpr[rd];
1229 regs->gpr[ra] = ival >> (sh < 64 ? sh : 63);
Paul Mackerrase698b962014-07-19 17:47:57 +10001230 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001231 regs->xer |= XER_CA;
1232 else
1233 regs->xer &= ~XER_CA;
1234 goto logical_done;
1235
1236 case 826: /* sradi with sh_5 = 0 */
1237 case 827: /* sradi with sh_5 = 1 */
1238 sh = rb | ((instr & 2) << 4);
1239 ival = (signed long int) regs->gpr[rd];
1240 regs->gpr[ra] = ival >> sh;
Paul Mackerrase698b962014-07-19 17:47:57 +10001241 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001242 regs->xer |= XER_CA;
1243 else
1244 regs->xer &= ~XER_CA;
1245 goto logical_done;
1246#endif /* __powerpc64__ */
1247
1248/*
1249 * Cache instructions
1250 */
1251 case 54: /* dcbst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001252 op->type = MKOP(CACHEOP, DCBST, 0);
1253 op->ea = xform_ea(instr, regs);
1254 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001255
1256 case 86: /* dcbf */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001257 op->type = MKOP(CACHEOP, DCBF, 0);
1258 op->ea = xform_ea(instr, regs);
1259 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001260
1261 case 246: /* dcbtst */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001262 op->type = MKOP(CACHEOP, DCBTST, 0);
1263 op->ea = xform_ea(instr, regs);
1264 op->reg = rd;
1265 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001266
1267 case 278: /* dcbt */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001268 op->type = MKOP(CACHEOP, DCBTST, 0);
1269 op->ea = xform_ea(instr, regs);
1270 op->reg = rd;
1271 return 0;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001272 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001273 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001274 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001275
1276 /*
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001277 * Loads and stores.
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001278 */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001279 op->type = UNKNOWN;
1280 op->update_reg = ra;
1281 op->reg = rd;
1282 op->val = regs->gpr[rd];
1283 u = (instr >> 20) & UPDATE;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001284
1285 switch (opcode) {
1286 case 31:
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001287 u = instr & UPDATE;
1288 op->ea = xform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001289 switch ((instr >> 1) & 0x3ff) {
1290 case 20: /* lwarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001291 op->type = MKOP(LARX, 0, 4);
1292 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001293
1294 case 150: /* stwcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001295 op->type = MKOP(STCX, 0, 4);
1296 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001297
1298#ifdef __powerpc64__
1299 case 84: /* ldarx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001300 op->type = MKOP(LARX, 0, 8);
1301 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001302
1303 case 214: /* stdcx. */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001304 op->type = MKOP(STCX, 0, 8);
1305 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001306
1307 case 21: /* ldx */
1308 case 53: /* ldux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001309 op->type = MKOP(LOAD, u, 8);
1310 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001311#endif
1312
1313 case 23: /* lwzx */
1314 case 55: /* lwzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001315 op->type = MKOP(LOAD, u, 4);
1316 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001317
1318 case 87: /* lbzx */
1319 case 119: /* lbzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001320 op->type = MKOP(LOAD, u, 1);
1321 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001322
1323#ifdef CONFIG_ALTIVEC
1324 case 103: /* lvx */
1325 case 359: /* lvxl */
1326 if (!(regs->msr & MSR_VEC))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001327 goto vecunavail;
1328 op->type = MKOP(LOAD_VMX, 0, 16);
1329 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001330
1331 case 231: /* stvx */
1332 case 487: /* stvxl */
1333 if (!(regs->msr & MSR_VEC))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001334 goto vecunavail;
1335 op->type = MKOP(STORE_VMX, 0, 16);
1336 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001337#endif /* CONFIG_ALTIVEC */
1338
1339#ifdef __powerpc64__
1340 case 149: /* stdx */
1341 case 181: /* stdux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001342 op->type = MKOP(STORE, u, 8);
1343 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001344#endif
1345
1346 case 151: /* stwx */
1347 case 183: /* stwux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001348 op->type = MKOP(STORE, u, 4);
1349 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001350
1351 case 215: /* stbx */
1352 case 247: /* stbux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001353 op->type = MKOP(STORE, u, 1);
1354 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001355
1356 case 279: /* lhzx */
1357 case 311: /* lhzux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001358 op->type = MKOP(LOAD, u, 2);
1359 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001360
1361#ifdef __powerpc64__
1362 case 341: /* lwax */
1363 case 373: /* lwaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001364 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1365 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001366#endif
1367
1368 case 343: /* lhax */
1369 case 375: /* lhaux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001370 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1371 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001372
1373 case 407: /* sthx */
1374 case 439: /* sthux */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001375 op->type = MKOP(STORE, u, 2);
1376 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001377
1378#ifdef __powerpc64__
1379 case 532: /* ldbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001380 op->type = MKOP(LOAD, BYTEREV, 8);
1381 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001382
1383#endif
1384
1385 case 534: /* lwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001386 op->type = MKOP(LOAD, BYTEREV, 4);
1387 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001388
Paul Bolleb69a1da2014-05-20 21:59:42 +02001389#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001390 case 535: /* lfsx */
1391 case 567: /* lfsux */
1392 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001393 goto fpunavail;
1394 op->type = MKOP(LOAD_FP, u, 4);
1395 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001396
1397 case 599: /* lfdx */
1398 case 631: /* lfdux */
1399 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001400 goto fpunavail;
1401 op->type = MKOP(LOAD_FP, u, 8);
1402 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001403
1404 case 663: /* stfsx */
1405 case 695: /* stfsux */
1406 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001407 goto fpunavail;
1408 op->type = MKOP(STORE_FP, u, 4);
1409 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001410
1411 case 727: /* stfdx */
1412 case 759: /* stfdux */
1413 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001414 goto fpunavail;
1415 op->type = MKOP(STORE_FP, u, 8);
1416 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001417#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001418
1419#ifdef __powerpc64__
1420 case 660: /* stdbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001421 op->type = MKOP(STORE, BYTEREV, 8);
1422 op->val = byterev_8(regs->gpr[rd]);
1423 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001424
1425#endif
1426 case 662: /* stwbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001427 op->type = MKOP(STORE, BYTEREV, 4);
1428 op->val = byterev_4(regs->gpr[rd]);
1429 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001430
1431 case 790: /* lhbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001432 op->type = MKOP(LOAD, BYTEREV, 2);
1433 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001434
1435 case 918: /* sthbrx */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001436 op->type = MKOP(STORE, BYTEREV, 2);
1437 op->val = byterev_2(regs->gpr[rd]);
1438 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001439
1440#ifdef CONFIG_VSX
1441 case 844: /* lxvd2x */
1442 case 876: /* lxvd2ux */
1443 if (!(regs->msr & MSR_VSX))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001444 goto vsxunavail;
1445 op->reg = rd | ((instr & 1) << 5);
1446 op->type = MKOP(LOAD_VSX, u, 16);
1447 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001448
1449 case 972: /* stxvd2x */
1450 case 1004: /* stxvd2ux */
1451 if (!(regs->msr & MSR_VSX))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001452 goto vsxunavail;
1453 op->reg = rd | ((instr & 1) << 5);
1454 op->type = MKOP(STORE_VSX, u, 16);
1455 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001456
1457#endif /* CONFIG_VSX */
1458 }
1459 break;
1460
1461 case 32: /* lwz */
1462 case 33: /* lwzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001463 op->type = MKOP(LOAD, u, 4);
1464 op->ea = dform_ea(instr, regs);
1465 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001466
1467 case 34: /* lbz */
1468 case 35: /* lbzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001469 op->type = MKOP(LOAD, u, 1);
1470 op->ea = dform_ea(instr, regs);
1471 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001472
1473 case 36: /* stw */
Tiejun Chen8e9f6932012-09-16 23:54:31 +00001474 case 37: /* stwu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001475 op->type = MKOP(STORE, u, 4);
1476 op->ea = dform_ea(instr, regs);
1477 break;
Tiejun Chen8e9f6932012-09-16 23:54:31 +00001478
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001479 case 38: /* stb */
1480 case 39: /* stbu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001481 op->type = MKOP(STORE, u, 1);
1482 op->ea = dform_ea(instr, regs);
1483 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001484
1485 case 40: /* lhz */
1486 case 41: /* lhzu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001487 op->type = MKOP(LOAD, u, 2);
1488 op->ea = dform_ea(instr, regs);
1489 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001490
1491 case 42: /* lha */
1492 case 43: /* lhau */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001493 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1494 op->ea = dform_ea(instr, regs);
1495 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001496
1497 case 44: /* sth */
1498 case 45: /* sthu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001499 op->type = MKOP(STORE, u, 2);
1500 op->ea = dform_ea(instr, regs);
1501 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001502
1503 case 46: /* lmw */
1504 ra = (instr >> 16) & 0x1f;
1505 if (ra >= rd)
1506 break; /* invalid form, ra in range to load */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001507 op->type = MKOP(LOAD_MULTI, 0, 4);
1508 op->ea = dform_ea(instr, regs);
1509 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001510
1511 case 47: /* stmw */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001512 op->type = MKOP(STORE_MULTI, 0, 4);
1513 op->ea = dform_ea(instr, regs);
1514 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001515
Sean MacLennancd64d162010-09-01 07:21:21 +00001516#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001517 case 48: /* lfs */
1518 case 49: /* lfsu */
1519 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001520 goto fpunavail;
1521 op->type = MKOP(LOAD_FP, u, 4);
1522 op->ea = dform_ea(instr, regs);
1523 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001524
1525 case 50: /* lfd */
1526 case 51: /* lfdu */
1527 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001528 goto fpunavail;
1529 op->type = MKOP(LOAD_FP, u, 8);
1530 op->ea = dform_ea(instr, regs);
1531 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001532
1533 case 52: /* stfs */
1534 case 53: /* stfsu */
1535 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001536 goto fpunavail;
1537 op->type = MKOP(STORE_FP, u, 4);
1538 op->ea = dform_ea(instr, regs);
1539 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001540
1541 case 54: /* stfd */
1542 case 55: /* stfdu */
1543 if (!(regs->msr & MSR_FP))
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001544 goto fpunavail;
1545 op->type = MKOP(STORE_FP, u, 8);
1546 op->ea = dform_ea(instr, regs);
1547 break;
Sean MacLennancd64d162010-09-01 07:21:21 +00001548#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001549
1550#ifdef __powerpc64__
1551 case 58: /* ld[u], lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001552 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001553 switch (instr & 3) {
1554 case 0: /* ld */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001555 op->type = MKOP(LOAD, 0, 8);
1556 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001557 case 1: /* ldu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001558 op->type = MKOP(LOAD, UPDATE, 8);
1559 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001560 case 2: /* lwa */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001561 op->type = MKOP(LOAD, SIGNEXT, 4);
1562 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001563 }
1564 break;
1565
1566 case 62: /* std[u] */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001567 op->ea = dsform_ea(instr, regs);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001568 switch (instr & 3) {
1569 case 0: /* std */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001570 op->type = MKOP(STORE, 0, 8);
1571 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001572 case 1: /* stdu */
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001573 op->type = MKOP(STORE, UPDATE, 8);
1574 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001575 }
1576 break;
1577#endif /* __powerpc64__ */
1578
1579 }
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001580 return 0;
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001581
1582 logical_done:
1583 if (instr & 1)
1584 set_cr0(regs, ra);
1585 goto instr_done;
1586
1587 arith_done:
1588 if (instr & 1)
1589 set_cr0(regs, rd);
Paul Mackerrasbe96f632014-09-02 14:35:07 +10001590
1591 instr_done:
1592 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
1593 return 1;
1594
1595 priv:
1596 op->type = INTERRUPT | 0x700;
1597 op->val = SRR1_PROGPRIV;
1598 return 0;
1599
1600#ifdef CONFIG_PPC_FPU
1601 fpunavail:
1602 op->type = INTERRUPT | 0x800;
1603 return 0;
1604#endif
1605
1606#ifdef CONFIG_ALTIVEC
1607 vecunavail:
1608 op->type = INTERRUPT | 0xf20;
1609 return 0;
1610#endif
1611
1612#ifdef CONFIG_VSX
1613 vsxunavail:
1614 op->type = INTERRUPT | 0xf40;
1615 return 0;
1616#endif
1617}
1618EXPORT_SYMBOL_GPL(analyse_instr);
1619
1620/*
1621 * For PPC32 we always use stwu with r1 to change the stack pointer.
1622 * So this emulated store may corrupt the exception frame, now we
1623 * have to provide the exception frame trampoline, which is pushed
1624 * below the kprobed function stack. So we only update gpr[1] but
1625 * don't emulate the real store operation. We will do real store
1626 * operation safely in exception return code by checking this flag.
1627 */
1628static __kprobes int handle_stack_update(unsigned long ea, struct pt_regs *regs)
1629{
1630#ifdef CONFIG_PPC32
1631 /*
1632 * Check if we will touch kernel stack overflow
1633 */
1634 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
1635 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
1636 return -EINVAL;
1637 }
1638#endif /* CONFIG_PPC32 */
1639 /*
1640 * Check if we already set since that means we'll
1641 * lose the previous value.
1642 */
1643 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
1644 set_thread_flag(TIF_EMULATE_STACK_STORE);
1645 return 0;
1646}
1647
1648static __kprobes void do_signext(unsigned long *valp, int size)
1649{
1650 switch (size) {
1651 case 2:
1652 *valp = (signed short) *valp;
1653 break;
1654 case 4:
1655 *valp = (signed int) *valp;
1656 break;
1657 }
1658}
1659
1660static __kprobes void do_byterev(unsigned long *valp, int size)
1661{
1662 switch (size) {
1663 case 2:
1664 *valp = byterev_2(*valp);
1665 break;
1666 case 4:
1667 *valp = byterev_4(*valp);
1668 break;
1669#ifdef __powerpc64__
1670 case 8:
1671 *valp = byterev_8(*valp);
1672 break;
1673#endif
1674 }
1675}
1676
1677/*
1678 * Emulate instructions that cause a transfer of control,
1679 * loads and stores, and a few other instructions.
1680 * Returns 1 if the step was emulated, 0 if not,
1681 * or -1 if the instruction is one that should not be stepped,
1682 * such as an rfid, or a mtmsrd that would clear MSR_RI.
1683 */
1684int __kprobes emulate_step(struct pt_regs *regs, unsigned int instr)
1685{
1686 struct instruction_op op;
1687 int r, err, size;
1688 unsigned long val;
1689 unsigned int cr;
1690 int rd;
1691
1692 r = analyse_instr(&op, regs, instr);
1693 if (r != 0)
1694 return r;
1695
1696 err = 0;
1697 size = GETSIZE(op.type);
1698 switch (op.type & INSTR_TYPE_MASK) {
1699 case CACHEOP:
1700 if (!address_ok(regs, op.ea, 8))
1701 return 0;
1702 switch (op.type & CACHEOP_MASK) {
1703 case DCBST:
1704 __cacheop_user_asmx(op.ea, err, "dcbst");
1705 break;
1706 case DCBF:
1707 __cacheop_user_asmx(op.ea, err, "dcbf");
1708 break;
1709 case DCBTST:
1710 if (op.reg == 0)
1711 prefetchw((void *) op.ea);
1712 break;
1713 case DCBT:
1714 if (op.reg == 0)
1715 prefetch((void *) op.ea);
1716 break;
1717 }
1718 if (err)
1719 return 0;
1720 goto instr_done;
1721
1722 case LARX:
1723 if (regs->msr & MSR_LE)
1724 return 0;
1725 if (op.ea & (size - 1))
1726 break; /* can't handle misaligned */
1727 err = -EFAULT;
1728 if (!address_ok(regs, op.ea, size))
1729 goto ldst_done;
1730 err = 0;
1731 switch (size) {
1732 case 4:
1733 __get_user_asmx(val, op.ea, err, "lwarx");
1734 break;
1735 case 8:
1736 __get_user_asmx(val, op.ea, err, "ldarx");
1737 break;
1738 default:
1739 return 0;
1740 }
1741 if (!err)
1742 regs->gpr[op.reg] = val;
1743 goto ldst_done;
1744
1745 case STCX:
1746 if (regs->msr & MSR_LE)
1747 return 0;
1748 if (op.ea & (size - 1))
1749 break; /* can't handle misaligned */
1750 err = -EFAULT;
1751 if (!address_ok(regs, op.ea, size))
1752 goto ldst_done;
1753 err = 0;
1754 switch (size) {
1755 case 4:
1756 __put_user_asmx(op.val, op.ea, err, "stwcx.", cr);
1757 break;
1758 case 8:
1759 __put_user_asmx(op.val, op.ea, err, "stdcx.", cr);
1760 break;
1761 default:
1762 return 0;
1763 }
1764 if (!err)
1765 regs->ccr = (regs->ccr & 0x0fffffff) |
1766 (cr & 0xe0000000) |
1767 ((regs->xer >> 3) & 0x10000000);
1768 goto ldst_done;
1769
1770 case LOAD:
1771 if (regs->msr & MSR_LE)
1772 return 0;
1773 err = read_mem(&regs->gpr[op.reg], op.ea, size, regs);
1774 if (!err) {
1775 if (op.type & SIGNEXT)
1776 do_signext(&regs->gpr[op.reg], size);
1777 if (op.type & BYTEREV)
1778 do_byterev(&regs->gpr[op.reg], size);
1779 }
1780 goto ldst_done;
1781
1782 case LOAD_FP:
1783 if (regs->msr & MSR_LE)
1784 return 0;
1785 if (size == 4)
1786 err = do_fp_load(op.reg, do_lfs, op.ea, size, regs);
1787 else
1788 err = do_fp_load(op.reg, do_lfd, op.ea, size, regs);
1789 goto ldst_done;
1790
1791#ifdef CONFIG_ALTIVEC
1792 case LOAD_VMX:
1793 if (regs->msr & MSR_LE)
1794 return 0;
1795 err = do_vec_load(op.reg, do_lvx, op.ea & ~0xfUL, regs);
1796 goto ldst_done;
1797#endif
1798#ifdef CONFIG_VSX
1799 case LOAD_VSX:
1800 if (regs->msr & MSR_LE)
1801 return 0;
1802 err = do_vsx_load(op.reg, do_lxvd2x, op.ea, regs);
1803 goto ldst_done;
1804#endif
1805 case LOAD_MULTI:
1806 if (regs->msr & MSR_LE)
1807 return 0;
1808 rd = op.reg;
1809 do {
1810 err = read_mem(&regs->gpr[rd], op.ea, 4, regs);
1811 if (err)
1812 return 0;
1813 op.ea += 4;
1814 } while (++rd < 32);
1815 goto instr_done;
1816
1817 case STORE:
1818 if (regs->msr & MSR_LE)
1819 return 0;
1820 if ((op.type & UPDATE) && size == sizeof(long) &&
1821 op.reg == 1 && op.update_reg == 1 &&
1822 !(regs->msr & MSR_PR) &&
1823 op.ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
1824 err = handle_stack_update(op.ea, regs);
1825 goto ldst_done;
1826 }
1827 err = write_mem(op.val, op.ea, size, regs);
1828 goto ldst_done;
1829
1830 case STORE_FP:
1831 if (regs->msr & MSR_LE)
1832 return 0;
1833 if (size == 4)
1834 err = do_fp_store(op.reg, do_stfs, op.ea, size, regs);
1835 else
1836 err = do_fp_store(op.reg, do_stfd, op.ea, size, regs);
1837 goto ldst_done;
1838
1839#ifdef CONFIG_ALTIVEC
1840 case STORE_VMX:
1841 if (regs->msr & MSR_LE)
1842 return 0;
1843 err = do_vec_store(op.reg, do_stvx, op.ea & ~0xfUL, regs);
1844 goto ldst_done;
1845#endif
1846#ifdef CONFIG_VSX
1847 case STORE_VSX:
1848 if (regs->msr & MSR_LE)
1849 return 0;
1850 err = do_vsx_store(op.reg, do_stxvd2x, op.ea, regs);
1851 goto ldst_done;
1852#endif
1853 case STORE_MULTI:
1854 if (regs->msr & MSR_LE)
1855 return 0;
1856 rd = op.reg;
1857 do {
1858 err = write_mem(regs->gpr[rd], op.ea, 4, regs);
1859 if (err)
1860 return 0;
1861 op.ea += 4;
1862 } while (++rd < 32);
1863 goto instr_done;
1864
1865 case MFMSR:
1866 regs->gpr[op.reg] = regs->msr & MSR_MASK;
1867 goto instr_done;
1868
1869 case MTMSR:
1870 val = regs->gpr[op.reg];
1871 if ((val & MSR_RI) == 0)
1872 /* can't step mtmsr[d] that would clear MSR_RI */
1873 return -1;
1874 /* here op.val is the mask of bits to change */
1875 regs->msr = (regs->msr & ~op.val) | (val & op.val);
1876 goto instr_done;
1877
1878#ifdef CONFIG_PPC64
1879 case SYSCALL: /* sc */
1880 /*
1881 * N.B. this uses knowledge about how the syscall
1882 * entry code works. If that is changed, this will
1883 * need to be changed also.
1884 */
1885 if (regs->gpr[0] == 0x1ebe &&
1886 cpu_has_feature(CPU_FTR_REAL_LE)) {
1887 regs->msr ^= MSR_LE;
1888 goto instr_done;
1889 }
1890 regs->gpr[9] = regs->gpr[13];
1891 regs->gpr[10] = MSR_KERNEL;
1892 regs->gpr[11] = regs->nip + 4;
1893 regs->gpr[12] = regs->msr & MSR_MASK;
1894 regs->gpr[13] = (unsigned long) get_paca();
1895 regs->nip = (unsigned long) &system_call_common;
1896 regs->msr = MSR_KERNEL;
1897 return 1;
1898
1899 case RFI:
1900 return -1;
1901#endif
1902 }
1903 return 0;
1904
1905 ldst_done:
1906 if (err)
1907 return 0;
1908 if (op.type & UPDATE)
1909 regs->gpr[op.update_reg] = op.ea;
1910
1911 instr_done:
1912 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
1913 return 1;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001914}