blob: cd4d03d19950ded9b29be8fa08ffd5070059c4b8 [file] [log] [blame]
Jon Medhurst24371702011-04-19 17:56:58 +01001/*
2 * arch/arm/kernel/kprobes-thumb.c
3 *
4 * Copyright (C) 2011 Jon Medhurst <tixy@yxit.co.uk>.
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
11#include <linux/kernel.h>
12#include <linux/kprobes.h>
13
14#include "kprobes.h"
15
Jon Medhursteaf4f33f2011-04-20 19:29:52 +010016
17/*
18 * True if current instruction is in an IT block.
19 */
20#define in_it_block(cpsr) ((cpsr & 0x06000c00) != 0x00000000)
21
22/*
23 * Return the condition code to check for the currently executing instruction.
24 * This is in ITSTATE<7:4> which is in CPSR<15:12> but is only valid if
25 * in_it_block returns true.
26 */
27#define current_cond(cpsr) ((cpsr >> 12) & 0xf)
28
Jon Medhursta9c3c292011-07-02 15:51:03 +010029/*
30 * Return the PC value for a probe in thumb code.
31 * This is the address of the probed instruction plus 4.
32 * We subtract one because the address will have bit zero set to indicate
33 * a pointer to thumb code.
34 */
35static inline unsigned long __kprobes thumb_probe_pc(struct kprobe *p)
36{
37 return (unsigned long)p->addr - 1 + 4;
38}
39
40static void __kprobes
41t16_simulate_bxblx(struct kprobe *p, struct pt_regs *regs)
42{
43 kprobe_opcode_t insn = p->opcode;
44 unsigned long pc = thumb_probe_pc(p);
45 int rm = (insn >> 3) & 0xf;
46 unsigned long rmv = (rm == 15) ? pc : regs->uregs[rm];
47
48 if (insn & (1 << 7)) /* BLX ? */
49 regs->ARM_lr = (unsigned long)p->addr + 2;
50
51 bx_write_pc(rmv, regs);
52}
53
Jon Medhurst02d194f2011-07-02 15:46:05 +010054static unsigned long __kprobes
55t16_emulate_loregs(struct kprobe *p, struct pt_regs *regs)
56{
57 unsigned long oldcpsr = regs->ARM_cpsr;
58 unsigned long newcpsr;
59
60 __asm__ __volatile__ (
61 "msr cpsr_fs, %[oldcpsr] \n\t"
62 "ldmia %[regs], {r0-r7} \n\t"
63 "blx %[fn] \n\t"
64 "stmia %[regs], {r0-r7} \n\t"
65 "mrs %[newcpsr], cpsr \n\t"
66 : [newcpsr] "=r" (newcpsr)
67 : [oldcpsr] "r" (oldcpsr), [regs] "r" (regs),
68 [fn] "r" (p->ainsn.insn_fn)
69 : "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
70 "lr", "memory", "cc"
71 );
72
73 return (oldcpsr & ~APSR_MASK) | (newcpsr & APSR_MASK);
74}
75
76static void __kprobes
77t16_emulate_loregs_rwflags(struct kprobe *p, struct pt_regs *regs)
78{
79 regs->ARM_cpsr = t16_emulate_loregs(p, regs);
80}
81
82static void __kprobes
83t16_emulate_loregs_noitrwflags(struct kprobe *p, struct pt_regs *regs)
84{
85 unsigned long cpsr = t16_emulate_loregs(p, regs);
86 if (!in_it_block(cpsr))
87 regs->ARM_cpsr = cpsr;
88}
89
Jon Medhurst3b5940e2011-07-02 15:54:57 +010090static void __kprobes
91t16_emulate_hiregs(struct kprobe *p, struct pt_regs *regs)
92{
93 kprobe_opcode_t insn = p->opcode;
94 unsigned long pc = thumb_probe_pc(p);
95 int rdn = (insn & 0x7) | ((insn & 0x80) >> 4);
96 int rm = (insn >> 3) & 0xf;
97
98 register unsigned long rdnv asm("r1");
99 register unsigned long rmv asm("r0");
100 unsigned long cpsr = regs->ARM_cpsr;
101
102 rdnv = (rdn == 15) ? pc : regs->uregs[rdn];
103 rmv = (rm == 15) ? pc : regs->uregs[rm];
104
105 __asm__ __volatile__ (
106 "msr cpsr_fs, %[cpsr] \n\t"
107 "blx %[fn] \n\t"
108 "mrs %[cpsr], cpsr \n\t"
109 : "=r" (rdnv), [cpsr] "=r" (cpsr)
110 : "0" (rdnv), "r" (rmv), "1" (cpsr), [fn] "r" (p->ainsn.insn_fn)
111 : "lr", "memory", "cc"
112 );
113
114 if (rdn == 15)
115 rdnv &= ~1;
116
117 regs->uregs[rdn] = rdnv;
118 regs->ARM_cpsr = (regs->ARM_cpsr & ~APSR_MASK) | (cpsr & APSR_MASK);
119}
120
121static enum kprobe_insn __kprobes
122t16_decode_hiregs(kprobe_opcode_t insn, struct arch_specific_insn *asi)
123{
124 insn &= ~0x00ff;
125 insn |= 0x001; /* Set Rdn = R1 and Rm = R0 */
126 ((u16 *)asi->insn)[0] = insn;
127 asi->insn_handler = t16_emulate_hiregs;
128 return INSN_GOOD;
129}
130
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100131static const union decode_item t16_table_1011[] = {
132 /* Miscellaneous 16-bit instructions */
133
134 /*
135 * If-Then, and hints
136 * 1011 1111 xxxx xxxx
137 */
138
139 /* YIELD 1011 1111 0001 0000 */
140 DECODE_OR (0xffff, 0xbf10),
141 /* SEV 1011 1111 0100 0000 */
142 DECODE_EMULATE (0xffff, 0xbf40, kprobe_emulate_none),
143 /* NOP 1011 1111 0000 0000 */
144 /* WFE 1011 1111 0010 0000 */
145 /* WFI 1011 1111 0011 0000 */
146 DECODE_SIMULATE (0xffcf, 0xbf00, kprobe_simulate_nop),
147 /* Unassigned hints 1011 1111 xxxx 0000 */
148 DECODE_REJECT (0xff0f, 0xbf00),
149
150 DECODE_END
151};
152
153const union decode_item kprobe_decode_thumb16_table[] = {
154
155 /*
Jon Medhurst02d194f2011-07-02 15:46:05 +0100156 * Shift (immediate), add, subtract, move, and compare
157 * 00xx xxxx xxxx xxxx
158 */
159
160 /* CMP (immediate) 0010 1xxx xxxx xxxx */
161 DECODE_EMULATE (0xf800, 0x2800, t16_emulate_loregs_rwflags),
162
163 /* ADD (register) 0001 100x xxxx xxxx */
164 /* SUB (register) 0001 101x xxxx xxxx */
165 /* LSL (immediate) 0000 0xxx xxxx xxxx */
166 /* LSR (immediate) 0000 1xxx xxxx xxxx */
167 /* ASR (immediate) 0001 0xxx xxxx xxxx */
168 /* ADD (immediate, Thumb) 0001 110x xxxx xxxx */
169 /* SUB (immediate, Thumb) 0001 111x xxxx xxxx */
170 /* MOV (immediate) 0010 0xxx xxxx xxxx */
171 /* ADD (immediate, Thumb) 0011 0xxx xxxx xxxx */
172 /* SUB (immediate, Thumb) 0011 1xxx xxxx xxxx */
173 DECODE_EMULATE (0xc000, 0x0000, t16_emulate_loregs_noitrwflags),
174
175 /*
176 * 16-bit Thumb data-processing instructions
177 * 0100 00xx xxxx xxxx
178 */
179
180 /* TST (register) 0100 0010 00xx xxxx */
181 DECODE_EMULATE (0xffc0, 0x4200, t16_emulate_loregs_rwflags),
182 /* CMP (register) 0100 0010 10xx xxxx */
183 /* CMN (register) 0100 0010 11xx xxxx */
184 DECODE_EMULATE (0xff80, 0x4280, t16_emulate_loregs_rwflags),
185 /* AND (register) 0100 0000 00xx xxxx */
186 /* EOR (register) 0100 0000 01xx xxxx */
187 /* LSL (register) 0100 0000 10xx xxxx */
188 /* LSR (register) 0100 0000 11xx xxxx */
189 /* ASR (register) 0100 0001 00xx xxxx */
190 /* ADC (register) 0100 0001 01xx xxxx */
191 /* SBC (register) 0100 0001 10xx xxxx */
192 /* ROR (register) 0100 0001 11xx xxxx */
193 /* RSB (immediate) 0100 0010 01xx xxxx */
194 /* ORR (register) 0100 0011 00xx xxxx */
195 /* MUL 0100 0011 00xx xxxx */
196 /* BIC (register) 0100 0011 10xx xxxx */
197 /* MVN (register) 0100 0011 10xx xxxx */
198 DECODE_EMULATE (0xfc00, 0x4000, t16_emulate_loregs_noitrwflags),
199
200 /*
Jon Medhursta9c3c292011-07-02 15:51:03 +0100201 * Special data instructions and branch and exchange
202 * 0100 01xx xxxx xxxx
203 */
204
205 /* BLX pc 0100 0111 1111 1xxx */
206 DECODE_REJECT (0xfff8, 0x47f8),
207
208 /* BX (register) 0100 0111 0xxx xxxx */
209 /* BLX (register) 0100 0111 1xxx xxxx */
210 DECODE_SIMULATE (0xff00, 0x4700, t16_simulate_bxblx),
211
Jon Medhurst3b5940e2011-07-02 15:54:57 +0100212 /* ADD pc, pc 0100 0100 1111 1111 */
213 DECODE_REJECT (0xffff, 0x44ff),
214
215 /* ADD (register) 0100 0100 xxxx xxxx */
216 /* CMP (register) 0100 0101 xxxx xxxx */
217 /* MOV (register) 0100 0110 xxxx xxxx */
218 DECODE_CUSTOM (0xfc00, 0x4400, t16_decode_hiregs),
219
Jon Medhursta9c3c292011-07-02 15:51:03 +0100220 /*
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100221 * Miscellaneous 16-bit instructions
222 * 1011 xxxx xxxx xxxx
223 */
224 DECODE_TABLE (0xf000, 0xb000, t16_table_1011),
225
226 DECODE_END
227};
228
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100229static unsigned long __kprobes thumb_check_cc(unsigned long cpsr)
230{
231 if (unlikely(in_it_block(cpsr)))
232 return kprobe_condition_checks[current_cond(cpsr)](cpsr);
233 return true;
234}
235
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100236static void __kprobes thumb16_singlestep(struct kprobe *p, struct pt_regs *regs)
237{
238 regs->ARM_pc += 2;
239 p->ainsn.insn_handler(p, regs);
240 regs->ARM_cpsr = it_advance(regs->ARM_cpsr);
241}
242
243static void __kprobes thumb32_singlestep(struct kprobe *p, struct pt_regs *regs)
244{
245 regs->ARM_pc += 4;
246 p->ainsn.insn_handler(p, regs);
247 regs->ARM_cpsr = it_advance(regs->ARM_cpsr);
248}
249
Jon Medhurst24371702011-04-19 17:56:58 +0100250enum kprobe_insn __kprobes
251thumb16_kprobe_decode_insn(kprobe_opcode_t insn, struct arch_specific_insn *asi)
252{
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100253 asi->insn_singlestep = thumb16_singlestep;
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100254 asi->insn_check_cc = thumb_check_cc;
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100255 return kprobe_decode_insn(insn, asi, kprobe_decode_thumb16_table, true);
Jon Medhurst24371702011-04-19 17:56:58 +0100256}
257
258enum kprobe_insn __kprobes
259thumb32_kprobe_decode_insn(kprobe_opcode_t insn, struct arch_specific_insn *asi)
260{
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100261 asi->insn_singlestep = thumb32_singlestep;
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100262 asi->insn_check_cc = thumb_check_cc;
Jon Medhurst24371702011-04-19 17:56:58 +0100263 return INSN_REJECTED;
264}