blob: 2b30828d5f0c7422878d7dcf139017ac8d09dac6 [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 Medhurstf8695142011-07-02 16:00:09 +010054static void __kprobes
55t16_simulate_ldr_literal(struct kprobe *p, struct pt_regs *regs)
56{
57 kprobe_opcode_t insn = p->opcode;
58 unsigned long* base = (unsigned long *)(thumb_probe_pc(p) & ~3);
59 long index = insn & 0xff;
60 int rt = (insn >> 8) & 0x7;
61 regs->uregs[rt] = base[index];
62}
63
64static void __kprobes
65t16_simulate_ldrstr_sp_relative(struct kprobe *p, struct pt_regs *regs)
66{
67 kprobe_opcode_t insn = p->opcode;
68 unsigned long* base = (unsigned long *)regs->ARM_sp;
69 long index = insn & 0xff;
70 int rt = (insn >> 8) & 0x7;
71 if (insn & 0x800) /* LDR */
72 regs->uregs[rt] = base[index];
73 else /* STR */
74 base[index] = regs->uregs[rt];
75}
76
Jon Medhurst2f335822011-07-02 16:05:53 +010077static void __kprobes
78t16_simulate_reladr(struct kprobe *p, struct pt_regs *regs)
79{
80 kprobe_opcode_t insn = p->opcode;
81 unsigned long base = (insn & 0x800) ? regs->ARM_sp
82 : (thumb_probe_pc(p) & ~3);
83 long offset = insn & 0xff;
84 int rt = (insn >> 8) & 0x7;
85 regs->uregs[rt] = base + offset * 4;
86}
87
88static void __kprobes
89t16_simulate_add_sp_imm(struct kprobe *p, struct pt_regs *regs)
90{
91 kprobe_opcode_t insn = p->opcode;
92 long imm = insn & 0x7f;
93 if (insn & 0x80) /* SUB */
94 regs->ARM_sp -= imm * 4;
95 else /* ADD */
96 regs->ARM_sp += imm * 4;
97}
98
Jon Medhurst02d194f2011-07-02 15:46:05 +010099static unsigned long __kprobes
100t16_emulate_loregs(struct kprobe *p, struct pt_regs *regs)
101{
102 unsigned long oldcpsr = regs->ARM_cpsr;
103 unsigned long newcpsr;
104
105 __asm__ __volatile__ (
106 "msr cpsr_fs, %[oldcpsr] \n\t"
107 "ldmia %[regs], {r0-r7} \n\t"
108 "blx %[fn] \n\t"
109 "stmia %[regs], {r0-r7} \n\t"
110 "mrs %[newcpsr], cpsr \n\t"
111 : [newcpsr] "=r" (newcpsr)
112 : [oldcpsr] "r" (oldcpsr), [regs] "r" (regs),
113 [fn] "r" (p->ainsn.insn_fn)
114 : "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
115 "lr", "memory", "cc"
116 );
117
118 return (oldcpsr & ~APSR_MASK) | (newcpsr & APSR_MASK);
119}
120
121static void __kprobes
122t16_emulate_loregs_rwflags(struct kprobe *p, struct pt_regs *regs)
123{
124 regs->ARM_cpsr = t16_emulate_loregs(p, regs);
125}
126
127static void __kprobes
128t16_emulate_loregs_noitrwflags(struct kprobe *p, struct pt_regs *regs)
129{
130 unsigned long cpsr = t16_emulate_loregs(p, regs);
131 if (!in_it_block(cpsr))
132 regs->ARM_cpsr = cpsr;
133}
134
Jon Medhurst3b5940e2011-07-02 15:54:57 +0100135static void __kprobes
136t16_emulate_hiregs(struct kprobe *p, struct pt_regs *regs)
137{
138 kprobe_opcode_t insn = p->opcode;
139 unsigned long pc = thumb_probe_pc(p);
140 int rdn = (insn & 0x7) | ((insn & 0x80) >> 4);
141 int rm = (insn >> 3) & 0xf;
142
143 register unsigned long rdnv asm("r1");
144 register unsigned long rmv asm("r0");
145 unsigned long cpsr = regs->ARM_cpsr;
146
147 rdnv = (rdn == 15) ? pc : regs->uregs[rdn];
148 rmv = (rm == 15) ? pc : regs->uregs[rm];
149
150 __asm__ __volatile__ (
151 "msr cpsr_fs, %[cpsr] \n\t"
152 "blx %[fn] \n\t"
153 "mrs %[cpsr], cpsr \n\t"
154 : "=r" (rdnv), [cpsr] "=r" (cpsr)
155 : "0" (rdnv), "r" (rmv), "1" (cpsr), [fn] "r" (p->ainsn.insn_fn)
156 : "lr", "memory", "cc"
157 );
158
159 if (rdn == 15)
160 rdnv &= ~1;
161
162 regs->uregs[rdn] = rdnv;
163 regs->ARM_cpsr = (regs->ARM_cpsr & ~APSR_MASK) | (cpsr & APSR_MASK);
164}
165
166static enum kprobe_insn __kprobes
167t16_decode_hiregs(kprobe_opcode_t insn, struct arch_specific_insn *asi)
168{
169 insn &= ~0x00ff;
170 insn |= 0x001; /* Set Rdn = R1 and Rm = R0 */
171 ((u16 *)asi->insn)[0] = insn;
172 asi->insn_handler = t16_emulate_hiregs;
173 return INSN_GOOD;
174}
175
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100176static const union decode_item t16_table_1011[] = {
177 /* Miscellaneous 16-bit instructions */
178
Jon Medhurst2f335822011-07-02 16:05:53 +0100179 /* ADD (SP plus immediate) 1011 0000 0xxx xxxx */
180 /* SUB (SP minus immediate) 1011 0000 1xxx xxxx */
181 DECODE_SIMULATE (0xff00, 0xb000, t16_simulate_add_sp_imm),
182
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100183 /*
184 * If-Then, and hints
185 * 1011 1111 xxxx xxxx
186 */
187
188 /* YIELD 1011 1111 0001 0000 */
189 DECODE_OR (0xffff, 0xbf10),
190 /* SEV 1011 1111 0100 0000 */
191 DECODE_EMULATE (0xffff, 0xbf40, kprobe_emulate_none),
192 /* NOP 1011 1111 0000 0000 */
193 /* WFE 1011 1111 0010 0000 */
194 /* WFI 1011 1111 0011 0000 */
195 DECODE_SIMULATE (0xffcf, 0xbf00, kprobe_simulate_nop),
196 /* Unassigned hints 1011 1111 xxxx 0000 */
197 DECODE_REJECT (0xff0f, 0xbf00),
198
199 DECODE_END
200};
201
202const union decode_item kprobe_decode_thumb16_table[] = {
203
204 /*
Jon Medhurst02d194f2011-07-02 15:46:05 +0100205 * Shift (immediate), add, subtract, move, and compare
206 * 00xx xxxx xxxx xxxx
207 */
208
209 /* CMP (immediate) 0010 1xxx xxxx xxxx */
210 DECODE_EMULATE (0xf800, 0x2800, t16_emulate_loregs_rwflags),
211
212 /* ADD (register) 0001 100x xxxx xxxx */
213 /* SUB (register) 0001 101x xxxx xxxx */
214 /* LSL (immediate) 0000 0xxx xxxx xxxx */
215 /* LSR (immediate) 0000 1xxx xxxx xxxx */
216 /* ASR (immediate) 0001 0xxx xxxx xxxx */
217 /* ADD (immediate, Thumb) 0001 110x xxxx xxxx */
218 /* SUB (immediate, Thumb) 0001 111x xxxx xxxx */
219 /* MOV (immediate) 0010 0xxx xxxx xxxx */
220 /* ADD (immediate, Thumb) 0011 0xxx xxxx xxxx */
221 /* SUB (immediate, Thumb) 0011 1xxx xxxx xxxx */
222 DECODE_EMULATE (0xc000, 0x0000, t16_emulate_loregs_noitrwflags),
223
224 /*
225 * 16-bit Thumb data-processing instructions
226 * 0100 00xx xxxx xxxx
227 */
228
229 /* TST (register) 0100 0010 00xx xxxx */
230 DECODE_EMULATE (0xffc0, 0x4200, t16_emulate_loregs_rwflags),
231 /* CMP (register) 0100 0010 10xx xxxx */
232 /* CMN (register) 0100 0010 11xx xxxx */
233 DECODE_EMULATE (0xff80, 0x4280, t16_emulate_loregs_rwflags),
234 /* AND (register) 0100 0000 00xx xxxx */
235 /* EOR (register) 0100 0000 01xx xxxx */
236 /* LSL (register) 0100 0000 10xx xxxx */
237 /* LSR (register) 0100 0000 11xx xxxx */
238 /* ASR (register) 0100 0001 00xx xxxx */
239 /* ADC (register) 0100 0001 01xx xxxx */
240 /* SBC (register) 0100 0001 10xx xxxx */
241 /* ROR (register) 0100 0001 11xx xxxx */
242 /* RSB (immediate) 0100 0010 01xx xxxx */
243 /* ORR (register) 0100 0011 00xx xxxx */
244 /* MUL 0100 0011 00xx xxxx */
245 /* BIC (register) 0100 0011 10xx xxxx */
246 /* MVN (register) 0100 0011 10xx xxxx */
247 DECODE_EMULATE (0xfc00, 0x4000, t16_emulate_loregs_noitrwflags),
248
249 /*
Jon Medhursta9c3c292011-07-02 15:51:03 +0100250 * Special data instructions and branch and exchange
251 * 0100 01xx xxxx xxxx
252 */
253
254 /* BLX pc 0100 0111 1111 1xxx */
255 DECODE_REJECT (0xfff8, 0x47f8),
256
257 /* BX (register) 0100 0111 0xxx xxxx */
258 /* BLX (register) 0100 0111 1xxx xxxx */
259 DECODE_SIMULATE (0xff00, 0x4700, t16_simulate_bxblx),
260
Jon Medhurst3b5940e2011-07-02 15:54:57 +0100261 /* ADD pc, pc 0100 0100 1111 1111 */
262 DECODE_REJECT (0xffff, 0x44ff),
263
264 /* ADD (register) 0100 0100 xxxx xxxx */
265 /* CMP (register) 0100 0101 xxxx xxxx */
266 /* MOV (register) 0100 0110 xxxx xxxx */
267 DECODE_CUSTOM (0xfc00, 0x4400, t16_decode_hiregs),
268
Jon Medhursta9c3c292011-07-02 15:51:03 +0100269 /*
Jon Medhurstf8695142011-07-02 16:00:09 +0100270 * Load from Literal Pool
271 * LDR (literal) 0100 1xxx xxxx xxxx
272 */
273 DECODE_SIMULATE (0xf800, 0x4800, t16_simulate_ldr_literal),
274
275 /*
276 * 16-bit Thumb Load/store instructions
277 * 0101 xxxx xxxx xxxx
278 * 011x xxxx xxxx xxxx
279 * 100x xxxx xxxx xxxx
280 */
281
282 /* STR (register) 0101 000x xxxx xxxx */
283 /* STRH (register) 0101 001x xxxx xxxx */
284 /* STRB (register) 0101 010x xxxx xxxx */
285 /* LDRSB (register) 0101 011x xxxx xxxx */
286 /* LDR (register) 0101 100x xxxx xxxx */
287 /* LDRH (register) 0101 101x xxxx xxxx */
288 /* LDRB (register) 0101 110x xxxx xxxx */
289 /* LDRSH (register) 0101 111x xxxx xxxx */
290 /* STR (immediate, Thumb) 0110 0xxx xxxx xxxx */
291 /* LDR (immediate, Thumb) 0110 1xxx xxxx xxxx */
292 /* STRB (immediate, Thumb) 0111 0xxx xxxx xxxx */
293 /* LDRB (immediate, Thumb) 0111 1xxx xxxx xxxx */
294 DECODE_EMULATE (0xc000, 0x4000, t16_emulate_loregs_rwflags),
295 /* STRH (immediate, Thumb) 1000 0xxx xxxx xxxx */
296 /* LDRH (immediate, Thumb) 1000 1xxx xxxx xxxx */
297 DECODE_EMULATE (0xf000, 0x8000, t16_emulate_loregs_rwflags),
298 /* STR (immediate, Thumb) 1001 0xxx xxxx xxxx */
299 /* LDR (immediate, Thumb) 1001 1xxx xxxx xxxx */
300 DECODE_SIMULATE (0xf000, 0x9000, t16_simulate_ldrstr_sp_relative),
301
302 /*
Jon Medhurst2f335822011-07-02 16:05:53 +0100303 * Generate PC-/SP-relative address
304 * ADR (literal) 1010 0xxx xxxx xxxx
305 * ADD (SP plus immediate) 1010 1xxx xxxx xxxx
306 */
307 DECODE_SIMULATE (0xf000, 0xa000, t16_simulate_reladr),
308
309 /*
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100310 * Miscellaneous 16-bit instructions
311 * 1011 xxxx xxxx xxxx
312 */
313 DECODE_TABLE (0xf000, 0xb000, t16_table_1011),
314
Jon Medhurstf8695142011-07-02 16:00:09 +0100315 /* STM 1100 0xxx xxxx xxxx */
316 /* LDM 1100 1xxx xxxx xxxx */
317 DECODE_EMULATE (0xf000, 0xc000, t16_emulate_loregs_rwflags),
318
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100319 DECODE_END
320};
321
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100322static unsigned long __kprobes thumb_check_cc(unsigned long cpsr)
323{
324 if (unlikely(in_it_block(cpsr)))
325 return kprobe_condition_checks[current_cond(cpsr)](cpsr);
326 return true;
327}
328
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100329static void __kprobes thumb16_singlestep(struct kprobe *p, struct pt_regs *regs)
330{
331 regs->ARM_pc += 2;
332 p->ainsn.insn_handler(p, regs);
333 regs->ARM_cpsr = it_advance(regs->ARM_cpsr);
334}
335
336static void __kprobes thumb32_singlestep(struct kprobe *p, struct pt_regs *regs)
337{
338 regs->ARM_pc += 4;
339 p->ainsn.insn_handler(p, regs);
340 regs->ARM_cpsr = it_advance(regs->ARM_cpsr);
341}
342
Jon Medhurst24371702011-04-19 17:56:58 +0100343enum kprobe_insn __kprobes
344thumb16_kprobe_decode_insn(kprobe_opcode_t insn, struct arch_specific_insn *asi)
345{
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100346 asi->insn_singlestep = thumb16_singlestep;
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100347 asi->insn_check_cc = thumb_check_cc;
Jon Medhurst3f92dfe2011-07-02 15:36:32 +0100348 return kprobe_decode_insn(insn, asi, kprobe_decode_thumb16_table, true);
Jon Medhurst24371702011-04-19 17:56:58 +0100349}
350
351enum kprobe_insn __kprobes
352thumb32_kprobe_decode_insn(kprobe_opcode_t insn, struct arch_specific_insn *asi)
353{
Jon Medhurstc6a7d972011-06-09 12:11:27 +0100354 asi->insn_singlestep = thumb32_singlestep;
Jon Medhursteaf4f33f2011-04-20 19:29:52 +0100355 asi->insn_check_cc = thumb_check_cc;
Jon Medhurst24371702011-04-19 17:56:58 +0100356 return INSN_REJECTED;
357}