Loading...
1/*
2 * Copyright 2008 Michael Ellerman, IBM Corporation.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version
7 * 2 of the License, or (at your option) any later version.
8 */
9
10#include <linux/kernel.h>
11#include <linux/kprobes.h>
12#include <linux/vmalloc.h>
13#include <linux/init.h>
14#include <linux/mm.h>
15#include <linux/cpuhotplug.h>
16#include <linux/slab.h>
17#include <linux/uaccess.h>
18#include <linux/kprobes.h>
19
20#include <asm/pgtable.h>
21#include <asm/tlbflush.h>
22#include <asm/page.h>
23#include <asm/code-patching.h>
24#include <asm/setup.h>
25
26static int __patch_instruction(unsigned int *exec_addr, unsigned int instr,
27 unsigned int *patch_addr)
28{
29 int err;
30
31 __put_user_size(instr, patch_addr, 4, err);
32 if (err)
33 return err;
34
35 asm ("dcbst 0, %0; sync; icbi 0,%1; sync; isync" :: "r" (patch_addr),
36 "r" (exec_addr));
37
38 return 0;
39}
40
41int raw_patch_instruction(unsigned int *addr, unsigned int instr)
42{
43 return __patch_instruction(addr, instr, addr);
44}
45
46#ifdef CONFIG_STRICT_KERNEL_RWX
47static DEFINE_PER_CPU(struct vm_struct *, text_poke_area);
48
49static int text_area_cpu_up(unsigned int cpu)
50{
51 struct vm_struct *area;
52
53 area = get_vm_area(PAGE_SIZE, VM_ALLOC);
54 if (!area) {
55 WARN_ONCE(1, "Failed to create text area for cpu %d\n",
56 cpu);
57 return -1;
58 }
59 this_cpu_write(text_poke_area, area);
60
61 return 0;
62}
63
64static int text_area_cpu_down(unsigned int cpu)
65{
66 free_vm_area(this_cpu_read(text_poke_area));
67 return 0;
68}
69
70/*
71 * Run as a late init call. This allows all the boot time patching to be done
72 * simply by patching the code, and then we're called here prior to
73 * mark_rodata_ro(), which happens after all init calls are run. Although
74 * BUG_ON() is rude, in this case it should only happen if ENOMEM, and we judge
75 * it as being preferable to a kernel that will crash later when someone tries
76 * to use patch_instruction().
77 */
78static int __init setup_text_poke_area(void)
79{
80 BUG_ON(!cpuhp_setup_state(CPUHP_AP_ONLINE_DYN,
81 "powerpc/text_poke:online", text_area_cpu_up,
82 text_area_cpu_down));
83
84 return 0;
85}
86late_initcall(setup_text_poke_area);
87
88/*
89 * This can be called for kernel text or a module.
90 */
91static int map_patch_area(void *addr, unsigned long text_poke_addr)
92{
93 unsigned long pfn;
94 int err;
95
96 if (is_vmalloc_addr(addr))
97 pfn = vmalloc_to_pfn(addr);
98 else
99 pfn = __pa_symbol(addr) >> PAGE_SHIFT;
100
101 err = map_kernel_page(text_poke_addr, (pfn << PAGE_SHIFT),
102 pgprot_val(PAGE_KERNEL));
103
104 pr_devel("Mapped addr %lx with pfn %lx:%d\n", text_poke_addr, pfn, err);
105 if (err)
106 return -1;
107
108 return 0;
109}
110
111static inline int unmap_patch_area(unsigned long addr)
112{
113 pte_t *ptep;
114 pmd_t *pmdp;
115 pud_t *pudp;
116 pgd_t *pgdp;
117
118 pgdp = pgd_offset_k(addr);
119 if (unlikely(!pgdp))
120 return -EINVAL;
121
122 pudp = pud_offset(pgdp, addr);
123 if (unlikely(!pudp))
124 return -EINVAL;
125
126 pmdp = pmd_offset(pudp, addr);
127 if (unlikely(!pmdp))
128 return -EINVAL;
129
130 ptep = pte_offset_kernel(pmdp, addr);
131 if (unlikely(!ptep))
132 return -EINVAL;
133
134 pr_devel("clearing mm %p, pte %p, addr %lx\n", &init_mm, ptep, addr);
135
136 /*
137 * In hash, pte_clear flushes the tlb, in radix, we have to
138 */
139 pte_clear(&init_mm, addr, ptep);
140 flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
141
142 return 0;
143}
144
145int patch_instruction(unsigned int *addr, unsigned int instr)
146{
147 int err;
148 unsigned int *patch_addr = NULL;
149 unsigned long flags;
150 unsigned long text_poke_addr;
151 unsigned long kaddr = (unsigned long)addr;
152
153 /*
154 * During early early boot patch_instruction is called
155 * when text_poke_area is not ready, but we still need
156 * to allow patching. We just do the plain old patching
157 */
158 if (!this_cpu_read(text_poke_area))
159 return raw_patch_instruction(addr, instr);
160
161 local_irq_save(flags);
162
163 text_poke_addr = (unsigned long)__this_cpu_read(text_poke_area)->addr;
164 if (map_patch_area(addr, text_poke_addr)) {
165 err = -1;
166 goto out;
167 }
168
169 patch_addr = (unsigned int *)(text_poke_addr) +
170 ((kaddr & ~PAGE_MASK) / sizeof(unsigned int));
171
172 __patch_instruction(addr, instr, patch_addr);
173
174 err = unmap_patch_area(text_poke_addr);
175 if (err)
176 pr_warn("failed to unmap %lx\n", text_poke_addr);
177
178out:
179 local_irq_restore(flags);
180
181 return err;
182}
183#else /* !CONFIG_STRICT_KERNEL_RWX */
184
185int patch_instruction(unsigned int *addr, unsigned int instr)
186{
187 return raw_patch_instruction(addr, instr);
188}
189
190#endif /* CONFIG_STRICT_KERNEL_RWX */
191NOKPROBE_SYMBOL(patch_instruction);
192
193int patch_branch(unsigned int *addr, unsigned long target, int flags)
194{
195 return patch_instruction(addr, create_branch(addr, target, flags));
196}
197
198bool is_offset_in_branch_range(long offset)
199{
200 /*
201 * Powerpc branch instruction is :
202 *
203 * 0 6 30 31
204 * +---------+----------------+---+---+
205 * | opcode | LI |AA |LK |
206 * +---------+----------------+---+---+
207 * Where AA = 0 and LK = 0
208 *
209 * LI is a signed 24 bits integer. The real branch offset is computed
210 * by: imm32 = SignExtend(LI:'0b00', 32);
211 *
212 * So the maximum forward branch should be:
213 * (0x007fffff << 2) = 0x01fffffc = 0x1fffffc
214 * The maximum backward branch should be:
215 * (0xff800000 << 2) = 0xfe000000 = -0x2000000
216 */
217 return (offset >= -0x2000000 && offset <= 0x1fffffc && !(offset & 0x3));
218}
219
220/*
221 * Helper to check if a given instruction is a conditional branch
222 * Derived from the conditional checks in analyse_instr()
223 */
224bool is_conditional_branch(unsigned int instr)
225{
226 unsigned int opcode = instr >> 26;
227
228 if (opcode == 16) /* bc, bca, bcl, bcla */
229 return true;
230 if (opcode == 19) {
231 switch ((instr >> 1) & 0x3ff) {
232 case 16: /* bclr, bclrl */
233 case 528: /* bcctr, bcctrl */
234 case 560: /* bctar, bctarl */
235 return true;
236 }
237 }
238 return false;
239}
240NOKPROBE_SYMBOL(is_conditional_branch);
241
242unsigned int create_branch(const unsigned int *addr,
243 unsigned long target, int flags)
244{
245 unsigned int instruction;
246 long offset;
247
248 offset = target;
249 if (! (flags & BRANCH_ABSOLUTE))
250 offset = offset - (unsigned long)addr;
251
252 /* Check we can represent the target in the instruction format */
253 if (!is_offset_in_branch_range(offset))
254 return 0;
255
256 /* Mask out the flags and target, so they don't step on each other. */
257 instruction = 0x48000000 | (flags & 0x3) | (offset & 0x03FFFFFC);
258
259 return instruction;
260}
261
262unsigned int create_cond_branch(const unsigned int *addr,
263 unsigned long target, int flags)
264{
265 unsigned int instruction;
266 long offset;
267
268 offset = target;
269 if (! (flags & BRANCH_ABSOLUTE))
270 offset = offset - (unsigned long)addr;
271
272 /* Check we can represent the target in the instruction format */
273 if (offset < -0x8000 || offset > 0x7FFF || offset & 0x3)
274 return 0;
275
276 /* Mask out the flags and target, so they don't step on each other. */
277 instruction = 0x40000000 | (flags & 0x3FF0003) | (offset & 0xFFFC);
278
279 return instruction;
280}
281
282static unsigned int branch_opcode(unsigned int instr)
283{
284 return (instr >> 26) & 0x3F;
285}
286
287static int instr_is_branch_iform(unsigned int instr)
288{
289 return branch_opcode(instr) == 18;
290}
291
292static int instr_is_branch_bform(unsigned int instr)
293{
294 return branch_opcode(instr) == 16;
295}
296
297int instr_is_relative_branch(unsigned int instr)
298{
299 if (instr & BRANCH_ABSOLUTE)
300 return 0;
301
302 return instr_is_branch_iform(instr) || instr_is_branch_bform(instr);
303}
304
305int instr_is_relative_link_branch(unsigned int instr)
306{
307 return instr_is_relative_branch(instr) && (instr & BRANCH_SET_LINK);
308}
309
310static unsigned long branch_iform_target(const unsigned int *instr)
311{
312 signed long imm;
313
314 imm = *instr & 0x3FFFFFC;
315
316 /* If the top bit of the immediate value is set this is negative */
317 if (imm & 0x2000000)
318 imm -= 0x4000000;
319
320 if ((*instr & BRANCH_ABSOLUTE) == 0)
321 imm += (unsigned long)instr;
322
323 return (unsigned long)imm;
324}
325
326static unsigned long branch_bform_target(const unsigned int *instr)
327{
328 signed long imm;
329
330 imm = *instr & 0xFFFC;
331
332 /* If the top bit of the immediate value is set this is negative */
333 if (imm & 0x8000)
334 imm -= 0x10000;
335
336 if ((*instr & BRANCH_ABSOLUTE) == 0)
337 imm += (unsigned long)instr;
338
339 return (unsigned long)imm;
340}
341
342unsigned long branch_target(const unsigned int *instr)
343{
344 if (instr_is_branch_iform(*instr))
345 return branch_iform_target(instr);
346 else if (instr_is_branch_bform(*instr))
347 return branch_bform_target(instr);
348
349 return 0;
350}
351
352int instr_is_branch_to_addr(const unsigned int *instr, unsigned long addr)
353{
354 if (instr_is_branch_iform(*instr) || instr_is_branch_bform(*instr))
355 return branch_target(instr) == addr;
356
357 return 0;
358}
359
360unsigned int translate_branch(const unsigned int *dest, const unsigned int *src)
361{
362 unsigned long target;
363
364 target = branch_target(src);
365
366 if (instr_is_branch_iform(*src))
367 return create_branch(dest, target, *src);
368 else if (instr_is_branch_bform(*src))
369 return create_cond_branch(dest, target, *src);
370
371 return 0;
372}
373
374#ifdef CONFIG_PPC_BOOK3E_64
375void __patch_exception(int exc, unsigned long addr)
376{
377 extern unsigned int interrupt_base_book3e;
378 unsigned int *ibase = &interrupt_base_book3e;
379
380 /* Our exceptions vectors start with a NOP and -then- a branch
381 * to deal with single stepping from userspace which stops on
382 * the second instruction. Thus we need to patch the second
383 * instruction of the exception, not the first one
384 */
385
386 patch_branch(ibase + (exc / 4) + 1, addr, 0);
387}
388#endif
389
390#ifdef CONFIG_CODE_PATCHING_SELFTEST
391
392static void __init test_trampoline(void)
393{
394 asm ("nop;\n");
395}
396
397#define check(x) \
398 if (!(x)) printk("code-patching: test failed at line %d\n", __LINE__);
399
400static void __init test_branch_iform(void)
401{
402 unsigned int instr;
403 unsigned long addr;
404
405 addr = (unsigned long)&instr;
406
407 /* The simplest case, branch to self, no flags */
408 check(instr_is_branch_iform(0x48000000));
409 /* All bits of target set, and flags */
410 check(instr_is_branch_iform(0x4bffffff));
411 /* High bit of opcode set, which is wrong */
412 check(!instr_is_branch_iform(0xcbffffff));
413 /* Middle bits of opcode set, which is wrong */
414 check(!instr_is_branch_iform(0x7bffffff));
415
416 /* Simplest case, branch to self with link */
417 check(instr_is_branch_iform(0x48000001));
418 /* All bits of targets set */
419 check(instr_is_branch_iform(0x4bfffffd));
420 /* Some bits of targets set */
421 check(instr_is_branch_iform(0x4bff00fd));
422 /* Must be a valid branch to start with */
423 check(!instr_is_branch_iform(0x7bfffffd));
424
425 /* Absolute branch to 0x100 */
426 instr = 0x48000103;
427 check(instr_is_branch_to_addr(&instr, 0x100));
428 /* Absolute branch to 0x420fc */
429 instr = 0x480420ff;
430 check(instr_is_branch_to_addr(&instr, 0x420fc));
431 /* Maximum positive relative branch, + 20MB - 4B */
432 instr = 0x49fffffc;
433 check(instr_is_branch_to_addr(&instr, addr + 0x1FFFFFC));
434 /* Smallest negative relative branch, - 4B */
435 instr = 0x4bfffffc;
436 check(instr_is_branch_to_addr(&instr, addr - 4));
437 /* Largest negative relative branch, - 32 MB */
438 instr = 0x4a000000;
439 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
440
441 /* Branch to self, with link */
442 instr = create_branch(&instr, addr, BRANCH_SET_LINK);
443 check(instr_is_branch_to_addr(&instr, addr));
444
445 /* Branch to self - 0x100, with link */
446 instr = create_branch(&instr, addr - 0x100, BRANCH_SET_LINK);
447 check(instr_is_branch_to_addr(&instr, addr - 0x100));
448
449 /* Branch to self + 0x100, no link */
450 instr = create_branch(&instr, addr + 0x100, 0);
451 check(instr_is_branch_to_addr(&instr, addr + 0x100));
452
453 /* Maximum relative negative offset, - 32 MB */
454 instr = create_branch(&instr, addr - 0x2000000, BRANCH_SET_LINK);
455 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
456
457 /* Out of range relative negative offset, - 32 MB + 4*/
458 instr = create_branch(&instr, addr - 0x2000004, BRANCH_SET_LINK);
459 check(instr == 0);
460
461 /* Out of range relative positive offset, + 32 MB */
462 instr = create_branch(&instr, addr + 0x2000000, BRANCH_SET_LINK);
463 check(instr == 0);
464
465 /* Unaligned target */
466 instr = create_branch(&instr, addr + 3, BRANCH_SET_LINK);
467 check(instr == 0);
468
469 /* Check flags are masked correctly */
470 instr = create_branch(&instr, addr, 0xFFFFFFFC);
471 check(instr_is_branch_to_addr(&instr, addr));
472 check(instr == 0x48000000);
473}
474
475static void __init test_create_function_call(void)
476{
477 unsigned int *iptr;
478 unsigned long dest;
479
480 /* Check we can create a function call */
481 iptr = (unsigned int *)ppc_function_entry(test_trampoline);
482 dest = ppc_function_entry(test_create_function_call);
483 patch_instruction(iptr, create_branch(iptr, dest, BRANCH_SET_LINK));
484 check(instr_is_branch_to_addr(iptr, dest));
485}
486
487static void __init test_branch_bform(void)
488{
489 unsigned long addr;
490 unsigned int *iptr, instr, flags;
491
492 iptr = &instr;
493 addr = (unsigned long)iptr;
494
495 /* The simplest case, branch to self, no flags */
496 check(instr_is_branch_bform(0x40000000));
497 /* All bits of target set, and flags */
498 check(instr_is_branch_bform(0x43ffffff));
499 /* High bit of opcode set, which is wrong */
500 check(!instr_is_branch_bform(0xc3ffffff));
501 /* Middle bits of opcode set, which is wrong */
502 check(!instr_is_branch_bform(0x7bffffff));
503
504 /* Absolute conditional branch to 0x100 */
505 instr = 0x43ff0103;
506 check(instr_is_branch_to_addr(&instr, 0x100));
507 /* Absolute conditional branch to 0x20fc */
508 instr = 0x43ff20ff;
509 check(instr_is_branch_to_addr(&instr, 0x20fc));
510 /* Maximum positive relative conditional branch, + 32 KB - 4B */
511 instr = 0x43ff7ffc;
512 check(instr_is_branch_to_addr(&instr, addr + 0x7FFC));
513 /* Smallest negative relative conditional branch, - 4B */
514 instr = 0x43fffffc;
515 check(instr_is_branch_to_addr(&instr, addr - 4));
516 /* Largest negative relative conditional branch, - 32 KB */
517 instr = 0x43ff8000;
518 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
519
520 /* All condition code bits set & link */
521 flags = 0x3ff000 | BRANCH_SET_LINK;
522
523 /* Branch to self */
524 instr = create_cond_branch(iptr, addr, flags);
525 check(instr_is_branch_to_addr(&instr, addr));
526
527 /* Branch to self - 0x100 */
528 instr = create_cond_branch(iptr, addr - 0x100, flags);
529 check(instr_is_branch_to_addr(&instr, addr - 0x100));
530
531 /* Branch to self + 0x100 */
532 instr = create_cond_branch(iptr, addr + 0x100, flags);
533 check(instr_is_branch_to_addr(&instr, addr + 0x100));
534
535 /* Maximum relative negative offset, - 32 KB */
536 instr = create_cond_branch(iptr, addr - 0x8000, flags);
537 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
538
539 /* Out of range relative negative offset, - 32 KB + 4*/
540 instr = create_cond_branch(iptr, addr - 0x8004, flags);
541 check(instr == 0);
542
543 /* Out of range relative positive offset, + 32 KB */
544 instr = create_cond_branch(iptr, addr + 0x8000, flags);
545 check(instr == 0);
546
547 /* Unaligned target */
548 instr = create_cond_branch(iptr, addr + 3, flags);
549 check(instr == 0);
550
551 /* Check flags are masked correctly */
552 instr = create_cond_branch(iptr, addr, 0xFFFFFFFC);
553 check(instr_is_branch_to_addr(&instr, addr));
554 check(instr == 0x43FF0000);
555}
556
557static void __init test_translate_branch(void)
558{
559 unsigned long addr;
560 unsigned int *p, *q;
561 void *buf;
562
563 buf = vmalloc(PAGE_ALIGN(0x2000000 + 1));
564 check(buf);
565 if (!buf)
566 return;
567
568 /* Simple case, branch to self moved a little */
569 p = buf;
570 addr = (unsigned long)p;
571 patch_branch(p, addr, 0);
572 check(instr_is_branch_to_addr(p, addr));
573 q = p + 1;
574 patch_instruction(q, translate_branch(q, p));
575 check(instr_is_branch_to_addr(q, addr));
576
577 /* Maximum negative case, move b . to addr + 32 MB */
578 p = buf;
579 addr = (unsigned long)p;
580 patch_branch(p, addr, 0);
581 q = buf + 0x2000000;
582 patch_instruction(q, translate_branch(q, p));
583 check(instr_is_branch_to_addr(p, addr));
584 check(instr_is_branch_to_addr(q, addr));
585 check(*q == 0x4a000000);
586
587 /* Maximum positive case, move x to x - 32 MB + 4 */
588 p = buf + 0x2000000;
589 addr = (unsigned long)p;
590 patch_branch(p, addr, 0);
591 q = buf + 4;
592 patch_instruction(q, translate_branch(q, p));
593 check(instr_is_branch_to_addr(p, addr));
594 check(instr_is_branch_to_addr(q, addr));
595 check(*q == 0x49fffffc);
596
597 /* Jump to x + 16 MB moved to x + 20 MB */
598 p = buf;
599 addr = 0x1000000 + (unsigned long)buf;
600 patch_branch(p, addr, BRANCH_SET_LINK);
601 q = buf + 0x1400000;
602 patch_instruction(q, translate_branch(q, p));
603 check(instr_is_branch_to_addr(p, addr));
604 check(instr_is_branch_to_addr(q, addr));
605
606 /* Jump to x + 16 MB moved to x - 16 MB + 4 */
607 p = buf + 0x1000000;
608 addr = 0x2000000 + (unsigned long)buf;
609 patch_branch(p, addr, 0);
610 q = buf + 4;
611 patch_instruction(q, translate_branch(q, p));
612 check(instr_is_branch_to_addr(p, addr));
613 check(instr_is_branch_to_addr(q, addr));
614
615
616 /* Conditional branch tests */
617
618 /* Simple case, branch to self moved a little */
619 p = buf;
620 addr = (unsigned long)p;
621 patch_instruction(p, create_cond_branch(p, addr, 0));
622 check(instr_is_branch_to_addr(p, addr));
623 q = p + 1;
624 patch_instruction(q, translate_branch(q, p));
625 check(instr_is_branch_to_addr(q, addr));
626
627 /* Maximum negative case, move b . to addr + 32 KB */
628 p = buf;
629 addr = (unsigned long)p;
630 patch_instruction(p, create_cond_branch(p, addr, 0xFFFFFFFC));
631 q = buf + 0x8000;
632 patch_instruction(q, translate_branch(q, p));
633 check(instr_is_branch_to_addr(p, addr));
634 check(instr_is_branch_to_addr(q, addr));
635 check(*q == 0x43ff8000);
636
637 /* Maximum positive case, move x to x - 32 KB + 4 */
638 p = buf + 0x8000;
639 addr = (unsigned long)p;
640 patch_instruction(p, create_cond_branch(p, addr, 0xFFFFFFFC));
641 q = buf + 4;
642 patch_instruction(q, translate_branch(q, p));
643 check(instr_is_branch_to_addr(p, addr));
644 check(instr_is_branch_to_addr(q, addr));
645 check(*q == 0x43ff7ffc);
646
647 /* Jump to x + 12 KB moved to x + 20 KB */
648 p = buf;
649 addr = 0x3000 + (unsigned long)buf;
650 patch_instruction(p, create_cond_branch(p, addr, BRANCH_SET_LINK));
651 q = buf + 0x5000;
652 patch_instruction(q, translate_branch(q, p));
653 check(instr_is_branch_to_addr(p, addr));
654 check(instr_is_branch_to_addr(q, addr));
655
656 /* Jump to x + 8 KB moved to x - 8 KB + 4 */
657 p = buf + 0x2000;
658 addr = 0x4000 + (unsigned long)buf;
659 patch_instruction(p, create_cond_branch(p, addr, 0));
660 q = buf + 4;
661 patch_instruction(q, translate_branch(q, p));
662 check(instr_is_branch_to_addr(p, addr));
663 check(instr_is_branch_to_addr(q, addr));
664
665 /* Free the buffer we were using */
666 vfree(buf);
667}
668
669static int __init test_code_patching(void)
670{
671 printk(KERN_DEBUG "Running code patching self-tests ...\n");
672
673 test_branch_iform();
674 test_branch_bform();
675 test_create_function_call();
676 test_translate_branch();
677
678 return 0;
679}
680late_initcall(test_code_patching);
681
682#endif /* CONFIG_CODE_PATCHING_SELFTEST */
1/*
2 * Copyright 2008 Michael Ellerman, IBM Corporation.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version
7 * 2 of the License, or (at your option) any later version.
8 */
9
10#include <linux/kernel.h>
11#include <linux/vmalloc.h>
12#include <linux/init.h>
13#include <linux/mm.h>
14#include <asm/page.h>
15#include <asm/code-patching.h>
16
17
18void patch_instruction(unsigned int *addr, unsigned int instr)
19{
20 *addr = instr;
21 asm ("dcbst 0, %0; sync; icbi 0,%0; sync; isync" : : "r" (addr));
22}
23
24void patch_branch(unsigned int *addr, unsigned long target, int flags)
25{
26 patch_instruction(addr, create_branch(addr, target, flags));
27}
28
29unsigned int create_branch(const unsigned int *addr,
30 unsigned long target, int flags)
31{
32 unsigned int instruction;
33 long offset;
34
35 offset = target;
36 if (! (flags & BRANCH_ABSOLUTE))
37 offset = offset - (unsigned long)addr;
38
39 /* Check we can represent the target in the instruction format */
40 if (offset < -0x2000000 || offset > 0x1fffffc || offset & 0x3)
41 return 0;
42
43 /* Mask out the flags and target, so they don't step on each other. */
44 instruction = 0x48000000 | (flags & 0x3) | (offset & 0x03FFFFFC);
45
46 return instruction;
47}
48
49unsigned int create_cond_branch(const unsigned int *addr,
50 unsigned long target, int flags)
51{
52 unsigned int instruction;
53 long offset;
54
55 offset = target;
56 if (! (flags & BRANCH_ABSOLUTE))
57 offset = offset - (unsigned long)addr;
58
59 /* Check we can represent the target in the instruction format */
60 if (offset < -0x8000 || offset > 0x7FFF || offset & 0x3)
61 return 0;
62
63 /* Mask out the flags and target, so they don't step on each other. */
64 instruction = 0x40000000 | (flags & 0x3FF0003) | (offset & 0xFFFC);
65
66 return instruction;
67}
68
69static unsigned int branch_opcode(unsigned int instr)
70{
71 return (instr >> 26) & 0x3F;
72}
73
74static int instr_is_branch_iform(unsigned int instr)
75{
76 return branch_opcode(instr) == 18;
77}
78
79static int instr_is_branch_bform(unsigned int instr)
80{
81 return branch_opcode(instr) == 16;
82}
83
84int instr_is_relative_branch(unsigned int instr)
85{
86 if (instr & BRANCH_ABSOLUTE)
87 return 0;
88
89 return instr_is_branch_iform(instr) || instr_is_branch_bform(instr);
90}
91
92static unsigned long branch_iform_target(const unsigned int *instr)
93{
94 signed long imm;
95
96 imm = *instr & 0x3FFFFFC;
97
98 /* If the top bit of the immediate value is set this is negative */
99 if (imm & 0x2000000)
100 imm -= 0x4000000;
101
102 if ((*instr & BRANCH_ABSOLUTE) == 0)
103 imm += (unsigned long)instr;
104
105 return (unsigned long)imm;
106}
107
108static unsigned long branch_bform_target(const unsigned int *instr)
109{
110 signed long imm;
111
112 imm = *instr & 0xFFFC;
113
114 /* If the top bit of the immediate value is set this is negative */
115 if (imm & 0x8000)
116 imm -= 0x10000;
117
118 if ((*instr & BRANCH_ABSOLUTE) == 0)
119 imm += (unsigned long)instr;
120
121 return (unsigned long)imm;
122}
123
124unsigned long branch_target(const unsigned int *instr)
125{
126 if (instr_is_branch_iform(*instr))
127 return branch_iform_target(instr);
128 else if (instr_is_branch_bform(*instr))
129 return branch_bform_target(instr);
130
131 return 0;
132}
133
134int instr_is_branch_to_addr(const unsigned int *instr, unsigned long addr)
135{
136 if (instr_is_branch_iform(*instr) || instr_is_branch_bform(*instr))
137 return branch_target(instr) == addr;
138
139 return 0;
140}
141
142unsigned int translate_branch(const unsigned int *dest, const unsigned int *src)
143{
144 unsigned long target;
145
146 target = branch_target(src);
147
148 if (instr_is_branch_iform(*src))
149 return create_branch(dest, target, *src);
150 else if (instr_is_branch_bform(*src))
151 return create_cond_branch(dest, target, *src);
152
153 return 0;
154}
155
156
157#ifdef CONFIG_CODE_PATCHING_SELFTEST
158
159static void __init test_trampoline(void)
160{
161 asm ("nop;\n");
162}
163
164#define check(x) \
165 if (!(x)) printk("code-patching: test failed at line %d\n", __LINE__);
166
167static void __init test_branch_iform(void)
168{
169 unsigned int instr;
170 unsigned long addr;
171
172 addr = (unsigned long)&instr;
173
174 /* The simplest case, branch to self, no flags */
175 check(instr_is_branch_iform(0x48000000));
176 /* All bits of target set, and flags */
177 check(instr_is_branch_iform(0x4bffffff));
178 /* High bit of opcode set, which is wrong */
179 check(!instr_is_branch_iform(0xcbffffff));
180 /* Middle bits of opcode set, which is wrong */
181 check(!instr_is_branch_iform(0x7bffffff));
182
183 /* Simplest case, branch to self with link */
184 check(instr_is_branch_iform(0x48000001));
185 /* All bits of targets set */
186 check(instr_is_branch_iform(0x4bfffffd));
187 /* Some bits of targets set */
188 check(instr_is_branch_iform(0x4bff00fd));
189 /* Must be a valid branch to start with */
190 check(!instr_is_branch_iform(0x7bfffffd));
191
192 /* Absolute branch to 0x100 */
193 instr = 0x48000103;
194 check(instr_is_branch_to_addr(&instr, 0x100));
195 /* Absolute branch to 0x420fc */
196 instr = 0x480420ff;
197 check(instr_is_branch_to_addr(&instr, 0x420fc));
198 /* Maximum positive relative branch, + 20MB - 4B */
199 instr = 0x49fffffc;
200 check(instr_is_branch_to_addr(&instr, addr + 0x1FFFFFC));
201 /* Smallest negative relative branch, - 4B */
202 instr = 0x4bfffffc;
203 check(instr_is_branch_to_addr(&instr, addr - 4));
204 /* Largest negative relative branch, - 32 MB */
205 instr = 0x4a000000;
206 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
207
208 /* Branch to self, with link */
209 instr = create_branch(&instr, addr, BRANCH_SET_LINK);
210 check(instr_is_branch_to_addr(&instr, addr));
211
212 /* Branch to self - 0x100, with link */
213 instr = create_branch(&instr, addr - 0x100, BRANCH_SET_LINK);
214 check(instr_is_branch_to_addr(&instr, addr - 0x100));
215
216 /* Branch to self + 0x100, no link */
217 instr = create_branch(&instr, addr + 0x100, 0);
218 check(instr_is_branch_to_addr(&instr, addr + 0x100));
219
220 /* Maximum relative negative offset, - 32 MB */
221 instr = create_branch(&instr, addr - 0x2000000, BRANCH_SET_LINK);
222 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
223
224 /* Out of range relative negative offset, - 32 MB + 4*/
225 instr = create_branch(&instr, addr - 0x2000004, BRANCH_SET_LINK);
226 check(instr == 0);
227
228 /* Out of range relative positive offset, + 32 MB */
229 instr = create_branch(&instr, addr + 0x2000000, BRANCH_SET_LINK);
230 check(instr == 0);
231
232 /* Unaligned target */
233 instr = create_branch(&instr, addr + 3, BRANCH_SET_LINK);
234 check(instr == 0);
235
236 /* Check flags are masked correctly */
237 instr = create_branch(&instr, addr, 0xFFFFFFFC);
238 check(instr_is_branch_to_addr(&instr, addr));
239 check(instr == 0x48000000);
240}
241
242static void __init test_create_function_call(void)
243{
244 unsigned int *iptr;
245 unsigned long dest;
246
247 /* Check we can create a function call */
248 iptr = (unsigned int *)ppc_function_entry(test_trampoline);
249 dest = ppc_function_entry(test_create_function_call);
250 patch_instruction(iptr, create_branch(iptr, dest, BRANCH_SET_LINK));
251 check(instr_is_branch_to_addr(iptr, dest));
252}
253
254static void __init test_branch_bform(void)
255{
256 unsigned long addr;
257 unsigned int *iptr, instr, flags;
258
259 iptr = &instr;
260 addr = (unsigned long)iptr;
261
262 /* The simplest case, branch to self, no flags */
263 check(instr_is_branch_bform(0x40000000));
264 /* All bits of target set, and flags */
265 check(instr_is_branch_bform(0x43ffffff));
266 /* High bit of opcode set, which is wrong */
267 check(!instr_is_branch_bform(0xc3ffffff));
268 /* Middle bits of opcode set, which is wrong */
269 check(!instr_is_branch_bform(0x7bffffff));
270
271 /* Absolute conditional branch to 0x100 */
272 instr = 0x43ff0103;
273 check(instr_is_branch_to_addr(&instr, 0x100));
274 /* Absolute conditional branch to 0x20fc */
275 instr = 0x43ff20ff;
276 check(instr_is_branch_to_addr(&instr, 0x20fc));
277 /* Maximum positive relative conditional branch, + 32 KB - 4B */
278 instr = 0x43ff7ffc;
279 check(instr_is_branch_to_addr(&instr, addr + 0x7FFC));
280 /* Smallest negative relative conditional branch, - 4B */
281 instr = 0x43fffffc;
282 check(instr_is_branch_to_addr(&instr, addr - 4));
283 /* Largest negative relative conditional branch, - 32 KB */
284 instr = 0x43ff8000;
285 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
286
287 /* All condition code bits set & link */
288 flags = 0x3ff000 | BRANCH_SET_LINK;
289
290 /* Branch to self */
291 instr = create_cond_branch(iptr, addr, flags);
292 check(instr_is_branch_to_addr(&instr, addr));
293
294 /* Branch to self - 0x100 */
295 instr = create_cond_branch(iptr, addr - 0x100, flags);
296 check(instr_is_branch_to_addr(&instr, addr - 0x100));
297
298 /* Branch to self + 0x100 */
299 instr = create_cond_branch(iptr, addr + 0x100, flags);
300 check(instr_is_branch_to_addr(&instr, addr + 0x100));
301
302 /* Maximum relative negative offset, - 32 KB */
303 instr = create_cond_branch(iptr, addr - 0x8000, flags);
304 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
305
306 /* Out of range relative negative offset, - 32 KB + 4*/
307 instr = create_cond_branch(iptr, addr - 0x8004, flags);
308 check(instr == 0);
309
310 /* Out of range relative positive offset, + 32 KB */
311 instr = create_cond_branch(iptr, addr + 0x8000, flags);
312 check(instr == 0);
313
314 /* Unaligned target */
315 instr = create_cond_branch(iptr, addr + 3, flags);
316 check(instr == 0);
317
318 /* Check flags are masked correctly */
319 instr = create_cond_branch(iptr, addr, 0xFFFFFFFC);
320 check(instr_is_branch_to_addr(&instr, addr));
321 check(instr == 0x43FF0000);
322}
323
324static void __init test_translate_branch(void)
325{
326 unsigned long addr;
327 unsigned int *p, *q;
328 void *buf;
329
330 buf = vmalloc(PAGE_ALIGN(0x2000000 + 1));
331 check(buf);
332 if (!buf)
333 return;
334
335 /* Simple case, branch to self moved a little */
336 p = buf;
337 addr = (unsigned long)p;
338 patch_branch(p, addr, 0);
339 check(instr_is_branch_to_addr(p, addr));
340 q = p + 1;
341 patch_instruction(q, translate_branch(q, p));
342 check(instr_is_branch_to_addr(q, addr));
343
344 /* Maximum negative case, move b . to addr + 32 MB */
345 p = buf;
346 addr = (unsigned long)p;
347 patch_branch(p, addr, 0);
348 q = buf + 0x2000000;
349 patch_instruction(q, translate_branch(q, p));
350 check(instr_is_branch_to_addr(p, addr));
351 check(instr_is_branch_to_addr(q, addr));
352 check(*q == 0x4a000000);
353
354 /* Maximum positive case, move x to x - 32 MB + 4 */
355 p = buf + 0x2000000;
356 addr = (unsigned long)p;
357 patch_branch(p, addr, 0);
358 q = buf + 4;
359 patch_instruction(q, translate_branch(q, p));
360 check(instr_is_branch_to_addr(p, addr));
361 check(instr_is_branch_to_addr(q, addr));
362 check(*q == 0x49fffffc);
363
364 /* Jump to x + 16 MB moved to x + 20 MB */
365 p = buf;
366 addr = 0x1000000 + (unsigned long)buf;
367 patch_branch(p, addr, BRANCH_SET_LINK);
368 q = buf + 0x1400000;
369 patch_instruction(q, translate_branch(q, p));
370 check(instr_is_branch_to_addr(p, addr));
371 check(instr_is_branch_to_addr(q, addr));
372
373 /* Jump to x + 16 MB moved to x - 16 MB + 4 */
374 p = buf + 0x1000000;
375 addr = 0x2000000 + (unsigned long)buf;
376 patch_branch(p, addr, 0);
377 q = buf + 4;
378 patch_instruction(q, translate_branch(q, p));
379 check(instr_is_branch_to_addr(p, addr));
380 check(instr_is_branch_to_addr(q, addr));
381
382
383 /* Conditional branch tests */
384
385 /* Simple case, branch to self moved a little */
386 p = buf;
387 addr = (unsigned long)p;
388 patch_instruction(p, create_cond_branch(p, addr, 0));
389 check(instr_is_branch_to_addr(p, addr));
390 q = p + 1;
391 patch_instruction(q, translate_branch(q, p));
392 check(instr_is_branch_to_addr(q, addr));
393
394 /* Maximum negative case, move b . to addr + 32 KB */
395 p = buf;
396 addr = (unsigned long)p;
397 patch_instruction(p, create_cond_branch(p, addr, 0xFFFFFFFC));
398 q = buf + 0x8000;
399 patch_instruction(q, translate_branch(q, p));
400 check(instr_is_branch_to_addr(p, addr));
401 check(instr_is_branch_to_addr(q, addr));
402 check(*q == 0x43ff8000);
403
404 /* Maximum positive case, move x to x - 32 KB + 4 */
405 p = buf + 0x8000;
406 addr = (unsigned long)p;
407 patch_instruction(p, create_cond_branch(p, addr, 0xFFFFFFFC));
408 q = buf + 4;
409 patch_instruction(q, translate_branch(q, p));
410 check(instr_is_branch_to_addr(p, addr));
411 check(instr_is_branch_to_addr(q, addr));
412 check(*q == 0x43ff7ffc);
413
414 /* Jump to x + 12 KB moved to x + 20 KB */
415 p = buf;
416 addr = 0x3000 + (unsigned long)buf;
417 patch_instruction(p, create_cond_branch(p, addr, BRANCH_SET_LINK));
418 q = buf + 0x5000;
419 patch_instruction(q, translate_branch(q, p));
420 check(instr_is_branch_to_addr(p, addr));
421 check(instr_is_branch_to_addr(q, addr));
422
423 /* Jump to x + 8 KB moved to x - 8 KB + 4 */
424 p = buf + 0x2000;
425 addr = 0x4000 + (unsigned long)buf;
426 patch_instruction(p, create_cond_branch(p, addr, 0));
427 q = buf + 4;
428 patch_instruction(q, translate_branch(q, p));
429 check(instr_is_branch_to_addr(p, addr));
430 check(instr_is_branch_to_addr(q, addr));
431
432 /* Free the buffer we were using */
433 vfree(buf);
434}
435
436static int __init test_code_patching(void)
437{
438 printk(KERN_DEBUG "Running code patching self-tests ...\n");
439
440 test_branch_iform();
441 test_branch_bform();
442 test_create_function_call();
443 test_translate_branch();
444
445 return 0;
446}
447late_initcall(test_code_patching);
448
449#endif /* CONFIG_CODE_PATCHING_SELFTEST */