4 * Copyright (C) 2004 Paul Mackerras <paulus@au.ibm.com>, IBM
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.
11 #include <linux/kernel.h>
12 #include <linux/kprobes.h>
13 #include <linux/ptrace.h>
14 #include <linux/prefetch.h>
15 #include <asm/sstep.h>
16 #include <asm/processor.h>
17 #include <linux/uaccess.h>
18 #include <asm/cpu_has_feature.h>
19 #include <asm/cputable.h>
21 extern char system_call_common[];
24 /* Bits in SRR1 that are copied from MSR */
25 #define MSR_MASK 0xffffffff87c0ffffUL
27 #define MSR_MASK 0x87c0ffff
31 #define XER_SO 0x80000000U
32 #define XER_OV 0x40000000U
33 #define XER_CA 0x20000000U
37 * Functions in ldstfp.S
39 extern int do_lfs(int rn, unsigned long ea);
40 extern int do_lfd(int rn, unsigned long ea);
41 extern int do_stfs(int rn, unsigned long ea);
42 extern int do_stfd(int rn, unsigned long ea);
43 extern int do_lvx(int rn, unsigned long ea);
44 extern int do_stvx(int rn, unsigned long ea);
45 extern void load_vsrn(int vsr, const void *p);
46 extern void store_vsrn(int vsr, void *p);
47 extern void conv_sp_to_dp(const float *sp, double *dp);
48 extern void conv_dp_to_sp(const double *dp, float *sp);
55 extern int do_lq(unsigned long ea, unsigned long *regs);
56 extern int do_stq(unsigned long ea, unsigned long val0, unsigned long val1);
57 extern int do_lqarx(unsigned long ea, unsigned long *regs);
58 extern int do_stqcx(unsigned long ea, unsigned long val0, unsigned long val1,
62 #ifdef __LITTLE_ENDIAN__
71 * Emulate the truncation of 64 bit values in 32-bit mode.
73 static nokprobe_inline unsigned long truncate_if_32bit(unsigned long msr,
77 if ((msr & MSR_64BIT) == 0)
84 * Determine whether a conditional branch instruction would branch.
86 static nokprobe_inline int branch_taken(unsigned int instr,
87 const struct pt_regs *regs,
88 struct instruction_op *op)
90 unsigned int bo = (instr >> 21) & 0x1f;
94 /* decrement counter */
96 if (((bo >> 1) & 1) ^ (regs->ctr == 1))
99 if ((bo & 0x10) == 0) {
100 /* check bit from CR */
101 bi = (instr >> 16) & 0x1f;
102 if (((regs->ccr >> (31 - bi)) & 1) != ((bo >> 3) & 1))
108 static nokprobe_inline long address_ok(struct pt_regs *regs, unsigned long ea, int nb)
110 if (!user_mode(regs))
112 return __access_ok(ea, nb, USER_DS);
116 * Calculate effective address for a D-form instruction
118 static nokprobe_inline unsigned long dform_ea(unsigned int instr,
119 const struct pt_regs *regs)
124 ra = (instr >> 16) & 0x1f;
125 ea = (signed short) instr; /* sign-extend */
134 * Calculate effective address for a DS-form instruction
136 static nokprobe_inline unsigned long dsform_ea(unsigned int instr,
137 const struct pt_regs *regs)
142 ra = (instr >> 16) & 0x1f;
143 ea = (signed short) (instr & ~3); /* sign-extend */
151 * Calculate effective address for a DQ-form instruction
153 static nokprobe_inline unsigned long dqform_ea(unsigned int instr,
154 const struct pt_regs *regs)
159 ra = (instr >> 16) & 0x1f;
160 ea = (signed short) (instr & ~0xf); /* sign-extend */
166 #endif /* __powerpc64 */
169 * Calculate effective address for an X-form instruction
171 static nokprobe_inline unsigned long xform_ea(unsigned int instr,
172 const struct pt_regs *regs)
177 ra = (instr >> 16) & 0x1f;
178 rb = (instr >> 11) & 0x1f;
187 * Return the largest power of 2, not greater than sizeof(unsigned long),
188 * such that x is a multiple of it.
190 static nokprobe_inline unsigned long max_align(unsigned long x)
192 x |= sizeof(unsigned long);
193 return x & -x; /* isolates rightmost bit */
196 static nokprobe_inline unsigned long byterev_2(unsigned long x)
198 return ((x >> 8) & 0xff) | ((x & 0xff) << 8);
201 static nokprobe_inline unsigned long byterev_4(unsigned long x)
203 return ((x >> 24) & 0xff) | ((x >> 8) & 0xff00) |
204 ((x & 0xff00) << 8) | ((x & 0xff) << 24);
208 static nokprobe_inline unsigned long byterev_8(unsigned long x)
210 return (byterev_4(x) << 32) | byterev_4(x >> 32);
214 static nokprobe_inline int read_mem_aligned(unsigned long *dest,
215 unsigned long ea, int nb)
222 err = __get_user(x, (unsigned char __user *) ea);
225 err = __get_user(x, (unsigned short __user *) ea);
228 err = __get_user(x, (unsigned int __user *) ea);
232 err = __get_user(x, (unsigned long __user *) ea);
242 * Copy from userspace to a buffer, using the largest possible
243 * aligned accesses, up to sizeof(long).
245 static int nokprobe_inline copy_mem_in(u8 *dest, unsigned long ea, int nb)
250 for (; nb > 0; nb -= c) {
256 err = __get_user(*dest, (unsigned char __user *) ea);
259 err = __get_user(*(u16 *)dest,
260 (unsigned short __user *) ea);
263 err = __get_user(*(u32 *)dest,
264 (unsigned int __user *) ea);
268 err = __get_user(*(unsigned long *)dest,
269 (unsigned long __user *) ea);
281 static nokprobe_inline int read_mem_unaligned(unsigned long *dest,
282 unsigned long ea, int nb,
283 struct pt_regs *regs)
287 u8 b[sizeof(unsigned long)];
293 i = IS_BE ? sizeof(unsigned long) - nb : 0;
294 err = copy_mem_in(&u.b[i], ea, nb);
301 * Read memory at address ea for nb bytes, return 0 for success
302 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
303 * If nb < sizeof(long), the result is right-justified on BE systems.
305 static int read_mem(unsigned long *dest, unsigned long ea, int nb,
306 struct pt_regs *regs)
308 if (!address_ok(regs, ea, nb))
310 if ((ea & (nb - 1)) == 0)
311 return read_mem_aligned(dest, ea, nb);
312 return read_mem_unaligned(dest, ea, nb, regs);
314 NOKPROBE_SYMBOL(read_mem);
316 static nokprobe_inline int write_mem_aligned(unsigned long val,
317 unsigned long ea, int nb)
323 err = __put_user(val, (unsigned char __user *) ea);
326 err = __put_user(val, (unsigned short __user *) ea);
329 err = __put_user(val, (unsigned int __user *) ea);
333 err = __put_user(val, (unsigned long __user *) ea);
341 * Copy from a buffer to userspace, using the largest possible
342 * aligned accesses, up to sizeof(long).
344 static int nokprobe_inline copy_mem_out(u8 *dest, unsigned long ea, int nb)
349 for (; nb > 0; nb -= c) {
355 err = __put_user(*dest, (unsigned char __user *) ea);
358 err = __put_user(*(u16 *)dest,
359 (unsigned short __user *) ea);
362 err = __put_user(*(u32 *)dest,
363 (unsigned int __user *) ea);
367 err = __put_user(*(unsigned long *)dest,
368 (unsigned long __user *) ea);
380 static nokprobe_inline int write_mem_unaligned(unsigned long val,
381 unsigned long ea, int nb,
382 struct pt_regs *regs)
386 u8 b[sizeof(unsigned long)];
391 i = IS_BE ? sizeof(unsigned long) - nb : 0;
392 return copy_mem_out(&u.b[i], ea, nb);
396 * Write memory at address ea for nb bytes, return 0 for success
397 * or -EFAULT if an error occurred. N.B. nb must be 1, 2, 4 or 8.
399 static int write_mem(unsigned long val, unsigned long ea, int nb,
400 struct pt_regs *regs)
402 if (!address_ok(regs, ea, nb))
404 if ((ea & (nb - 1)) == 0)
405 return write_mem_aligned(val, ea, nb);
406 return write_mem_unaligned(val, ea, nb, regs);
408 NOKPROBE_SYMBOL(write_mem);
410 #ifdef CONFIG_PPC_FPU
412 * Check the address and alignment, and call func to do the actual
415 static int do_fp_load(int rn, int (*func)(int, unsigned long),
416 unsigned long ea, int nb,
417 struct pt_regs *regs)
420 u8 buf[sizeof(double)] __attribute__((aligned(sizeof(double))));
422 if (!address_ok(regs, ea, nb))
425 err = copy_mem_in(buf, ea, nb);
428 ea = (unsigned long) buf;
430 return (*func)(rn, ea);
432 NOKPROBE_SYMBOL(do_fp_load);
434 static int do_fp_store(int rn, int (*func)(int, unsigned long),
435 unsigned long ea, int nb,
436 struct pt_regs *regs)
439 u8 buf[sizeof(double)] __attribute__((aligned(sizeof(double))));
441 if (!address_ok(regs, ea, nb))
444 return (*func)(rn, ea);
445 err = (*func)(rn, (unsigned long) buf);
447 err = copy_mem_out(buf, ea, nb);
450 NOKPROBE_SYMBOL(do_fp_store);
453 #ifdef CONFIG_ALTIVEC
454 /* For Altivec/VMX, no need to worry about alignment */
455 static nokprobe_inline int do_vec_load(int rn, int (*func)(int, unsigned long),
456 unsigned long ea, struct pt_regs *regs)
458 if (!address_ok(regs, ea & ~0xfUL, 16))
460 return (*func)(rn, ea);
463 static nokprobe_inline int do_vec_store(int rn, int (*func)(int, unsigned long),
464 unsigned long ea, struct pt_regs *regs)
466 if (!address_ok(regs, ea & ~0xfUL, 16))
468 return (*func)(rn, ea);
470 #endif /* CONFIG_ALTIVEC */
473 static nokprobe_inline int emulate_lq(struct pt_regs *regs, unsigned long ea,
478 if (!address_ok(regs, ea, 16))
480 /* if aligned, should be atomic */
482 return do_lq(ea, ®s->gpr[reg]);
484 err = read_mem(®s->gpr[reg + IS_LE], ea, 8, regs);
486 err = read_mem(®s->gpr[reg + IS_BE], ea + 8, 8, regs);
490 static nokprobe_inline int emulate_stq(struct pt_regs *regs, unsigned long ea,
495 if (!address_ok(regs, ea, 16))
497 /* if aligned, should be atomic */
499 return do_stq(ea, regs->gpr[reg], regs->gpr[reg + 1]);
501 err = write_mem(regs->gpr[reg + IS_LE], ea, 8, regs);
503 err = write_mem(regs->gpr[reg + IS_BE], ea + 8, 8, regs);
506 #endif /* __powerpc64 */
509 void emulate_vsx_load(struct instruction_op *op, union vsx_reg *reg,
514 const unsigned int *wp;
515 const unsigned short *hp;
516 const unsigned char *bp;
518 size = GETSIZE(op->type);
519 reg->d[0] = reg->d[1] = 0;
521 switch (op->element_size) {
523 /* whole vector; lxv[x] or lxvl[l] */
526 memcpy(reg, mem, size);
527 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
528 /* reverse 16 bytes */
530 tmp = byterev_8(reg->d[0]);
531 reg->d[0] = byterev_8(reg->d[1]);
536 /* scalar loads, lxvd2x, lxvdsx */
537 read_size = (size >= 8) ? 8 : size;
538 i = IS_LE ? 8 : 8 - read_size;
539 memcpy(®->b[i], mem, read_size);
541 if (op->type & SIGNEXT) {
542 /* size == 4 is the only case here */
543 reg->d[IS_LE] = (signed int) reg->d[IS_LE];
544 } else if (op->vsx_flags & VSX_FPCONV) {
546 conv_sp_to_dp(®->fp[1 + IS_LE],
552 reg->d[IS_BE] = *(unsigned long *)(mem + 8);
553 else if (op->vsx_flags & VSX_SPLAT)
554 reg->d[IS_BE] = reg->d[IS_LE];
560 for (j = 0; j < size / 4; ++j) {
561 i = IS_LE ? 3 - j : j;
564 if (op->vsx_flags & VSX_SPLAT) {
565 u32 val = reg->w[IS_LE ? 3 : 0];
567 i = IS_LE ? 3 - j : j;
575 for (j = 0; j < size / 2; ++j) {
576 i = IS_LE ? 7 - j : j;
583 for (j = 0; j < size; ++j) {
584 i = IS_LE ? 15 - j : j;
590 EXPORT_SYMBOL_GPL(emulate_vsx_load);
591 NOKPROBE_SYMBOL(emulate_vsx_load);
593 void emulate_vsx_store(struct instruction_op *op, const union vsx_reg *reg,
596 int size, write_size;
603 size = GETSIZE(op->type);
605 switch (op->element_size) {
607 /* stxv, stxvx, stxvl, stxvll */
610 if (IS_LE && (op->vsx_flags & VSX_LDLEFT)) {
611 /* reverse 16 bytes */
612 buf.d[0] = byterev_8(reg->d[1]);
613 buf.d[1] = byterev_8(reg->d[0]);
616 memcpy(mem, reg, size);
619 /* scalar stores, stxvd2x */
620 write_size = (size >= 8) ? 8 : size;
621 i = IS_LE ? 8 : 8 - write_size;
622 if (size < 8 && op->vsx_flags & VSX_FPCONV) {
623 buf.d[0] = buf.d[1] = 0;
625 conv_dp_to_sp(®->dp[IS_LE], &buf.fp[1 + IS_LE]);
629 memcpy(mem, ®->b[i], write_size);
631 memcpy(mem + 8, ®->d[IS_BE], 8);
636 for (j = 0; j < size / 4; ++j) {
637 i = IS_LE ? 3 - j : j;
644 for (j = 0; j < size / 2; ++j) {
645 i = IS_LE ? 7 - j : j;
652 for (j = 0; j < size; ++j) {
653 i = IS_LE ? 15 - j : j;
659 EXPORT_SYMBOL_GPL(emulate_vsx_store);
660 NOKPROBE_SYMBOL(emulate_vsx_store);
661 #endif /* CONFIG_VSX */
663 #define __put_user_asmx(x, addr, err, op, cr) \
664 __asm__ __volatile__( \
665 "1: " op " %2,0,%3\n" \
668 ".section .fixup,\"ax\"\n" \
673 : "=r" (err), "=r" (cr) \
674 : "r" (x), "r" (addr), "i" (-EFAULT), "0" (err))
676 #define __get_user_asmx(x, addr, err, op) \
677 __asm__ __volatile__( \
678 "1: "op" %1,0,%2\n" \
680 ".section .fixup,\"ax\"\n" \
685 : "=r" (err), "=r" (x) \
686 : "r" (addr), "i" (-EFAULT), "0" (err))
688 #define __cacheop_user_asmx(addr, err, op) \
689 __asm__ __volatile__( \
692 ".section .fixup,\"ax\"\n" \
698 : "r" (addr), "i" (-EFAULT), "0" (err))
700 static nokprobe_inline void set_cr0(const struct pt_regs *regs,
701 struct instruction_op *op, int rd)
703 long val = regs->gpr[rd];
706 op->ccval = (regs->ccr & 0x0fffffff) | ((regs->xer >> 3) & 0x10000000);
708 if (!(regs->msr & MSR_64BIT))
712 op->ccval |= 0x80000000;
714 op->ccval |= 0x40000000;
716 op->ccval |= 0x20000000;
719 static nokprobe_inline void add_with_carry(const struct pt_regs *regs,
720 struct instruction_op *op, int rd,
721 unsigned long val1, unsigned long val2,
722 unsigned long carry_in)
724 unsigned long val = val1 + val2;
728 op->type = COMPUTE + SETREG + SETXER;
732 if (!(regs->msr & MSR_64BIT)) {
733 val = (unsigned int) val;
734 val1 = (unsigned int) val1;
737 op->xerval = regs->xer;
738 if (val < val1 || (carry_in && val == val1))
739 op->xerval |= XER_CA;
741 op->xerval &= ~XER_CA;
744 static nokprobe_inline void do_cmp_signed(const struct pt_regs *regs,
745 struct instruction_op *op,
746 long v1, long v2, int crfld)
748 unsigned int crval, shift;
750 op->type = COMPUTE + SETCC;
751 crval = (regs->xer >> 31) & 1; /* get SO bit */
758 shift = (7 - crfld) * 4;
759 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
762 static nokprobe_inline void do_cmp_unsigned(const struct pt_regs *regs,
763 struct instruction_op *op,
765 unsigned long v2, int crfld)
767 unsigned int crval, shift;
769 op->type = COMPUTE + SETCC;
770 crval = (regs->xer >> 31) & 1; /* get SO bit */
777 shift = (7 - crfld) * 4;
778 op->ccval = (regs->ccr & ~(0xf << shift)) | (crval << shift);
781 static nokprobe_inline void do_cmpb(const struct pt_regs *regs,
782 struct instruction_op *op,
783 unsigned long v1, unsigned long v2)
785 unsigned long long out_val, mask;
789 for (i = 0; i < 8; i++) {
790 mask = 0xffUL << (i * 8);
791 if ((v1 & mask) == (v2 & mask))
798 * The size parameter is used to adjust the equivalent popcnt instruction.
799 * popcntb = 8, popcntw = 32, popcntd = 64
801 static nokprobe_inline void do_popcnt(const struct pt_regs *regs,
802 struct instruction_op *op,
803 unsigned long v1, int size)
805 unsigned long long out = v1;
807 out -= (out >> 1) & 0x5555555555555555;
808 out = (0x3333333333333333 & out) + (0x3333333333333333 & (out >> 2));
809 out = (out + (out >> 4)) & 0x0f0f0f0f0f0f0f0f;
811 if (size == 8) { /* popcntb */
817 if (size == 32) { /* popcntw */
818 op->val = out & 0x0000003f0000003f;
822 out = (out + (out >> 32)) & 0x7f;
823 op->val = out; /* popcntd */
827 static nokprobe_inline void do_bpermd(const struct pt_regs *regs,
828 struct instruction_op *op,
829 unsigned long v1, unsigned long v2)
831 unsigned char perm, idx;
835 for (i = 0; i < 8; i++) {
836 idx = (v1 >> (i * 8)) & 0xff;
838 if (v2 & PPC_BIT(idx))
843 #endif /* CONFIG_PPC64 */
845 * The size parameter adjusts the equivalent prty instruction.
846 * prtyw = 32, prtyd = 64
848 static nokprobe_inline void do_prty(const struct pt_regs *regs,
849 struct instruction_op *op,
850 unsigned long v, int size)
852 unsigned long long res = v ^ (v >> 8);
855 if (size == 32) { /* prtyw */
856 op->val = res & 0x0000000100000001;
861 op->val = res & 1; /*prtyd */
864 static nokprobe_inline int trap_compare(long v1, long v2)
874 if ((unsigned long)v1 < (unsigned long)v2)
876 else if ((unsigned long)v1 > (unsigned long)v2)
882 * Elements of 32-bit rotate and mask instructions.
884 #define MASK32(mb, me) ((0xffffffffUL >> (mb)) + \
885 ((signed long)-0x80000000L >> (me)) + ((me) >= (mb)))
887 #define MASK64_L(mb) (~0UL >> (mb))
888 #define MASK64_R(me) ((signed long)-0x8000000000000000L >> (me))
889 #define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
890 #define DATA32(x) (((x) & 0xffffffffUL) | (((x) & 0xffffffffUL) << 32))
892 #define DATA32(x) (x)
894 #define ROTATE(x, n) ((n) ? (((x) << (n)) | ((x) >> (8 * sizeof(long) - (n)))) : (x))
897 * Decode an instruction, and return information about it in *op
898 * without changing *regs.
899 * Integer arithmetic and logical instructions, branches, and barrier
900 * instructions can be emulated just using the information in *op.
902 * Return value is 1 if the instruction can be emulated just by
903 * updating *regs with the information in *op, -1 if we need the
904 * GPRs but *regs doesn't contain the full register set, or 0
907 int analyse_instr(struct instruction_op *op, const struct pt_regs *regs,
910 unsigned int opcode, ra, rb, rd, spr, u;
911 unsigned long int imm;
912 unsigned long int val, val2;
913 unsigned int mb, me, sh;
918 opcode = instr >> 26;
922 imm = (signed short)(instr & 0xfffc);
923 if ((instr & 2) == 0)
925 op->val = truncate_if_32bit(regs->msr, imm);
928 if (branch_taken(instr, regs, op))
933 if ((instr & 0xfe2) == 2)
940 op->type = BRANCH | BRTAKEN;
941 imm = instr & 0x03fffffc;
942 if (imm & 0x02000000)
944 if ((instr & 2) == 0)
946 op->val = truncate_if_32bit(regs->msr, imm);
951 switch ((instr >> 1) & 0x3ff) {
953 op->type = COMPUTE + SETCC;
954 rd = 7 - ((instr >> 23) & 0x7);
955 ra = 7 - ((instr >> 18) & 0x7);
958 val = (regs->ccr >> ra) & 0xf;
959 op->ccval = (regs->ccr & ~(0xfUL << rd)) | (val << rd);
963 case 528: /* bcctr */
965 imm = (instr & 0x400)? regs->ctr: regs->link;
966 op->val = truncate_if_32bit(regs->msr, imm);
969 if (branch_taken(instr, regs, op))
973 case 18: /* rfid, scary */
974 if (regs->msr & MSR_PR)
979 case 150: /* isync */
980 op->type = BARRIER | BARRIER_ISYNC;
984 case 129: /* crandc */
985 case 193: /* crxor */
986 case 225: /* crnand */
987 case 257: /* crand */
988 case 289: /* creqv */
989 case 417: /* crorc */
991 op->type = COMPUTE + SETCC;
992 ra = (instr >> 16) & 0x1f;
993 rb = (instr >> 11) & 0x1f;
994 rd = (instr >> 21) & 0x1f;
995 ra = (regs->ccr >> (31 - ra)) & 1;
996 rb = (regs->ccr >> (31 - rb)) & 1;
997 val = (instr >> (6 + ra * 2 + rb)) & 1;
998 op->ccval = (regs->ccr & ~(1UL << (31 - rd))) |
1004 switch ((instr >> 1) & 0x3ff) {
1005 case 598: /* sync */
1006 op->type = BARRIER + BARRIER_SYNC;
1007 #ifdef __powerpc64__
1008 switch ((instr >> 21) & 3) {
1009 case 1: /* lwsync */
1010 op->type = BARRIER + BARRIER_LWSYNC;
1012 case 2: /* ptesync */
1013 op->type = BARRIER + BARRIER_PTESYNC;
1019 case 854: /* eieio */
1020 op->type = BARRIER + BARRIER_EIEIO;
1026 /* Following cases refer to regs->gpr[], so we need all regs */
1027 if (!FULL_REGS(regs))
1030 rd = (instr >> 21) & 0x1f;
1031 ra = (instr >> 16) & 0x1f;
1032 rb = (instr >> 11) & 0x1f;
1035 #ifdef __powerpc64__
1037 if (rd & trap_compare(regs->gpr[ra], (short) instr))
1042 if (rd & trap_compare((int)regs->gpr[ra], (short) instr))
1047 op->val = regs->gpr[ra] * (short) instr;
1050 case 8: /* subfic */
1051 imm = (short) instr;
1052 add_with_carry(regs, op, rd, ~regs->gpr[ra], imm, 1);
1055 case 10: /* cmpli */
1056 imm = (unsigned short) instr;
1057 val = regs->gpr[ra];
1058 #ifdef __powerpc64__
1060 val = (unsigned int) val;
1062 do_cmp_unsigned(regs, op, val, imm, rd >> 2);
1066 imm = (short) instr;
1067 val = regs->gpr[ra];
1068 #ifdef __powerpc64__
1072 do_cmp_signed(regs, op, val, imm, rd >> 2);
1075 case 12: /* addic */
1076 imm = (short) instr;
1077 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1080 case 13: /* addic. */
1081 imm = (short) instr;
1082 add_with_carry(regs, op, rd, regs->gpr[ra], imm, 0);
1083 set_cr0(regs, op, rd);
1087 imm = (short) instr;
1089 imm += regs->gpr[ra];
1093 case 15: /* addis */
1094 imm = ((short) instr) << 16;
1096 imm += regs->gpr[ra];
1101 if (((instr >> 1) & 0x1f) == 2) {
1103 imm = (short) (instr & 0xffc1); /* d0 + d2 fields */
1104 imm |= (instr >> 15) & 0x3e; /* d1 field */
1105 op->val = regs->nip + (imm << 16) + 4;
1111 case 20: /* rlwimi */
1112 mb = (instr >> 6) & 0x1f;
1113 me = (instr >> 1) & 0x1f;
1114 val = DATA32(regs->gpr[rd]);
1115 imm = MASK32(mb, me);
1116 op->val = (regs->gpr[ra] & ~imm) | (ROTATE(val, rb) & imm);
1119 case 21: /* rlwinm */
1120 mb = (instr >> 6) & 0x1f;
1121 me = (instr >> 1) & 0x1f;
1122 val = DATA32(regs->gpr[rd]);
1123 op->val = ROTATE(val, rb) & MASK32(mb, me);
1126 case 23: /* rlwnm */
1127 mb = (instr >> 6) & 0x1f;
1128 me = (instr >> 1) & 0x1f;
1129 rb = regs->gpr[rb] & 0x1f;
1130 val = DATA32(regs->gpr[rd]);
1131 op->val = ROTATE(val, rb) & MASK32(mb, me);
1135 op->val = regs->gpr[rd] | (unsigned short) instr;
1136 goto logical_done_nocc;
1139 imm = (unsigned short) instr;
1140 op->val = regs->gpr[rd] | (imm << 16);
1141 goto logical_done_nocc;
1144 op->val = regs->gpr[rd] ^ (unsigned short) instr;
1145 goto logical_done_nocc;
1147 case 27: /* xoris */
1148 imm = (unsigned short) instr;
1149 op->val = regs->gpr[rd] ^ (imm << 16);
1150 goto logical_done_nocc;
1152 case 28: /* andi. */
1153 op->val = regs->gpr[rd] & (unsigned short) instr;
1154 set_cr0(regs, op, ra);
1155 goto logical_done_nocc;
1157 case 29: /* andis. */
1158 imm = (unsigned short) instr;
1159 op->val = regs->gpr[rd] & (imm << 16);
1160 set_cr0(regs, op, ra);
1161 goto logical_done_nocc;
1163 #ifdef __powerpc64__
1165 mb = ((instr >> 6) & 0x1f) | (instr & 0x20);
1166 val = regs->gpr[rd];
1167 if ((instr & 0x10) == 0) {
1168 sh = rb | ((instr & 2) << 4);
1169 val = ROTATE(val, sh);
1170 switch ((instr >> 2) & 3) {
1171 case 0: /* rldicl */
1172 val &= MASK64_L(mb);
1174 case 1: /* rldicr */
1175 val &= MASK64_R(mb);
1178 val &= MASK64(mb, 63 - sh);
1180 case 3: /* rldimi */
1181 imm = MASK64(mb, 63 - sh);
1182 val = (regs->gpr[ra] & ~imm) |
1188 sh = regs->gpr[rb] & 0x3f;
1189 val = ROTATE(val, sh);
1190 switch ((instr >> 1) & 7) {
1192 op->val = val & MASK64_L(mb);
1195 op->val = val & MASK64_R(mb);
1200 op->type = UNKNOWN; /* illegal instruction */
1204 /* isel occupies 32 minor opcodes */
1205 if (((instr >> 1) & 0x1f) == 15) {
1206 mb = (instr >> 6) & 0x1f; /* bc field */
1207 val = (regs->ccr >> (31 - mb)) & 1;
1208 val2 = (ra) ? regs->gpr[ra] : 0;
1210 op->val = (val) ? val2 : regs->gpr[rb];
1214 switch ((instr >> 1) & 0x3ff) {
1217 (rd & trap_compare((int)regs->gpr[ra],
1218 (int)regs->gpr[rb])))
1221 #ifdef __powerpc64__
1223 if (rd & trap_compare(regs->gpr[ra], regs->gpr[rb]))
1227 case 83: /* mfmsr */
1228 if (regs->msr & MSR_PR)
1233 case 146: /* mtmsr */
1234 if (regs->msr & MSR_PR)
1238 op->val = 0xffffffff & ~(MSR_ME | MSR_LE);
1241 case 178: /* mtmsrd */
1242 if (regs->msr & MSR_PR)
1246 /* only MSR_EE and MSR_RI get changed if bit 15 set */
1247 /* mtmsrd doesn't change MSR_HV, MSR_ME or MSR_LE */
1248 imm = (instr & 0x10000)? 0x8002: 0xefffffffffffeffeUL;
1255 if ((instr >> 20) & 1) {
1257 for (sh = 0; sh < 8; ++sh) {
1258 if (instr & (0x80000 >> sh))
1263 op->val = regs->ccr & imm;
1266 case 144: /* mtcrf */
1267 op->type = COMPUTE + SETCC;
1269 val = regs->gpr[rd];
1270 op->val = regs->ccr;
1271 for (sh = 0; sh < 8; ++sh) {
1272 if (instr & (0x80000 >> sh))
1273 op->val = (op->val & ~imm) |
1279 case 339: /* mfspr */
1280 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
1284 if (spr == SPRN_XER || spr == SPRN_LR ||
1289 case 467: /* mtspr */
1290 spr = ((instr >> 16) & 0x1f) | ((instr >> 6) & 0x3e0);
1292 op->val = regs->gpr[rd];
1294 if (spr == SPRN_XER || spr == SPRN_LR ||
1300 * Compare instructions
1303 val = regs->gpr[ra];
1304 val2 = regs->gpr[rb];
1305 #ifdef __powerpc64__
1306 if ((rd & 1) == 0) {
1307 /* word (32-bit) compare */
1312 do_cmp_signed(regs, op, val, val2, rd >> 2);
1316 val = regs->gpr[ra];
1317 val2 = regs->gpr[rb];
1318 #ifdef __powerpc64__
1319 if ((rd & 1) == 0) {
1320 /* word (32-bit) compare */
1321 val = (unsigned int) val;
1322 val2 = (unsigned int) val2;
1325 do_cmp_unsigned(regs, op, val, val2, rd >> 2);
1328 case 508: /* cmpb */
1329 do_cmpb(regs, op, regs->gpr[rd], regs->gpr[rb]);
1330 goto logical_done_nocc;
1333 * Arithmetic instructions
1336 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1339 #ifdef __powerpc64__
1340 case 9: /* mulhdu */
1341 asm("mulhdu %0,%1,%2" : "=r" (op->val) :
1342 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1346 add_with_carry(regs, op, rd, regs->gpr[ra],
1350 case 11: /* mulhwu */
1351 asm("mulhwu %0,%1,%2" : "=r" (op->val) :
1352 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1356 op->val = regs->gpr[rb] - regs->gpr[ra];
1358 #ifdef __powerpc64__
1359 case 73: /* mulhd */
1360 asm("mulhd %0,%1,%2" : "=r" (op->val) :
1361 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1364 case 75: /* mulhw */
1365 asm("mulhw %0,%1,%2" : "=r" (op->val) :
1366 "r" (regs->gpr[ra]), "r" (regs->gpr[rb]));
1370 op->val = -regs->gpr[ra];
1373 case 136: /* subfe */
1374 add_with_carry(regs, op, rd, ~regs->gpr[ra],
1375 regs->gpr[rb], regs->xer & XER_CA);
1378 case 138: /* adde */
1379 add_with_carry(regs, op, rd, regs->gpr[ra],
1380 regs->gpr[rb], regs->xer & XER_CA);
1383 case 200: /* subfze */
1384 add_with_carry(regs, op, rd, ~regs->gpr[ra], 0L,
1385 regs->xer & XER_CA);
1388 case 202: /* addze */
1389 add_with_carry(regs, op, rd, regs->gpr[ra], 0L,
1390 regs->xer & XER_CA);
1393 case 232: /* subfme */
1394 add_with_carry(regs, op, rd, ~regs->gpr[ra], -1L,
1395 regs->xer & XER_CA);
1397 #ifdef __powerpc64__
1398 case 233: /* mulld */
1399 op->val = regs->gpr[ra] * regs->gpr[rb];
1402 case 234: /* addme */
1403 add_with_carry(regs, op, rd, regs->gpr[ra], -1L,
1404 regs->xer & XER_CA);
1407 case 235: /* mullw */
1408 op->val = (unsigned int) regs->gpr[ra] *
1409 (unsigned int) regs->gpr[rb];
1413 op->val = regs->gpr[ra] + regs->gpr[rb];
1415 #ifdef __powerpc64__
1416 case 457: /* divdu */
1417 op->val = regs->gpr[ra] / regs->gpr[rb];
1420 case 459: /* divwu */
1421 op->val = (unsigned int) regs->gpr[ra] /
1422 (unsigned int) regs->gpr[rb];
1424 #ifdef __powerpc64__
1425 case 489: /* divd */
1426 op->val = (long int) regs->gpr[ra] /
1427 (long int) regs->gpr[rb];
1430 case 491: /* divw */
1431 op->val = (int) regs->gpr[ra] /
1432 (int) regs->gpr[rb];
1437 * Logical instructions
1439 case 26: /* cntlzw */
1440 op->val = __builtin_clz((unsigned int) regs->gpr[rd]);
1442 #ifdef __powerpc64__
1443 case 58: /* cntlzd */
1444 op->val = __builtin_clzl(regs->gpr[rd]);
1448 op->val = regs->gpr[rd] & regs->gpr[rb];
1452 op->val = regs->gpr[rd] & ~regs->gpr[rb];
1455 case 122: /* popcntb */
1456 do_popcnt(regs, op, regs->gpr[rd], 8);
1457 goto logical_done_nocc;
1460 op->val = ~(regs->gpr[rd] | regs->gpr[rb]);
1463 case 154: /* prtyw */
1464 do_prty(regs, op, regs->gpr[rd], 32);
1465 goto logical_done_nocc;
1467 case 186: /* prtyd */
1468 do_prty(regs, op, regs->gpr[rd], 64);
1469 goto logical_done_nocc;
1471 case 252: /* bpermd */
1472 do_bpermd(regs, op, regs->gpr[rd], regs->gpr[rb]);
1473 goto logical_done_nocc;
1476 op->val = ~(regs->gpr[rd] ^ regs->gpr[rb]);
1480 op->val = regs->gpr[rd] ^ regs->gpr[rb];
1483 case 378: /* popcntw */
1484 do_popcnt(regs, op, regs->gpr[rd], 32);
1485 goto logical_done_nocc;
1488 op->val = regs->gpr[rd] | ~regs->gpr[rb];
1492 op->val = regs->gpr[rd] | regs->gpr[rb];
1495 case 476: /* nand */
1496 op->val = ~(regs->gpr[rd] & regs->gpr[rb]);
1499 case 506: /* popcntd */
1500 do_popcnt(regs, op, regs->gpr[rd], 64);
1501 goto logical_done_nocc;
1503 case 922: /* extsh */
1504 op->val = (signed short) regs->gpr[rd];
1507 case 954: /* extsb */
1508 op->val = (signed char) regs->gpr[rd];
1510 #ifdef __powerpc64__
1511 case 986: /* extsw */
1512 op->val = (signed int) regs->gpr[rd];
1517 * Shift instructions
1520 sh = regs->gpr[rb] & 0x3f;
1522 op->val = (regs->gpr[rd] << sh) & 0xffffffffUL;
1528 sh = regs->gpr[rb] & 0x3f;
1530 op->val = (regs->gpr[rd] & 0xffffffffUL) >> sh;
1535 case 792: /* sraw */
1536 op->type = COMPUTE + SETREG + SETXER;
1537 sh = regs->gpr[rb] & 0x3f;
1538 ival = (signed int) regs->gpr[rd];
1539 op->val = ival >> (sh < 32 ? sh : 31);
1540 op->xerval = regs->xer;
1541 if (ival < 0 && (sh >= 32 || (ival & ((1ul << sh) - 1)) != 0))
1542 op->xerval |= XER_CA;
1544 op->xerval &= ~XER_CA;
1547 case 824: /* srawi */
1548 op->type = COMPUTE + SETREG + SETXER;
1550 ival = (signed int) regs->gpr[rd];
1551 op->val = ival >> sh;
1552 op->xerval = regs->xer;
1553 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
1554 op->xerval |= XER_CA;
1556 op->xerval &= ~XER_CA;
1559 #ifdef __powerpc64__
1561 sh = regs->gpr[rb] & 0x7f;
1563 op->val = regs->gpr[rd] << sh;
1569 sh = regs->gpr[rb] & 0x7f;
1571 op->val = regs->gpr[rd] >> sh;
1576 case 794: /* srad */
1577 op->type = COMPUTE + SETREG + SETXER;
1578 sh = regs->gpr[rb] & 0x7f;
1579 ival = (signed long int) regs->gpr[rd];
1580 op->val = ival >> (sh < 64 ? sh : 63);
1581 op->xerval = regs->xer;
1582 if (ival < 0 && (sh >= 64 || (ival & ((1ul << sh) - 1)) != 0))
1583 op->xerval |= XER_CA;
1585 op->xerval &= ~XER_CA;
1588 case 826: /* sradi with sh_5 = 0 */
1589 case 827: /* sradi with sh_5 = 1 */
1590 op->type = COMPUTE + SETREG + SETXER;
1591 sh = rb | ((instr & 2) << 4);
1592 ival = (signed long int) regs->gpr[rd];
1593 op->val = ival >> sh;
1594 op->xerval = regs->xer;
1595 if (ival < 0 && (ival & ((1ul << sh) - 1)) != 0)
1596 op->xerval |= XER_CA;
1598 op->xerval &= ~XER_CA;
1600 #endif /* __powerpc64__ */
1603 * Cache instructions
1605 case 54: /* dcbst */
1606 op->type = MKOP(CACHEOP, DCBST, 0);
1607 op->ea = xform_ea(instr, regs);
1611 op->type = MKOP(CACHEOP, DCBF, 0);
1612 op->ea = xform_ea(instr, regs);
1615 case 246: /* dcbtst */
1616 op->type = MKOP(CACHEOP, DCBTST, 0);
1617 op->ea = xform_ea(instr, regs);
1621 case 278: /* dcbt */
1622 op->type = MKOP(CACHEOP, DCBTST, 0);
1623 op->ea = xform_ea(instr, regs);
1627 case 982: /* icbi */
1628 op->type = MKOP(CACHEOP, ICBI, 0);
1629 op->ea = xform_ea(instr, regs);
1639 op->update_reg = ra;
1641 op->val = regs->gpr[rd];
1642 u = (instr >> 20) & UPDATE;
1648 op->ea = xform_ea(instr, regs);
1649 switch ((instr >> 1) & 0x3ff) {
1650 case 20: /* lwarx */
1651 op->type = MKOP(LARX, 0, 4);
1654 case 150: /* stwcx. */
1655 op->type = MKOP(STCX, 0, 4);
1658 #ifdef __powerpc64__
1659 case 84: /* ldarx */
1660 op->type = MKOP(LARX, 0, 8);
1663 case 214: /* stdcx. */
1664 op->type = MKOP(STCX, 0, 8);
1667 case 52: /* lbarx */
1668 op->type = MKOP(LARX, 0, 1);
1671 case 694: /* stbcx. */
1672 op->type = MKOP(STCX, 0, 1);
1675 case 116: /* lharx */
1676 op->type = MKOP(LARX, 0, 2);
1679 case 726: /* sthcx. */
1680 op->type = MKOP(STCX, 0, 2);
1683 case 276: /* lqarx */
1684 if (!((rd & 1) || rd == ra || rd == rb))
1685 op->type = MKOP(LARX, 0, 16);
1688 case 182: /* stqcx. */
1690 op->type = MKOP(STCX, 0, 16);
1695 case 55: /* lwzux */
1696 op->type = MKOP(LOAD, u, 4);
1700 case 119: /* lbzux */
1701 op->type = MKOP(LOAD, u, 1);
1704 #ifdef CONFIG_ALTIVEC
1706 case 359: /* lvxl */
1707 op->type = MKOP(LOAD_VMX, 0, 16);
1708 op->element_size = 16;
1711 case 231: /* stvx */
1712 case 487: /* stvxl */
1713 op->type = MKOP(STORE_VMX, 0, 16);
1715 #endif /* CONFIG_ALTIVEC */
1717 #ifdef __powerpc64__
1720 op->type = MKOP(LOAD, u, 8);
1723 case 149: /* stdx */
1724 case 181: /* stdux */
1725 op->type = MKOP(STORE, u, 8);
1729 case 151: /* stwx */
1730 case 183: /* stwux */
1731 op->type = MKOP(STORE, u, 4);
1734 case 215: /* stbx */
1735 case 247: /* stbux */
1736 op->type = MKOP(STORE, u, 1);
1739 case 279: /* lhzx */
1740 case 311: /* lhzux */
1741 op->type = MKOP(LOAD, u, 2);
1744 #ifdef __powerpc64__
1745 case 341: /* lwax */
1746 case 373: /* lwaux */
1747 op->type = MKOP(LOAD, SIGNEXT | u, 4);
1751 case 343: /* lhax */
1752 case 375: /* lhaux */
1753 op->type = MKOP(LOAD, SIGNEXT | u, 2);
1756 case 407: /* sthx */
1757 case 439: /* sthux */
1758 op->type = MKOP(STORE, u, 2);
1761 #ifdef __powerpc64__
1762 case 532: /* ldbrx */
1763 op->type = MKOP(LOAD, BYTEREV, 8);
1767 case 533: /* lswx */
1768 op->type = MKOP(LOAD_MULTI, 0, regs->xer & 0x7f);
1771 case 534: /* lwbrx */
1772 op->type = MKOP(LOAD, BYTEREV, 4);
1775 case 597: /* lswi */
1777 rb = 32; /* # bytes to load */
1778 op->type = MKOP(LOAD_MULTI, 0, rb);
1779 op->ea = ra ? regs->gpr[ra] : 0;
1782 #ifdef CONFIG_PPC_FPU
1783 case 535: /* lfsx */
1784 case 567: /* lfsux */
1785 op->type = MKOP(LOAD_FP, u, 4);
1788 case 599: /* lfdx */
1789 case 631: /* lfdux */
1790 op->type = MKOP(LOAD_FP, u, 8);
1793 case 663: /* stfsx */
1794 case 695: /* stfsux */
1795 op->type = MKOP(STORE_FP, u, 4);
1798 case 727: /* stfdx */
1799 case 759: /* stfdux */
1800 op->type = MKOP(STORE_FP, u, 8);
1804 #ifdef __powerpc64__
1805 case 660: /* stdbrx */
1806 op->type = MKOP(STORE, BYTEREV, 8);
1807 op->val = byterev_8(regs->gpr[rd]);
1811 case 661: /* stswx */
1812 op->type = MKOP(STORE_MULTI, 0, regs->xer & 0x7f);
1815 case 662: /* stwbrx */
1816 op->type = MKOP(STORE, BYTEREV, 4);
1817 op->val = byterev_4(regs->gpr[rd]);
1822 rb = 32; /* # bytes to store */
1823 op->type = MKOP(STORE_MULTI, 0, rb);
1824 op->ea = ra ? regs->gpr[ra] : 0;
1827 case 790: /* lhbrx */
1828 op->type = MKOP(LOAD, BYTEREV, 2);
1831 case 918: /* sthbrx */
1832 op->type = MKOP(STORE, BYTEREV, 2);
1833 op->val = byterev_2(regs->gpr[rd]);
1837 case 12: /* lxsiwzx */
1838 op->reg = rd | ((instr & 1) << 5);
1839 op->type = MKOP(LOAD_VSX, 0, 4);
1840 op->element_size = 8;
1843 case 76: /* lxsiwax */
1844 op->reg = rd | ((instr & 1) << 5);
1845 op->type = MKOP(LOAD_VSX, SIGNEXT, 4);
1846 op->element_size = 8;
1849 case 140: /* stxsiwx */
1850 op->reg = rd | ((instr & 1) << 5);
1851 op->type = MKOP(STORE_VSX, 0, 4);
1852 op->element_size = 8;
1855 case 268: /* lxvx */
1856 op->reg = rd | ((instr & 1) << 5);
1857 op->type = MKOP(LOAD_VSX, 0, 16);
1858 op->element_size = 16;
1859 op->vsx_flags = VSX_CHECK_VEC;
1862 case 269: /* lxvl */
1863 case 301: { /* lxvll */
1865 op->reg = rd | ((instr & 1) << 5);
1866 op->ea = ra ? regs->gpr[ra] : 0;
1867 nb = regs->gpr[rb] & 0xff;
1870 op->type = MKOP(LOAD_VSX, 0, nb);
1871 op->element_size = 16;
1872 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
1876 case 332: /* lxvdsx */
1877 op->reg = rd | ((instr & 1) << 5);
1878 op->type = MKOP(LOAD_VSX, 0, 8);
1879 op->element_size = 8;
1880 op->vsx_flags = VSX_SPLAT;
1883 case 364: /* lxvwsx */
1884 op->reg = rd | ((instr & 1) << 5);
1885 op->type = MKOP(LOAD_VSX, 0, 4);
1886 op->element_size = 4;
1887 op->vsx_flags = VSX_SPLAT | VSX_CHECK_VEC;
1890 case 396: /* stxvx */
1891 op->reg = rd | ((instr & 1) << 5);
1892 op->type = MKOP(STORE_VSX, 0, 16);
1893 op->element_size = 16;
1894 op->vsx_flags = VSX_CHECK_VEC;
1897 case 397: /* stxvl */
1898 case 429: { /* stxvll */
1900 op->reg = rd | ((instr & 1) << 5);
1901 op->ea = ra ? regs->gpr[ra] : 0;
1902 nb = regs->gpr[rb] & 0xff;
1905 op->type = MKOP(STORE_VSX, 0, nb);
1906 op->element_size = 16;
1907 op->vsx_flags = ((instr & 0x20) ? VSX_LDLEFT : 0) |
1911 case 524: /* lxsspx */
1912 op->reg = rd | ((instr & 1) << 5);
1913 op->type = MKOP(LOAD_VSX, 0, 4);
1914 op->element_size = 8;
1915 op->vsx_flags = VSX_FPCONV;
1918 case 588: /* lxsdx */
1919 op->reg = rd | ((instr & 1) << 5);
1920 op->type = MKOP(LOAD_VSX, 0, 8);
1921 op->element_size = 8;
1924 case 652: /* stxsspx */
1925 op->reg = rd | ((instr & 1) << 5);
1926 op->type = MKOP(STORE_VSX, 0, 4);
1927 op->element_size = 8;
1928 op->vsx_flags = VSX_FPCONV;
1931 case 716: /* stxsdx */
1932 op->reg = rd | ((instr & 1) << 5);
1933 op->type = MKOP(STORE_VSX, 0, 8);
1934 op->element_size = 8;
1937 case 780: /* lxvw4x */
1938 op->reg = rd | ((instr & 1) << 5);
1939 op->type = MKOP(LOAD_VSX, 0, 16);
1940 op->element_size = 4;
1943 case 781: /* lxsibzx */
1944 op->reg = rd | ((instr & 1) << 5);
1945 op->type = MKOP(LOAD_VSX, 0, 1);
1946 op->element_size = 8;
1947 op->vsx_flags = VSX_CHECK_VEC;
1950 case 812: /* lxvh8x */
1951 op->reg = rd | ((instr & 1) << 5);
1952 op->type = MKOP(LOAD_VSX, 0, 16);
1953 op->element_size = 2;
1954 op->vsx_flags = VSX_CHECK_VEC;
1957 case 813: /* lxsihzx */
1958 op->reg = rd | ((instr & 1) << 5);
1959 op->type = MKOP(LOAD_VSX, 0, 2);
1960 op->element_size = 8;
1961 op->vsx_flags = VSX_CHECK_VEC;
1964 case 844: /* lxvd2x */
1965 op->reg = rd | ((instr & 1) << 5);
1966 op->type = MKOP(LOAD_VSX, 0, 16);
1967 op->element_size = 8;
1970 case 876: /* lxvb16x */
1971 op->reg = rd | ((instr & 1) << 5);
1972 op->type = MKOP(LOAD_VSX, 0, 16);
1973 op->element_size = 1;
1974 op->vsx_flags = VSX_CHECK_VEC;
1977 case 908: /* stxvw4x */
1978 op->reg = rd | ((instr & 1) << 5);
1979 op->type = MKOP(STORE_VSX, 0, 16);
1980 op->element_size = 4;
1983 case 909: /* stxsibx */
1984 op->reg = rd | ((instr & 1) << 5);
1985 op->type = MKOP(STORE_VSX, 0, 1);
1986 op->element_size = 8;
1987 op->vsx_flags = VSX_CHECK_VEC;
1990 case 940: /* stxvh8x */
1991 op->reg = rd | ((instr & 1) << 5);
1992 op->type = MKOP(STORE_VSX, 0, 16);
1993 op->element_size = 2;
1994 op->vsx_flags = VSX_CHECK_VEC;
1997 case 941: /* stxsihx */
1998 op->reg = rd | ((instr & 1) << 5);
1999 op->type = MKOP(STORE_VSX, 0, 2);
2000 op->element_size = 8;
2001 op->vsx_flags = VSX_CHECK_VEC;
2004 case 972: /* stxvd2x */
2005 op->reg = rd | ((instr & 1) << 5);
2006 op->type = MKOP(STORE_VSX, 0, 16);
2007 op->element_size = 8;
2010 case 1004: /* stxvb16x */
2011 op->reg = rd | ((instr & 1) << 5);
2012 op->type = MKOP(STORE_VSX, 0, 16);
2013 op->element_size = 1;
2014 op->vsx_flags = VSX_CHECK_VEC;
2017 #endif /* CONFIG_VSX */
2023 op->type = MKOP(LOAD, u, 4);
2024 op->ea = dform_ea(instr, regs);
2029 op->type = MKOP(LOAD, u, 1);
2030 op->ea = dform_ea(instr, regs);
2035 op->type = MKOP(STORE, u, 4);
2036 op->ea = dform_ea(instr, regs);
2041 op->type = MKOP(STORE, u, 1);
2042 op->ea = dform_ea(instr, regs);
2047 op->type = MKOP(LOAD, u, 2);
2048 op->ea = dform_ea(instr, regs);
2053 op->type = MKOP(LOAD, SIGNEXT | u, 2);
2054 op->ea = dform_ea(instr, regs);
2059 op->type = MKOP(STORE, u, 2);
2060 op->ea = dform_ea(instr, regs);
2065 break; /* invalid form, ra in range to load */
2066 op->type = MKOP(LOAD_MULTI, 0, 4 * (32 - rd));
2067 op->ea = dform_ea(instr, regs);
2071 op->type = MKOP(STORE_MULTI, 0, 4 * (32 - rd));
2072 op->ea = dform_ea(instr, regs);
2075 #ifdef CONFIG_PPC_FPU
2078 op->type = MKOP(LOAD_FP, u, 4);
2079 op->ea = dform_ea(instr, regs);
2084 op->type = MKOP(LOAD_FP, u, 8);
2085 op->ea = dform_ea(instr, regs);
2089 case 53: /* stfsu */
2090 op->type = MKOP(STORE_FP, u, 4);
2091 op->ea = dform_ea(instr, regs);
2095 case 55: /* stfdu */
2096 op->type = MKOP(STORE_FP, u, 8);
2097 op->ea = dform_ea(instr, regs);
2101 #ifdef __powerpc64__
2103 if (!((rd & 1) || (rd == ra)))
2104 op->type = MKOP(LOAD, 0, 16);
2105 op->ea = dqform_ea(instr, regs);
2110 case 57: /* lxsd, lxssp */
2111 op->ea = dsform_ea(instr, regs);
2112 switch (instr & 3) {
2115 op->type = MKOP(LOAD_VSX, 0, 8);
2116 op->element_size = 8;
2117 op->vsx_flags = VSX_CHECK_VEC;
2121 op->type = MKOP(LOAD_VSX, 0, 4);
2122 op->element_size = 8;
2123 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2127 #endif /* CONFIG_VSX */
2129 #ifdef __powerpc64__
2130 case 58: /* ld[u], lwa */
2131 op->ea = dsform_ea(instr, regs);
2132 switch (instr & 3) {
2134 op->type = MKOP(LOAD, 0, 8);
2137 op->type = MKOP(LOAD, UPDATE, 8);
2140 op->type = MKOP(LOAD, SIGNEXT, 4);
2147 case 61: /* lxv, stxsd, stxssp, stxv */
2148 switch (instr & 7) {
2150 op->ea = dqform_ea(instr, regs);
2153 op->type = MKOP(LOAD_VSX, 0, 16);
2154 op->element_size = 16;
2155 op->vsx_flags = VSX_CHECK_VEC;
2158 case 2: /* stxsd with LSB of DS field = 0 */
2159 case 6: /* stxsd with LSB of DS field = 1 */
2160 op->ea = dsform_ea(instr, regs);
2162 op->type = MKOP(STORE_VSX, 0, 8);
2163 op->element_size = 8;
2164 op->vsx_flags = VSX_CHECK_VEC;
2167 case 3: /* stxssp with LSB of DS field = 0 */
2168 case 7: /* stxssp with LSB of DS field = 1 */
2169 op->ea = dsform_ea(instr, regs);
2171 op->type = MKOP(STORE_VSX, 0, 4);
2172 op->element_size = 8;
2173 op->vsx_flags = VSX_FPCONV | VSX_CHECK_VEC;
2177 op->ea = dqform_ea(instr, regs);
2180 op->type = MKOP(STORE_VSX, 0, 16);
2181 op->element_size = 16;
2182 op->vsx_flags = VSX_CHECK_VEC;
2186 #endif /* CONFIG_VSX */
2188 #ifdef __powerpc64__
2189 case 62: /* std[u] */
2190 op->ea = dsform_ea(instr, regs);
2191 switch (instr & 3) {
2193 op->type = MKOP(STORE, 0, 8);
2196 op->type = MKOP(STORE, UPDATE, 8);
2200 op->type = MKOP(STORE, 0, 16);
2204 #endif /* __powerpc64__ */
2211 set_cr0(regs, op, ra);
2219 set_cr0(regs, op, rd);
2226 op->type = INTERRUPT | 0x700;
2227 op->val = SRR1_PROGPRIV;
2231 op->type = INTERRUPT | 0x700;
2232 op->val = SRR1_PROGTRAP;
2235 EXPORT_SYMBOL_GPL(analyse_instr);
2236 NOKPROBE_SYMBOL(analyse_instr);
2239 * For PPC32 we always use stwu with r1 to change the stack pointer.
2240 * So this emulated store may corrupt the exception frame, now we
2241 * have to provide the exception frame trampoline, which is pushed
2242 * below the kprobed function stack. So we only update gpr[1] but
2243 * don't emulate the real store operation. We will do real store
2244 * operation safely in exception return code by checking this flag.
2246 static nokprobe_inline int handle_stack_update(unsigned long ea, struct pt_regs *regs)
2250 * Check if we will touch kernel stack overflow
2252 if (ea - STACK_INT_FRAME_SIZE <= current->thread.ksp_limit) {
2253 printk(KERN_CRIT "Can't kprobe this since kernel stack would overflow.\n");
2256 #endif /* CONFIG_PPC32 */
2258 * Check if we already set since that means we'll
2259 * lose the previous value.
2261 WARN_ON(test_thread_flag(TIF_EMULATE_STACK_STORE));
2262 set_thread_flag(TIF_EMULATE_STACK_STORE);
2266 static nokprobe_inline void do_signext(unsigned long *valp, int size)
2270 *valp = (signed short) *valp;
2273 *valp = (signed int) *valp;
2278 static nokprobe_inline void do_byterev(unsigned long *valp, int size)
2282 *valp = byterev_2(*valp);
2285 *valp = byterev_4(*valp);
2287 #ifdef __powerpc64__
2289 *valp = byterev_8(*valp);
2296 * Emulate an instruction that can be executed just by updating
2299 void emulate_update_regs(struct pt_regs *regs, struct instruction_op *op)
2301 unsigned long next_pc;
2303 next_pc = truncate_if_32bit(regs->msr, regs->nip + 4);
2304 switch (op->type & INSTR_TYPE_MASK) {
2306 if (op->type & SETREG)
2307 regs->gpr[op->reg] = op->val;
2308 if (op->type & SETCC)
2309 regs->ccr = op->ccval;
2310 if (op->type & SETXER)
2311 regs->xer = op->xerval;
2315 if (op->type & SETLK)
2316 regs->link = next_pc;
2317 if (op->type & BRTAKEN)
2319 if (op->type & DECCTR)
2324 switch (op->type & BARRIER_MASK) {
2334 case BARRIER_LWSYNC:
2335 asm volatile("lwsync" : : : "memory");
2337 case BARRIER_PTESYNC:
2338 asm volatile("ptesync" : : : "memory");
2346 regs->gpr[op->reg] = regs->xer & 0xffffffffUL;
2349 regs->gpr[op->reg] = regs->link;
2352 regs->gpr[op->reg] = regs->ctr;
2362 regs->xer = op->val & 0xffffffffUL;
2365 regs->link = op->val;
2368 regs->ctr = op->val;
2378 regs->nip = next_pc;
2382 * Emulate instructions that cause a transfer of control,
2383 * loads and stores, and a few other instructions.
2384 * Returns 1 if the step was emulated, 0 if not,
2385 * or -1 if the instruction is one that should not be stepped,
2386 * such as an rfid, or a mtmsrd that would clear MSR_RI.
2388 int emulate_step(struct pt_regs *regs, unsigned int instr)
2390 struct instruction_op op;
2391 int r, err, size, type;
2397 r = analyse_instr(&op, regs, instr);
2401 emulate_update_regs(regs, &op);
2406 size = GETSIZE(op.type);
2407 type = op.type & INSTR_TYPE_MASK;
2410 if (OP_IS_LOAD_STORE(type) || type == CACHEOP)
2411 ea = truncate_if_32bit(regs->msr, op.ea);
2415 if (!address_ok(regs, ea, 8))
2417 switch (op.type & CACHEOP_MASK) {
2419 __cacheop_user_asmx(ea, err, "dcbst");
2422 __cacheop_user_asmx(ea, err, "dcbf");
2426 prefetchw((void *) ea);
2430 prefetch((void *) ea);
2433 __cacheop_user_asmx(ea, err, "icbi");
2441 if (ea & (size - 1))
2442 break; /* can't handle misaligned */
2443 if (!address_ok(regs, ea, size))
2447 #ifdef __powerpc64__
2449 __get_user_asmx(val, ea, err, "lbarx");
2452 __get_user_asmx(val, ea, err, "lharx");
2456 __get_user_asmx(val, ea, err, "lwarx");
2458 #ifdef __powerpc64__
2460 __get_user_asmx(val, ea, err, "ldarx");
2463 err = do_lqarx(ea, ®s->gpr[op.reg]);
2470 regs->gpr[op.reg] = val;
2474 if (ea & (size - 1))
2475 break; /* can't handle misaligned */
2476 if (!address_ok(regs, ea, size))
2480 #ifdef __powerpc64__
2482 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
2485 __put_user_asmx(op.val, ea, err, "stbcx.", cr);
2489 __put_user_asmx(op.val, ea, err, "stwcx.", cr);
2491 #ifdef __powerpc64__
2493 __put_user_asmx(op.val, ea, err, "stdcx.", cr);
2496 err = do_stqcx(ea, regs->gpr[op.reg],
2497 regs->gpr[op.reg + 1], &cr);
2504 regs->ccr = (regs->ccr & 0x0fffffff) |
2506 ((regs->xer >> 3) & 0x10000000);
2510 #ifdef __powerpc64__
2512 err = emulate_lq(regs, ea, op.reg);
2516 err = read_mem(®s->gpr[op.reg], ea, size, regs);
2518 if (op.type & SIGNEXT)
2519 do_signext(®s->gpr[op.reg], size);
2520 if (op.type & BYTEREV)
2521 do_byterev(®s->gpr[op.reg], size);
2525 #ifdef CONFIG_PPC_FPU
2527 if (!(regs->msr & MSR_FP))
2530 err = do_fp_load(op.reg, do_lfs, ea, size, regs);
2532 err = do_fp_load(op.reg, do_lfd, ea, size, regs);
2535 #ifdef CONFIG_ALTIVEC
2537 if (!(regs->msr & MSR_VEC))
2539 err = do_vec_load(op.reg, do_lvx, ea, regs);
2546 unsigned long msrbit = MSR_VSX;
2549 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2550 * when the target of the instruction is a vector register.
2552 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2554 if (!(regs->msr & msrbit))
2556 if (!address_ok(regs, ea, size) ||
2557 copy_mem_in(mem, ea, size))
2560 emulate_vsx_load(&op, &buf, mem);
2561 load_vsrn(op.reg, &buf);
2566 if (regs->msr & MSR_LE)
2569 for (i = 0; i < size; i += 4) {
2573 err = read_mem(®s->gpr[rd], ea, nb, regs);
2576 if (nb < 4) /* left-justify last bytes */
2577 regs->gpr[rd] <<= 32 - 8 * nb;
2584 #ifdef __powerpc64__
2586 err = emulate_stq(regs, ea, op.reg);
2590 if ((op.type & UPDATE) && size == sizeof(long) &&
2591 op.reg == 1 && op.update_reg == 1 &&
2592 !(regs->msr & MSR_PR) &&
2593 ea >= regs->gpr[1] - STACK_INT_FRAME_SIZE) {
2594 err = handle_stack_update(ea, regs);
2597 err = write_mem(op.val, ea, size, regs);
2600 #ifdef CONFIG_PPC_FPU
2602 if (!(regs->msr & MSR_FP))
2605 err = do_fp_store(op.reg, do_stfs, ea, size, regs);
2607 err = do_fp_store(op.reg, do_stfd, ea, size, regs);
2610 #ifdef CONFIG_ALTIVEC
2612 if (!(regs->msr & MSR_VEC))
2614 err = do_vec_store(op.reg, do_stvx, ea, regs);
2621 unsigned long msrbit = MSR_VSX;
2624 * Some VSX instructions check the MSR_VEC bit rather than MSR_VSX
2625 * when the target of the instruction is a vector register.
2627 if (op.reg >= 32 && (op.vsx_flags & VSX_CHECK_VEC))
2629 if (!(regs->msr & msrbit))
2631 if (!address_ok(regs, ea, size))
2634 store_vsrn(op.reg, &buf);
2635 emulate_vsx_store(&op, &buf, mem);
2636 if (copy_mem_out(mem, ea, size))
2642 if (regs->msr & MSR_LE)
2645 for (i = 0; i < size; i += 4) {
2646 val = regs->gpr[rd];
2651 val >>= 32 - 8 * nb;
2652 err = write_mem(val, ea, nb, regs);
2661 regs->gpr[op.reg] = regs->msr & MSR_MASK;
2665 val = regs->gpr[op.reg];
2666 if ((val & MSR_RI) == 0)
2667 /* can't step mtmsr[d] that would clear MSR_RI */
2669 /* here op.val is the mask of bits to change */
2670 regs->msr = (regs->msr & ~op.val) | (val & op.val);
2674 case SYSCALL: /* sc */
2676 * N.B. this uses knowledge about how the syscall
2677 * entry code works. If that is changed, this will
2678 * need to be changed also.
2680 if (regs->gpr[0] == 0x1ebe &&
2681 cpu_has_feature(CPU_FTR_REAL_LE)) {
2682 regs->msr ^= MSR_LE;
2685 regs->gpr[9] = regs->gpr[13];
2686 regs->gpr[10] = MSR_KERNEL;
2687 regs->gpr[11] = regs->nip + 4;
2688 regs->gpr[12] = regs->msr & MSR_MASK;
2689 regs->gpr[13] = (unsigned long) get_paca();
2690 regs->nip = (unsigned long) &system_call_common;
2691 regs->msr = MSR_KERNEL;
2703 if (op.type & UPDATE)
2704 regs->gpr[op.update_reg] = op.ea;
2707 regs->nip = truncate_if_32bit(regs->msr, regs->nip + 4);
2710 NOKPROBE_SYMBOL(emulate_step);