blob: 348ff47acd06adce7183283b02ea378ebbfc25ad [file] [log] [blame]
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001/*
2 * arch/arm/kernel/kprobes-decode.c
3 *
4 * Copyright (C) 2006, 2007 Motorola Inc.
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * General Public License for more details.
14 */
15
16/*
17 * We do not have hardware single-stepping on ARM, This
18 * effort is further complicated by the ARM not having a
19 * "next PC" register. Instructions that change the PC
20 * can't be safely single-stepped in a MP environment, so
21 * we have a lot of work to do:
22 *
23 * In the prepare phase:
24 * *) If it is an instruction that does anything
25 * with the CPU mode, we reject it for a kprobe.
26 * (This is out of laziness rather than need. The
27 * instructions could be simulated.)
28 *
29 * *) Otherwise, decode the instruction rewriting its
30 * registers to take fixed, ordered registers and
31 * setting a handler for it to run the instruction.
32 *
33 * In the execution phase by an instruction's handler:
34 *
35 * *) If the PC is written to by the instruction, the
36 * instruction must be fully simulated in software.
37 * If it is a conditional instruction, the handler
38 * will use insn[0] to copy its condition code to
39 * set r0 to 1 and insn[1] to "mov pc, lr" to return.
40 *
41 * *) Otherwise, a modified form of the instruction is
42 * directly executed. Its handler calls the
43 * instruction in insn[0]. In insn[1] is a
44 * "mov pc, lr" to return.
45 *
46 * Before calling, load up the reordered registers
47 * from the original instruction's registers. If one
48 * of the original input registers is the PC, compute
49 * and adjust the appropriate input register.
50 *
51 * After call completes, copy the output registers to
52 * the original instruction's original registers.
53 *
54 * We don't use a real breakpoint instruction since that
55 * would have us in the kernel go from SVC mode to SVC
56 * mode losing the link register. Instead we use an
57 * undefined instruction. To simplify processing, the
58 * undefined instruction used for kprobes must be reserved
59 * exclusively for kprobes use.
60 *
61 * TODO: ifdef out some instruction decoding based on architecture.
62 */
63
64#include <linux/kernel.h>
65#include <linux/kprobes.h>
66
67#define sign_extend(x, signbit) ((x) | (0 - ((x) & (1 << (signbit)))))
68
69#define branch_displacement(insn) sign_extend(((insn) & 0xffffff) << 2, 25)
70
Jon Medhurst983ebd92011-04-07 13:25:17 +010071#define is_r15(insn, bitpos) (((insn) & (0xf << bitpos)) == (0xf << bitpos))
72
Quentin Barnes35aa1df2007-06-11 22:20:10 +000073#define PSR_fs (PSR_f|PSR_s)
74
75#define KPROBE_RETURN_INSTRUCTION 0xe1a0f00e /* mov pc, lr */
Quentin Barnes35aa1df2007-06-11 22:20:10 +000076
77typedef long (insn_0arg_fn_t)(void);
78typedef long (insn_1arg_fn_t)(long);
79typedef long (insn_2arg_fn_t)(long, long);
80typedef long (insn_3arg_fn_t)(long, long, long);
81typedef long (insn_4arg_fn_t)(long, long, long, long);
82typedef long long (insn_llret_0arg_fn_t)(void);
83typedef long long (insn_llret_3arg_fn_t)(long, long, long);
84typedef long long (insn_llret_4arg_fn_t)(long, long, long, long);
85
86union reg_pair {
87 long long dr;
88#ifdef __LITTLE_ENDIAN
89 struct { long r0, r1; };
90#else
91 struct { long r1, r0; };
92#endif
93};
94
95/*
96 * For STR and STM instructions, an ARM core may choose to use either
97 * a +8 or a +12 displacement from the current instruction's address.
98 * Whichever value is chosen for a given core, it must be the same for
99 * both instructions and may not change. This function measures it.
100 */
101
102static int str_pc_offset;
103
104static void __init find_str_pc_offset(void)
105{
106 int addr, scratch, ret;
107
108 __asm__ (
109 "sub %[ret], pc, #4 \n\t"
110 "str pc, %[addr] \n\t"
111 "ldr %[scr], %[addr] \n\t"
112 "sub %[ret], %[scr], %[ret] \n\t"
113 : [ret] "=r" (ret), [scr] "=r" (scratch), [addr] "+m" (addr));
114
115 str_pc_offset = ret;
116}
117
118/*
119 * The insnslot_?arg_r[w]flags() functions below are to keep the
120 * msr -> *fn -> mrs instruction sequences indivisible so that
121 * the state of the CPSR flags aren't inadvertently modified
122 * just before or just after the call.
123 */
124
125static inline long __kprobes
126insnslot_0arg_rflags(long cpsr, insn_0arg_fn_t *fn)
127{
128 register long ret asm("r0");
129
130 __asm__ __volatile__ (
131 "msr cpsr_fs, %[cpsr] \n\t"
132 "mov lr, pc \n\t"
133 "mov pc, %[fn] \n\t"
134 : "=r" (ret)
135 : [cpsr] "r" (cpsr), [fn] "r" (fn)
136 : "lr", "cc"
137 );
138 return ret;
139}
140
141static inline long long __kprobes
142insnslot_llret_0arg_rflags(long cpsr, insn_llret_0arg_fn_t *fn)
143{
144 register long ret0 asm("r0");
145 register long ret1 asm("r1");
146 union reg_pair fnr;
147
148 __asm__ __volatile__ (
149 "msr cpsr_fs, %[cpsr] \n\t"
150 "mov lr, pc \n\t"
151 "mov pc, %[fn] \n\t"
152 : "=r" (ret0), "=r" (ret1)
153 : [cpsr] "r" (cpsr), [fn] "r" (fn)
154 : "lr", "cc"
155 );
156 fnr.r0 = ret0;
157 fnr.r1 = ret1;
158 return fnr.dr;
159}
160
161static inline long __kprobes
162insnslot_1arg_rflags(long r0, long cpsr, insn_1arg_fn_t *fn)
163{
164 register long rr0 asm("r0") = r0;
165 register long ret asm("r0");
166
167 __asm__ __volatile__ (
168 "msr cpsr_fs, %[cpsr] \n\t"
169 "mov lr, pc \n\t"
170 "mov pc, %[fn] \n\t"
171 : "=r" (ret)
172 : "0" (rr0), [cpsr] "r" (cpsr), [fn] "r" (fn)
173 : "lr", "cc"
174 );
175 return ret;
176}
177
178static inline long __kprobes
179insnslot_2arg_rflags(long r0, long r1, long cpsr, insn_2arg_fn_t *fn)
180{
181 register long rr0 asm("r0") = r0;
182 register long rr1 asm("r1") = r1;
183 register long ret asm("r0");
184
185 __asm__ __volatile__ (
186 "msr cpsr_fs, %[cpsr] \n\t"
187 "mov lr, pc \n\t"
188 "mov pc, %[fn] \n\t"
189 : "=r" (ret)
190 : "0" (rr0), "r" (rr1),
191 [cpsr] "r" (cpsr), [fn] "r" (fn)
192 : "lr", "cc"
193 );
194 return ret;
195}
196
197static inline long __kprobes
198insnslot_3arg_rflags(long r0, long r1, long r2, long cpsr, insn_3arg_fn_t *fn)
199{
200 register long rr0 asm("r0") = r0;
201 register long rr1 asm("r1") = r1;
202 register long rr2 asm("r2") = r2;
203 register long ret asm("r0");
204
205 __asm__ __volatile__ (
206 "msr cpsr_fs, %[cpsr] \n\t"
207 "mov lr, pc \n\t"
208 "mov pc, %[fn] \n\t"
209 : "=r" (ret)
210 : "0" (rr0), "r" (rr1), "r" (rr2),
211 [cpsr] "r" (cpsr), [fn] "r" (fn)
212 : "lr", "cc"
213 );
214 return ret;
215}
216
217static inline long long __kprobes
218insnslot_llret_3arg_rflags(long r0, long r1, long r2, long cpsr,
219 insn_llret_3arg_fn_t *fn)
220{
221 register long rr0 asm("r0") = r0;
222 register long rr1 asm("r1") = r1;
223 register long rr2 asm("r2") = r2;
224 register long ret0 asm("r0");
225 register long ret1 asm("r1");
226 union reg_pair fnr;
227
228 __asm__ __volatile__ (
229 "msr cpsr_fs, %[cpsr] \n\t"
230 "mov lr, pc \n\t"
231 "mov pc, %[fn] \n\t"
232 : "=r" (ret0), "=r" (ret1)
233 : "0" (rr0), "r" (rr1), "r" (rr2),
234 [cpsr] "r" (cpsr), [fn] "r" (fn)
235 : "lr", "cc"
236 );
237 fnr.r0 = ret0;
238 fnr.r1 = ret1;
239 return fnr.dr;
240}
241
242static inline long __kprobes
243insnslot_4arg_rflags(long r0, long r1, long r2, long r3, long cpsr,
244 insn_4arg_fn_t *fn)
245{
246 register long rr0 asm("r0") = r0;
247 register long rr1 asm("r1") = r1;
248 register long rr2 asm("r2") = r2;
249 register long rr3 asm("r3") = r3;
250 register long ret asm("r0");
251
252 __asm__ __volatile__ (
253 "msr cpsr_fs, %[cpsr] \n\t"
254 "mov lr, pc \n\t"
255 "mov pc, %[fn] \n\t"
256 : "=r" (ret)
257 : "0" (rr0), "r" (rr1), "r" (rr2), "r" (rr3),
258 [cpsr] "r" (cpsr), [fn] "r" (fn)
259 : "lr", "cc"
260 );
261 return ret;
262}
263
264static inline long __kprobes
265insnslot_1arg_rwflags(long r0, long *cpsr, insn_1arg_fn_t *fn)
266{
267 register long rr0 asm("r0") = r0;
268 register long ret asm("r0");
269 long oldcpsr = *cpsr;
270 long newcpsr;
271
272 __asm__ __volatile__ (
273 "msr cpsr_fs, %[oldcpsr] \n\t"
274 "mov lr, pc \n\t"
275 "mov pc, %[fn] \n\t"
276 "mrs %[newcpsr], cpsr \n\t"
277 : "=r" (ret), [newcpsr] "=r" (newcpsr)
278 : "0" (rr0), [oldcpsr] "r" (oldcpsr), [fn] "r" (fn)
279 : "lr", "cc"
280 );
281 *cpsr = (oldcpsr & ~PSR_fs) | (newcpsr & PSR_fs);
282 return ret;
283}
284
285static inline long __kprobes
286insnslot_2arg_rwflags(long r0, long r1, long *cpsr, insn_2arg_fn_t *fn)
287{
288 register long rr0 asm("r0") = r0;
289 register long rr1 asm("r1") = r1;
290 register long ret asm("r0");
291 long oldcpsr = *cpsr;
292 long newcpsr;
293
294 __asm__ __volatile__ (
295 "msr cpsr_fs, %[oldcpsr] \n\t"
296 "mov lr, pc \n\t"
297 "mov pc, %[fn] \n\t"
298 "mrs %[newcpsr], cpsr \n\t"
299 : "=r" (ret), [newcpsr] "=r" (newcpsr)
300 : "0" (rr0), "r" (rr1), [oldcpsr] "r" (oldcpsr), [fn] "r" (fn)
301 : "lr", "cc"
302 );
303 *cpsr = (oldcpsr & ~PSR_fs) | (newcpsr & PSR_fs);
304 return ret;
305}
306
307static inline long __kprobes
308insnslot_3arg_rwflags(long r0, long r1, long r2, long *cpsr,
309 insn_3arg_fn_t *fn)
310{
311 register long rr0 asm("r0") = r0;
312 register long rr1 asm("r1") = r1;
313 register long rr2 asm("r2") = r2;
314 register long ret asm("r0");
315 long oldcpsr = *cpsr;
316 long newcpsr;
317
318 __asm__ __volatile__ (
319 "msr cpsr_fs, %[oldcpsr] \n\t"
320 "mov lr, pc \n\t"
321 "mov pc, %[fn] \n\t"
322 "mrs %[newcpsr], cpsr \n\t"
323 : "=r" (ret), [newcpsr] "=r" (newcpsr)
324 : "0" (rr0), "r" (rr1), "r" (rr2),
325 [oldcpsr] "r" (oldcpsr), [fn] "r" (fn)
326 : "lr", "cc"
327 );
328 *cpsr = (oldcpsr & ~PSR_fs) | (newcpsr & PSR_fs);
329 return ret;
330}
331
332static inline long __kprobes
333insnslot_4arg_rwflags(long r0, long r1, long r2, long r3, long *cpsr,
334 insn_4arg_fn_t *fn)
335{
336 register long rr0 asm("r0") = r0;
337 register long rr1 asm("r1") = r1;
338 register long rr2 asm("r2") = r2;
339 register long rr3 asm("r3") = r3;
340 register long ret asm("r0");
341 long oldcpsr = *cpsr;
342 long newcpsr;
343
344 __asm__ __volatile__ (
345 "msr cpsr_fs, %[oldcpsr] \n\t"
346 "mov lr, pc \n\t"
347 "mov pc, %[fn] \n\t"
348 "mrs %[newcpsr], cpsr \n\t"
349 : "=r" (ret), [newcpsr] "=r" (newcpsr)
350 : "0" (rr0), "r" (rr1), "r" (rr2), "r" (rr3),
351 [oldcpsr] "r" (oldcpsr), [fn] "r" (fn)
352 : "lr", "cc"
353 );
354 *cpsr = (oldcpsr & ~PSR_fs) | (newcpsr & PSR_fs);
355 return ret;
356}
357
358static inline long long __kprobes
359insnslot_llret_4arg_rwflags(long r0, long r1, long r2, long r3, long *cpsr,
360 insn_llret_4arg_fn_t *fn)
361{
362 register long rr0 asm("r0") = r0;
363 register long rr1 asm("r1") = r1;
364 register long rr2 asm("r2") = r2;
365 register long rr3 asm("r3") = r3;
366 register long ret0 asm("r0");
367 register long ret1 asm("r1");
368 long oldcpsr = *cpsr;
369 long newcpsr;
370 union reg_pair fnr;
371
372 __asm__ __volatile__ (
373 "msr cpsr_fs, %[oldcpsr] \n\t"
374 "mov lr, pc \n\t"
375 "mov pc, %[fn] \n\t"
376 "mrs %[newcpsr], cpsr \n\t"
377 : "=r" (ret0), "=r" (ret1), [newcpsr] "=r" (newcpsr)
378 : "0" (rr0), "r" (rr1), "r" (rr2), "r" (rr3),
379 [oldcpsr] "r" (oldcpsr), [fn] "r" (fn)
380 : "lr", "cc"
381 );
382 *cpsr = (oldcpsr & ~PSR_fs) | (newcpsr & PSR_fs);
383 fnr.r0 = ret0;
384 fnr.r1 = ret1;
385 return fnr.dr;
386}
387
388/*
389 * To avoid the complications of mimicing single-stepping on a
390 * processor without a Next-PC or a single-step mode, and to
391 * avoid having to deal with the side-effects of boosting, we
392 * simulate or emulate (almost) all ARM instructions.
393 *
394 * "Simulation" is where the instruction's behavior is duplicated in
395 * C code. "Emulation" is where the original instruction is rewritten
396 * and executed, often by altering its registers.
397 *
398 * By having all behavior of the kprobe'd instruction completed before
399 * returning from the kprobe_handler(), all locks (scheduler and
400 * interrupt) can safely be released. There is no need for secondary
401 * breakpoints, no race with MP or preemptable kernels, nor having to
402 * clean up resources counts at a later time impacting overall system
403 * performance. By rewriting the instruction, only the minimum registers
404 * need to be loaded and saved back optimizing performance.
405 *
406 * Calling the insnslot_*_rwflags version of a function doesn't hurt
407 * anything even when the CPSR flags aren't updated by the
408 * instruction. It's just a little slower in return for saving
409 * a little space by not having a duplicate function that doesn't
410 * update the flags. (The same optimization can be said for
411 * instructions that do or don't perform register writeback)
412 * Also, instructions can either read the flags, only write the
413 * flags, or read and write the flags. To save combinations
414 * rather than for sheer performance, flag functions just assume
415 * read and write of flags.
416 */
417
418static void __kprobes simulate_bbl(struct kprobe *p, struct pt_regs *regs)
419{
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000420 kprobe_opcode_t insn = p->opcode;
421 long iaddr = (long)p->addr;
422 int disp = branch_displacement(insn);
423
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000424 if (insn & (1 << 24))
425 regs->ARM_lr = iaddr + 4;
426
427 regs->ARM_pc = iaddr + 8 + disp;
428}
429
430static void __kprobes simulate_blx1(struct kprobe *p, struct pt_regs *regs)
431{
432 kprobe_opcode_t insn = p->opcode;
433 long iaddr = (long)p->addr;
434 int disp = branch_displacement(insn);
435
436 regs->ARM_lr = iaddr + 4;
437 regs->ARM_pc = iaddr + 8 + disp + ((insn >> 23) & 0x2);
438 regs->ARM_cpsr |= PSR_T_BIT;
439}
440
441static void __kprobes simulate_blx2bx(struct kprobe *p, struct pt_regs *regs)
442{
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000443 kprobe_opcode_t insn = p->opcode;
444 int rm = insn & 0xf;
445 long rmv = regs->uregs[rm];
446
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000447 if (insn & (1 << 5))
448 regs->ARM_lr = (long)p->addr + 4;
449
450 regs->ARM_pc = rmv & ~0x1;
451 regs->ARM_cpsr &= ~PSR_T_BIT;
452 if (rmv & 0x1)
453 regs->ARM_cpsr |= PSR_T_BIT;
454}
455
Jon Medhurstc412aba2011-04-07 13:25:16 +0100456static void __kprobes simulate_mrs(struct kprobe *p, struct pt_regs *regs)
457{
458 kprobe_opcode_t insn = p->opcode;
459 int rd = (insn >> 12) & 0xf;
460 unsigned long mask = 0xf8ff03df; /* Mask out execution state */
461 regs->uregs[rd] = regs->ARM_cpsr & mask;
462}
463
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000464static void __kprobes simulate_ldm1stm1(struct kprobe *p, struct pt_regs *regs)
465{
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000466 kprobe_opcode_t insn = p->opcode;
467 int rn = (insn >> 16) & 0xf;
468 int lbit = insn & (1 << 20);
469 int wbit = insn & (1 << 21);
470 int ubit = insn & (1 << 23);
471 int pbit = insn & (1 << 24);
472 long *addr = (long *)regs->uregs[rn];
473 int reg_bit_vector;
474 int reg_count;
475
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000476 reg_count = 0;
477 reg_bit_vector = insn & 0xffff;
478 while (reg_bit_vector) {
479 reg_bit_vector &= (reg_bit_vector - 1);
480 ++reg_count;
481 }
482
483 if (!ubit)
484 addr -= reg_count;
Nicolas Pitre2d4b6c92008-08-21 23:22:49 +0100485 addr += (!pbit == !ubit);
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000486
487 reg_bit_vector = insn & 0xffff;
488 while (reg_bit_vector) {
489 int reg = __ffs(reg_bit_vector);
490 reg_bit_vector &= (reg_bit_vector - 1);
491 if (lbit)
492 regs->uregs[reg] = *addr++;
493 else
494 *addr++ = regs->uregs[reg];
495 }
496
497 if (wbit) {
498 if (!ubit)
499 addr -= reg_count;
Nicolas Pitre2d4b6c92008-08-21 23:22:49 +0100500 addr -= (!pbit == !ubit);
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000501 regs->uregs[rn] = (long)addr;
502 }
503}
504
505static void __kprobes simulate_stm1_pc(struct kprobe *p, struct pt_regs *regs)
506{
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000507 regs->ARM_pc = (long)p->addr + str_pc_offset;
508 simulate_ldm1stm1(p, regs);
509 regs->ARM_pc = (long)p->addr + 4;
510}
511
512static void __kprobes simulate_mov_ipsp(struct kprobe *p, struct pt_regs *regs)
513{
514 regs->uregs[12] = regs->uregs[13];
515}
516
517static void __kprobes emulate_ldcstc(struct kprobe *p, struct pt_regs *regs)
518{
519 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
520 kprobe_opcode_t insn = p->opcode;
521 int rn = (insn >> 16) & 0xf;
522 long rnv = regs->uregs[rn];
523
524 /* Save Rn in case of writeback. */
525 regs->uregs[rn] = insnslot_1arg_rflags(rnv, regs->ARM_cpsr, i_fn);
526}
527
528static void __kprobes emulate_ldrd(struct kprobe *p, struct pt_regs *regs)
529{
530 insn_2arg_fn_t *i_fn = (insn_2arg_fn_t *)&p->ainsn.insn[0];
531 kprobe_opcode_t insn = p->opcode;
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300532 long ppc = (long)p->addr + 8;
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000533 int rd = (insn >> 12) & 0xf;
534 int rn = (insn >> 16) & 0xf;
535 int rm = insn & 0xf; /* rm may be invalid, don't care. */
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300536 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
537 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000538
539 /* Not following the C calling convention here, so need asm(). */
540 __asm__ __volatile__ (
541 "ldr r0, %[rn] \n\t"
542 "ldr r1, %[rm] \n\t"
543 "msr cpsr_fs, %[cpsr]\n\t"
544 "mov lr, pc \n\t"
545 "mov pc, %[i_fn] \n\t"
546 "str r0, %[rn] \n\t" /* in case of writeback */
547 "str r2, %[rd0] \n\t"
548 "str r3, %[rd1] \n\t"
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300549 : [rn] "+m" (rnv),
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000550 [rd0] "=m" (regs->uregs[rd]),
551 [rd1] "=m" (regs->uregs[rd+1])
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300552 : [rm] "m" (rmv),
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000553 [cpsr] "r" (regs->ARM_cpsr),
554 [i_fn] "r" (i_fn)
555 : "r0", "r1", "r2", "r3", "lr", "cc"
556 );
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300557 if (rn != 15)
558 regs->uregs[rn] = rnv; /* Save Rn in case of writeback. */
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000559}
560
561static void __kprobes emulate_strd(struct kprobe *p, struct pt_regs *regs)
562{
563 insn_4arg_fn_t *i_fn = (insn_4arg_fn_t *)&p->ainsn.insn[0];
564 kprobe_opcode_t insn = p->opcode;
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300565 long ppc = (long)p->addr + 8;
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000566 int rd = (insn >> 12) & 0xf;
567 int rn = (insn >> 16) & 0xf;
568 int rm = insn & 0xf;
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300569 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
570 /* rm/rmv may be invalid, don't care. */
571 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
572 long rnv_wb;
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000573
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300574 rnv_wb = insnslot_4arg_rflags(rnv, rmv, regs->uregs[rd],
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000575 regs->uregs[rd+1],
576 regs->ARM_cpsr, i_fn);
Viktor Rosendahlcf3cc1a2011-03-28 18:56:05 +0300577 if (rn != 15)
578 regs->uregs[rn] = rnv_wb; /* Save Rn in case of writeback. */
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000579}
580
581static void __kprobes emulate_ldr(struct kprobe *p, struct pt_regs *regs)
582{
583 insn_llret_3arg_fn_t *i_fn = (insn_llret_3arg_fn_t *)&p->ainsn.insn[0];
584 kprobe_opcode_t insn = p->opcode;
Nicolas Pitre0ebe25f2010-07-14 05:21:22 +0100585 long ppc = (long)p->addr + 8;
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000586 union reg_pair fnr;
587 int rd = (insn >> 12) & 0xf;
588 int rn = (insn >> 16) & 0xf;
589 int rm = insn & 0xf;
590 long rdv;
Nicolas Pitre0ebe25f2010-07-14 05:21:22 +0100591 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
592 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000593 long cpsr = regs->ARM_cpsr;
594
595 fnr.dr = insnslot_llret_3arg_rflags(rnv, 0, rmv, cpsr, i_fn);
Viktor Rosendahl0652f062011-03-26 18:11:01 +0100596 if (rn != 15)
597 regs->uregs[rn] = fnr.r0; /* Save Rn in case of writeback. */
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000598 rdv = fnr.r1;
599
600 if (rd == 15) {
601#if __LINUX_ARM_ARCH__ >= 5
602 cpsr &= ~PSR_T_BIT;
603 if (rdv & 0x1)
604 cpsr |= PSR_T_BIT;
605 regs->ARM_cpsr = cpsr;
606 rdv &= ~0x1;
607#else
608 rdv &= ~0x2;
609#endif
610 }
611 regs->uregs[rd] = rdv;
612}
613
614static void __kprobes emulate_str(struct kprobe *p, struct pt_regs *regs)
615{
616 insn_3arg_fn_t *i_fn = (insn_3arg_fn_t *)&p->ainsn.insn[0];
617 kprobe_opcode_t insn = p->opcode;
618 long iaddr = (long)p->addr;
619 int rd = (insn >> 12) & 0xf;
620 int rn = (insn >> 16) & 0xf;
621 int rm = insn & 0xf;
622 long rdv = (rd == 15) ? iaddr + str_pc_offset : regs->uregs[rd];
623 long rnv = (rn == 15) ? iaddr + 8 : regs->uregs[rn];
624 long rmv = regs->uregs[rm]; /* rm/rmv may be invalid, don't care. */
Viktor Rosendahl0652f062011-03-26 18:11:01 +0100625 long rnv_wb;
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000626
Viktor Rosendahl0652f062011-03-26 18:11:01 +0100627 rnv_wb = insnslot_3arg_rflags(rnv, rdv, rmv, regs->ARM_cpsr, i_fn);
628 if (rn != 15)
629 regs->uregs[rn] = rnv_wb; /* Save Rn in case of writeback. */
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000630}
631
632static void __kprobes emulate_mrrc(struct kprobe *p, struct pt_regs *regs)
633{
634 insn_llret_0arg_fn_t *i_fn = (insn_llret_0arg_fn_t *)&p->ainsn.insn[0];
635 kprobe_opcode_t insn = p->opcode;
636 union reg_pair fnr;
637 int rd = (insn >> 12) & 0xf;
638 int rn = (insn >> 16) & 0xf;
639
640 fnr.dr = insnslot_llret_0arg_rflags(regs->ARM_cpsr, i_fn);
641 regs->uregs[rn] = fnr.r0;
642 regs->uregs[rd] = fnr.r1;
643}
644
645static void __kprobes emulate_mcrr(struct kprobe *p, struct pt_regs *regs)
646{
647 insn_2arg_fn_t *i_fn = (insn_2arg_fn_t *)&p->ainsn.insn[0];
648 kprobe_opcode_t insn = p->opcode;
649 int rd = (insn >> 12) & 0xf;
650 int rn = (insn >> 16) & 0xf;
651 long rnv = regs->uregs[rn];
652 long rdv = regs->uregs[rd];
653
654 insnslot_2arg_rflags(rnv, rdv, regs->ARM_cpsr, i_fn);
655}
656
657static void __kprobes emulate_sat(struct kprobe *p, struct pt_regs *regs)
658{
659 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
660 kprobe_opcode_t insn = p->opcode;
661 int rd = (insn >> 12) & 0xf;
662 int rm = insn & 0xf;
663 long rmv = regs->uregs[rm];
664
665 /* Writes Q flag */
666 regs->uregs[rd] = insnslot_1arg_rwflags(rmv, &regs->ARM_cpsr, i_fn);
667}
668
669static void __kprobes emulate_sel(struct kprobe *p, struct pt_regs *regs)
670{
671 insn_2arg_fn_t *i_fn = (insn_2arg_fn_t *)&p->ainsn.insn[0];
672 kprobe_opcode_t insn = p->opcode;
673 int rd = (insn >> 12) & 0xf;
674 int rn = (insn >> 16) & 0xf;
675 int rm = insn & 0xf;
676 long rnv = regs->uregs[rn];
677 long rmv = regs->uregs[rm];
678
679 /* Reads GE bits */
680 regs->uregs[rd] = insnslot_2arg_rflags(rnv, rmv, regs->ARM_cpsr, i_fn);
681}
682
683static void __kprobes emulate_none(struct kprobe *p, struct pt_regs *regs)
684{
685 insn_0arg_fn_t *i_fn = (insn_0arg_fn_t *)&p->ainsn.insn[0];
686
687 insnslot_0arg_rflags(regs->ARM_cpsr, i_fn);
688}
689
690static void __kprobes emulate_rd12(struct kprobe *p, struct pt_regs *regs)
691{
692 insn_0arg_fn_t *i_fn = (insn_0arg_fn_t *)&p->ainsn.insn[0];
693 kprobe_opcode_t insn = p->opcode;
694 int rd = (insn >> 12) & 0xf;
695
696 regs->uregs[rd] = insnslot_0arg_rflags(regs->ARM_cpsr, i_fn);
697}
698
699static void __kprobes emulate_ird12(struct kprobe *p, struct pt_regs *regs)
700{
701 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
702 kprobe_opcode_t insn = p->opcode;
703 int ird = (insn >> 12) & 0xf;
704
705 insnslot_1arg_rflags(regs->uregs[ird], regs->ARM_cpsr, i_fn);
706}
707
708static void __kprobes emulate_rn16(struct kprobe *p, struct pt_regs *regs)
709{
710 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
711 kprobe_opcode_t insn = p->opcode;
712 int rn = (insn >> 16) & 0xf;
713 long rnv = regs->uregs[rn];
714
715 insnslot_1arg_rflags(rnv, regs->ARM_cpsr, i_fn);
716}
717
718static void __kprobes emulate_rd12rm0(struct kprobe *p, struct pt_regs *regs)
719{
720 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
721 kprobe_opcode_t insn = p->opcode;
722 int rd = (insn >> 12) & 0xf;
723 int rm = insn & 0xf;
724 long rmv = regs->uregs[rm];
725
726 regs->uregs[rd] = insnslot_1arg_rflags(rmv, regs->ARM_cpsr, i_fn);
727}
728
729static void __kprobes
730emulate_rd12rn16rm0_rwflags(struct kprobe *p, struct pt_regs *regs)
731{
732 insn_2arg_fn_t *i_fn = (insn_2arg_fn_t *)&p->ainsn.insn[0];
733 kprobe_opcode_t insn = p->opcode;
734 int rd = (insn >> 12) & 0xf;
735 int rn = (insn >> 16) & 0xf;
736 int rm = insn & 0xf;
737 long rnv = regs->uregs[rn];
738 long rmv = regs->uregs[rm];
739
740 regs->uregs[rd] =
741 insnslot_2arg_rwflags(rnv, rmv, &regs->ARM_cpsr, i_fn);
742}
743
744static void __kprobes
745emulate_rd16rn12rs8rm0_rwflags(struct kprobe *p, struct pt_regs *regs)
746{
747 insn_3arg_fn_t *i_fn = (insn_3arg_fn_t *)&p->ainsn.insn[0];
748 kprobe_opcode_t insn = p->opcode;
749 int rd = (insn >> 16) & 0xf;
750 int rn = (insn >> 12) & 0xf;
751 int rs = (insn >> 8) & 0xf;
752 int rm = insn & 0xf;
753 long rnv = regs->uregs[rn];
754 long rsv = regs->uregs[rs];
755 long rmv = regs->uregs[rm];
756
757 regs->uregs[rd] =
758 insnslot_3arg_rwflags(rnv, rsv, rmv, &regs->ARM_cpsr, i_fn);
759}
760
761static void __kprobes
762emulate_rd16rs8rm0_rwflags(struct kprobe *p, struct pt_regs *regs)
763{
764 insn_2arg_fn_t *i_fn = (insn_2arg_fn_t *)&p->ainsn.insn[0];
765 kprobe_opcode_t insn = p->opcode;
766 int rd = (insn >> 16) & 0xf;
767 int rs = (insn >> 8) & 0xf;
768 int rm = insn & 0xf;
769 long rsv = regs->uregs[rs];
770 long rmv = regs->uregs[rm];
771
772 regs->uregs[rd] =
773 insnslot_2arg_rwflags(rsv, rmv, &regs->ARM_cpsr, i_fn);
774}
775
776static void __kprobes
777emulate_rdhi16rdlo12rs8rm0_rwflags(struct kprobe *p, struct pt_regs *regs)
778{
779 insn_llret_4arg_fn_t *i_fn = (insn_llret_4arg_fn_t *)&p->ainsn.insn[0];
780 kprobe_opcode_t insn = p->opcode;
781 union reg_pair fnr;
782 int rdhi = (insn >> 16) & 0xf;
783 int rdlo = (insn >> 12) & 0xf;
784 int rs = (insn >> 8) & 0xf;
785 int rm = insn & 0xf;
786 long rsv = regs->uregs[rs];
787 long rmv = regs->uregs[rm];
788
789 fnr.dr = insnslot_llret_4arg_rwflags(regs->uregs[rdhi],
790 regs->uregs[rdlo], rsv, rmv,
791 &regs->ARM_cpsr, i_fn);
792 regs->uregs[rdhi] = fnr.r0;
793 regs->uregs[rdlo] = fnr.r1;
794}
795
796static void __kprobes
797emulate_alu_imm_rflags(struct kprobe *p, struct pt_regs *regs)
798{
799 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
800 kprobe_opcode_t insn = p->opcode;
801 int rd = (insn >> 12) & 0xf;
802 int rn = (insn >> 16) & 0xf;
803 long rnv = (rn == 15) ? (long)p->addr + 8 : regs->uregs[rn];
804
805 regs->uregs[rd] = insnslot_1arg_rflags(rnv, regs->ARM_cpsr, i_fn);
806}
807
808static void __kprobes
809emulate_alu_imm_rwflags(struct kprobe *p, struct pt_regs *regs)
810{
811 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
812 kprobe_opcode_t insn = p->opcode;
813 int rd = (insn >> 12) & 0xf;
814 int rn = (insn >> 16) & 0xf;
815 long rnv = (rn == 15) ? (long)p->addr + 8 : regs->uregs[rn];
816
817 regs->uregs[rd] = insnslot_1arg_rwflags(rnv, &regs->ARM_cpsr, i_fn);
818}
819
820static void __kprobes
Jon Medhurstad111ce2011-04-06 11:17:11 +0100821emulate_alu_tests_imm(struct kprobe *p, struct pt_regs *regs)
822{
823 insn_1arg_fn_t *i_fn = (insn_1arg_fn_t *)&p->ainsn.insn[0];
824 kprobe_opcode_t insn = p->opcode;
825 int rn = (insn >> 16) & 0xf;
826 long rnv = (rn == 15) ? (long)p->addr + 8 : regs->uregs[rn];
827
828 insnslot_1arg_rwflags(rnv, &regs->ARM_cpsr, i_fn);
829}
830
831static void __kprobes
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000832emulate_alu_rflags(struct kprobe *p, struct pt_regs *regs)
833{
834 insn_3arg_fn_t *i_fn = (insn_3arg_fn_t *)&p->ainsn.insn[0];
835 kprobe_opcode_t insn = p->opcode;
836 long ppc = (long)p->addr + 8;
837 int rd = (insn >> 12) & 0xf;
838 int rn = (insn >> 16) & 0xf; /* rn/rnv/rs/rsv may be */
839 int rs = (insn >> 8) & 0xf; /* invalid, don't care. */
840 int rm = insn & 0xf;
841 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
842 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
843 long rsv = regs->uregs[rs];
844
845 regs->uregs[rd] =
846 insnslot_3arg_rflags(rnv, rmv, rsv, regs->ARM_cpsr, i_fn);
847}
848
849static void __kprobes
850emulate_alu_rwflags(struct kprobe *p, struct pt_regs *regs)
851{
852 insn_3arg_fn_t *i_fn = (insn_3arg_fn_t *)&p->ainsn.insn[0];
853 kprobe_opcode_t insn = p->opcode;
854 long ppc = (long)p->addr + 8;
855 int rd = (insn >> 12) & 0xf;
856 int rn = (insn >> 16) & 0xf; /* rn/rnv/rs/rsv may be */
857 int rs = (insn >> 8) & 0xf; /* invalid, don't care. */
858 int rm = insn & 0xf;
859 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
860 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
861 long rsv = regs->uregs[rs];
862
863 regs->uregs[rd] =
864 insnslot_3arg_rwflags(rnv, rmv, rsv, &regs->ARM_cpsr, i_fn);
865}
866
Jon Medhurstad111ce2011-04-06 11:17:11 +0100867static void __kprobes
868emulate_alu_tests(struct kprobe *p, struct pt_regs *regs)
869{
870 insn_3arg_fn_t *i_fn = (insn_3arg_fn_t *)&p->ainsn.insn[0];
871 kprobe_opcode_t insn = p->opcode;
872 long ppc = (long)p->addr + 8;
873 int rn = (insn >> 16) & 0xf;
874 int rs = (insn >> 8) & 0xf; /* rs/rsv may be invalid, don't care. */
875 int rm = insn & 0xf;
876 long rnv = (rn == 15) ? ppc : regs->uregs[rn];
877 long rmv = (rm == 15) ? ppc : regs->uregs[rm];
878 long rsv = regs->uregs[rs];
879
880 insnslot_3arg_rwflags(rnv, rmv, rsv, &regs->ARM_cpsr, i_fn);
881}
882
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000883static enum kprobe_insn __kprobes
884prep_emulate_ldr_str(kprobe_opcode_t insn, struct arch_specific_insn *asi)
885{
Jon Medhurst6823fc82011-04-08 15:32:54 +0100886 int not_imm = (insn & (1 << 26)) ? (insn & (1 << 25))
887 : (~insn & (1 << 22));
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000888
889 insn &= 0xfff00fff;
890 insn |= 0x00001000; /* Rn = r0, Rd = r1 */
Jon Medhurst6823fc82011-04-08 15:32:54 +0100891 if (not_imm) {
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000892 insn &= ~0xf;
893 insn |= 2; /* Rm = r2 */
894 }
895 asi->insn[0] = insn;
896 asi->insn_handler = (insn & (1 << 20)) ? emulate_ldr : emulate_str;
897 return INSN_GOOD;
898}
899
900static enum kprobe_insn __kprobes
901prep_emulate_rd12rm0(kprobe_opcode_t insn, struct arch_specific_insn *asi)
902{
Jon Medhurst983ebd92011-04-07 13:25:17 +0100903 if (is_r15(insn, 12))
904 return INSN_REJECTED; /* Rd is PC */
905
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000906 insn &= 0xffff0ff0; /* Rd = r0, Rm = r0 */
907 asi->insn[0] = insn;
908 asi->insn_handler = emulate_rd12rm0;
909 return INSN_GOOD;
910}
911
912static enum kprobe_insn __kprobes
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000913prep_emulate_rd12rn16rm0_wflags(kprobe_opcode_t insn,
914 struct arch_specific_insn *asi)
915{
Jon Medhurst983ebd92011-04-07 13:25:17 +0100916 if (is_r15(insn, 12))
917 return INSN_REJECTED; /* Rd is PC */
918
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000919 insn &= 0xfff00ff0; /* Rd = r0, Rn = r0 */
920 insn |= 0x00000001; /* Rm = r1 */
921 asi->insn[0] = insn;
922 asi->insn_handler = emulate_rd12rn16rm0_rwflags;
923 return INSN_GOOD;
924}
925
926static enum kprobe_insn __kprobes
927prep_emulate_rd16rs8rm0_wflags(kprobe_opcode_t insn,
928 struct arch_specific_insn *asi)
929{
Jon Medhurst983ebd92011-04-07 13:25:17 +0100930 if (is_r15(insn, 16))
931 return INSN_REJECTED; /* Rd is PC */
932
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000933 insn &= 0xfff0f0f0; /* Rd = r0, Rs = r0 */
934 insn |= 0x00000001; /* Rm = r1 */
935 asi->insn[0] = insn;
936 asi->insn_handler = emulate_rd16rs8rm0_rwflags;
937 return INSN_GOOD;
938}
939
940static enum kprobe_insn __kprobes
941prep_emulate_rd16rn12rs8rm0_wflags(kprobe_opcode_t insn,
942 struct arch_specific_insn *asi)
943{
Jon Medhurst983ebd92011-04-07 13:25:17 +0100944 if (is_r15(insn, 16))
945 return INSN_REJECTED; /* Rd is PC */
946
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000947 insn &= 0xfff000f0; /* Rd = r0, Rn = r0 */
948 insn |= 0x00000102; /* Rs = r1, Rm = r2 */
949 asi->insn[0] = insn;
950 asi->insn_handler = emulate_rd16rn12rs8rm0_rwflags;
951 return INSN_GOOD;
952}
953
954static enum kprobe_insn __kprobes
955prep_emulate_rdhi16rdlo12rs8rm0_wflags(kprobe_opcode_t insn,
956 struct arch_specific_insn *asi)
957{
Jon Medhurst983ebd92011-04-07 13:25:17 +0100958 if (is_r15(insn, 16) || is_r15(insn, 12))
959 return INSN_REJECTED; /* RdHi or RdLo is PC */
960
Quentin Barnes35aa1df2007-06-11 22:20:10 +0000961 insn &= 0xfff000f0; /* RdHi = r0, RdLo = r1 */
962 insn |= 0x00001203; /* Rs = r2, Rm = r3 */
963 asi->insn[0] = insn;
964 asi->insn_handler = emulate_rdhi16rdlo12rs8rm0_rwflags;
965 return INSN_GOOD;
966}
967
968/*
969 * For the instruction masking and comparisons in all the "space_*"
970 * functions below, Do _not_ rearrange the order of tests unless
971 * you're very, very sure of what you are doing. For the sake of
972 * efficiency, the masks for some tests sometimes assume other test
973 * have been done prior to them so the number of patterns to test
974 * for an instruction set can be as broad as possible to reduce the
975 * number of tests needed.
976 */
977
978static enum kprobe_insn __kprobes
979space_1111(kprobe_opcode_t insn, struct arch_specific_insn *asi)
980{
981 /* CPS mmod == 1 : 1111 0001 0000 xx10 xxxx xxxx xx0x xxxx */
982 /* RFE : 1111 100x x0x1 xxxx xxxx 1010 xxxx xxxx */
983 /* SRS : 1111 100x x1x0 1101 xxxx 0101 xxxx xxxx */
984 if ((insn & 0xfff30020) == 0xf1020000 ||
985 (insn & 0xfe500f00) == 0xf8100a00 ||
986 (insn & 0xfe5f0f00) == 0xf84d0500)
987 return INSN_REJECTED;
988
989 /* PLD : 1111 01x1 x101 xxxx xxxx xxxx xxxx xxxx : */
990 if ((insn & 0xfd700000) == 0xf4500000) {
991 insn &= 0xfff0ffff; /* Rn = r0 */
992 asi->insn[0] = insn;
993 asi->insn_handler = emulate_rn16;
994 return INSN_GOOD;
995 }
996
997 /* BLX(1) : 1111 101x xxxx xxxx xxxx xxxx xxxx xxxx : */
998 if ((insn & 0xfe000000) == 0xfa000000) {
999 asi->insn_handler = simulate_blx1;
1000 return INSN_GOOD_NO_SLOT;
1001 }
1002
1003 /* SETEND : 1111 0001 0000 0001 xxxx xxxx 0000 xxxx */
1004 /* CDP2 : 1111 1110 xxxx xxxx xxxx xxxx xxx0 xxxx */
1005 if ((insn & 0xffff00f0) == 0xf1010000 ||
1006 (insn & 0xff000010) == 0xfe000000) {
1007 asi->insn[0] = insn;
1008 asi->insn_handler = emulate_none;
1009 return INSN_GOOD;
1010 }
1011
1012 /* MCRR2 : 1111 1100 0100 xxxx xxxx xxxx xxxx xxxx : (Rd != Rn) */
1013 /* MRRC2 : 1111 1100 0101 xxxx xxxx xxxx xxxx xxxx : (Rd != Rn) */
1014 if ((insn & 0xffe00000) == 0xfc400000) {
1015 insn &= 0xfff00fff; /* Rn = r0 */
1016 insn |= 0x00001000; /* Rd = r1 */
1017 asi->insn[0] = insn;
1018 asi->insn_handler =
1019 (insn & (1 << 20)) ? emulate_mrrc : emulate_mcrr;
1020 return INSN_GOOD;
1021 }
1022
1023 /* LDC2 : 1111 110x xxx1 xxxx xxxx xxxx xxxx xxxx */
1024 /* STC2 : 1111 110x xxx0 xxxx xxxx xxxx xxxx xxxx */
1025 if ((insn & 0xfe000000) == 0xfc000000) {
1026 insn &= 0xfff0ffff; /* Rn = r0 */
1027 asi->insn[0] = insn;
1028 asi->insn_handler = emulate_ldcstc;
1029 return INSN_GOOD;
1030 }
1031
1032 /* MCR2 : 1111 1110 xxx0 xxxx xxxx xxxx xxx1 xxxx */
1033 /* MRC2 : 1111 1110 xxx1 xxxx xxxx xxxx xxx1 xxxx */
1034 insn &= 0xffff0fff; /* Rd = r0 */
1035 asi->insn[0] = insn;
1036 asi->insn_handler = (insn & (1 << 20)) ? emulate_rd12 : emulate_ird12;
1037 return INSN_GOOD;
1038}
1039
1040static enum kprobe_insn __kprobes
1041space_cccc_000x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1042{
1043 /* cccc 0001 0xx0 xxxx xxxx xxxx xxxx xxx0 xxxx */
1044 if ((insn & 0x0f900010) == 0x01000000) {
1045
Jon Medhurst51468ea2011-04-07 13:25:15 +01001046 /* BXJ : cccc 0001 0010 xxxx xxxx xxxx 0010 xxxx */
1047 /* MSR : cccc 0001 0x10 xxxx xxxx xxxx 0000 xxxx */
1048 /* MRS spsr : cccc 0001 0100 xxxx xxxx xxxx 0000 xxxx */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001049 if ((insn & 0x0ff000f0) == 0x01200020 ||
Jon Medhurst51468ea2011-04-07 13:25:15 +01001050 (insn & 0x0fb000f0) == 0x01200000 ||
1051 (insn & 0x0ff000f0) == 0x01400000)
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001052 return INSN_REJECTED;
1053
Jon Medhurst51468ea2011-04-07 13:25:15 +01001054 /* MRS cpsr : cccc 0001 0000 xxxx xxxx xxxx 0000 xxxx */
Jon Medhurstc412aba2011-04-07 13:25:16 +01001055 if ((insn & 0x0ff000f0) == 0x01000000) {
Jon Medhurst983ebd92011-04-07 13:25:17 +01001056 if (is_r15(insn, 12))
1057 return INSN_REJECTED; /* Rd is PC */
Jon Medhurstc412aba2011-04-07 13:25:16 +01001058 asi->insn_handler = simulate_mrs;
1059 return INSN_GOOD_NO_SLOT;
1060 }
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001061
1062 /* SMLALxy : cccc 0001 0100 xxxx xxxx xxxx 1xx0 xxxx */
1063 if ((insn & 0x0ff00090) == 0x01400080)
1064 return prep_emulate_rdhi16rdlo12rs8rm0_wflags(insn, asi);
1065
1066 /* SMULWy : cccc 0001 0010 xxxx xxxx xxxx 1x10 xxxx */
1067 /* SMULxy : cccc 0001 0110 xxxx xxxx xxxx 1xx0 xxxx */
1068 if ((insn & 0x0ff000b0) == 0x012000a0 ||
1069 (insn & 0x0ff00090) == 0x01600080)
1070 return prep_emulate_rd16rs8rm0_wflags(insn, asi);
1071
1072 /* SMLAxy : cccc 0001 0000 xxxx xxxx xxxx 1xx0 xxxx : Q */
Jon Medhurst75539ae2011-04-07 13:25:18 +01001073 /* SMLAWy : cccc 0001 0010 xxxx xxxx xxxx 1x00 xxxx : Q */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001074 return prep_emulate_rd16rn12rs8rm0_wflags(insn, asi);
1075
1076 }
1077
1078 /* cccc 0001 0xx0 xxxx xxxx xxxx xxxx 0xx1 xxxx */
1079 else if ((insn & 0x0f900090) == 0x01000010) {
1080
1081 /* BKPT : 1110 0001 0010 xxxx xxxx xxxx 0111 xxxx */
1082 if ((insn & 0xfff000f0) == 0xe1200070)
1083 return INSN_REJECTED;
1084
1085 /* BLX(2) : cccc 0001 0010 xxxx xxxx xxxx 0011 xxxx */
1086 /* BX : cccc 0001 0010 xxxx xxxx xxxx 0001 xxxx */
1087 if ((insn & 0x0ff000d0) == 0x01200010) {
Jon Medhurst983ebd92011-04-07 13:25:17 +01001088 if ((insn & 0x0ff000ff) == 0x0120003f)
1089 return INSN_REJECTED; /* BLX pc */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001090 asi->insn_handler = simulate_blx2bx;
Jon Medhursta539f5d2011-04-06 11:17:10 +01001091 return INSN_GOOD_NO_SLOT;
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001092 }
1093
1094 /* CLZ : cccc 0001 0110 xxxx xxxx xxxx 0001 xxxx */
1095 if ((insn & 0x0ff000f0) == 0x01600010)
1096 return prep_emulate_rd12rm0(insn, asi);
1097
1098 /* QADD : cccc 0001 0000 xxxx xxxx xxxx 0101 xxxx :Q */
1099 /* QSUB : cccc 0001 0010 xxxx xxxx xxxx 0101 xxxx :Q */
1100 /* QDADD : cccc 0001 0100 xxxx xxxx xxxx 0101 xxxx :Q */
1101 /* QDSUB : cccc 0001 0110 xxxx xxxx xxxx 0101 xxxx :Q */
1102 return prep_emulate_rd12rn16rm0_wflags(insn, asi);
1103 }
1104
1105 /* cccc 0000 xxxx xxxx xxxx xxxx xxxx 1001 xxxx */
Jon Medhurstba48d402011-04-07 13:25:19 +01001106 else if ((insn & 0x0f0000f0) == 0x00000090) {
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001107
1108 /* MUL : cccc 0000 0000 xxxx xxxx xxxx 1001 xxxx : */
1109 /* MULS : cccc 0000 0001 xxxx xxxx xxxx 1001 xxxx :cc */
1110 /* MLA : cccc 0000 0010 xxxx xxxx xxxx 1001 xxxx : */
1111 /* MLAS : cccc 0000 0011 xxxx xxxx xxxx 1001 xxxx :cc */
1112 /* UMAAL : cccc 0000 0100 xxxx xxxx xxxx 1001 xxxx : */
Jon Medhurstba48d402011-04-07 13:25:19 +01001113 /* undef : cccc 0000 0101 xxxx xxxx xxxx 1001 xxxx : */
1114 /* MLS : cccc 0000 0110 xxxx xxxx xxxx 1001 xxxx : */
1115 /* undef : cccc 0000 0111 xxxx xxxx xxxx 1001 xxxx : */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001116 /* UMULL : cccc 0000 1000 xxxx xxxx xxxx 1001 xxxx : */
1117 /* UMULLS : cccc 0000 1001 xxxx xxxx xxxx 1001 xxxx :cc */
1118 /* UMLAL : cccc 0000 1010 xxxx xxxx xxxx 1001 xxxx : */
1119 /* UMLALS : cccc 0000 1011 xxxx xxxx xxxx 1001 xxxx :cc */
1120 /* SMULL : cccc 0000 1100 xxxx xxxx xxxx 1001 xxxx : */
1121 /* SMULLS : cccc 0000 1101 xxxx xxxx xxxx 1001 xxxx :cc */
1122 /* SMLAL : cccc 0000 1110 xxxx xxxx xxxx 1001 xxxx : */
1123 /* SMLALS : cccc 0000 1111 xxxx xxxx xxxx 1001 xxxx :cc */
Jon Medhurstba48d402011-04-07 13:25:19 +01001124 if ((insn & 0x00d00000) == 0x00500000) {
1125 return INSN_REJECTED;
1126 } else if ((insn & 0x00e00000) == 0x00000000) {
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001127 return prep_emulate_rd16rs8rm0_wflags(insn, asi);
Jon Medhurstba48d402011-04-07 13:25:19 +01001128 } else if ((insn & 0x00a00000) == 0x00200000) {
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001129 return prep_emulate_rd16rn12rs8rm0_wflags(insn, asi);
1130 } else {
1131 return prep_emulate_rdhi16rdlo12rs8rm0_wflags(insn, asi);
1132 }
1133 }
1134
1135 /* cccc 000x xxxx xxxx xxxx xxxx xxxx 1xx1 xxxx */
1136 else if ((insn & 0x0e000090) == 0x00000090) {
1137
1138 /* SWP : cccc 0001 0000 xxxx xxxx xxxx 1001 xxxx */
1139 /* SWPB : cccc 0001 0100 xxxx xxxx xxxx 1001 xxxx */
Jon Medhurstec58d7f2011-04-08 15:32:53 +01001140 /* ??? : cccc 0001 0x01 xxxx xxxx xxxx 1001 xxxx */
1141 /* ??? : cccc 0001 0x10 xxxx xxxx xxxx 1001 xxxx */
1142 /* ??? : cccc 0001 0x11 xxxx xxxx xxxx 1001 xxxx */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001143 /* STREX : cccc 0001 1000 xxxx xxxx xxxx 1001 xxxx */
1144 /* LDREX : cccc 0001 1001 xxxx xxxx xxxx 1001 xxxx */
Jon Medhurstec58d7f2011-04-08 15:32:53 +01001145 /* STREXD: cccc 0001 1010 xxxx xxxx xxxx 1001 xxxx */
1146 /* LDREXD: cccc 0001 1011 xxxx xxxx xxxx 1001 xxxx */
1147 /* STREXB: cccc 0001 1100 xxxx xxxx xxxx 1001 xxxx */
1148 /* LDREXB: cccc 0001 1101 xxxx xxxx xxxx 1001 xxxx */
1149 /* STREXH: cccc 0001 1110 xxxx xxxx xxxx 1001 xxxx */
1150 /* LDREXH: cccc 0001 1111 xxxx xxxx xxxx 1001 xxxx */
1151
1152 /* LDRD : cccc 000x xxx0 xxxx xxxx xxxx 1101 xxxx */
1153 /* STRD : cccc 000x xxx0 xxxx xxxx xxxx 1111 xxxx */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001154 /* LDRH : cccc 000x xxx1 xxxx xxxx xxxx 1011 xxxx */
1155 /* STRH : cccc 000x xxx0 xxxx xxxx xxxx 1011 xxxx */
1156 /* LDRSB : cccc 000x xxx1 xxxx xxxx xxxx 1101 xxxx */
1157 /* LDRSH : cccc 000x xxx1 xxxx xxxx xxxx 1111 xxxx */
Jon Medhurstec58d7f2011-04-08 15:32:53 +01001158 if ((insn & 0x0f0000f0) == 0x01000090) {
1159 if ((insn & 0x0fb000f0) == 0x01000090) {
1160 /* SWP/SWPB */
1161 return prep_emulate_rd12rn16rm0_wflags(insn,
1162 asi);
1163 } else {
1164 /* STREX/LDREX variants and unallocaed space */
1165 return INSN_REJECTED;
1166 }
1167
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001168 } else if ((insn & 0x0e1000d0) == 0x00000d0) {
1169 /* STRD/LDRD */
1170 insn &= 0xfff00fff;
1171 insn |= 0x00002000; /* Rn = r0, Rd = r2 */
1172 if (insn & (1 << 22)) {
1173 /* I bit */
1174 insn &= ~0xf;
1175 insn |= 1; /* Rm = r1 */
1176 }
1177 asi->insn[0] = insn;
1178 asi->insn_handler =
1179 (insn & (1 << 5)) ? emulate_strd : emulate_ldrd;
1180 return INSN_GOOD;
1181 }
1182
1183 return prep_emulate_ldr_str(insn, asi);
1184 }
1185
1186 /* cccc 000x xxxx xxxx xxxx xxxx xxxx xxxx xxxx */
1187
1188 /*
1189 * ALU op with S bit and Rd == 15 :
1190 * cccc 000x xxx1 xxxx 1111 xxxx xxxx xxxx
1191 */
1192 if ((insn & 0x0e10f000) == 0x0010f000)
1193 return INSN_REJECTED;
1194
1195 /*
1196 * "mov ip, sp" is the most common kprobe'd instruction by far.
1197 * Check and optimize for it explicitly.
1198 */
1199 if (insn == 0xe1a0c00d) {
1200 asi->insn_handler = simulate_mov_ipsp;
1201 return INSN_GOOD_NO_SLOT;
1202 }
1203
1204 /*
1205 * Data processing: Immediate-shift / Register-shift
1206 * ALU op : cccc 000x xxxx xxxx xxxx xxxx xxxx xxxx
1207 * CPY : cccc 0001 1010 xxxx xxxx 0000 0000 xxxx
1208 * MOV : cccc 0001 101x xxxx xxxx xxxx xxxx xxxx
1209 * *S (bit 20) updates condition codes
1210 * ADC/SBC/RSC reads the C flag
1211 */
1212 insn &= 0xfff00ff0; /* Rn = r0, Rd = r0 */
1213 insn |= 0x00000001; /* Rm = r1 */
1214 if (insn & 0x010) {
1215 insn &= 0xfffff0ff; /* register shift */
1216 insn |= 0x00000200; /* Rs = r2 */
1217 }
1218 asi->insn[0] = insn;
Jon Medhurstad111ce2011-04-06 11:17:11 +01001219
1220 if ((insn & 0x0f900000) == 0x01100000) {
1221 /*
1222 * TST : cccc 0001 0001 xxxx xxxx xxxx xxxx xxxx
1223 * TEQ : cccc 0001 0011 xxxx xxxx xxxx xxxx xxxx
1224 * CMP : cccc 0001 0101 xxxx xxxx xxxx xxxx xxxx
1225 * CMN : cccc 0001 0111 xxxx xxxx xxxx xxxx xxxx
1226 */
1227 asi->insn_handler = emulate_alu_tests;
1228 } else {
1229 /* ALU ops which write to Rd */
1230 asi->insn_handler = (insn & (1 << 20)) ? /* S-bit */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001231 emulate_alu_rwflags : emulate_alu_rflags;
Jon Medhurstad111ce2011-04-06 11:17:11 +01001232 }
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001233 return INSN_GOOD;
1234}
1235
1236static enum kprobe_insn __kprobes
1237space_cccc_001x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1238{
1239 /*
1240 * MSR : cccc 0011 0x10 xxxx xxxx xxxx xxxx xxxx
Will Deaconccdf2e12010-09-27 18:12:12 +01001241 * Undef : cccc 0011 0100 xxxx xxxx xxxx xxxx xxxx
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001242 * ALU op with S bit and Rd == 15 :
1243 * cccc 001x xxx1 xxxx 1111 xxxx xxxx xxxx
1244 */
Will Deaconccdf2e12010-09-27 18:12:12 +01001245 if ((insn & 0x0fb00000) == 0x03200000 || /* MSR */
1246 (insn & 0x0ff00000) == 0x03400000 || /* Undef */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001247 (insn & 0x0e10f000) == 0x0210f000) /* ALU s-bit, R15 */
1248 return INSN_REJECTED;
1249
1250 /*
1251 * Data processing: 32-bit Immediate
1252 * ALU op : cccc 001x xxxx xxxx xxxx xxxx xxxx xxxx
1253 * MOV : cccc 0011 101x xxxx xxxx xxxx xxxx xxxx
1254 * *S (bit 20) updates condition codes
1255 * ADC/SBC/RSC reads the C flag
1256 */
Jon Medhurst896a74e2011-04-06 11:17:12 +01001257 insn &= 0xfff00fff; /* Rn = r0 and Rd = r0 */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001258 asi->insn[0] = insn;
Jon Medhurstad111ce2011-04-06 11:17:11 +01001259
1260 if ((insn & 0x0f900000) == 0x03100000) {
1261 /*
1262 * TST : cccc 0011 0001 xxxx xxxx xxxx xxxx xxxx
1263 * TEQ : cccc 0011 0011 xxxx xxxx xxxx xxxx xxxx
1264 * CMP : cccc 0011 0101 xxxx xxxx xxxx xxxx xxxx
1265 * CMN : cccc 0011 0111 xxxx xxxx xxxx xxxx xxxx
1266 */
1267 asi->insn_handler = emulate_alu_tests_imm;
1268 } else {
1269 /* ALU ops which write to Rd */
1270 asi->insn_handler = (insn & (1 << 20)) ? /* S-bit */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001271 emulate_alu_imm_rwflags : emulate_alu_imm_rflags;
Jon Medhurstad111ce2011-04-06 11:17:11 +01001272 }
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001273 return INSN_GOOD;
1274}
1275
1276static enum kprobe_insn __kprobes
1277space_cccc_0110__1(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1278{
1279 /* SEL : cccc 0110 1000 xxxx xxxx xxxx 1011 xxxx GE: !!! */
1280 if ((insn & 0x0ff000f0) == 0x068000b0) {
Jon Medhurst983ebd92011-04-07 13:25:17 +01001281 if (is_r15(insn, 12))
1282 return INSN_REJECTED; /* Rd is PC */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001283 insn &= 0xfff00ff0; /* Rd = r0, Rn = r0 */
1284 insn |= 0x00000001; /* Rm = r1 */
1285 asi->insn[0] = insn;
1286 asi->insn_handler = emulate_sel;
1287 return INSN_GOOD;
1288 }
1289
1290 /* SSAT : cccc 0110 101x xxxx xxxx xxxx xx01 xxxx :Q */
1291 /* USAT : cccc 0110 111x xxxx xxxx xxxx xx01 xxxx :Q */
1292 /* SSAT16 : cccc 0110 1010 xxxx xxxx xxxx 0011 xxxx :Q */
1293 /* USAT16 : cccc 0110 1110 xxxx xxxx xxxx 0011 xxxx :Q */
1294 if ((insn & 0x0fa00030) == 0x06a00010 ||
1295 (insn & 0x0fb000f0) == 0x06a00030) {
Jon Medhurst983ebd92011-04-07 13:25:17 +01001296 if (is_r15(insn, 12))
1297 return INSN_REJECTED; /* Rd is PC */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001298 insn &= 0xffff0ff0; /* Rd = r0, Rm = r0 */
1299 asi->insn[0] = insn;
1300 asi->insn_handler = emulate_sat;
1301 return INSN_GOOD;
1302 }
1303
1304 /* REV : cccc 0110 1011 xxxx xxxx xxxx 0011 xxxx */
1305 /* REV16 : cccc 0110 1011 xxxx xxxx xxxx 1011 xxxx */
1306 /* REVSH : cccc 0110 1111 xxxx xxxx xxxx 1011 xxxx */
1307 if ((insn & 0x0ff00070) == 0x06b00030 ||
1308 (insn & 0x0ff000f0) == 0x06f000b0)
1309 return prep_emulate_rd12rm0(insn, asi);
1310
1311 /* SADD16 : cccc 0110 0001 xxxx xxxx xxxx 0001 xxxx :GE */
1312 /* SADDSUBX : cccc 0110 0001 xxxx xxxx xxxx 0011 xxxx :GE */
1313 /* SSUBADDX : cccc 0110 0001 xxxx xxxx xxxx 0101 xxxx :GE */
1314 /* SSUB16 : cccc 0110 0001 xxxx xxxx xxxx 0111 xxxx :GE */
1315 /* SADD8 : cccc 0110 0001 xxxx xxxx xxxx 1001 xxxx :GE */
1316 /* SSUB8 : cccc 0110 0001 xxxx xxxx xxxx 1111 xxxx :GE */
1317 /* QADD16 : cccc 0110 0010 xxxx xxxx xxxx 0001 xxxx : */
1318 /* QADDSUBX : cccc 0110 0010 xxxx xxxx xxxx 0011 xxxx : */
1319 /* QSUBADDX : cccc 0110 0010 xxxx xxxx xxxx 0101 xxxx : */
1320 /* QSUB16 : cccc 0110 0010 xxxx xxxx xxxx 0111 xxxx : */
1321 /* QADD8 : cccc 0110 0010 xxxx xxxx xxxx 1001 xxxx : */
1322 /* QSUB8 : cccc 0110 0010 xxxx xxxx xxxx 1111 xxxx : */
1323 /* SHADD16 : cccc 0110 0011 xxxx xxxx xxxx 0001 xxxx : */
1324 /* SHADDSUBX : cccc 0110 0011 xxxx xxxx xxxx 0011 xxxx : */
1325 /* SHSUBADDX : cccc 0110 0011 xxxx xxxx xxxx 0101 xxxx : */
1326 /* SHSUB16 : cccc 0110 0011 xxxx xxxx xxxx 0111 xxxx : */
1327 /* SHADD8 : cccc 0110 0011 xxxx xxxx xxxx 1001 xxxx : */
1328 /* SHSUB8 : cccc 0110 0011 xxxx xxxx xxxx 1111 xxxx : */
1329 /* UADD16 : cccc 0110 0101 xxxx xxxx xxxx 0001 xxxx :GE */
1330 /* UADDSUBX : cccc 0110 0101 xxxx xxxx xxxx 0011 xxxx :GE */
1331 /* USUBADDX : cccc 0110 0101 xxxx xxxx xxxx 0101 xxxx :GE */
1332 /* USUB16 : cccc 0110 0101 xxxx xxxx xxxx 0111 xxxx :GE */
1333 /* UADD8 : cccc 0110 0101 xxxx xxxx xxxx 1001 xxxx :GE */
1334 /* USUB8 : cccc 0110 0101 xxxx xxxx xxxx 1111 xxxx :GE */
1335 /* UQADD16 : cccc 0110 0110 xxxx xxxx xxxx 0001 xxxx : */
1336 /* UQADDSUBX : cccc 0110 0110 xxxx xxxx xxxx 0011 xxxx : */
1337 /* UQSUBADDX : cccc 0110 0110 xxxx xxxx xxxx 0101 xxxx : */
1338 /* UQSUB16 : cccc 0110 0110 xxxx xxxx xxxx 0111 xxxx : */
1339 /* UQADD8 : cccc 0110 0110 xxxx xxxx xxxx 1001 xxxx : */
1340 /* UQSUB8 : cccc 0110 0110 xxxx xxxx xxxx 1111 xxxx : */
1341 /* UHADD16 : cccc 0110 0111 xxxx xxxx xxxx 0001 xxxx : */
1342 /* UHADDSUBX : cccc 0110 0111 xxxx xxxx xxxx 0011 xxxx : */
1343 /* UHSUBADDX : cccc 0110 0111 xxxx xxxx xxxx 0101 xxxx : */
1344 /* UHSUB16 : cccc 0110 0111 xxxx xxxx xxxx 0111 xxxx : */
1345 /* UHADD8 : cccc 0110 0111 xxxx xxxx xxxx 1001 xxxx : */
1346 /* UHSUB8 : cccc 0110 0111 xxxx xxxx xxxx 1111 xxxx : */
1347 /* PKHBT : cccc 0110 1000 xxxx xxxx xxxx x001 xxxx : */
1348 /* PKHTB : cccc 0110 1000 xxxx xxxx xxxx x101 xxxx : */
1349 /* SXTAB16 : cccc 0110 1000 xxxx xxxx xxxx 0111 xxxx : */
1350 /* SXTB : cccc 0110 1010 xxxx xxxx xxxx 0111 xxxx : */
1351 /* SXTAB : cccc 0110 1010 xxxx xxxx xxxx 0111 xxxx : */
1352 /* SXTAH : cccc 0110 1011 xxxx xxxx xxxx 0111 xxxx : */
1353 /* UXTAB16 : cccc 0110 1100 xxxx xxxx xxxx 0111 xxxx : */
1354 /* UXTAB : cccc 0110 1110 xxxx xxxx xxxx 0111 xxxx : */
1355 /* UXTAH : cccc 0110 1111 xxxx xxxx xxxx 0111 xxxx : */
1356 return prep_emulate_rd12rn16rm0_wflags(insn, asi);
1357}
1358
1359static enum kprobe_insn __kprobes
1360space_cccc_0111__1(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1361{
1362 /* Undef : cccc 0111 1111 xxxx xxxx xxxx 1111 xxxx */
1363 if ((insn & 0x0ff000f0) == 0x03f000f0)
1364 return INSN_REJECTED;
1365
1366 /* USADA8 : cccc 0111 1000 xxxx xxxx xxxx 0001 xxxx */
1367 /* USAD8 : cccc 0111 1000 xxxx 1111 xxxx 0001 xxxx */
1368 if ((insn & 0x0ff000f0) == 0x07800010)
1369 return prep_emulate_rd16rn12rs8rm0_wflags(insn, asi);
1370
1371 /* SMLALD : cccc 0111 0100 xxxx xxxx xxxx 00x1 xxxx */
1372 /* SMLSLD : cccc 0111 0100 xxxx xxxx xxxx 01x1 xxxx */
1373 if ((insn & 0x0ff00090) == 0x07400010)
1374 return prep_emulate_rdhi16rdlo12rs8rm0_wflags(insn, asi);
1375
1376 /* SMLAD : cccc 0111 0000 xxxx xxxx xxxx 00x1 xxxx :Q */
1377 /* SMLSD : cccc 0111 0000 xxxx xxxx xxxx 01x1 xxxx :Q */
1378 /* SMMLA : cccc 0111 0101 xxxx xxxx xxxx 00x1 xxxx : */
1379 /* SMMLS : cccc 0111 0101 xxxx xxxx xxxx 11x1 xxxx : */
1380 if ((insn & 0x0ff00090) == 0x07000010 ||
1381 (insn & 0x0ff000d0) == 0x07500010 ||
1382 (insn & 0x0ff000d0) == 0x075000d0)
1383 return prep_emulate_rd16rn12rs8rm0_wflags(insn, asi);
1384
1385 /* SMUSD : cccc 0111 0000 xxxx xxxx xxxx 01x1 xxxx : */
1386 /* SMUAD : cccc 0111 0000 xxxx 1111 xxxx 00x1 xxxx :Q */
1387 /* SMMUL : cccc 0111 0101 xxxx 1111 xxxx 00x1 xxxx : */
1388 return prep_emulate_rd16rs8rm0_wflags(insn, asi);
1389}
1390
1391static enum kprobe_insn __kprobes
1392space_cccc_01xx(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1393{
1394 /* LDR : cccc 01xx x0x1 xxxx xxxx xxxx xxxx xxxx */
1395 /* LDRB : cccc 01xx x1x1 xxxx xxxx xxxx xxxx xxxx */
1396 /* LDRBT : cccc 01x0 x111 xxxx xxxx xxxx xxxx xxxx */
1397 /* LDRT : cccc 01x0 x011 xxxx xxxx xxxx xxxx xxxx */
1398 /* STR : cccc 01xx x0x0 xxxx xxxx xxxx xxxx xxxx */
1399 /* STRB : cccc 01xx x1x0 xxxx xxxx xxxx xxxx xxxx */
1400 /* STRBT : cccc 01x0 x110 xxxx xxxx xxxx xxxx xxxx */
1401 /* STRT : cccc 01x0 x010 xxxx xxxx xxxx xxxx xxxx */
1402 return prep_emulate_ldr_str(insn, asi);
1403}
1404
1405static enum kprobe_insn __kprobes
1406space_cccc_100x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1407{
1408 /* LDM(2) : cccc 100x x101 xxxx 0xxx xxxx xxxx xxxx */
1409 /* LDM(3) : cccc 100x x1x1 xxxx 1xxx xxxx xxxx xxxx */
1410 if ((insn & 0x0e708000) == 0x85000000 ||
1411 (insn & 0x0e508000) == 0x85010000)
1412 return INSN_REJECTED;
1413
1414 /* LDM(1) : cccc 100x x0x1 xxxx xxxx xxxx xxxx xxxx */
1415 /* STM(1) : cccc 100x x0x0 xxxx xxxx xxxx xxxx xxxx */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001416 asi->insn_handler = ((insn & 0x108000) == 0x008000) ? /* STM & R15 */
1417 simulate_stm1_pc : simulate_ldm1stm1;
Jon Medhursta539f5d2011-04-06 11:17:10 +01001418 return INSN_GOOD_NO_SLOT;
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001419}
1420
1421static enum kprobe_insn __kprobes
1422space_cccc_101x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1423{
1424 /* B : cccc 1010 xxxx xxxx xxxx xxxx xxxx xxxx */
1425 /* BL : cccc 1011 xxxx xxxx xxxx xxxx xxxx xxxx */
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001426 asi->insn_handler = simulate_bbl;
Jon Medhursta539f5d2011-04-06 11:17:10 +01001427 return INSN_GOOD_NO_SLOT;
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001428}
1429
1430static enum kprobe_insn __kprobes
1431space_cccc_1100_010x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1432{
1433 /* MCRR : cccc 1100 0100 xxxx xxxx xxxx xxxx xxxx : (Rd!=Rn) */
1434 /* MRRC : cccc 1100 0101 xxxx xxxx xxxx xxxx xxxx : (Rd!=Rn) */
Jon Medhurst983ebd92011-04-07 13:25:17 +01001435 if (is_r15(insn, 16) || is_r15(insn, 12))
1436 return INSN_REJECTED; /* Rn or Rd is PC */
1437
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001438 insn &= 0xfff00fff;
1439 insn |= 0x00001000; /* Rn = r0, Rd = r1 */
1440 asi->insn[0] = insn;
1441 asi->insn_handler = (insn & (1 << 20)) ? emulate_mrrc : emulate_mcrr;
1442 return INSN_GOOD;
1443}
1444
1445static enum kprobe_insn __kprobes
1446space_cccc_110x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1447{
1448 /* LDC : cccc 110x xxx1 xxxx xxxx xxxx xxxx xxxx */
1449 /* STC : cccc 110x xxx0 xxxx xxxx xxxx xxxx xxxx */
1450 insn &= 0xfff0ffff; /* Rn = r0 */
1451 asi->insn[0] = insn;
1452 asi->insn_handler = emulate_ldcstc;
1453 return INSN_GOOD;
1454}
1455
1456static enum kprobe_insn __kprobes
1457space_cccc_111x(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1458{
1459 /* BKPT : 1110 0001 0010 xxxx xxxx xxxx 0111 xxxx */
1460 /* SWI : cccc 1111 xxxx xxxx xxxx xxxx xxxx xxxx */
1461 if ((insn & 0xfff000f0) == 0xe1200070 ||
1462 (insn & 0x0f000000) == 0x0f000000)
1463 return INSN_REJECTED;
1464
1465 /* CDP : cccc 1110 xxxx xxxx xxxx xxxx xxx0 xxxx */
1466 if ((insn & 0x0f000010) == 0x0e000000) {
1467 asi->insn[0] = insn;
1468 asi->insn_handler = emulate_none;
1469 return INSN_GOOD;
1470 }
1471
1472 /* MCR : cccc 1110 xxx0 xxxx xxxx xxxx xxx1 xxxx */
1473 /* MRC : cccc 1110 xxx1 xxxx xxxx xxxx xxx1 xxxx */
1474 insn &= 0xffff0fff; /* Rd = r0 */
1475 asi->insn[0] = insn;
1476 asi->insn_handler = (insn & (1 << 20)) ? emulate_rd12 : emulate_ird12;
1477 return INSN_GOOD;
1478}
1479
Jon Medhurst073090c2011-04-06 11:17:09 +01001480static unsigned long __kprobes __check_eq(unsigned long cpsr)
1481{
1482 return cpsr & PSR_Z_BIT;
1483}
1484
1485static unsigned long __kprobes __check_ne(unsigned long cpsr)
1486{
1487 return (~cpsr) & PSR_Z_BIT;
1488}
1489
1490static unsigned long __kprobes __check_cs(unsigned long cpsr)
1491{
1492 return cpsr & PSR_C_BIT;
1493}
1494
1495static unsigned long __kprobes __check_cc(unsigned long cpsr)
1496{
1497 return (~cpsr) & PSR_C_BIT;
1498}
1499
1500static unsigned long __kprobes __check_mi(unsigned long cpsr)
1501{
1502 return cpsr & PSR_N_BIT;
1503}
1504
1505static unsigned long __kprobes __check_pl(unsigned long cpsr)
1506{
1507 return (~cpsr) & PSR_N_BIT;
1508}
1509
1510static unsigned long __kprobes __check_vs(unsigned long cpsr)
1511{
1512 return cpsr & PSR_V_BIT;
1513}
1514
1515static unsigned long __kprobes __check_vc(unsigned long cpsr)
1516{
1517 return (~cpsr) & PSR_V_BIT;
1518}
1519
1520static unsigned long __kprobes __check_hi(unsigned long cpsr)
1521{
1522 cpsr &= ~(cpsr >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1523 return cpsr & PSR_C_BIT;
1524}
1525
1526static unsigned long __kprobes __check_ls(unsigned long cpsr)
1527{
1528 cpsr &= ~(cpsr >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1529 return (~cpsr) & PSR_C_BIT;
1530}
1531
1532static unsigned long __kprobes __check_ge(unsigned long cpsr)
1533{
1534 cpsr ^= (cpsr << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1535 return (~cpsr) & PSR_N_BIT;
1536}
1537
1538static unsigned long __kprobes __check_lt(unsigned long cpsr)
1539{
1540 cpsr ^= (cpsr << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1541 return cpsr & PSR_N_BIT;
1542}
1543
1544static unsigned long __kprobes __check_gt(unsigned long cpsr)
1545{
1546 unsigned long temp = cpsr ^ (cpsr << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1547 temp |= (cpsr << 1); /* PSR_N_BIT |= PSR_Z_BIT */
1548 return (~temp) & PSR_N_BIT;
1549}
1550
1551static unsigned long __kprobes __check_le(unsigned long cpsr)
1552{
1553 unsigned long temp = cpsr ^ (cpsr << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1554 temp |= (cpsr << 1); /* PSR_N_BIT |= PSR_Z_BIT */
1555 return temp & PSR_N_BIT;
1556}
1557
1558static unsigned long __kprobes __check_al(unsigned long cpsr)
1559{
1560 return true;
1561}
1562
1563static kprobe_check_cc * const condition_checks[16] = {
1564 &__check_eq, &__check_ne, &__check_cs, &__check_cc,
1565 &__check_mi, &__check_pl, &__check_vs, &__check_vc,
1566 &__check_hi, &__check_ls, &__check_ge, &__check_lt,
1567 &__check_gt, &__check_le, &__check_al, &__check_al
1568};
1569
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001570/* Return:
1571 * INSN_REJECTED If instruction is one not allowed to kprobe,
1572 * INSN_GOOD If instruction is supported and uses instruction slot,
1573 * INSN_GOOD_NO_SLOT If instruction is supported but doesn't use its slot.
1574 *
1575 * For instructions we don't want to kprobe (INSN_REJECTED return result):
1576 * These are generally ones that modify the processor state making
1577 * them "hard" to simulate such as switches processor modes or
1578 * make accesses in alternate modes. Any of these could be simulated
1579 * if the work was put into it, but low return considering they
1580 * should also be very rare.
1581 */
1582enum kprobe_insn __kprobes
1583arm_kprobe_decode_insn(kprobe_opcode_t insn, struct arch_specific_insn *asi)
1584{
Jon Medhurst073090c2011-04-06 11:17:09 +01001585 asi->insn_check_cc = condition_checks[insn>>28];
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001586 asi->insn[1] = KPROBE_RETURN_INSTRUCTION;
1587
1588 if ((insn & 0xf0000000) == 0xf0000000) {
1589
1590 return space_1111(insn, asi);
1591
1592 } else if ((insn & 0x0e000000) == 0x00000000) {
1593
1594 return space_cccc_000x(insn, asi);
1595
1596 } else if ((insn & 0x0e000000) == 0x02000000) {
1597
1598 return space_cccc_001x(insn, asi);
1599
1600 } else if ((insn & 0x0f000010) == 0x06000010) {
1601
1602 return space_cccc_0110__1(insn, asi);
1603
1604 } else if ((insn & 0x0f000010) == 0x07000010) {
1605
1606 return space_cccc_0111__1(insn, asi);
1607
1608 } else if ((insn & 0x0c000000) == 0x04000000) {
1609
1610 return space_cccc_01xx(insn, asi);
1611
1612 } else if ((insn & 0x0e000000) == 0x08000000) {
1613
1614 return space_cccc_100x(insn, asi);
1615
1616 } else if ((insn & 0x0e000000) == 0x0a000000) {
1617
1618 return space_cccc_101x(insn, asi);
1619
1620 } else if ((insn & 0x0fe00000) == 0x0c400000) {
1621
1622 return space_cccc_1100_010x(insn, asi);
1623
Nicolas Pitre5a5af732011-02-21 04:37:20 +01001624 } else if ((insn & 0x0e000000) == 0x0c000000) {
Quentin Barnes35aa1df2007-06-11 22:20:10 +00001625
1626 return space_cccc_110x(insn, asi);
1627
1628 }
1629
1630 return space_cccc_111x(insn, asi);
1631}
1632
1633void __init arm_kprobe_decode_init(void)
1634{
1635 find_str_pc_offset();
1636}
1637
1638
1639/*
1640 * All ARM instructions listed below.
1641 *
1642 * Instructions and their general purpose registers are given.
1643 * If a particular register may not use R15, it is prefixed with a "!".
1644 * If marked with a "*" means the value returned by reading R15
1645 * is implementation defined.
1646 *
1647 * ADC/ADD/AND/BIC/CMN/CMP/EOR/MOV/MVN/ORR/RSB/RSC/SBC/SUB/TEQ
1648 * TST: Rd, Rn, Rm, !Rs
1649 * BX: Rm
1650 * BLX(2): !Rm
1651 * BX: Rm (R15 legal, but discouraged)
1652 * BXJ: !Rm,
1653 * CLZ: !Rd, !Rm
1654 * CPY: Rd, Rm
1655 * LDC/2,STC/2 immediate offset & unindex: Rn
1656 * LDC/2,STC/2 immediate pre/post-indexed: !Rn
1657 * LDM(1/3): !Rn, register_list
1658 * LDM(2): !Rn, !register_list
1659 * LDR,STR,PLD immediate offset: Rd, Rn
1660 * LDR,STR,PLD register offset: Rd, Rn, !Rm
1661 * LDR,STR,PLD scaled register offset: Rd, !Rn, !Rm
1662 * LDR,STR immediate pre/post-indexed: Rd, !Rn
1663 * LDR,STR register pre/post-indexed: Rd, !Rn, !Rm
1664 * LDR,STR scaled register pre/post-indexed: Rd, !Rn, !Rm
1665 * LDRB,STRB immediate offset: !Rd, Rn
1666 * LDRB,STRB register offset: !Rd, Rn, !Rm
1667 * LDRB,STRB scaled register offset: !Rd, !Rn, !Rm
1668 * LDRB,STRB immediate pre/post-indexed: !Rd, !Rn
1669 * LDRB,STRB register pre/post-indexed: !Rd, !Rn, !Rm
1670 * LDRB,STRB scaled register pre/post-indexed: !Rd, !Rn, !Rm
1671 * LDRT,LDRBT,STRBT immediate pre/post-indexed: !Rd, !Rn
1672 * LDRT,LDRBT,STRBT register pre/post-indexed: !Rd, !Rn, !Rm
1673 * LDRT,LDRBT,STRBT scaled register pre/post-indexed: !Rd, !Rn, !Rm
1674 * LDRH/SH/SB/D,STRH/SH/SB/D immediate offset: !Rd, Rn
1675 * LDRH/SH/SB/D,STRH/SH/SB/D register offset: !Rd, Rn, !Rm
1676 * LDRH/SH/SB/D,STRH/SH/SB/D immediate pre/post-indexed: !Rd, !Rn
1677 * LDRH/SH/SB/D,STRH/SH/SB/D register pre/post-indexed: !Rd, !Rn, !Rm
1678 * LDREX: !Rd, !Rn
1679 * MCR/2: !Rd
1680 * MCRR/2,MRRC/2: !Rd, !Rn
1681 * MLA: !Rd, !Rn, !Rm, !Rs
1682 * MOV: Rd
1683 * MRC/2: !Rd (if Rd==15, only changes cond codes, not the register)
1684 * MRS,MSR: !Rd
1685 * MUL: !Rd, !Rm, !Rs
1686 * PKH{BT,TB}: !Rd, !Rn, !Rm
1687 * QDADD,[U]QADD/16/8/SUBX: !Rd, !Rm, !Rn
1688 * QDSUB,[U]QSUB/16/8/ADDX: !Rd, !Rm, !Rn
1689 * REV/16/SH: !Rd, !Rm
1690 * RFE: !Rn
1691 * {S,U}[H]ADD{16,8,SUBX},{S,U}[H]SUB{16,8,ADDX}: !Rd, !Rn, !Rm
1692 * SEL: !Rd, !Rn, !Rm
1693 * SMLA<x><y>,SMLA{D,W<y>},SMLSD,SMML{A,S}: !Rd, !Rn, !Rm, !Rs
1694 * SMLAL<x><y>,SMLA{D,LD},SMLSLD,SMMULL,SMULW<y>: !RdHi, !RdLo, !Rm, !Rs
1695 * SMMUL,SMUAD,SMUL<x><y>,SMUSD: !Rd, !Rm, !Rs
1696 * SSAT/16: !Rd, !Rm
1697 * STM(1/2): !Rn, register_list* (R15 in reg list not recommended)
1698 * STRT immediate pre/post-indexed: Rd*, !Rn
1699 * STRT register pre/post-indexed: Rd*, !Rn, !Rm
1700 * STRT scaled register pre/post-indexed: Rd*, !Rn, !Rm
1701 * STREX: !Rd, !Rn, !Rm
1702 * SWP/B: !Rd, !Rn, !Rm
1703 * {S,U}XTA{B,B16,H}: !Rd, !Rn, !Rm
1704 * {S,U}XT{B,B16,H}: !Rd, !Rm
1705 * UM{AA,LA,UL}L: !RdHi, !RdLo, !Rm, !Rs
1706 * USA{D8,A8,T,T16}: !Rd, !Rm, !Rs
1707 *
1708 * May transfer control by writing R15 (possible mode changes or alternate
1709 * mode accesses marked by "*"):
1710 * ALU op (* with s-bit), B, BL, BKPT, BLX(1/2), BX, BXJ, CPS*, CPY,
1711 * LDM(1), LDM(2/3)*, LDR, MOV, RFE*, SWI*
1712 *
1713 * Instructions that do not take general registers, nor transfer control:
1714 * CDP/2, SETEND, SRS*
1715 */