arm64: introduce aarch64_insn_gen_load_store_pair()
[deliverable/linux.git] / arch / arm64 / kernel / insn.c
CommitLineData
b11a64a4
JL
1/*
2 * Copyright (C) 2013 Huawei Ltd.
3 * Author: Jiang Liu <liuj97@gmail.com>
4 *
617d2fbc
ZSL
5 * Copyright (C) 2014 Zi Shen Lim <zlim.lnx@gmail.com>
6 *
b11a64a4
JL
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
10 *
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
17 * along with this program. If not, see <http://www.gnu.org/licenses/>.
18 */
5c5bf25d 19#include <linux/bitops.h>
b11a64a4
JL
20#include <linux/compiler.h>
21#include <linux/kernel.h>
ae164807
JL
22#include <linux/smp.h>
23#include <linux/stop_machine.h>
24#include <linux/uaccess.h>
25#include <asm/cacheflush.h>
b11a64a4
JL
26#include <asm/insn.h>
27
617d2fbc
ZSL
28#define AARCH64_INSN_SF_BIT BIT(31)
29
b11a64a4
JL
30static int aarch64_insn_encoding_class[] = {
31 AARCH64_INSN_CLS_UNKNOWN,
32 AARCH64_INSN_CLS_UNKNOWN,
33 AARCH64_INSN_CLS_UNKNOWN,
34 AARCH64_INSN_CLS_UNKNOWN,
35 AARCH64_INSN_CLS_LDST,
36 AARCH64_INSN_CLS_DP_REG,
37 AARCH64_INSN_CLS_LDST,
38 AARCH64_INSN_CLS_DP_FPSIMD,
39 AARCH64_INSN_CLS_DP_IMM,
40 AARCH64_INSN_CLS_DP_IMM,
41 AARCH64_INSN_CLS_BR_SYS,
42 AARCH64_INSN_CLS_BR_SYS,
43 AARCH64_INSN_CLS_LDST,
44 AARCH64_INSN_CLS_DP_REG,
45 AARCH64_INSN_CLS_LDST,
46 AARCH64_INSN_CLS_DP_FPSIMD,
47};
48
49enum aarch64_insn_encoding_class __kprobes aarch64_get_insn_class(u32 insn)
50{
51 return aarch64_insn_encoding_class[(insn >> 25) & 0xf];
52}
53
54/* NOP is an alias of HINT */
55bool __kprobes aarch64_insn_is_nop(u32 insn)
56{
57 if (!aarch64_insn_is_hint(insn))
58 return false;
59
60 switch (insn & 0xFE0) {
61 case AARCH64_INSN_HINT_YIELD:
62 case AARCH64_INSN_HINT_WFE:
63 case AARCH64_INSN_HINT_WFI:
64 case AARCH64_INSN_HINT_SEV:
65 case AARCH64_INSN_HINT_SEVL:
66 return false;
67 default:
68 return true;
69 }
70}
71
ae164807
JL
72/*
73 * In ARMv8-A, A64 instructions have a fixed length of 32 bits and are always
74 * little-endian.
75 */
76int __kprobes aarch64_insn_read(void *addr, u32 *insnp)
77{
78 int ret;
79 u32 val;
80
81 ret = probe_kernel_read(&val, addr, AARCH64_INSN_SIZE);
82 if (!ret)
83 *insnp = le32_to_cpu(val);
84
85 return ret;
86}
87
88int __kprobes aarch64_insn_write(void *addr, u32 insn)
89{
90 insn = cpu_to_le32(insn);
91 return probe_kernel_write(addr, &insn, AARCH64_INSN_SIZE);
92}
93
b11a64a4
JL
94static bool __kprobes __aarch64_insn_hotpatch_safe(u32 insn)
95{
96 if (aarch64_get_insn_class(insn) != AARCH64_INSN_CLS_BR_SYS)
97 return false;
98
99 return aarch64_insn_is_b(insn) ||
100 aarch64_insn_is_bl(insn) ||
101 aarch64_insn_is_svc(insn) ||
102 aarch64_insn_is_hvc(insn) ||
103 aarch64_insn_is_smc(insn) ||
104 aarch64_insn_is_brk(insn) ||
105 aarch64_insn_is_nop(insn);
106}
107
108/*
109 * ARM Architecture Reference Manual for ARMv8 Profile-A, Issue A.a
110 * Section B2.6.5 "Concurrent modification and execution of instructions":
111 * Concurrent modification and execution of instructions can lead to the
112 * resulting instruction performing any behavior that can be achieved by
113 * executing any sequence of instructions that can be executed from the
114 * same Exception level, except where the instruction before modification
115 * and the instruction after modification is a B, BL, NOP, BKPT, SVC, HVC,
116 * or SMC instruction.
117 */
118bool __kprobes aarch64_insn_hotpatch_safe(u32 old_insn, u32 new_insn)
119{
120 return __aarch64_insn_hotpatch_safe(old_insn) &&
121 __aarch64_insn_hotpatch_safe(new_insn);
122}
ae164807
JL
123
124int __kprobes aarch64_insn_patch_text_nosync(void *addr, u32 insn)
125{
126 u32 *tp = addr;
127 int ret;
128
129 /* A64 instructions must be word aligned */
130 if ((uintptr_t)tp & 0x3)
131 return -EINVAL;
132
133 ret = aarch64_insn_write(tp, insn);
134 if (ret == 0)
135 flush_icache_range((uintptr_t)tp,
136 (uintptr_t)tp + AARCH64_INSN_SIZE);
137
138 return ret;
139}
140
141struct aarch64_insn_patch {
142 void **text_addrs;
143 u32 *new_insns;
144 int insn_cnt;
145 atomic_t cpu_count;
146};
147
148static int __kprobes aarch64_insn_patch_text_cb(void *arg)
149{
150 int i, ret = 0;
151 struct aarch64_insn_patch *pp = arg;
152
153 /* The first CPU becomes master */
154 if (atomic_inc_return(&pp->cpu_count) == 1) {
155 for (i = 0; ret == 0 && i < pp->insn_cnt; i++)
156 ret = aarch64_insn_patch_text_nosync(pp->text_addrs[i],
157 pp->new_insns[i]);
158 /*
159 * aarch64_insn_patch_text_nosync() calls flush_icache_range(),
160 * which ends with "dsb; isb" pair guaranteeing global
161 * visibility.
162 */
163 atomic_set(&pp->cpu_count, -1);
164 } else {
165 while (atomic_read(&pp->cpu_count) != -1)
166 cpu_relax();
167 isb();
168 }
169
170 return ret;
171}
172
173int __kprobes aarch64_insn_patch_text_sync(void *addrs[], u32 insns[], int cnt)
174{
175 struct aarch64_insn_patch patch = {
176 .text_addrs = addrs,
177 .new_insns = insns,
178 .insn_cnt = cnt,
179 .cpu_count = ATOMIC_INIT(0),
180 };
181
182 if (cnt <= 0)
183 return -EINVAL;
184
185 return stop_machine(aarch64_insn_patch_text_cb, &patch,
186 cpu_online_mask);
187}
188
189int __kprobes aarch64_insn_patch_text(void *addrs[], u32 insns[], int cnt)
190{
191 int ret;
192 u32 insn;
193
194 /* Unsafe to patch multiple instructions without synchronizaiton */
195 if (cnt == 1) {
196 ret = aarch64_insn_read(addrs[0], &insn);
197 if (ret)
198 return ret;
199
200 if (aarch64_insn_hotpatch_safe(insn, insns[0])) {
201 /*
202 * ARMv8 architecture doesn't guarantee all CPUs see
203 * the new instruction after returning from function
204 * aarch64_insn_patch_text_nosync(). So send IPIs to
205 * all other CPUs to achieve instruction
206 * synchronization.
207 */
208 ret = aarch64_insn_patch_text_nosync(addrs[0], insns[0]);
209 kick_all_cpus_sync();
210 return ret;
211 }
212 }
213
214 return aarch64_insn_patch_text_sync(addrs, insns, cnt);
215}
c84fced8
JL
216
217u32 __kprobes aarch64_insn_encode_immediate(enum aarch64_insn_imm_type type,
218 u32 insn, u64 imm)
219{
220 u32 immlo, immhi, lomask, himask, mask;
221 int shift;
222
223 switch (type) {
224 case AARCH64_INSN_IMM_ADR:
225 lomask = 0x3;
226 himask = 0x7ffff;
227 immlo = imm & lomask;
228 imm >>= 2;
229 immhi = imm & himask;
230 imm = (immlo << 24) | (immhi);
231 mask = (lomask << 24) | (himask);
232 shift = 5;
233 break;
234 case AARCH64_INSN_IMM_26:
235 mask = BIT(26) - 1;
236 shift = 0;
237 break;
238 case AARCH64_INSN_IMM_19:
239 mask = BIT(19) - 1;
240 shift = 5;
241 break;
242 case AARCH64_INSN_IMM_16:
243 mask = BIT(16) - 1;
244 shift = 5;
245 break;
246 case AARCH64_INSN_IMM_14:
247 mask = BIT(14) - 1;
248 shift = 5;
249 break;
250 case AARCH64_INSN_IMM_12:
251 mask = BIT(12) - 1;
252 shift = 10;
253 break;
254 case AARCH64_INSN_IMM_9:
255 mask = BIT(9) - 1;
256 shift = 12;
257 break;
1bba567d
ZSL
258 case AARCH64_INSN_IMM_7:
259 mask = BIT(7) - 1;
260 shift = 15;
261 break;
c84fced8
JL
262 default:
263 pr_err("aarch64_insn_encode_immediate: unknown immediate encoding %d\n",
264 type);
265 return 0;
266 }
267
268 /* Update the immediate field. */
269 insn &= ~(mask << shift);
270 insn |= (imm & mask) << shift;
271
272 return insn;
273}
5c5bf25d 274
617d2fbc
ZSL
275static u32 aarch64_insn_encode_register(enum aarch64_insn_register_type type,
276 u32 insn,
277 enum aarch64_insn_register reg)
278{
279 int shift;
280
281 if (reg < AARCH64_INSN_REG_0 || reg > AARCH64_INSN_REG_SP) {
282 pr_err("%s: unknown register encoding %d\n", __func__, reg);
283 return 0;
284 }
285
286 switch (type) {
287 case AARCH64_INSN_REGTYPE_RT:
288 shift = 0;
289 break;
c0cafbae
ZSL
290 case AARCH64_INSN_REGTYPE_RN:
291 shift = 5;
292 break;
1bba567d
ZSL
293 case AARCH64_INSN_REGTYPE_RT2:
294 shift = 10;
295 break;
17cac179
ZSL
296 case AARCH64_INSN_REGTYPE_RM:
297 shift = 16;
298 break;
617d2fbc
ZSL
299 default:
300 pr_err("%s: unknown register type encoding %d\n", __func__,
301 type);
302 return 0;
303 }
304
305 insn &= ~(GENMASK(4, 0) << shift);
306 insn |= reg << shift;
307
308 return insn;
309}
310
17cac179
ZSL
311static u32 aarch64_insn_encode_ldst_size(enum aarch64_insn_size_type type,
312 u32 insn)
313{
314 u32 size;
315
316 switch (type) {
317 case AARCH64_INSN_SIZE_8:
318 size = 0;
319 break;
320 case AARCH64_INSN_SIZE_16:
321 size = 1;
322 break;
323 case AARCH64_INSN_SIZE_32:
324 size = 2;
325 break;
326 case AARCH64_INSN_SIZE_64:
327 size = 3;
328 break;
329 default:
330 pr_err("%s: unknown size encoding %d\n", __func__, type);
331 return 0;
332 }
333
334 insn &= ~GENMASK(31, 30);
335 insn |= size << 30;
336
337 return insn;
338}
339
617d2fbc
ZSL
340static inline long branch_imm_common(unsigned long pc, unsigned long addr,
341 long range)
5c5bf25d 342{
5c5bf25d
JL
343 long offset;
344
345 /*
346 * PC: A 64-bit Program Counter holding the address of the current
347 * instruction. A64 instructions must be word-aligned.
348 */
349 BUG_ON((pc & 0x3) || (addr & 0x3));
350
617d2fbc
ZSL
351 offset = ((long)addr - (long)pc);
352 BUG_ON(offset < -range || offset >= range);
353
354 return offset;
355}
356
357u32 __kprobes aarch64_insn_gen_branch_imm(unsigned long pc, unsigned long addr,
358 enum aarch64_insn_branch_type type)
359{
360 u32 insn;
361 long offset;
362
5c5bf25d
JL
363 /*
364 * B/BL support [-128M, 128M) offset
365 * ARM64 virtual address arrangement guarantees all kernel and module
366 * texts are within +/-128M.
367 */
617d2fbc 368 offset = branch_imm_common(pc, addr, SZ_128M);
5c5bf25d 369
c0cafbae
ZSL
370 switch (type) {
371 case AARCH64_INSN_BRANCH_LINK:
5c5bf25d 372 insn = aarch64_insn_get_bl_value();
c0cafbae
ZSL
373 break;
374 case AARCH64_INSN_BRANCH_NOLINK:
5c5bf25d 375 insn = aarch64_insn_get_b_value();
c0cafbae
ZSL
376 break;
377 default:
378 BUG_ON(1);
379 }
5c5bf25d
JL
380
381 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_26, insn,
382 offset >> 2);
383}
384
617d2fbc
ZSL
385u32 aarch64_insn_gen_comp_branch_imm(unsigned long pc, unsigned long addr,
386 enum aarch64_insn_register reg,
387 enum aarch64_insn_variant variant,
388 enum aarch64_insn_branch_type type)
389{
390 u32 insn;
391 long offset;
392
393 offset = branch_imm_common(pc, addr, SZ_1M);
394
395 switch (type) {
396 case AARCH64_INSN_BRANCH_COMP_ZERO:
397 insn = aarch64_insn_get_cbz_value();
398 break;
399 case AARCH64_INSN_BRANCH_COMP_NONZERO:
400 insn = aarch64_insn_get_cbnz_value();
401 break;
402 default:
403 BUG_ON(1);
404 }
405
406 switch (variant) {
407 case AARCH64_INSN_VARIANT_32BIT:
408 break;
409 case AARCH64_INSN_VARIANT_64BIT:
410 insn |= AARCH64_INSN_SF_BIT;
411 break;
412 default:
413 BUG_ON(1);
414 }
415
416 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
417
418 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
419 offset >> 2);
420}
421
345e0d35
ZSL
422u32 aarch64_insn_gen_cond_branch_imm(unsigned long pc, unsigned long addr,
423 enum aarch64_insn_condition cond)
424{
425 u32 insn;
426 long offset;
427
428 offset = branch_imm_common(pc, addr, SZ_1M);
429
430 insn = aarch64_insn_get_bcond_value();
431
432 BUG_ON(cond < AARCH64_INSN_COND_EQ || cond > AARCH64_INSN_COND_AL);
433 insn |= cond;
434
435 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
436 offset >> 2);
437}
438
5c5bf25d
JL
439u32 __kprobes aarch64_insn_gen_hint(enum aarch64_insn_hint_op op)
440{
441 return aarch64_insn_get_hint_value() | op;
442}
443
444u32 __kprobes aarch64_insn_gen_nop(void)
445{
446 return aarch64_insn_gen_hint(AARCH64_INSN_HINT_NOP);
447}
c0cafbae
ZSL
448
449u32 aarch64_insn_gen_branch_reg(enum aarch64_insn_register reg,
450 enum aarch64_insn_branch_type type)
451{
452 u32 insn;
453
454 switch (type) {
455 case AARCH64_INSN_BRANCH_NOLINK:
456 insn = aarch64_insn_get_br_value();
457 break;
458 case AARCH64_INSN_BRANCH_LINK:
459 insn = aarch64_insn_get_blr_value();
460 break;
461 case AARCH64_INSN_BRANCH_RETURN:
462 insn = aarch64_insn_get_ret_value();
463 break;
464 default:
465 BUG_ON(1);
466 }
467
468 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, reg);
469}
17cac179
ZSL
470
471u32 aarch64_insn_gen_load_store_reg(enum aarch64_insn_register reg,
472 enum aarch64_insn_register base,
473 enum aarch64_insn_register offset,
474 enum aarch64_insn_size_type size,
475 enum aarch64_insn_ldst_type type)
476{
477 u32 insn;
478
479 switch (type) {
480 case AARCH64_INSN_LDST_LOAD_REG_OFFSET:
481 insn = aarch64_insn_get_ldr_reg_value();
482 break;
483 case AARCH64_INSN_LDST_STORE_REG_OFFSET:
484 insn = aarch64_insn_get_str_reg_value();
485 break;
486 default:
487 BUG_ON(1);
488 }
489
490 insn = aarch64_insn_encode_ldst_size(size, insn);
491
492 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
493
494 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
495 base);
496
497 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn,
498 offset);
499}
1bba567d
ZSL
500
501u32 aarch64_insn_gen_load_store_pair(enum aarch64_insn_register reg1,
502 enum aarch64_insn_register reg2,
503 enum aarch64_insn_register base,
504 int offset,
505 enum aarch64_insn_variant variant,
506 enum aarch64_insn_ldst_type type)
507{
508 u32 insn;
509 int shift;
510
511 switch (type) {
512 case AARCH64_INSN_LDST_LOAD_PAIR_PRE_INDEX:
513 insn = aarch64_insn_get_ldp_pre_value();
514 break;
515 case AARCH64_INSN_LDST_STORE_PAIR_PRE_INDEX:
516 insn = aarch64_insn_get_stp_pre_value();
517 break;
518 case AARCH64_INSN_LDST_LOAD_PAIR_POST_INDEX:
519 insn = aarch64_insn_get_ldp_post_value();
520 break;
521 case AARCH64_INSN_LDST_STORE_PAIR_POST_INDEX:
522 insn = aarch64_insn_get_stp_post_value();
523 break;
524 default:
525 BUG_ON(1);
526 }
527
528 switch (variant) {
529 case AARCH64_INSN_VARIANT_32BIT:
530 /* offset must be multiples of 4 in the range [-256, 252] */
531 BUG_ON(offset & 0x3);
532 BUG_ON(offset < -256 || offset > 252);
533 shift = 2;
534 break;
535 case AARCH64_INSN_VARIANT_64BIT:
536 /* offset must be multiples of 8 in the range [-512, 504] */
537 BUG_ON(offset & 0x7);
538 BUG_ON(offset < -512 || offset > 504);
539 shift = 3;
540 insn |= AARCH64_INSN_SF_BIT;
541 break;
542 default:
543 BUG_ON(1);
544 }
545
546 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn,
547 reg1);
548
549 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT2, insn,
550 reg2);
551
552 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
553 base);
554
555 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_7, insn,
556 offset >> shift);
557}
This page took 0.10021 seconds and 5 git commands to generate.