| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | * This file is subject to the terms and conditions of the GNU General Public | 
|  | 3 | * License.  See the file "COPYING" in the main directory of this archive | 
|  | 4 | * for more details. | 
|  | 5 | * | 
|  | 6 | * Copyright (C) 1996, 97, 2000, 2001 by Ralf Baechle | 
|  | 7 | * Copyright (C) 2001 MIPS Technologies, Inc. | 
|  | 8 | */ | 
|  | 9 | #include <linux/kernel.h> | 
|  | 10 | #include <linux/sched.h> | 
|  | 11 | #include <linux/signal.h> | 
|  | 12 | #include <asm/branch.h> | 
|  | 13 | #include <asm/cpu.h> | 
|  | 14 | #include <asm/cpu-features.h> | 
| Ralf Baechle | 1d74f6b | 2005-05-09 13:16:07 +0000 | [diff] [blame] | 15 | #include <asm/fpu.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | #include <asm/inst.h> | 
|  | 17 | #include <asm/ptrace.h> | 
|  | 18 | #include <asm/uaccess.h> | 
|  | 19 |  | 
|  | 20 | /* | 
|  | 21 | * Compute the return address and do emulate branch simulation, if required. | 
|  | 22 | */ | 
|  | 23 | int __compute_return_epc(struct pt_regs *regs) | 
|  | 24 | { | 
| Atsushi Nemoto | 5e0373b | 2007-07-13 23:02:42 +0900 | [diff] [blame] | 25 | unsigned int __user *addr; | 
|  | 26 | unsigned int bit, fcr31, dspcontrol; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 | long epc; | 
|  | 28 | union mips_instruction insn; | 
|  | 29 |  | 
|  | 30 | epc = regs->cp0_epc; | 
|  | 31 | if (epc & 3) | 
|  | 32 | goto unaligned; | 
|  | 33 |  | 
|  | 34 | /* | 
|  | 35 | * Read the instruction | 
|  | 36 | */ | 
| Atsushi Nemoto | 5e0373b | 2007-07-13 23:02:42 +0900 | [diff] [blame] | 37 | addr = (unsigned int __user *) epc; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 38 | if (__get_user(insn.word, addr)) { | 
|  | 39 | force_sig(SIGSEGV, current); | 
|  | 40 | return -EFAULT; | 
|  | 41 | } | 
|  | 42 |  | 
|  | 43 | regs->regs[0] = 0; | 
|  | 44 | switch (insn.i_format.opcode) { | 
|  | 45 | /* | 
|  | 46 | * jr and jalr are in r_format format. | 
|  | 47 | */ | 
|  | 48 | case spec_op: | 
|  | 49 | switch (insn.r_format.func) { | 
|  | 50 | case jalr_op: | 
|  | 51 | regs->regs[insn.r_format.rd] = epc + 8; | 
|  | 52 | /* Fall through */ | 
|  | 53 | case jr_op: | 
|  | 54 | regs->cp0_epc = regs->regs[insn.r_format.rs]; | 
|  | 55 | break; | 
|  | 56 | } | 
|  | 57 | break; | 
|  | 58 |  | 
|  | 59 | /* | 
|  | 60 | * This group contains: | 
|  | 61 | * bltz_op, bgez_op, bltzl_op, bgezl_op, | 
|  | 62 | * bltzal_op, bgezal_op, bltzall_op, bgezall_op. | 
|  | 63 | */ | 
|  | 64 | case bcond_op: | 
|  | 65 | switch (insn.i_format.rt) { | 
|  | 66 | case bltz_op: | 
|  | 67 | case bltzl_op: | 
|  | 68 | if ((long)regs->regs[insn.i_format.rs] < 0) | 
|  | 69 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 70 | else | 
|  | 71 | epc += 8; | 
|  | 72 | regs->cp0_epc = epc; | 
|  | 73 | break; | 
|  | 74 |  | 
|  | 75 | case bgez_op: | 
|  | 76 | case bgezl_op: | 
|  | 77 | if ((long)regs->regs[insn.i_format.rs] >= 0) | 
|  | 78 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 79 | else | 
|  | 80 | epc += 8; | 
|  | 81 | regs->cp0_epc = epc; | 
|  | 82 | break; | 
|  | 83 |  | 
|  | 84 | case bltzal_op: | 
|  | 85 | case bltzall_op: | 
|  | 86 | regs->regs[31] = epc + 8; | 
|  | 87 | if ((long)regs->regs[insn.i_format.rs] < 0) | 
|  | 88 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 89 | else | 
|  | 90 | epc += 8; | 
|  | 91 | regs->cp0_epc = epc; | 
|  | 92 | break; | 
|  | 93 |  | 
|  | 94 | case bgezal_op: | 
|  | 95 | case bgezall_op: | 
|  | 96 | regs->regs[31] = epc + 8; | 
|  | 97 | if ((long)regs->regs[insn.i_format.rs] >= 0) | 
|  | 98 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 99 | else | 
|  | 100 | epc += 8; | 
|  | 101 | regs->cp0_epc = epc; | 
|  | 102 | break; | 
| Ralf Baechle | e50c0a8 | 2005-05-31 11:49:19 +0000 | [diff] [blame] | 103 | case bposge32_op: | 
|  | 104 | if (!cpu_has_dsp) | 
|  | 105 | goto sigill; | 
|  | 106 |  | 
|  | 107 | dspcontrol = rddsp(0x01); | 
|  | 108 |  | 
|  | 109 | if (dspcontrol >= 32) { | 
|  | 110 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 111 | } else | 
|  | 112 | epc += 8; | 
|  | 113 | regs->cp0_epc = epc; | 
|  | 114 | break; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 115 | } | 
|  | 116 | break; | 
|  | 117 |  | 
|  | 118 | /* | 
|  | 119 | * These are unconditional and in j_format. | 
|  | 120 | */ | 
|  | 121 | case jal_op: | 
|  | 122 | regs->regs[31] = regs->cp0_epc + 8; | 
|  | 123 | case j_op: | 
|  | 124 | epc += 4; | 
|  | 125 | epc >>= 28; | 
|  | 126 | epc <<= 28; | 
|  | 127 | epc |= (insn.j_format.target << 2); | 
|  | 128 | regs->cp0_epc = epc; | 
|  | 129 | break; | 
|  | 130 |  | 
|  | 131 | /* | 
|  | 132 | * These are conditional and in i_format. | 
|  | 133 | */ | 
|  | 134 | case beq_op: | 
|  | 135 | case beql_op: | 
|  | 136 | if (regs->regs[insn.i_format.rs] == | 
|  | 137 | regs->regs[insn.i_format.rt]) | 
|  | 138 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 139 | else | 
|  | 140 | epc += 8; | 
|  | 141 | regs->cp0_epc = epc; | 
|  | 142 | break; | 
|  | 143 |  | 
|  | 144 | case bne_op: | 
|  | 145 | case bnel_op: | 
|  | 146 | if (regs->regs[insn.i_format.rs] != | 
|  | 147 | regs->regs[insn.i_format.rt]) | 
|  | 148 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 149 | else | 
|  | 150 | epc += 8; | 
|  | 151 | regs->cp0_epc = epc; | 
|  | 152 | break; | 
|  | 153 |  | 
|  | 154 | case blez_op: /* not really i_format */ | 
|  | 155 | case blezl_op: | 
|  | 156 | /* rt field assumed to be zero */ | 
|  | 157 | if ((long)regs->regs[insn.i_format.rs] <= 0) | 
|  | 158 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 159 | else | 
|  | 160 | epc += 8; | 
|  | 161 | regs->cp0_epc = epc; | 
|  | 162 | break; | 
|  | 163 |  | 
|  | 164 | case bgtz_op: | 
|  | 165 | case bgtzl_op: | 
|  | 166 | /* rt field assumed to be zero */ | 
|  | 167 | if ((long)regs->regs[insn.i_format.rs] > 0) | 
|  | 168 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 169 | else | 
|  | 170 | epc += 8; | 
|  | 171 | regs->cp0_epc = epc; | 
|  | 172 | break; | 
|  | 173 |  | 
|  | 174 | /* | 
|  | 175 | * And now the FPA/cp1 branch instructions. | 
|  | 176 | */ | 
|  | 177 | case cop1_op: | 
| Ralf Baechle | 1d74f6b | 2005-05-09 13:16:07 +0000 | [diff] [blame] | 178 | preempt_disable(); | 
|  | 179 | if (is_fpu_owner()) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 180 | asm volatile("cfc1\t%0,$31" : "=r" (fcr31)); | 
| Ralf Baechle | 1d74f6b | 2005-05-09 13:16:07 +0000 | [diff] [blame] | 181 | else | 
| Atsushi Nemoto | eae8907 | 2006-05-16 01:26:03 +0900 | [diff] [blame] | 182 | fcr31 = current->thread.fpu.fcr31; | 
| Ralf Baechle | 1d74f6b | 2005-05-09 13:16:07 +0000 | [diff] [blame] | 183 | preempt_enable(); | 
|  | 184 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 185 | bit = (insn.i_format.rt >> 2); | 
|  | 186 | bit += (bit != 0); | 
|  | 187 | bit += 23; | 
| Ralf Baechle | ee1cca1 | 2006-04-26 21:33:03 +0100 | [diff] [blame] | 188 | switch (insn.i_format.rt & 3) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 189 | case 0:	/* bc1f */ | 
|  | 190 | case 2:	/* bc1fl */ | 
|  | 191 | if (~fcr31 & (1 << bit)) | 
|  | 192 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 193 | else | 
|  | 194 | epc += 8; | 
|  | 195 | regs->cp0_epc = epc; | 
|  | 196 | break; | 
|  | 197 |  | 
|  | 198 | case 1:	/* bc1t */ | 
|  | 199 | case 3:	/* bc1tl */ | 
|  | 200 | if (fcr31 & (1 << bit)) | 
|  | 201 | epc = epc + 4 + (insn.i_format.simmediate << 2); | 
|  | 202 | else | 
|  | 203 | epc += 8; | 
|  | 204 | regs->cp0_epc = epc; | 
|  | 205 | break; | 
|  | 206 | } | 
|  | 207 | break; | 
|  | 208 | } | 
|  | 209 |  | 
|  | 210 | return 0; | 
|  | 211 |  | 
|  | 212 | unaligned: | 
|  | 213 | printk("%s: unaligned epc - sending SIGBUS.\n", current->comm); | 
|  | 214 | force_sig(SIGBUS, current); | 
|  | 215 | return -EFAULT; | 
| Ralf Baechle | e50c0a8 | 2005-05-31 11:49:19 +0000 | [diff] [blame] | 216 |  | 
|  | 217 | sigill: | 
|  | 218 | printk("%s: DSP branch but not DSP ASE - sending SIGBUS.\n", current->comm); | 
|  | 219 | force_sig(SIGBUS, current); | 
|  | 220 | return -EFAULT; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 221 | } |