blob: 0e5e540c7778bb0d99a6c6a4389fa7c19888cab7 [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>
14#include <asm/sstep.h>
15#include <asm/processor.h>
Paul Mackerras0016a4c2010-06-15 14:48:58 +100016#include <asm/uaccess.h>
17#include <asm/cputable.h>
Paul Mackerras14cf11a2005-09-26 16:04:21 +100018
19extern char system_call_common[];
20
Paul Mackerrasc0325242005-10-28 22:48:08 +100021#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +100022/* Bits in SRR1 that are copied from MSR */
Stephen Rothwellaf308372006-03-23 17:38:10 +110023#define MSR_MASK 0xffffffff87c0ffffUL
Paul Mackerrasc0325242005-10-28 22:48:08 +100024#else
25#define MSR_MASK 0x87c0ffff
26#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +100027
Paul Mackerras0016a4c2010-06-15 14:48:58 +100028/* Bits in XER */
29#define XER_SO 0x80000000U
30#define XER_OV 0x40000000U
31#define XER_CA 0x20000000U
32
Sean MacLennancd64d162010-09-01 07:21:21 +000033#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +100034/*
35 * Functions in ldstfp.S
36 */
37extern int do_lfs(int rn, unsigned long ea);
38extern int do_lfd(int rn, unsigned long ea);
39extern int do_stfs(int rn, unsigned long ea);
40extern int do_stfd(int rn, unsigned long ea);
41extern int do_lvx(int rn, unsigned long ea);
42extern int do_stvx(int rn, unsigned long ea);
43extern int do_lxvd2x(int rn, unsigned long ea);
44extern int do_stxvd2x(int rn, unsigned long ea);
Sean MacLennancd64d162010-09-01 07:21:21 +000045#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +100046
Paul Mackerras14cf11a2005-09-26 16:04:21 +100047/*
Michael Ellermanb91e1362011-04-07 21:56:04 +000048 * Emulate the truncation of 64 bit values in 32-bit mode.
49 */
50static unsigned long truncate_if_32bit(unsigned long msr, unsigned long val)
51{
52#ifdef __powerpc64__
53 if ((msr & MSR_64BIT) == 0)
54 val &= 0xffffffffUL;
55#endif
56 return val;
57}
58
59/*
Paul Mackerras14cf11a2005-09-26 16:04:21 +100060 * Determine whether a conditional branch instruction would branch.
61 */
Gui,Jian0d69a052006-11-01 10:50:15 +080062static int __kprobes branch_taken(unsigned int instr, struct pt_regs *regs)
Paul Mackerras14cf11a2005-09-26 16:04:21 +100063{
64 unsigned int bo = (instr >> 21) & 0x1f;
65 unsigned int bi;
66
67 if ((bo & 4) == 0) {
68 /* decrement counter */
69 --regs->ctr;
70 if (((bo >> 1) & 1) ^ (regs->ctr == 0))
71 return 0;
72 }
73 if ((bo & 0x10) == 0) {
74 /* check bit from CR */
75 bi = (instr >> 16) & 0x1f;
76 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
77 return 0;
78 }
79 return 1;
80}
81
Paul Mackerras0016a4c2010-06-15 14:48:58 +100082
83static long __kprobes address_ok(struct pt_regs *regs, unsigned long ea, int nb)
84{
85 if (!user_mode(regs))
86 return 1;
87 return __access_ok(ea, nb, USER_DS);
88}
89
Paul Mackerras14cf11a2005-09-26 16:04:21 +100090/*
Paul Mackerras0016a4c2010-06-15 14:48:58 +100091 * Calculate effective address for a D-form instruction
92 */
93static unsigned long __kprobes dform_ea(unsigned int instr, struct pt_regs *regs)
94{
95 int ra;
96 unsigned long ea;
97
98 ra = (instr >> 16) & 0x1f;
99 ea = (signed short) instr; /* sign-extend */
100 if (ra) {
101 ea += regs->gpr[ra];
102 if (instr & 0x04000000) /* update forms */
103 regs->gpr[ra] = ea;
104 }
Michael Ellermanb91e1362011-04-07 21:56:04 +0000105
106 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000107}
108
109#ifdef __powerpc64__
110/*
111 * Calculate effective address for a DS-form instruction
112 */
113static unsigned long __kprobes dsform_ea(unsigned int instr, struct pt_regs *regs)
114{
115 int ra;
116 unsigned long ea;
117
118 ra = (instr >> 16) & 0x1f;
119 ea = (signed short) (instr & ~3); /* sign-extend */
120 if (ra) {
121 ea += regs->gpr[ra];
122 if ((instr & 3) == 1) /* update forms */
123 regs->gpr[ra] = ea;
124 }
Michael Ellermanb91e1362011-04-07 21:56:04 +0000125
126 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000127}
128#endif /* __powerpc64 */
129
130/*
131 * Calculate effective address for an X-form instruction
132 */
133static unsigned long __kprobes xform_ea(unsigned int instr, struct pt_regs *regs,
134 int do_update)
135{
136 int ra, rb;
137 unsigned long ea;
138
139 ra = (instr >> 16) & 0x1f;
140 rb = (instr >> 11) & 0x1f;
141 ea = regs->gpr[rb];
142 if (ra) {
143 ea += regs->gpr[ra];
144 if (do_update) /* update forms */
145 regs->gpr[ra] = ea;
146 }
Michael Ellermanb91e1362011-04-07 21:56:04 +0000147
148 return truncate_if_32bit(regs->msr, ea);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000149}
150
151/*
152 * Return the largest power of 2, not greater than sizeof(unsigned long),
153 * such that x is a multiple of it.
154 */
155static inline unsigned long max_align(unsigned long x)
156{
157 x |= sizeof(unsigned long);
158 return x & -x; /* isolates rightmost bit */
159}
160
161
162static inline unsigned long byterev_2(unsigned long x)
163{
164 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
165}
166
167static inline unsigned long byterev_4(unsigned long x)
168{
169 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
170 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
171}
172
173#ifdef __powerpc64__
174static inline unsigned long byterev_8(unsigned long x)
175{
176 return (byterev_4(x) << 32) | byterev_4(x >> 32);
177}
178#endif
179
180static int __kprobes read_mem_aligned(unsigned long *dest, unsigned long ea,
181 int nb)
182{
183 int err = 0;
184 unsigned long x = 0;
185
186 switch (nb) {
187 case 1:
188 err = __get_user(x, (unsigned char __user *) ea);
189 break;
190 case 2:
191 err = __get_user(x, (unsigned short __user *) ea);
192 break;
193 case 4:
194 err = __get_user(x, (unsigned int __user *) ea);
195 break;
196#ifdef __powerpc64__
197 case 8:
198 err = __get_user(x, (unsigned long __user *) ea);
199 break;
200#endif
201 }
202 if (!err)
203 *dest = x;
204 return err;
205}
206
207static int __kprobes read_mem_unaligned(unsigned long *dest, unsigned long ea,
208 int nb, struct pt_regs *regs)
209{
210 int err;
211 unsigned long x, b, c;
212
213 /* unaligned, do this in pieces */
214 x = 0;
215 for (; nb > 0; nb -= c) {
216 c = max_align(ea);
217 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 }
225 *dest = x;
226 return 0;
227}
228
229/*
230 * Read memory at address ea for nb bytes, return 0 for success
231 * or -EFAULT if an error occurred.
232 */
233static int __kprobes read_mem(unsigned long *dest, unsigned long ea, int nb,
234 struct pt_regs *regs)
235{
236 if (!address_ok(regs, ea, nb))
237 return -EFAULT;
238 if ((ea & (nb - 1)) == 0)
239 return read_mem_aligned(dest, ea, nb);
240 return read_mem_unaligned(dest, ea, nb, regs);
241}
242
243static int __kprobes write_mem_aligned(unsigned long val, unsigned long ea,
244 int nb)
245{
246 int err = 0;
247
248 switch (nb) {
249 case 1:
250 err = __put_user(val, (unsigned char __user *) ea);
251 break;
252 case 2:
253 err = __put_user(val, (unsigned short __user *) ea);
254 break;
255 case 4:
256 err = __put_user(val, (unsigned int __user *) ea);
257 break;
258#ifdef __powerpc64__
259 case 8:
260 err = __put_user(val, (unsigned long __user *) ea);
261 break;
262#endif
263 }
264 return err;
265}
266
267static int __kprobes write_mem_unaligned(unsigned long val, unsigned long ea,
268 int nb, struct pt_regs *regs)
269{
270 int err;
271 unsigned long c;
272
273 /* unaligned or little-endian, do this in pieces */
274 for (; nb > 0; nb -= c) {
275 c = max_align(ea);
276 if (c > nb)
277 c = max_align(nb);
278 err = write_mem_aligned(val >> (nb - c) * 8, ea, c);
279 if (err)
280 return err;
281 ++ea;
282 }
283 return 0;
284}
285
286/*
287 * Write memory at address ea for nb bytes, return 0 for success
288 * or -EFAULT if an error occurred.
289 */
290static int __kprobes write_mem(unsigned long val, unsigned long ea, int nb,
291 struct pt_regs *regs)
292{
293 if (!address_ok(regs, ea, nb))
294 return -EFAULT;
295 if ((ea & (nb - 1)) == 0)
296 return write_mem_aligned(val, ea, nb);
297 return write_mem_unaligned(val, ea, nb, regs);
298}
299
Sean MacLennancd64d162010-09-01 07:21:21 +0000300#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000301/*
302 * Check the address and alignment, and call func to do the actual
303 * load or store.
304 */
305static int __kprobes do_fp_load(int rn, int (*func)(int, unsigned long),
306 unsigned long ea, int nb,
307 struct pt_regs *regs)
308{
309 int err;
310 unsigned long val[sizeof(double) / sizeof(long)];
311 unsigned long ptr;
312
313 if (!address_ok(regs, ea, nb))
314 return -EFAULT;
315 if ((ea & 3) == 0)
316 return (*func)(rn, ea);
317 ptr = (unsigned long) &val[0];
318 if (sizeof(unsigned long) == 8 || nb == 4) {
319 err = read_mem_unaligned(&val[0], ea, nb, regs);
320 ptr += sizeof(unsigned long) - nb;
321 } else {
322 /* reading a double on 32-bit */
323 err = read_mem_unaligned(&val[0], ea, 4, regs);
324 if (!err)
325 err = read_mem_unaligned(&val[1], ea + 4, 4, regs);
326 }
327 if (err)
328 return err;
329 return (*func)(rn, ptr);
330}
331
332static int __kprobes do_fp_store(int rn, int (*func)(int, unsigned long),
333 unsigned long ea, int nb,
334 struct pt_regs *regs)
335{
336 int err;
337 unsigned long val[sizeof(double) / sizeof(long)];
338 unsigned long ptr;
339
340 if (!address_ok(regs, ea, nb))
341 return -EFAULT;
342 if ((ea & 3) == 0)
343 return (*func)(rn, ea);
344 ptr = (unsigned long) &val[0];
345 if (sizeof(unsigned long) == 8 || nb == 4) {
346 ptr += sizeof(unsigned long) - nb;
347 err = (*func)(rn, ptr);
348 if (err)
349 return err;
350 err = write_mem_unaligned(val[0], ea, nb, regs);
351 } else {
352 /* writing a double on 32-bit */
353 err = (*func)(rn, ptr);
354 if (err)
355 return err;
356 err = write_mem_unaligned(val[0], ea, 4, regs);
357 if (!err)
358 err = write_mem_unaligned(val[1], ea + 4, 4, regs);
359 }
360 return err;
361}
Sean MacLennancd64d162010-09-01 07:21:21 +0000362#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000363
364#ifdef CONFIG_ALTIVEC
365/* For Altivec/VMX, no need to worry about alignment */
366static int __kprobes do_vec_load(int rn, int (*func)(int, unsigned long),
367 unsigned long ea, struct pt_regs *regs)
368{
369 if (!address_ok(regs, ea & ~0xfUL, 16))
370 return -EFAULT;
371 return (*func)(rn, ea);
372}
373
374static int __kprobes do_vec_store(int rn, int (*func)(int, unsigned long),
375 unsigned long ea, struct pt_regs *regs)
376{
377 if (!address_ok(regs, ea & ~0xfUL, 16))
378 return -EFAULT;
379 return (*func)(rn, ea);
380}
381#endif /* CONFIG_ALTIVEC */
382
383#ifdef CONFIG_VSX
384static int __kprobes do_vsx_load(int rn, int (*func)(int, unsigned long),
385 unsigned long ea, struct pt_regs *regs)
386{
387 int err;
388 unsigned long val[2];
389
390 if (!address_ok(regs, ea, 16))
391 return -EFAULT;
392 if ((ea & 3) == 0)
393 return (*func)(rn, ea);
394 err = read_mem_unaligned(&val[0], ea, 8, regs);
395 if (!err)
396 err = read_mem_unaligned(&val[1], ea + 8, 8, regs);
397 if (!err)
398 err = (*func)(rn, (unsigned long) &val[0]);
399 return err;
400}
401
402static int __kprobes do_vsx_store(int rn, int (*func)(int, unsigned long),
403 unsigned long ea, struct pt_regs *regs)
404{
405 int err;
406 unsigned long val[2];
407
408 if (!address_ok(regs, ea, 16))
409 return -EFAULT;
410 if ((ea & 3) == 0)
411 return (*func)(rn, ea);
412 err = (*func)(rn, (unsigned long) &val[0]);
413 if (err)
414 return err;
415 err = write_mem_unaligned(val[0], ea, 8, regs);
416 if (!err)
417 err = write_mem_unaligned(val[1], ea + 8, 8, regs);
418 return err;
419}
420#endif /* CONFIG_VSX */
421
422#define __put_user_asmx(x, addr, err, op, cr) \
423 __asm__ __volatile__( \
424 "1: " op " %2,0,%3\n" \
425 " mfcr %1\n" \
426 "2:\n" \
427 ".section .fixup,\"ax\"\n" \
428 "3: li %0,%4\n" \
429 " b 2b\n" \
430 ".previous\n" \
431 ".section __ex_table,\"a\"\n" \
432 PPC_LONG_ALIGN "\n" \
433 PPC_LONG "1b,3b\n" \
434 ".previous" \
435 : "=r" (err), "=r" (cr) \
436 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
437
438#define __get_user_asmx(x, addr, err, op) \
439 __asm__ __volatile__( \
440 "1: "op" %1,0,%2\n" \
441 "2:\n" \
442 ".section .fixup,\"ax\"\n" \
443 "3: li %0,%3\n" \
444 " b 2b\n" \
445 ".previous\n" \
446 ".section __ex_table,\"a\"\n" \
447 PPC_LONG_ALIGN "\n" \
448 PPC_LONG "1b,3b\n" \
449 ".previous" \
450 : "=r" (err), "=r" (x) \
451 : "r" (addr), "i" (-EFAULT), "0" (err))
452
453#define __cacheop_user_asmx(addr, err, op) \
454 __asm__ __volatile__( \
455 "1: "op" 0,%1\n" \
456 "2:\n" \
457 ".section .fixup,\"ax\"\n" \
458 "3: li %0,%3\n" \
459 " b 2b\n" \
460 ".previous\n" \
461 ".section __ex_table,\"a\"\n" \
462 PPC_LONG_ALIGN "\n" \
463 PPC_LONG "1b,3b\n" \
464 ".previous" \
465 : "=r" (err) \
466 : "r" (addr), "i" (-EFAULT), "0" (err))
467
468static void __kprobes set_cr0(struct pt_regs *regs, int rd)
469{
470 long val = regs->gpr[rd];
471
472 regs->ccr = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
473#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000474 if (!(regs->msr & MSR_64BIT))
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000475 val = (int) val;
476#endif
477 if (val < 0)
478 regs->ccr |= 0x80000000;
479 else if (val > 0)
480 regs->ccr |= 0x40000000;
481 else
482 regs->ccr |= 0x20000000;
483}
484
485static void __kprobes add_with_carry(struct pt_regs *regs, int rd,
486 unsigned long val1, unsigned long val2,
487 unsigned long carry_in)
488{
489 unsigned long val = val1 + val2;
490
491 if (carry_in)
492 ++val;
493 regs->gpr[rd] = val;
494#ifdef __powerpc64__
Michael Ellermanb91e1362011-04-07 21:56:04 +0000495 if (!(regs->msr & MSR_64BIT)) {
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000496 val = (unsigned int) val;
497 val1 = (unsigned int) val1;
498 }
499#endif
500 if (val < val1 || (carry_in && val == val1))
501 regs->xer |= XER_CA;
502 else
503 regs->xer &= ~XER_CA;
504}
505
506static void __kprobes do_cmp_signed(struct pt_regs *regs, long v1, long v2,
507 int crfld)
508{
509 unsigned int crval, shift;
510
511 crval = (regs->xer >> 31) & 1; /* get SO bit */
512 if (v1 < v2)
513 crval |= 8;
514 else if (v1 > v2)
515 crval |= 4;
516 else
517 crval |= 2;
518 shift = (7 - crfld) * 4;
519 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
520}
521
522static void __kprobes do_cmp_unsigned(struct pt_regs *regs, unsigned long v1,
523 unsigned long v2, int crfld)
524{
525 unsigned int crval, shift;
526
527 crval = (regs->xer >> 31) & 1; /* get SO bit */
528 if (v1 < v2)
529 crval |= 8;
530 else if (v1 > v2)
531 crval |= 4;
532 else
533 crval |= 2;
534 shift = (7 - crfld) * 4;
535 regs->ccr = (regs->ccr & ~(0xf << shift)) | (crval << shift);
536}
537
538/*
539 * Elements of 32-bit rotate and mask instructions.
540 */
541#define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
542 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
543#ifdef __powerpc64__
544#define MASK64_L(mb) (~0UL >> (mb))
545#define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
546#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
547#define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
548#else
549#define DATA32(x) (x)
550#endif
551#define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
552
553/*
554 * Emulate instructions that cause a transfer of control,
555 * loads and stores, and a few other instructions.
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000556 * Returns 1 if the step was emulated, 0 if not,
557 * or -1 if the instruction is one that should not be stepped,
558 * such as an rfid, or a mtmsrd that would clear MSR_RI.
559 */
Gui,Jian0d69a052006-11-01 10:50:15 +0800560int __kprobes emulate_step(struct pt_regs *regs, unsigned int instr)
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000561{
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000562 unsigned int opcode, ra, rb, rd, spr, u;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000563 unsigned long int imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000564 unsigned long int val, val2;
565 unsigned long int ea;
566 unsigned int cr, mb, me, sh;
567 int err;
568 unsigned long old_ra;
569 long ival;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000570
571 opcode = instr >> 26;
572 switch (opcode) {
573 case 16: /* bc */
574 imm = (signed short)(instr & 0xfffc);
575 if ((instr & 2) == 0)
576 imm += regs->nip;
577 regs->nip += 4;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000578 regs->nip = truncate_if_32bit(regs->msr, regs->nip);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000579 if (instr & 1)
580 regs->link = regs->nip;
581 if (branch_taken(instr, regs))
582 regs->nip = imm;
583 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000584#ifdef CONFIG_PPC64
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000585 case 17: /* sc */
586 /*
587 * N.B. this uses knowledge about how the syscall
588 * entry code works. If that is changed, this will
589 * need to be changed also.
590 */
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000591 if (regs->gpr[0] == 0x1ebe &&
592 cpu_has_feature(CPU_FTR_REAL_LE)) {
593 regs->msr ^= MSR_LE;
594 goto instr_done;
595 }
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000596 regs->gpr[9] = regs->gpr[13];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000597 regs->gpr[10] = MSR_KERNEL;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000598 regs->gpr[11] = regs->nip + 4;
599 regs->gpr[12] = regs->msr & MSR_MASK;
600 regs->gpr[13] = (unsigned long) get_paca();
601 regs->nip = (unsigned long) &system_call_common;
602 regs->msr = MSR_KERNEL;
603 return 1;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000604#endif
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000605 case 18: /* b */
606 imm = instr & 0x03fffffc;
607 if (imm & 0x02000000)
608 imm -= 0x04000000;
609 if ((instr & 2) == 0)
610 imm += regs->nip;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000611 if (instr & 1)
612 regs->link = truncate_if_32bit(regs->msr, regs->nip + 4);
613 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000614 regs->nip = imm;
615 return 1;
616 case 19:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000617 switch ((instr >> 1) & 0x3ff) {
618 case 16: /* bclr */
619 case 528: /* bcctr */
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000620 imm = (instr & 0x400)? regs->ctr: regs->link;
Michael Ellermanb91e1362011-04-07 21:56:04 +0000621 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
622 imm = truncate_if_32bit(regs->msr, imm);
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000623 if (instr & 1)
624 regs->link = regs->nip;
625 if (branch_taken(instr, regs))
626 regs->nip = imm;
627 return 1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000628
629 case 18: /* rfid, scary */
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000630 return -1;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000631
632 case 150: /* isync */
633 isync();
634 goto instr_done;
635
636 case 33: /* crnor */
637 case 129: /* crandc */
638 case 193: /* crxor */
639 case 225: /* crnand */
640 case 257: /* crand */
641 case 289: /* creqv */
642 case 417: /* crorc */
643 case 449: /* cror */
644 ra = (instr >> 16) & 0x1f;
645 rb = (instr >> 11) & 0x1f;
646 rd = (instr >> 21) & 0x1f;
647 ra = (regs->ccr >> (31 - ra)) & 1;
648 rb = (regs->ccr >> (31 - rb)) & 1;
649 val = (instr >> (6 + ra * 2 + rb)) & 1;
650 regs->ccr = (regs->ccr & ~(1UL << (31 - rd))) |
651 (val << (31 - rd));
652 goto instr_done;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000653 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000654 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000655 case 31:
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000656 switch ((instr >> 1) & 0x3ff) {
657 case 598: /* sync */
658#ifdef __powerpc64__
659 switch ((instr >> 21) & 3) {
660 case 1: /* lwsync */
661 asm volatile("lwsync" : : : "memory");
662 goto instr_done;
663 case 2: /* ptesync */
664 asm volatile("ptesync" : : : "memory");
665 goto instr_done;
666 }
667#endif
668 mb();
669 goto instr_done;
670
671 case 854: /* eieio */
672 eieio();
673 goto instr_done;
674 }
675 break;
676 }
677
678 /* Following cases refer to regs->gpr[], so we need all regs */
679 if (!FULL_REGS(regs))
680 return 0;
681
682 rd = (instr >> 21) & 0x1f;
683 ra = (instr >> 16) & 0x1f;
684 rb = (instr >> 11) & 0x1f;
685
686 switch (opcode) {
687 case 7: /* mulli */
688 regs->gpr[rd] = regs->gpr[ra] * (short) instr;
689 goto instr_done;
690
691 case 8: /* subfic */
692 imm = (short) instr;
693 add_with_carry(regs, rd, ~regs->gpr[ra], imm, 1);
694 goto instr_done;
695
696 case 10: /* cmpli */
697 imm = (unsigned short) instr;
698 val = regs->gpr[ra];
699#ifdef __powerpc64__
700 if ((rd & 1) == 0)
701 val = (unsigned int) val;
702#endif
703 do_cmp_unsigned(regs, val, imm, rd >> 2);
704 goto instr_done;
705
706 case 11: /* cmpi */
707 imm = (short) instr;
708 val = regs->gpr[ra];
709#ifdef __powerpc64__
710 if ((rd & 1) == 0)
711 val = (int) val;
712#endif
713 do_cmp_signed(regs, val, imm, rd >> 2);
714 goto instr_done;
715
716 case 12: /* addic */
717 imm = (short) instr;
718 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
719 goto instr_done;
720
721 case 13: /* addic. */
722 imm = (short) instr;
723 add_with_carry(regs, rd, regs->gpr[ra], imm, 0);
724 set_cr0(regs, rd);
725 goto instr_done;
726
727 case 14: /* addi */
728 imm = (short) instr;
729 if (ra)
730 imm += regs->gpr[ra];
731 regs->gpr[rd] = imm;
732 goto instr_done;
733
734 case 15: /* addis */
735 imm = ((short) instr) << 16;
736 if (ra)
737 imm += regs->gpr[ra];
738 regs->gpr[rd] = imm;
739 goto instr_done;
740
741 case 20: /* rlwimi */
742 mb = (instr >> 6) & 0x1f;
743 me = (instr >> 1) & 0x1f;
744 val = DATA32(regs->gpr[rd]);
745 imm = MASK32(mb, me);
746 regs->gpr[ra] = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
747 goto logical_done;
748
749 case 21: /* rlwinm */
750 mb = (instr >> 6) & 0x1f;
751 me = (instr >> 1) & 0x1f;
752 val = DATA32(regs->gpr[rd]);
753 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
754 goto logical_done;
755
756 case 23: /* rlwnm */
757 mb = (instr >> 6) & 0x1f;
758 me = (instr >> 1) & 0x1f;
759 rb = regs->gpr[rb] & 0x1f;
760 val = DATA32(regs->gpr[rd]);
761 regs->gpr[ra] = ROTATE(val, rb) & MASK32(mb, me);
762 goto logical_done;
763
764 case 24: /* ori */
765 imm = (unsigned short) instr;
766 regs->gpr[ra] = regs->gpr[rd] | imm;
767 goto instr_done;
768
769 case 25: /* oris */
770 imm = (unsigned short) instr;
771 regs->gpr[ra] = regs->gpr[rd] | (imm << 16);
772 goto instr_done;
773
774 case 26: /* xori */
775 imm = (unsigned short) instr;
776 regs->gpr[ra] = regs->gpr[rd] ^ imm;
777 goto instr_done;
778
779 case 27: /* xoris */
780 imm = (unsigned short) instr;
781 regs->gpr[ra] = regs->gpr[rd] ^ (imm << 16);
782 goto instr_done;
783
784 case 28: /* andi. */
785 imm = (unsigned short) instr;
786 regs->gpr[ra] = regs->gpr[rd] & imm;
787 set_cr0(regs, ra);
788 goto instr_done;
789
790 case 29: /* andis. */
791 imm = (unsigned short) instr;
792 regs->gpr[ra] = regs->gpr[rd] & (imm << 16);
793 set_cr0(regs, ra);
794 goto instr_done;
795
796#ifdef __powerpc64__
797 case 30: /* rld* */
798 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
799 val = regs->gpr[rd];
800 if ((instr & 0x10) == 0) {
801 sh = rb | ((instr & 2) << 4);
802 val = ROTATE(val, sh);
803 switch ((instr >> 2) & 3) {
804 case 0: /* rldicl */
805 regs->gpr[ra] = val & MASK64_L(mb);
806 goto logical_done;
807 case 1: /* rldicr */
808 regs->gpr[ra] = val & MASK64_R(mb);
809 goto logical_done;
810 case 2: /* rldic */
811 regs->gpr[ra] = val & MASK64(mb, 63 - sh);
812 goto logical_done;
813 case 3: /* rldimi */
814 imm = MASK64(mb, 63 - sh);
815 regs->gpr[ra] = (regs->gpr[ra] & ~imm) |
816 (val & imm);
817 goto logical_done;
818 }
819 } else {
820 sh = regs->gpr[rb] & 0x3f;
821 val = ROTATE(val, sh);
822 switch ((instr >> 1) & 7) {
823 case 0: /* rldcl */
824 regs->gpr[ra] = val & MASK64_L(mb);
825 goto logical_done;
826 case 1: /* rldcr */
827 regs->gpr[ra] = val & MASK64_R(mb);
828 goto logical_done;
829 }
830 }
831#endif
832
833 case 31:
834 switch ((instr >> 1) & 0x3ff) {
835 case 83: /* mfmsr */
836 if (regs->msr & MSR_PR)
837 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000838 regs->gpr[rd] = regs->msr & MSR_MASK;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000839 goto instr_done;
840 case 146: /* mtmsr */
841 if (regs->msr & MSR_PR)
842 break;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000843 imm = regs->gpr[rd];
844 if ((imm & MSR_RI) == 0)
845 /* can't step mtmsr that would clear MSR_RI */
846 return -1;
847 regs->msr = imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000848 goto instr_done;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000849#ifdef CONFIG_PPC64
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000850 case 178: /* mtmsrd */
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000851 /* only MSR_EE and MSR_RI get changed if bit 15 set */
852 /* mtmsrd doesn't change MSR_HV and MSR_ME */
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000853 if (regs->msr & MSR_PR)
854 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +1000855 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffefffUL;
856 imm = (regs->msr & MSR_MASK & ~imm)
857 | (regs->gpr[rd] & imm);
858 if ((imm & MSR_RI) == 0)
859 /* can't step mtmsrd that would clear MSR_RI */
860 return -1;
861 regs->msr = imm;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000862 goto instr_done;
Paul Mackerrasc0325242005-10-28 22:48:08 +1000863#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000864 case 19: /* mfcr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000865 regs->gpr[rd] = regs->ccr;
866 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000867 goto instr_done;
868
869 case 144: /* mtcrf */
870 imm = 0xf0000000UL;
871 val = regs->gpr[rd];
872 for (sh = 0; sh < 8; ++sh) {
873 if (instr & (0x80000 >> sh))
874 regs->ccr = (regs->ccr & ~imm) |
875 (val & imm);
876 imm >>= 4;
877 }
878 goto instr_done;
879
880 case 339: /* mfspr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000881 spr = (instr >> 11) & 0x3ff;
882 switch (spr) {
883 case 0x20: /* mfxer */
884 regs->gpr[rd] = regs->xer;
885 regs->gpr[rd] &= 0xffffffffUL;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000886 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000887 case 0x100: /* mflr */
888 regs->gpr[rd] = regs->link;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000889 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000890 case 0x120: /* mfctr */
891 regs->gpr[rd] = regs->ctr;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000892 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000893 }
894 break;
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000895
896 case 467: /* mtspr */
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000897 spr = (instr >> 11) & 0x3ff;
898 switch (spr) {
899 case 0x20: /* mtxer */
900 regs->xer = (regs->gpr[rd] & 0xffffffffUL);
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000901 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000902 case 0x100: /* mtlr */
903 regs->link = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000904 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000905 case 0x120: /* mtctr */
906 regs->ctr = regs->gpr[rd];
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000907 goto instr_done;
Ananth N Mavinakayanahalli68881992007-04-18 15:56:38 +1000908 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +1000909 break;
910
911/*
912 * Compare instructions
913 */
914 case 0: /* cmp */
915 val = regs->gpr[ra];
916 val2 = regs->gpr[rb];
917#ifdef __powerpc64__
918 if ((rd & 1) == 0) {
919 /* word (32-bit) compare */
920 val = (int) val;
921 val2 = (int) val2;
922 }
923#endif
924 do_cmp_signed(regs, val, val2, rd >> 2);
925 goto instr_done;
926
927 case 32: /* cmpl */
928 val = regs->gpr[ra];
929 val2 = regs->gpr[rb];
930#ifdef __powerpc64__
931 if ((rd & 1) == 0) {
932 /* word (32-bit) compare */
933 val = (unsigned int) val;
934 val2 = (unsigned int) val2;
935 }
936#endif
937 do_cmp_unsigned(regs, val, val2, rd >> 2);
938 goto instr_done;
939
940/*
941 * Arithmetic instructions
942 */
943 case 8: /* subfc */
944 add_with_carry(regs, rd, ~regs->gpr[ra],
945 regs->gpr[rb], 1);
946 goto arith_done;
947#ifdef __powerpc64__
948 case 9: /* mulhdu */
949 asm("mulhdu %0,%1,%2" : "=r" (regs->gpr[rd]) :
950 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
951 goto arith_done;
952#endif
953 case 10: /* addc */
954 add_with_carry(regs, rd, regs->gpr[ra],
955 regs->gpr[rb], 0);
956 goto arith_done;
957
958 case 11: /* mulhwu */
959 asm("mulhwu %0,%1,%2" : "=r" (regs->gpr[rd]) :
960 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
961 goto arith_done;
962
963 case 40: /* subf */
964 regs->gpr[rd] = regs->gpr[rb] - regs->gpr[ra];
965 goto arith_done;
966#ifdef __powerpc64__
967 case 73: /* mulhd */
968 asm("mulhd %0,%1,%2" : "=r" (regs->gpr[rd]) :
969 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
970 goto arith_done;
971#endif
972 case 75: /* mulhw */
973 asm("mulhw %0,%1,%2" : "=r" (regs->gpr[rd]) :
974 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
975 goto arith_done;
976
977 case 104: /* neg */
978 regs->gpr[rd] = -regs->gpr[ra];
979 goto arith_done;
980
981 case 136: /* subfe */
982 add_with_carry(regs, rd, ~regs->gpr[ra], regs->gpr[rb],
983 regs->xer & XER_CA);
984 goto arith_done;
985
986 case 138: /* adde */
987 add_with_carry(regs, rd, regs->gpr[ra], regs->gpr[rb],
988 regs->xer & XER_CA);
989 goto arith_done;
990
991 case 200: /* subfze */
992 add_with_carry(regs, rd, ~regs->gpr[ra], 0L,
993 regs->xer & XER_CA);
994 goto arith_done;
995
996 case 202: /* addze */
997 add_with_carry(regs, rd, regs->gpr[ra], 0L,
998 regs->xer & XER_CA);
999 goto arith_done;
1000
1001 case 232: /* subfme */
1002 add_with_carry(regs, rd, ~regs->gpr[ra], -1L,
1003 regs->xer & XER_CA);
1004 goto arith_done;
1005#ifdef __powerpc64__
1006 case 233: /* mulld */
1007 regs->gpr[rd] = regs->gpr[ra] * regs->gpr[rb];
1008 goto arith_done;
1009#endif
1010 case 234: /* addme */
1011 add_with_carry(regs, rd, regs->gpr[ra], -1L,
1012 regs->xer & XER_CA);
1013 goto arith_done;
1014
1015 case 235: /* mullw */
1016 regs->gpr[rd] = (unsigned int) regs->gpr[ra] *
1017 (unsigned int) regs->gpr[rb];
1018 goto arith_done;
1019
1020 case 266: /* add */
1021 regs->gpr[rd] = regs->gpr[ra] + regs->gpr[rb];
1022 goto arith_done;
1023#ifdef __powerpc64__
1024 case 457: /* divdu */
1025 regs->gpr[rd] = regs->gpr[ra] / regs->gpr[rb];
1026 goto arith_done;
1027#endif
1028 case 459: /* divwu */
1029 regs->gpr[rd] = (unsigned int) regs->gpr[ra] /
1030 (unsigned int) regs->gpr[rb];
1031 goto arith_done;
1032#ifdef __powerpc64__
1033 case 489: /* divd */
1034 regs->gpr[rd] = (long int) regs->gpr[ra] /
1035 (long int) regs->gpr[rb];
1036 goto arith_done;
1037#endif
1038 case 491: /* divw */
1039 regs->gpr[rd] = (int) regs->gpr[ra] /
1040 (int) regs->gpr[rb];
1041 goto arith_done;
1042
1043
1044/*
1045 * Logical instructions
1046 */
1047 case 26: /* cntlzw */
1048 asm("cntlzw %0,%1" : "=r" (regs->gpr[ra]) :
1049 "r" (regs->gpr[rd]));
1050 goto logical_done;
1051#ifdef __powerpc64__
1052 case 58: /* cntlzd */
1053 asm("cntlzd %0,%1" : "=r" (regs->gpr[ra]) :
1054 "r" (regs->gpr[rd]));
1055 goto logical_done;
1056#endif
1057 case 28: /* and */
1058 regs->gpr[ra] = regs->gpr[rd] & regs->gpr[rb];
1059 goto logical_done;
1060
1061 case 60: /* andc */
1062 regs->gpr[ra] = regs->gpr[rd] & ~regs->gpr[rb];
1063 goto logical_done;
1064
1065 case 124: /* nor */
1066 regs->gpr[ra] = ~(regs->gpr[rd] | regs->gpr[rb]);
1067 goto logical_done;
1068
1069 case 284: /* xor */
1070 regs->gpr[ra] = ~(regs->gpr[rd] ^ regs->gpr[rb]);
1071 goto logical_done;
1072
1073 case 316: /* xor */
1074 regs->gpr[ra] = regs->gpr[rd] ^ regs->gpr[rb];
1075 goto logical_done;
1076
1077 case 412: /* orc */
1078 regs->gpr[ra] = regs->gpr[rd] | ~regs->gpr[rb];
1079 goto logical_done;
1080
1081 case 444: /* or */
1082 regs->gpr[ra] = regs->gpr[rd] | regs->gpr[rb];
1083 goto logical_done;
1084
1085 case 476: /* nand */
1086 regs->gpr[ra] = ~(regs->gpr[rd] & regs->gpr[rb]);
1087 goto logical_done;
1088
1089 case 922: /* extsh */
1090 regs->gpr[ra] = (signed short) regs->gpr[rd];
1091 goto logical_done;
1092
1093 case 954: /* extsb */
1094 regs->gpr[ra] = (signed char) regs->gpr[rd];
1095 goto logical_done;
1096#ifdef __powerpc64__
1097 case 986: /* extsw */
1098 regs->gpr[ra] = (signed int) regs->gpr[rd];
1099 goto logical_done;
1100#endif
1101
1102/*
1103 * Shift instructions
1104 */
1105 case 24: /* slw */
1106 sh = regs->gpr[rb] & 0x3f;
1107 if (sh < 32)
1108 regs->gpr[ra] = (regs->gpr[rd] << sh) & 0xffffffffUL;
1109 else
1110 regs->gpr[ra] = 0;
1111 goto logical_done;
1112
1113 case 536: /* srw */
1114 sh = regs->gpr[rb] & 0x3f;
1115 if (sh < 32)
1116 regs->gpr[ra] = (regs->gpr[rd] & 0xffffffffUL) >> sh;
1117 else
1118 regs->gpr[ra] = 0;
1119 goto logical_done;
1120
1121 case 792: /* sraw */
1122 sh = regs->gpr[rb] & 0x3f;
1123 ival = (signed int) regs->gpr[rd];
1124 regs->gpr[ra] = ival >> (sh < 32 ? sh : 31);
1125 if (ival < 0 && (sh >= 32 || (ival & ((1 << sh) - 1)) != 0))
1126 regs->xer |= XER_CA;
1127 else
1128 regs->xer &= ~XER_CA;
1129 goto logical_done;
1130
1131 case 824: /* srawi */
1132 sh = rb;
1133 ival = (signed int) regs->gpr[rd];
1134 regs->gpr[ra] = ival >> sh;
1135 if (ival < 0 && (ival & ((1 << sh) - 1)) != 0)
1136 regs->xer |= XER_CA;
1137 else
1138 regs->xer &= ~XER_CA;
1139 goto logical_done;
1140
1141#ifdef __powerpc64__
1142 case 27: /* sld */
1143 sh = regs->gpr[rd] & 0x7f;
1144 if (sh < 64)
1145 regs->gpr[ra] = regs->gpr[rd] << sh;
1146 else
1147 regs->gpr[ra] = 0;
1148 goto logical_done;
1149
1150 case 539: /* srd */
1151 sh = regs->gpr[rb] & 0x7f;
1152 if (sh < 64)
1153 regs->gpr[ra] = regs->gpr[rd] >> sh;
1154 else
1155 regs->gpr[ra] = 0;
1156 goto logical_done;
1157
1158 case 794: /* srad */
1159 sh = regs->gpr[rb] & 0x7f;
1160 ival = (signed long int) regs->gpr[rd];
1161 regs->gpr[ra] = ival >> (sh < 64 ? sh : 63);
1162 if (ival < 0 && (sh >= 64 || (ival & ((1 << sh) - 1)) != 0))
1163 regs->xer |= XER_CA;
1164 else
1165 regs->xer &= ~XER_CA;
1166 goto logical_done;
1167
1168 case 826: /* sradi with sh_5 = 0 */
1169 case 827: /* sradi with sh_5 = 1 */
1170 sh = rb | ((instr & 2) << 4);
1171 ival = (signed long int) regs->gpr[rd];
1172 regs->gpr[ra] = ival >> sh;
1173 if (ival < 0 && (ival & ((1 << sh) - 1)) != 0)
1174 regs->xer |= XER_CA;
1175 else
1176 regs->xer &= ~XER_CA;
1177 goto logical_done;
1178#endif /* __powerpc64__ */
1179
1180/*
1181 * Cache instructions
1182 */
1183 case 54: /* dcbst */
1184 ea = xform_ea(instr, regs, 0);
1185 if (!address_ok(regs, ea, 8))
1186 return 0;
1187 err = 0;
1188 __cacheop_user_asmx(ea, err, "dcbst");
1189 if (err)
1190 return 0;
1191 goto instr_done;
1192
1193 case 86: /* dcbf */
1194 ea = xform_ea(instr, regs, 0);
1195 if (!address_ok(regs, ea, 8))
1196 return 0;
1197 err = 0;
1198 __cacheop_user_asmx(ea, err, "dcbf");
1199 if (err)
1200 return 0;
1201 goto instr_done;
1202
1203 case 246: /* dcbtst */
1204 if (rd == 0) {
1205 ea = xform_ea(instr, regs, 0);
1206 prefetchw((void *) ea);
1207 }
1208 goto instr_done;
1209
1210 case 278: /* dcbt */
1211 if (rd == 0) {
1212 ea = xform_ea(instr, regs, 0);
1213 prefetch((void *) ea);
1214 }
1215 goto instr_done;
1216
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001217 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001218 break;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001219 }
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001220
1221 /*
1222 * Following cases are for loads and stores, so bail out
1223 * if we're in little-endian mode.
1224 */
1225 if (regs->msr & MSR_LE)
1226 return 0;
1227
1228 /*
1229 * Save register RA in case it's an update form load or store
1230 * and the access faults.
1231 */
1232 old_ra = regs->gpr[ra];
1233
1234 switch (opcode) {
1235 case 31:
1236 u = instr & 0x40;
1237 switch ((instr >> 1) & 0x3ff) {
1238 case 20: /* lwarx */
1239 ea = xform_ea(instr, regs, 0);
1240 if (ea & 3)
1241 break; /* can't handle misaligned */
1242 err = -EFAULT;
1243 if (!address_ok(regs, ea, 4))
1244 goto ldst_done;
1245 err = 0;
1246 __get_user_asmx(val, ea, err, "lwarx");
1247 if (!err)
1248 regs->gpr[rd] = val;
1249 goto ldst_done;
1250
1251 case 150: /* stwcx. */
1252 ea = xform_ea(instr, regs, 0);
1253 if (ea & 3)
1254 break; /* can't handle misaligned */
1255 err = -EFAULT;
1256 if (!address_ok(regs, ea, 4))
1257 goto ldst_done;
1258 err = 0;
1259 __put_user_asmx(regs->gpr[rd], ea, err, "stwcx.", cr);
1260 if (!err)
1261 regs->ccr = (regs->ccr & 0x0fffffff) |
1262 (cr & 0xe0000000) |
1263 ((regs->xer >> 3) & 0x10000000);
1264 goto ldst_done;
1265
1266#ifdef __powerpc64__
1267 case 84: /* ldarx */
1268 ea = xform_ea(instr, regs, 0);
1269 if (ea & 7)
1270 break; /* can't handle misaligned */
1271 err = -EFAULT;
1272 if (!address_ok(regs, ea, 8))
1273 goto ldst_done;
1274 err = 0;
1275 __get_user_asmx(val, ea, err, "ldarx");
1276 if (!err)
1277 regs->gpr[rd] = val;
1278 goto ldst_done;
1279
1280 case 214: /* stdcx. */
1281 ea = xform_ea(instr, regs, 0);
1282 if (ea & 7)
1283 break; /* can't handle misaligned */
1284 err = -EFAULT;
1285 if (!address_ok(regs, ea, 8))
1286 goto ldst_done;
1287 err = 0;
1288 __put_user_asmx(regs->gpr[rd], ea, err, "stdcx.", cr);
1289 if (!err)
1290 regs->ccr = (regs->ccr & 0x0fffffff) |
1291 (cr & 0xe0000000) |
1292 ((regs->xer >> 3) & 0x10000000);
1293 goto ldst_done;
1294
1295 case 21: /* ldx */
1296 case 53: /* ldux */
1297 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1298 8, regs);
1299 goto ldst_done;
1300#endif
1301
1302 case 23: /* lwzx */
1303 case 55: /* lwzux */
1304 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1305 4, regs);
1306 goto ldst_done;
1307
1308 case 87: /* lbzx */
1309 case 119: /* lbzux */
1310 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1311 1, regs);
1312 goto ldst_done;
1313
1314#ifdef CONFIG_ALTIVEC
1315 case 103: /* lvx */
1316 case 359: /* lvxl */
1317 if (!(regs->msr & MSR_VEC))
1318 break;
1319 ea = xform_ea(instr, regs, 0);
1320 err = do_vec_load(rd, do_lvx, ea, regs);
1321 goto ldst_done;
1322
1323 case 231: /* stvx */
1324 case 487: /* stvxl */
1325 if (!(regs->msr & MSR_VEC))
1326 break;
1327 ea = xform_ea(instr, regs, 0);
1328 err = do_vec_store(rd, do_stvx, ea, regs);
1329 goto ldst_done;
1330#endif /* CONFIG_ALTIVEC */
1331
1332#ifdef __powerpc64__
1333 case 149: /* stdx */
1334 case 181: /* stdux */
1335 val = regs->gpr[rd];
1336 err = write_mem(val, xform_ea(instr, regs, u), 8, regs);
1337 goto ldst_done;
1338#endif
1339
1340 case 151: /* stwx */
1341 case 183: /* stwux */
1342 val = regs->gpr[rd];
1343 err = write_mem(val, xform_ea(instr, regs, u), 4, regs);
1344 goto ldst_done;
1345
1346 case 215: /* stbx */
1347 case 247: /* stbux */
1348 val = regs->gpr[rd];
1349 err = write_mem(val, xform_ea(instr, regs, u), 1, regs);
1350 goto ldst_done;
1351
1352 case 279: /* lhzx */
1353 case 311: /* lhzux */
1354 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1355 2, regs);
1356 goto ldst_done;
1357
1358#ifdef __powerpc64__
1359 case 341: /* lwax */
1360 case 373: /* lwaux */
1361 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1362 4, regs);
1363 if (!err)
1364 regs->gpr[rd] = (signed int) regs->gpr[rd];
1365 goto ldst_done;
1366#endif
1367
1368 case 343: /* lhax */
1369 case 375: /* lhaux */
1370 err = read_mem(&regs->gpr[rd], xform_ea(instr, regs, u),
1371 2, regs);
1372 if (!err)
1373 regs->gpr[rd] = (signed short) regs->gpr[rd];
1374 goto ldst_done;
1375
1376 case 407: /* sthx */
1377 case 439: /* sthux */
1378 val = regs->gpr[rd];
1379 err = write_mem(val, xform_ea(instr, regs, u), 2, regs);
1380 goto ldst_done;
1381
1382#ifdef __powerpc64__
1383 case 532: /* ldbrx */
1384 err = read_mem(&val, xform_ea(instr, regs, 0), 8, regs);
1385 if (!err)
1386 regs->gpr[rd] = byterev_8(val);
1387 goto ldst_done;
1388
1389#endif
1390
1391 case 534: /* lwbrx */
1392 err = read_mem(&val, xform_ea(instr, regs, 0), 4, regs);
1393 if (!err)
1394 regs->gpr[rd] = byterev_4(val);
1395 goto ldst_done;
1396
Sean MacLennancd64d162010-09-01 07:21:21 +00001397#ifdef CONFIG_PPC_CPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001398 case 535: /* lfsx */
1399 case 567: /* lfsux */
1400 if (!(regs->msr & MSR_FP))
1401 break;
1402 ea = xform_ea(instr, regs, u);
1403 err = do_fp_load(rd, do_lfs, ea, 4, regs);
1404 goto ldst_done;
1405
1406 case 599: /* lfdx */
1407 case 631: /* lfdux */
1408 if (!(regs->msr & MSR_FP))
1409 break;
1410 ea = xform_ea(instr, regs, u);
1411 err = do_fp_load(rd, do_lfd, ea, 8, regs);
1412 goto ldst_done;
1413
1414 case 663: /* stfsx */
1415 case 695: /* stfsux */
1416 if (!(regs->msr & MSR_FP))
1417 break;
1418 ea = xform_ea(instr, regs, u);
1419 err = do_fp_store(rd, do_stfs, ea, 4, regs);
1420 goto ldst_done;
1421
1422 case 727: /* stfdx */
1423 case 759: /* stfdux */
1424 if (!(regs->msr & MSR_FP))
1425 break;
1426 ea = xform_ea(instr, regs, u);
1427 err = do_fp_store(rd, do_stfd, ea, 8, regs);
1428 goto ldst_done;
Sean MacLennancd64d162010-09-01 07:21:21 +00001429#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001430
1431#ifdef __powerpc64__
1432 case 660: /* stdbrx */
1433 val = byterev_8(regs->gpr[rd]);
1434 err = write_mem(val, xform_ea(instr, regs, 0), 8, regs);
1435 goto ldst_done;
1436
1437#endif
1438 case 662: /* stwbrx */
1439 val = byterev_4(regs->gpr[rd]);
1440 err = write_mem(val, xform_ea(instr, regs, 0), 4, regs);
1441 goto ldst_done;
1442
1443 case 790: /* lhbrx */
1444 err = read_mem(&val, xform_ea(instr, regs, 0), 2, regs);
1445 if (!err)
1446 regs->gpr[rd] = byterev_2(val);
1447 goto ldst_done;
1448
1449 case 918: /* sthbrx */
1450 val = byterev_2(regs->gpr[rd]);
1451 err = write_mem(val, xform_ea(instr, regs, 0), 2, regs);
1452 goto ldst_done;
1453
1454#ifdef CONFIG_VSX
1455 case 844: /* lxvd2x */
1456 case 876: /* lxvd2ux */
1457 if (!(regs->msr & MSR_VSX))
1458 break;
1459 rd |= (instr & 1) << 5;
1460 ea = xform_ea(instr, regs, u);
1461 err = do_vsx_load(rd, do_lxvd2x, ea, regs);
1462 goto ldst_done;
1463
1464 case 972: /* stxvd2x */
1465 case 1004: /* stxvd2ux */
1466 if (!(regs->msr & MSR_VSX))
1467 break;
1468 rd |= (instr & 1) << 5;
1469 ea = xform_ea(instr, regs, u);
1470 err = do_vsx_store(rd, do_stxvd2x, ea, regs);
1471 goto ldst_done;
1472
1473#endif /* CONFIG_VSX */
1474 }
1475 break;
1476
1477 case 32: /* lwz */
1478 case 33: /* lwzu */
1479 err = read_mem(&regs->gpr[rd], dform_ea(instr, regs), 4, regs);
1480 goto ldst_done;
1481
1482 case 34: /* lbz */
1483 case 35: /* lbzu */
1484 err = read_mem(&regs->gpr[rd], dform_ea(instr, regs), 1, regs);
1485 goto ldst_done;
1486
1487 case 36: /* stw */
1488 case 37: /* stwu */
1489 val = regs->gpr[rd];
1490 err = write_mem(val, dform_ea(instr, regs), 4, regs);
1491 goto ldst_done;
1492
1493 case 38: /* stb */
1494 case 39: /* stbu */
1495 val = regs->gpr[rd];
1496 err = write_mem(val, dform_ea(instr, regs), 1, regs);
1497 goto ldst_done;
1498
1499 case 40: /* lhz */
1500 case 41: /* lhzu */
1501 err = read_mem(&regs->gpr[rd], dform_ea(instr, regs), 2, regs);
1502 goto ldst_done;
1503
1504 case 42: /* lha */
1505 case 43: /* lhau */
1506 err = read_mem(&regs->gpr[rd], dform_ea(instr, regs), 2, regs);
1507 if (!err)
1508 regs->gpr[rd] = (signed short) regs->gpr[rd];
1509 goto ldst_done;
1510
1511 case 44: /* sth */
1512 case 45: /* sthu */
1513 val = regs->gpr[rd];
1514 err = write_mem(val, dform_ea(instr, regs), 2, regs);
1515 goto ldst_done;
1516
1517 case 46: /* lmw */
1518 ra = (instr >> 16) & 0x1f;
1519 if (ra >= rd)
1520 break; /* invalid form, ra in range to load */
1521 ea = dform_ea(instr, regs);
1522 do {
1523 err = read_mem(&regs->gpr[rd], ea, 4, regs);
1524 if (err)
1525 return 0;
1526 ea += 4;
1527 } while (++rd < 32);
1528 goto instr_done;
1529
1530 case 47: /* stmw */
1531 ea = dform_ea(instr, regs);
1532 do {
1533 err = write_mem(regs->gpr[rd], ea, 4, regs);
1534 if (err)
1535 return 0;
1536 ea += 4;
1537 } while (++rd < 32);
1538 goto instr_done;
1539
Sean MacLennancd64d162010-09-01 07:21:21 +00001540#ifdef CONFIG_PPC_FPU
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001541 case 48: /* lfs */
1542 case 49: /* lfsu */
1543 if (!(regs->msr & MSR_FP))
1544 break;
1545 ea = dform_ea(instr, regs);
1546 err = do_fp_load(rd, do_lfs, ea, 4, regs);
1547 goto ldst_done;
1548
1549 case 50: /* lfd */
1550 case 51: /* lfdu */
1551 if (!(regs->msr & MSR_FP))
1552 break;
1553 ea = dform_ea(instr, regs);
1554 err = do_fp_load(rd, do_lfd, ea, 8, regs);
1555 goto ldst_done;
1556
1557 case 52: /* stfs */
1558 case 53: /* stfsu */
1559 if (!(regs->msr & MSR_FP))
1560 break;
1561 ea = dform_ea(instr, regs);
1562 err = do_fp_store(rd, do_stfs, ea, 4, regs);
1563 goto ldst_done;
1564
1565 case 54: /* stfd */
1566 case 55: /* stfdu */
1567 if (!(regs->msr & MSR_FP))
1568 break;
1569 ea = dform_ea(instr, regs);
1570 err = do_fp_store(rd, do_stfd, ea, 8, regs);
1571 goto ldst_done;
Sean MacLennancd64d162010-09-01 07:21:21 +00001572#endif
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001573
1574#ifdef __powerpc64__
1575 case 58: /* ld[u], lwa */
1576 switch (instr & 3) {
1577 case 0: /* ld */
1578 err = read_mem(&regs->gpr[rd], dsform_ea(instr, regs),
1579 8, regs);
1580 goto ldst_done;
1581 case 1: /* ldu */
1582 err = read_mem(&regs->gpr[rd], dsform_ea(instr, regs),
1583 8, regs);
1584 goto ldst_done;
1585 case 2: /* lwa */
1586 err = read_mem(&regs->gpr[rd], dsform_ea(instr, regs),
1587 4, regs);
1588 if (!err)
1589 regs->gpr[rd] = (signed int) regs->gpr[rd];
1590 goto ldst_done;
1591 }
1592 break;
1593
1594 case 62: /* std[u] */
1595 val = regs->gpr[rd];
1596 switch (instr & 3) {
1597 case 0: /* std */
1598 err = write_mem(val, dsform_ea(instr, regs), 8, regs);
1599 goto ldst_done;
1600 case 1: /* stdu */
1601 err = write_mem(val, dsform_ea(instr, regs), 8, regs);
1602 goto ldst_done;
1603 }
1604 break;
1605#endif /* __powerpc64__ */
1606
1607 }
1608 err = -EINVAL;
1609
1610 ldst_done:
1611 if (err) {
1612 regs->gpr[ra] = old_ra;
1613 return 0; /* invoke DSI if -EFAULT? */
1614 }
1615 instr_done:
Michael Ellermanb91e1362011-04-07 21:56:04 +00001616 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
Paul Mackerras0016a4c2010-06-15 14:48:58 +10001617 return 1;
1618
1619 logical_done:
1620 if (instr & 1)
1621 set_cr0(regs, ra);
1622 goto instr_done;
1623
1624 arith_done:
1625 if (instr & 1)
1626 set_cr0(regs, rd);
1627 goto instr_done;
Paul Mackerras14cf11a2005-09-26 16:04:21 +10001628}