blob: 5cb2f3db3da5106552c56521e34015e23ca18ede [file] [log] [blame]
Jiang Liub11a64a2014-01-07 22:17:08 +08001/*
2 * Copyright (C) 2013 Huawei Ltd.
3 * Author: Jiang Liu <liuj97@gmail.com>
4 *
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08005 * Copyright (C) 2014-2016 Zi Shen Lim <zlim.lnx@gmail.com>
Zi Shen Lim617d2fb2014-08-27 05:15:17 +01006 *
Jiang Liub11a64a2014-01-07 22:17:08 +08007 * 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 */
Jiang Liu5c5bf252014-01-07 22:17:11 +080019#include <linux/bitops.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000020#include <linux/bug.h>
Jiang Liub11a64a2014-01-07 22:17:08 +080021#include <linux/compiler.h>
22#include <linux/kernel.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000023#include <linux/mm.h>
Jiang Liuae164802014-01-07 22:17:09 +080024#include <linux/smp.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000025#include <linux/spinlock.h>
Jiang Liuae164802014-01-07 22:17:09 +080026#include <linux/stop_machine.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000027#include <linux/types.h>
Jiang Liuae164802014-01-07 22:17:09 +080028#include <linux/uaccess.h>
Mark Browna9ae04c2014-09-16 17:42:33 +010029
Jiang Liuae164802014-01-07 22:17:09 +080030#include <asm/cacheflush.h>
Mark Browna9ae04c2014-09-16 17:42:33 +010031#include <asm/debug-monitors.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000032#include <asm/fixmap.h>
Jiang Liub11a64a2014-01-07 22:17:08 +080033#include <asm/insn.h>
34
Zi Shen Lim617d2fb2014-08-27 05:15:17 +010035#define AARCH64_INSN_SF_BIT BIT(31)
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +010036#define AARCH64_INSN_N_BIT BIT(22)
Zi Shen Lim617d2fb2014-08-27 05:15:17 +010037
Jiang Liub11a64a2014-01-07 22:17:08 +080038static int aarch64_insn_encoding_class[] = {
39 AARCH64_INSN_CLS_UNKNOWN,
40 AARCH64_INSN_CLS_UNKNOWN,
41 AARCH64_INSN_CLS_UNKNOWN,
42 AARCH64_INSN_CLS_UNKNOWN,
43 AARCH64_INSN_CLS_LDST,
44 AARCH64_INSN_CLS_DP_REG,
45 AARCH64_INSN_CLS_LDST,
46 AARCH64_INSN_CLS_DP_FPSIMD,
47 AARCH64_INSN_CLS_DP_IMM,
48 AARCH64_INSN_CLS_DP_IMM,
49 AARCH64_INSN_CLS_BR_SYS,
50 AARCH64_INSN_CLS_BR_SYS,
51 AARCH64_INSN_CLS_LDST,
52 AARCH64_INSN_CLS_DP_REG,
53 AARCH64_INSN_CLS_LDST,
54 AARCH64_INSN_CLS_DP_FPSIMD,
55};
56
57enum aarch64_insn_encoding_class __kprobes aarch64_get_insn_class(u32 insn)
58{
59 return aarch64_insn_encoding_class[(insn >> 25) & 0xf];
60}
61
62/* NOP is an alias of HINT */
63bool __kprobes aarch64_insn_is_nop(u32 insn)
64{
65 if (!aarch64_insn_is_hint(insn))
66 return false;
67
68 switch (insn & 0xFE0) {
69 case AARCH64_INSN_HINT_YIELD:
70 case AARCH64_INSN_HINT_WFE:
71 case AARCH64_INSN_HINT_WFI:
72 case AARCH64_INSN_HINT_SEV:
73 case AARCH64_INSN_HINT_SEVL:
74 return false;
75 default:
76 return true;
77 }
78}
79
Marc Zyngier10b48f72015-06-01 10:47:39 +010080bool aarch64_insn_is_branch_imm(u32 insn)
81{
82 return (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn) ||
83 aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn) ||
84 aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
85 aarch64_insn_is_bcond(insn));
86}
87
Yang Shiabffa6f2015-09-30 19:23:12 +010088static DEFINE_RAW_SPINLOCK(patch_lock);
Laura Abbott2f896d52015-01-22 01:36:05 +000089
90static void __kprobes *patch_map(void *addr, int fixmap)
91{
92 unsigned long uintaddr = (uintptr_t) addr;
93 bool module = !core_kernel_text(uintaddr);
94 struct page *page;
95
96 if (module && IS_ENABLED(CONFIG_DEBUG_SET_MODULE_RONX))
97 page = vmalloc_to_page(addr);
Marc Zyngierf6242ca2015-02-24 16:30:21 +000098 else if (!module && IS_ENABLED(CONFIG_DEBUG_RODATA))
Ard Biesheuvele44308e2016-03-30 16:45:59 +020099 page = pfn_to_page(PHYS_PFN(__pa(addr)));
Marc Zyngierf6242ca2015-02-24 16:30:21 +0000100 else
101 return addr;
Laura Abbott2f896d52015-01-22 01:36:05 +0000102
103 BUG_ON(!page);
yalin wang51650dc2015-07-24 12:52:28 +0100104 return (void *)set_fixmap_offset(fixmap, page_to_phys(page) +
105 (uintaddr & ~PAGE_MASK));
Laura Abbott2f896d52015-01-22 01:36:05 +0000106}
107
108static void __kprobes patch_unmap(int fixmap)
109{
110 clear_fixmap(fixmap);
111}
Jiang Liuae164802014-01-07 22:17:09 +0800112/*
113 * In ARMv8-A, A64 instructions have a fixed length of 32 bits and are always
114 * little-endian.
115 */
116int __kprobes aarch64_insn_read(void *addr, u32 *insnp)
117{
118 int ret;
119 u32 val;
120
121 ret = probe_kernel_read(&val, addr, AARCH64_INSN_SIZE);
122 if (!ret)
123 *insnp = le32_to_cpu(val);
124
125 return ret;
126}
127
Laura Abbott2f896d52015-01-22 01:36:05 +0000128static int __kprobes __aarch64_insn_write(void *addr, u32 insn)
129{
130 void *waddr = addr;
131 unsigned long flags = 0;
132 int ret;
133
Yang Shiabffa6f2015-09-30 19:23:12 +0100134 raw_spin_lock_irqsave(&patch_lock, flags);
Laura Abbott2f896d52015-01-22 01:36:05 +0000135 waddr = patch_map(addr, FIX_TEXT_POKE0);
136
137 ret = probe_kernel_write(waddr, &insn, AARCH64_INSN_SIZE);
138
139 patch_unmap(FIX_TEXT_POKE0);
Yang Shiabffa6f2015-09-30 19:23:12 +0100140 raw_spin_unlock_irqrestore(&patch_lock, flags);
Laura Abbott2f896d52015-01-22 01:36:05 +0000141
142 return ret;
143}
144
Jiang Liuae164802014-01-07 22:17:09 +0800145int __kprobes aarch64_insn_write(void *addr, u32 insn)
146{
147 insn = cpu_to_le32(insn);
Laura Abbott2f896d52015-01-22 01:36:05 +0000148 return __aarch64_insn_write(addr, insn);
Jiang Liuae164802014-01-07 22:17:09 +0800149}
150
Jiang Liub11a64a2014-01-07 22:17:08 +0800151static bool __kprobes __aarch64_insn_hotpatch_safe(u32 insn)
152{
153 if (aarch64_get_insn_class(insn) != AARCH64_INSN_CLS_BR_SYS)
154 return false;
155
156 return aarch64_insn_is_b(insn) ||
157 aarch64_insn_is_bl(insn) ||
158 aarch64_insn_is_svc(insn) ||
159 aarch64_insn_is_hvc(insn) ||
160 aarch64_insn_is_smc(insn) ||
161 aarch64_insn_is_brk(insn) ||
162 aarch64_insn_is_nop(insn);
163}
164
David A. Longd59bee82016-07-08 12:35:46 -0400165bool __kprobes aarch64_insn_uses_literal(u32 insn)
166{
167 /* ldr/ldrsw (literal), prfm */
168
169 return aarch64_insn_is_ldr_lit(insn) ||
170 aarch64_insn_is_ldrsw_lit(insn) ||
171 aarch64_insn_is_adr_adrp(insn) ||
172 aarch64_insn_is_prfm_lit(insn);
173}
174
175bool __kprobes aarch64_insn_is_branch(u32 insn)
176{
177 /* b, bl, cb*, tb*, b.cond, br, blr */
178
179 return aarch64_insn_is_b(insn) ||
180 aarch64_insn_is_bl(insn) ||
181 aarch64_insn_is_cbz(insn) ||
182 aarch64_insn_is_cbnz(insn) ||
183 aarch64_insn_is_tbz(insn) ||
184 aarch64_insn_is_tbnz(insn) ||
185 aarch64_insn_is_ret(insn) ||
186 aarch64_insn_is_br(insn) ||
187 aarch64_insn_is_blr(insn) ||
188 aarch64_insn_is_bcond(insn);
189}
190
Jiang Liub11a64a2014-01-07 22:17:08 +0800191/*
192 * ARM Architecture Reference Manual for ARMv8 Profile-A, Issue A.a
193 * Section B2.6.5 "Concurrent modification and execution of instructions":
194 * Concurrent modification and execution of instructions can lead to the
195 * resulting instruction performing any behavior that can be achieved by
196 * executing any sequence of instructions that can be executed from the
197 * same Exception level, except where the instruction before modification
198 * and the instruction after modification is a B, BL, NOP, BKPT, SVC, HVC,
199 * or SMC instruction.
200 */
201bool __kprobes aarch64_insn_hotpatch_safe(u32 old_insn, u32 new_insn)
202{
203 return __aarch64_insn_hotpatch_safe(old_insn) &&
204 __aarch64_insn_hotpatch_safe(new_insn);
205}
Jiang Liuae164802014-01-07 22:17:09 +0800206
207int __kprobes aarch64_insn_patch_text_nosync(void *addr, u32 insn)
208{
209 u32 *tp = addr;
210 int ret;
211
212 /* A64 instructions must be word aligned */
213 if ((uintptr_t)tp & 0x3)
214 return -EINVAL;
215
216 ret = aarch64_insn_write(tp, insn);
217 if (ret == 0)
218 flush_icache_range((uintptr_t)tp,
219 (uintptr_t)tp + AARCH64_INSN_SIZE);
220
221 return ret;
222}
223
224struct aarch64_insn_patch {
225 void **text_addrs;
226 u32 *new_insns;
227 int insn_cnt;
228 atomic_t cpu_count;
229};
230
231static int __kprobes aarch64_insn_patch_text_cb(void *arg)
232{
233 int i, ret = 0;
234 struct aarch64_insn_patch *pp = arg;
235
236 /* The first CPU becomes master */
237 if (atomic_inc_return(&pp->cpu_count) == 1) {
238 for (i = 0; ret == 0 && i < pp->insn_cnt; i++)
239 ret = aarch64_insn_patch_text_nosync(pp->text_addrs[i],
240 pp->new_insns[i]);
241 /*
242 * aarch64_insn_patch_text_nosync() calls flush_icache_range(),
243 * which ends with "dsb; isb" pair guaranteeing global
244 * visibility.
245 */
William Cohen899d5932014-11-11 09:41:27 -0500246 /* Notify other processors with an additional increment. */
247 atomic_inc(&pp->cpu_count);
Jiang Liuae164802014-01-07 22:17:09 +0800248 } else {
William Cohen899d5932014-11-11 09:41:27 -0500249 while (atomic_read(&pp->cpu_count) <= num_online_cpus())
Jiang Liuae164802014-01-07 22:17:09 +0800250 cpu_relax();
251 isb();
252 }
253
254 return ret;
255}
256
257int __kprobes aarch64_insn_patch_text_sync(void *addrs[], u32 insns[], int cnt)
258{
259 struct aarch64_insn_patch patch = {
260 .text_addrs = addrs,
261 .new_insns = insns,
262 .insn_cnt = cnt,
263 .cpu_count = ATOMIC_INIT(0),
264 };
265
266 if (cnt <= 0)
267 return -EINVAL;
268
269 return stop_machine(aarch64_insn_patch_text_cb, &patch,
270 cpu_online_mask);
271}
272
273int __kprobes aarch64_insn_patch_text(void *addrs[], u32 insns[], int cnt)
274{
275 int ret;
276 u32 insn;
277
278 /* Unsafe to patch multiple instructions without synchronizaiton */
279 if (cnt == 1) {
280 ret = aarch64_insn_read(addrs[0], &insn);
281 if (ret)
282 return ret;
283
284 if (aarch64_insn_hotpatch_safe(insn, insns[0])) {
285 /*
286 * ARMv8 architecture doesn't guarantee all CPUs see
287 * the new instruction after returning from function
288 * aarch64_insn_patch_text_nosync(). So send IPIs to
289 * all other CPUs to achieve instruction
290 * synchronization.
291 */
292 ret = aarch64_insn_patch_text_nosync(addrs[0], insns[0]);
293 kick_all_cpus_sync();
294 return ret;
295 }
296 }
297
298 return aarch64_insn_patch_text_sync(addrs, insns, cnt);
299}
Jiang Liuc84fced2014-01-07 22:17:10 +0800300
Marc Zyngier0978fb22015-03-27 13:09:21 +0000301static int __kprobes aarch64_get_imm_shift_mask(enum aarch64_insn_imm_type type,
302 u32 *maskp, int *shiftp)
Jiang Liuc84fced2014-01-07 22:17:10 +0800303{
Marc Zyngier0978fb22015-03-27 13:09:21 +0000304 u32 mask;
Jiang Liuc84fced2014-01-07 22:17:10 +0800305 int shift;
306
307 switch (type) {
Jiang Liuc84fced2014-01-07 22:17:10 +0800308 case AARCH64_INSN_IMM_26:
309 mask = BIT(26) - 1;
310 shift = 0;
311 break;
312 case AARCH64_INSN_IMM_19:
313 mask = BIT(19) - 1;
314 shift = 5;
315 break;
316 case AARCH64_INSN_IMM_16:
317 mask = BIT(16) - 1;
318 shift = 5;
319 break;
320 case AARCH64_INSN_IMM_14:
321 mask = BIT(14) - 1;
322 shift = 5;
323 break;
324 case AARCH64_INSN_IMM_12:
325 mask = BIT(12) - 1;
326 shift = 10;
327 break;
328 case AARCH64_INSN_IMM_9:
329 mask = BIT(9) - 1;
330 shift = 12;
331 break;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100332 case AARCH64_INSN_IMM_7:
333 mask = BIT(7) - 1;
334 shift = 15;
335 break;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100336 case AARCH64_INSN_IMM_6:
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +0100337 case AARCH64_INSN_IMM_S:
338 mask = BIT(6) - 1;
339 shift = 10;
340 break;
341 case AARCH64_INSN_IMM_R:
342 mask = BIT(6) - 1;
343 shift = 16;
344 break;
Jiang Liuc84fced2014-01-07 22:17:10 +0800345 default:
Marc Zyngier0978fb22015-03-27 13:09:21 +0000346 return -EINVAL;
347 }
348
349 *maskp = mask;
350 *shiftp = shift;
351
352 return 0;
353}
354
355#define ADR_IMM_HILOSPLIT 2
356#define ADR_IMM_SIZE SZ_2M
357#define ADR_IMM_LOMASK ((1 << ADR_IMM_HILOSPLIT) - 1)
358#define ADR_IMM_HIMASK ((ADR_IMM_SIZE >> ADR_IMM_HILOSPLIT) - 1)
359#define ADR_IMM_LOSHIFT 29
360#define ADR_IMM_HISHIFT 5
361
362u64 aarch64_insn_decode_immediate(enum aarch64_insn_imm_type type, u32 insn)
363{
364 u32 immlo, immhi, mask;
365 int shift;
366
367 switch (type) {
368 case AARCH64_INSN_IMM_ADR:
369 shift = 0;
370 immlo = (insn >> ADR_IMM_LOSHIFT) & ADR_IMM_LOMASK;
371 immhi = (insn >> ADR_IMM_HISHIFT) & ADR_IMM_HIMASK;
372 insn = (immhi << ADR_IMM_HILOSPLIT) | immlo;
373 mask = ADR_IMM_SIZE - 1;
374 break;
375 default:
376 if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
377 pr_err("aarch64_insn_decode_immediate: unknown immediate encoding %d\n",
378 type);
379 return 0;
380 }
381 }
382
383 return (insn >> shift) & mask;
384}
385
386u32 __kprobes aarch64_insn_encode_immediate(enum aarch64_insn_imm_type type,
387 u32 insn, u64 imm)
388{
389 u32 immlo, immhi, mask;
390 int shift;
391
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800392 if (insn == AARCH64_BREAK_FAULT)
393 return AARCH64_BREAK_FAULT;
394
Marc Zyngier0978fb22015-03-27 13:09:21 +0000395 switch (type) {
396 case AARCH64_INSN_IMM_ADR:
397 shift = 0;
398 immlo = (imm & ADR_IMM_LOMASK) << ADR_IMM_LOSHIFT;
399 imm >>= ADR_IMM_HILOSPLIT;
400 immhi = (imm & ADR_IMM_HIMASK) << ADR_IMM_HISHIFT;
401 imm = immlo | immhi;
402 mask = ((ADR_IMM_LOMASK << ADR_IMM_LOSHIFT) |
403 (ADR_IMM_HIMASK << ADR_IMM_HISHIFT));
404 break;
405 default:
406 if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
407 pr_err("aarch64_insn_encode_immediate: unknown immediate encoding %d\n",
408 type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800409 return AARCH64_BREAK_FAULT;
Marc Zyngier0978fb22015-03-27 13:09:21 +0000410 }
Jiang Liuc84fced2014-01-07 22:17:10 +0800411 }
412
413 /* Update the immediate field. */
414 insn &= ~(mask << shift);
415 insn |= (imm & mask) << shift;
416
417 return insn;
418}
Jiang Liu5c5bf252014-01-07 22:17:11 +0800419
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100420static u32 aarch64_insn_encode_register(enum aarch64_insn_register_type type,
421 u32 insn,
422 enum aarch64_insn_register reg)
Jiang Liu5c5bf252014-01-07 22:17:11 +0800423{
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100424 int shift;
425
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800426 if (insn == AARCH64_BREAK_FAULT)
427 return AARCH64_BREAK_FAULT;
428
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100429 if (reg < AARCH64_INSN_REG_0 || reg > AARCH64_INSN_REG_SP) {
430 pr_err("%s: unknown register encoding %d\n", __func__, reg);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800431 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100432 }
433
434 switch (type) {
435 case AARCH64_INSN_REGTYPE_RT:
Zi Shen Lim9951a152014-08-27 05:15:22 +0100436 case AARCH64_INSN_REGTYPE_RD:
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100437 shift = 0;
438 break;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100439 case AARCH64_INSN_REGTYPE_RN:
440 shift = 5;
441 break;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100442 case AARCH64_INSN_REGTYPE_RT2:
Zi Shen Lim27f95ba2014-08-27 05:15:28 +0100443 case AARCH64_INSN_REGTYPE_RA:
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100444 shift = 10;
445 break;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100446 case AARCH64_INSN_REGTYPE_RM:
447 shift = 16;
448 break;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100449 default:
450 pr_err("%s: unknown register type encoding %d\n", __func__,
451 type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800452 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100453 }
454
455 insn &= ~(GENMASK(4, 0) << shift);
456 insn |= reg << shift;
457
458 return insn;
459}
460
Zi Shen Lim17cac172014-08-27 05:15:20 +0100461static u32 aarch64_insn_encode_ldst_size(enum aarch64_insn_size_type type,
462 u32 insn)
463{
464 u32 size;
465
466 switch (type) {
467 case AARCH64_INSN_SIZE_8:
468 size = 0;
469 break;
470 case AARCH64_INSN_SIZE_16:
471 size = 1;
472 break;
473 case AARCH64_INSN_SIZE_32:
474 size = 2;
475 break;
476 case AARCH64_INSN_SIZE_64:
477 size = 3;
478 break;
479 default:
480 pr_err("%s: unknown size encoding %d\n", __func__, type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800481 return AARCH64_BREAK_FAULT;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100482 }
483
484 insn &= ~GENMASK(31, 30);
485 insn |= size << 30;
486
487 return insn;
488}
489
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100490static inline long branch_imm_common(unsigned long pc, unsigned long addr,
491 long range)
492{
Jiang Liu5c5bf252014-01-07 22:17:11 +0800493 long offset;
494
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800495 if ((pc & 0x3) || (addr & 0x3)) {
496 pr_err("%s: A64 instructions must be word aligned\n", __func__);
497 return range;
498 }
Jiang Liu5c5bf252014-01-07 22:17:11 +0800499
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100500 offset = ((long)addr - (long)pc);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800501
502 if (offset < -range || offset >= range) {
503 pr_err("%s: offset out of range\n", __func__);
504 return range;
505 }
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100506
507 return offset;
508}
509
510u32 __kprobes aarch64_insn_gen_branch_imm(unsigned long pc, unsigned long addr,
511 enum aarch64_insn_branch_type type)
512{
513 u32 insn;
514 long offset;
515
Jiang Liu5c5bf252014-01-07 22:17:11 +0800516 /*
517 * B/BL support [-128M, 128M) offset
518 * ARM64 virtual address arrangement guarantees all kernel and module
519 * texts are within +/-128M.
520 */
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100521 offset = branch_imm_common(pc, addr, SZ_128M);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800522 if (offset >= SZ_128M)
523 return AARCH64_BREAK_FAULT;
Jiang Liu5c5bf252014-01-07 22:17:11 +0800524
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100525 switch (type) {
526 case AARCH64_INSN_BRANCH_LINK:
Jiang Liu5c5bf252014-01-07 22:17:11 +0800527 insn = aarch64_insn_get_bl_value();
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100528 break;
529 case AARCH64_INSN_BRANCH_NOLINK:
Jiang Liu5c5bf252014-01-07 22:17:11 +0800530 insn = aarch64_insn_get_b_value();
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100531 break;
532 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800533 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100534 return AARCH64_BREAK_FAULT;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100535 }
Jiang Liu5c5bf252014-01-07 22:17:11 +0800536
537 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_26, insn,
538 offset >> 2);
539}
540
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100541u32 aarch64_insn_gen_comp_branch_imm(unsigned long pc, unsigned long addr,
542 enum aarch64_insn_register reg,
543 enum aarch64_insn_variant variant,
544 enum aarch64_insn_branch_type type)
545{
546 u32 insn;
547 long offset;
548
549 offset = branch_imm_common(pc, addr, SZ_1M);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800550 if (offset >= SZ_1M)
551 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100552
553 switch (type) {
554 case AARCH64_INSN_BRANCH_COMP_ZERO:
555 insn = aarch64_insn_get_cbz_value();
556 break;
557 case AARCH64_INSN_BRANCH_COMP_NONZERO:
558 insn = aarch64_insn_get_cbnz_value();
559 break;
560 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800561 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100562 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100563 }
564
565 switch (variant) {
566 case AARCH64_INSN_VARIANT_32BIT:
567 break;
568 case AARCH64_INSN_VARIANT_64BIT:
569 insn |= AARCH64_INSN_SF_BIT;
570 break;
571 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800572 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100573 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100574 }
575
576 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
577
578 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
579 offset >> 2);
580}
581
Zi Shen Lim345e0d32014-08-27 05:15:19 +0100582u32 aarch64_insn_gen_cond_branch_imm(unsigned long pc, unsigned long addr,
583 enum aarch64_insn_condition cond)
584{
585 u32 insn;
586 long offset;
587
588 offset = branch_imm_common(pc, addr, SZ_1M);
589
590 insn = aarch64_insn_get_bcond_value();
591
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800592 if (cond < AARCH64_INSN_COND_EQ || cond > AARCH64_INSN_COND_AL) {
593 pr_err("%s: unknown condition encoding %d\n", __func__, cond);
594 return AARCH64_BREAK_FAULT;
595 }
Zi Shen Lim345e0d32014-08-27 05:15:19 +0100596 insn |= cond;
597
598 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
599 offset >> 2);
600}
601
Jiang Liu5c5bf252014-01-07 22:17:11 +0800602u32 __kprobes aarch64_insn_gen_hint(enum aarch64_insn_hint_op op)
603{
604 return aarch64_insn_get_hint_value() | op;
605}
606
607u32 __kprobes aarch64_insn_gen_nop(void)
608{
609 return aarch64_insn_gen_hint(AARCH64_INSN_HINT_NOP);
610}
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100611
612u32 aarch64_insn_gen_branch_reg(enum aarch64_insn_register reg,
613 enum aarch64_insn_branch_type type)
614{
615 u32 insn;
616
617 switch (type) {
618 case AARCH64_INSN_BRANCH_NOLINK:
619 insn = aarch64_insn_get_br_value();
620 break;
621 case AARCH64_INSN_BRANCH_LINK:
622 insn = aarch64_insn_get_blr_value();
623 break;
624 case AARCH64_INSN_BRANCH_RETURN:
625 insn = aarch64_insn_get_ret_value();
626 break;
627 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800628 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100629 return AARCH64_BREAK_FAULT;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100630 }
631
632 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, reg);
633}
Zi Shen Lim17cac172014-08-27 05:15:20 +0100634
635u32 aarch64_insn_gen_load_store_reg(enum aarch64_insn_register reg,
636 enum aarch64_insn_register base,
637 enum aarch64_insn_register offset,
638 enum aarch64_insn_size_type size,
639 enum aarch64_insn_ldst_type type)
640{
641 u32 insn;
642
643 switch (type) {
644 case AARCH64_INSN_LDST_LOAD_REG_OFFSET:
645 insn = aarch64_insn_get_ldr_reg_value();
646 break;
647 case AARCH64_INSN_LDST_STORE_REG_OFFSET:
648 insn = aarch64_insn_get_str_reg_value();
649 break;
650 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800651 pr_err("%s: unknown load/store encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100652 return AARCH64_BREAK_FAULT;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100653 }
654
655 insn = aarch64_insn_encode_ldst_size(size, insn);
656
657 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
658
659 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
660 base);
661
662 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn,
663 offset);
664}
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100665
666u32 aarch64_insn_gen_load_store_pair(enum aarch64_insn_register reg1,
667 enum aarch64_insn_register reg2,
668 enum aarch64_insn_register base,
669 int offset,
670 enum aarch64_insn_variant variant,
671 enum aarch64_insn_ldst_type type)
672{
673 u32 insn;
674 int shift;
675
676 switch (type) {
677 case AARCH64_INSN_LDST_LOAD_PAIR_PRE_INDEX:
678 insn = aarch64_insn_get_ldp_pre_value();
679 break;
680 case AARCH64_INSN_LDST_STORE_PAIR_PRE_INDEX:
681 insn = aarch64_insn_get_stp_pre_value();
682 break;
683 case AARCH64_INSN_LDST_LOAD_PAIR_POST_INDEX:
684 insn = aarch64_insn_get_ldp_post_value();
685 break;
686 case AARCH64_INSN_LDST_STORE_PAIR_POST_INDEX:
687 insn = aarch64_insn_get_stp_post_value();
688 break;
689 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800690 pr_err("%s: unknown load/store encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100691 return AARCH64_BREAK_FAULT;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100692 }
693
694 switch (variant) {
695 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800696 if ((offset & 0x3) || (offset < -256) || (offset > 252)) {
697 pr_err("%s: offset must be multiples of 4 in the range of [-256, 252] %d\n",
698 __func__, offset);
699 return AARCH64_BREAK_FAULT;
700 }
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100701 shift = 2;
702 break;
703 case AARCH64_INSN_VARIANT_64BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800704 if ((offset & 0x7) || (offset < -512) || (offset > 504)) {
705 pr_err("%s: offset must be multiples of 8 in the range of [-512, 504] %d\n",
706 __func__, offset);
707 return AARCH64_BREAK_FAULT;
708 }
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100709 shift = 3;
710 insn |= AARCH64_INSN_SF_BIT;
711 break;
712 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800713 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100714 return AARCH64_BREAK_FAULT;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100715 }
716
717 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn,
718 reg1);
719
720 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT2, insn,
721 reg2);
722
723 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
724 base);
725
726 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_7, insn,
727 offset >> shift);
728}
Zi Shen Lim9951a152014-08-27 05:15:22 +0100729
730u32 aarch64_insn_gen_add_sub_imm(enum aarch64_insn_register dst,
731 enum aarch64_insn_register src,
732 int imm, enum aarch64_insn_variant variant,
733 enum aarch64_insn_adsb_type type)
734{
735 u32 insn;
736
737 switch (type) {
738 case AARCH64_INSN_ADSB_ADD:
739 insn = aarch64_insn_get_add_imm_value();
740 break;
741 case AARCH64_INSN_ADSB_SUB:
742 insn = aarch64_insn_get_sub_imm_value();
743 break;
744 case AARCH64_INSN_ADSB_ADD_SETFLAGS:
745 insn = aarch64_insn_get_adds_imm_value();
746 break;
747 case AARCH64_INSN_ADSB_SUB_SETFLAGS:
748 insn = aarch64_insn_get_subs_imm_value();
749 break;
750 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800751 pr_err("%s: unknown add/sub encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100752 return AARCH64_BREAK_FAULT;
Zi Shen Lim9951a152014-08-27 05:15:22 +0100753 }
754
755 switch (variant) {
756 case AARCH64_INSN_VARIANT_32BIT:
757 break;
758 case AARCH64_INSN_VARIANT_64BIT:
759 insn |= AARCH64_INSN_SF_BIT;
760 break;
761 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800762 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100763 return AARCH64_BREAK_FAULT;
Zi Shen Lim9951a152014-08-27 05:15:22 +0100764 }
765
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800766 if (imm & ~(SZ_4K - 1)) {
767 pr_err("%s: invalid immediate encoding %d\n", __func__, imm);
768 return AARCH64_BREAK_FAULT;
769 }
Zi Shen Lim9951a152014-08-27 05:15:22 +0100770
771 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
772
773 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
774
775 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_12, insn, imm);
776}
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +0100777
778u32 aarch64_insn_gen_bitfield(enum aarch64_insn_register dst,
779 enum aarch64_insn_register src,
780 int immr, int imms,
781 enum aarch64_insn_variant variant,
782 enum aarch64_insn_bitfield_type type)
783{
784 u32 insn;
785 u32 mask;
786
787 switch (type) {
788 case AARCH64_INSN_BITFIELD_MOVE:
789 insn = aarch64_insn_get_bfm_value();
790 break;
791 case AARCH64_INSN_BITFIELD_MOVE_UNSIGNED:
792 insn = aarch64_insn_get_ubfm_value();
793 break;
794 case AARCH64_INSN_BITFIELD_MOVE_SIGNED:
795 insn = aarch64_insn_get_sbfm_value();
796 break;
797 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800798 pr_err("%s: unknown bitfield encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100799 return AARCH64_BREAK_FAULT;
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +0100800 }
801
802 switch (variant) {
803 case AARCH64_INSN_VARIANT_32BIT:
804 mask = GENMASK(4, 0);
805 break;
806 case AARCH64_INSN_VARIANT_64BIT:
807 insn |= AARCH64_INSN_SF_BIT | AARCH64_INSN_N_BIT;
808 mask = GENMASK(5, 0);
809 break;
810 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800811 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100812 return AARCH64_BREAK_FAULT;
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +0100813 }
814
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800815 if (immr & ~mask) {
816 pr_err("%s: invalid immr encoding %d\n", __func__, immr);
817 return AARCH64_BREAK_FAULT;
818 }
819 if (imms & ~mask) {
820 pr_err("%s: invalid imms encoding %d\n", __func__, imms);
821 return AARCH64_BREAK_FAULT;
822 }
Zi Shen Lim4a89d2c2014-08-27 05:15:23 +0100823
824 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
825
826 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
827
828 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_R, insn, immr);
829
830 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_S, insn, imms);
831}
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100832
833u32 aarch64_insn_gen_movewide(enum aarch64_insn_register dst,
834 int imm, int shift,
835 enum aarch64_insn_variant variant,
836 enum aarch64_insn_movewide_type type)
837{
838 u32 insn;
839
840 switch (type) {
841 case AARCH64_INSN_MOVEWIDE_ZERO:
842 insn = aarch64_insn_get_movz_value();
843 break;
844 case AARCH64_INSN_MOVEWIDE_KEEP:
845 insn = aarch64_insn_get_movk_value();
846 break;
847 case AARCH64_INSN_MOVEWIDE_INVERSE:
848 insn = aarch64_insn_get_movn_value();
849 break;
850 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800851 pr_err("%s: unknown movewide encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100852 return AARCH64_BREAK_FAULT;
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100853 }
854
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800855 if (imm & ~(SZ_64K - 1)) {
856 pr_err("%s: invalid immediate encoding %d\n", __func__, imm);
857 return AARCH64_BREAK_FAULT;
858 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100859
860 switch (variant) {
861 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800862 if (shift != 0 && shift != 16) {
863 pr_err("%s: invalid shift encoding %d\n", __func__,
864 shift);
865 return AARCH64_BREAK_FAULT;
866 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100867 break;
868 case AARCH64_INSN_VARIANT_64BIT:
869 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800870 if (shift != 0 && shift != 16 && shift != 32 && shift != 48) {
871 pr_err("%s: invalid shift encoding %d\n", __func__,
872 shift);
873 return AARCH64_BREAK_FAULT;
874 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100875 break;
876 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800877 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100878 return AARCH64_BREAK_FAULT;
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100879 }
880
881 insn |= (shift >> 4) << 21;
882
883 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
884
885 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_16, insn, imm);
886}
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100887
888u32 aarch64_insn_gen_add_sub_shifted_reg(enum aarch64_insn_register dst,
889 enum aarch64_insn_register src,
890 enum aarch64_insn_register reg,
891 int shift,
892 enum aarch64_insn_variant variant,
893 enum aarch64_insn_adsb_type type)
894{
895 u32 insn;
896
897 switch (type) {
898 case AARCH64_INSN_ADSB_ADD:
899 insn = aarch64_insn_get_add_value();
900 break;
901 case AARCH64_INSN_ADSB_SUB:
902 insn = aarch64_insn_get_sub_value();
903 break;
904 case AARCH64_INSN_ADSB_ADD_SETFLAGS:
905 insn = aarch64_insn_get_adds_value();
906 break;
907 case AARCH64_INSN_ADSB_SUB_SETFLAGS:
908 insn = aarch64_insn_get_subs_value();
909 break;
910 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800911 pr_err("%s: unknown add/sub encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100912 return AARCH64_BREAK_FAULT;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100913 }
914
915 switch (variant) {
916 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800917 if (shift & ~(SZ_32 - 1)) {
918 pr_err("%s: invalid shift encoding %d\n", __func__,
919 shift);
920 return AARCH64_BREAK_FAULT;
921 }
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100922 break;
923 case AARCH64_INSN_VARIANT_64BIT:
924 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800925 if (shift & ~(SZ_64 - 1)) {
926 pr_err("%s: invalid shift encoding %d\n", __func__,
927 shift);
928 return AARCH64_BREAK_FAULT;
929 }
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100930 break;
931 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800932 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100933 return AARCH64_BREAK_FAULT;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100934 }
935
936
937 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
938
939 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
940
941 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
942
943 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_6, insn, shift);
944}
Zi Shen Lim546dd362014-08-27 05:15:26 +0100945
946u32 aarch64_insn_gen_data1(enum aarch64_insn_register dst,
947 enum aarch64_insn_register src,
948 enum aarch64_insn_variant variant,
949 enum aarch64_insn_data1_type type)
950{
951 u32 insn;
952
953 switch (type) {
954 case AARCH64_INSN_DATA1_REVERSE_16:
955 insn = aarch64_insn_get_rev16_value();
956 break;
957 case AARCH64_INSN_DATA1_REVERSE_32:
958 insn = aarch64_insn_get_rev32_value();
959 break;
960 case AARCH64_INSN_DATA1_REVERSE_64:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800961 if (variant != AARCH64_INSN_VARIANT_64BIT) {
962 pr_err("%s: invalid variant for reverse64 %d\n",
963 __func__, variant);
964 return AARCH64_BREAK_FAULT;
965 }
Zi Shen Lim546dd362014-08-27 05:15:26 +0100966 insn = aarch64_insn_get_rev64_value();
967 break;
968 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800969 pr_err("%s: unknown data1 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100970 return AARCH64_BREAK_FAULT;
Zi Shen Lim546dd362014-08-27 05:15:26 +0100971 }
972
973 switch (variant) {
974 case AARCH64_INSN_VARIANT_32BIT:
975 break;
976 case AARCH64_INSN_VARIANT_64BIT:
977 insn |= AARCH64_INSN_SF_BIT;
978 break;
979 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800980 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100981 return AARCH64_BREAK_FAULT;
Zi Shen Lim546dd362014-08-27 05:15:26 +0100982 }
983
984 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
985
986 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
987}
Zi Shen Lim64810632014-08-27 05:15:27 +0100988
989u32 aarch64_insn_gen_data2(enum aarch64_insn_register dst,
990 enum aarch64_insn_register src,
991 enum aarch64_insn_register reg,
992 enum aarch64_insn_variant variant,
993 enum aarch64_insn_data2_type type)
994{
995 u32 insn;
996
997 switch (type) {
998 case AARCH64_INSN_DATA2_UDIV:
999 insn = aarch64_insn_get_udiv_value();
1000 break;
1001 case AARCH64_INSN_DATA2_SDIV:
1002 insn = aarch64_insn_get_sdiv_value();
1003 break;
1004 case AARCH64_INSN_DATA2_LSLV:
1005 insn = aarch64_insn_get_lslv_value();
1006 break;
1007 case AARCH64_INSN_DATA2_LSRV:
1008 insn = aarch64_insn_get_lsrv_value();
1009 break;
1010 case AARCH64_INSN_DATA2_ASRV:
1011 insn = aarch64_insn_get_asrv_value();
1012 break;
1013 case AARCH64_INSN_DATA2_RORV:
1014 insn = aarch64_insn_get_rorv_value();
1015 break;
1016 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001017 pr_err("%s: unknown data2 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001018 return AARCH64_BREAK_FAULT;
Zi Shen Lim64810632014-08-27 05:15:27 +01001019 }
1020
1021 switch (variant) {
1022 case AARCH64_INSN_VARIANT_32BIT:
1023 break;
1024 case AARCH64_INSN_VARIANT_64BIT:
1025 insn |= AARCH64_INSN_SF_BIT;
1026 break;
1027 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001028 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001029 return AARCH64_BREAK_FAULT;
Zi Shen Lim64810632014-08-27 05:15:27 +01001030 }
1031
1032 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1033
1034 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1035
1036 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
1037}
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001038
1039u32 aarch64_insn_gen_data3(enum aarch64_insn_register dst,
1040 enum aarch64_insn_register src,
1041 enum aarch64_insn_register reg1,
1042 enum aarch64_insn_register reg2,
1043 enum aarch64_insn_variant variant,
1044 enum aarch64_insn_data3_type type)
1045{
1046 u32 insn;
1047
1048 switch (type) {
1049 case AARCH64_INSN_DATA3_MADD:
1050 insn = aarch64_insn_get_madd_value();
1051 break;
1052 case AARCH64_INSN_DATA3_MSUB:
1053 insn = aarch64_insn_get_msub_value();
1054 break;
1055 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001056 pr_err("%s: unknown data3 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001057 return AARCH64_BREAK_FAULT;
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001058 }
1059
1060 switch (variant) {
1061 case AARCH64_INSN_VARIANT_32BIT:
1062 break;
1063 case AARCH64_INSN_VARIANT_64BIT:
1064 insn |= AARCH64_INSN_SF_BIT;
1065 break;
1066 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001067 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001068 return AARCH64_BREAK_FAULT;
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001069 }
1070
1071 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1072
1073 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RA, insn, src);
1074
1075 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
1076 reg1);
1077
1078 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn,
1079 reg2);
1080}
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001081
1082u32 aarch64_insn_gen_logical_shifted_reg(enum aarch64_insn_register dst,
1083 enum aarch64_insn_register src,
1084 enum aarch64_insn_register reg,
1085 int shift,
1086 enum aarch64_insn_variant variant,
1087 enum aarch64_insn_logic_type type)
1088{
1089 u32 insn;
1090
1091 switch (type) {
1092 case AARCH64_INSN_LOGIC_AND:
1093 insn = aarch64_insn_get_and_value();
1094 break;
1095 case AARCH64_INSN_LOGIC_BIC:
1096 insn = aarch64_insn_get_bic_value();
1097 break;
1098 case AARCH64_INSN_LOGIC_ORR:
1099 insn = aarch64_insn_get_orr_value();
1100 break;
1101 case AARCH64_INSN_LOGIC_ORN:
1102 insn = aarch64_insn_get_orn_value();
1103 break;
1104 case AARCH64_INSN_LOGIC_EOR:
1105 insn = aarch64_insn_get_eor_value();
1106 break;
1107 case AARCH64_INSN_LOGIC_EON:
1108 insn = aarch64_insn_get_eon_value();
1109 break;
1110 case AARCH64_INSN_LOGIC_AND_SETFLAGS:
1111 insn = aarch64_insn_get_ands_value();
1112 break;
1113 case AARCH64_INSN_LOGIC_BIC_SETFLAGS:
1114 insn = aarch64_insn_get_bics_value();
1115 break;
1116 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001117 pr_err("%s: unknown logical encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001118 return AARCH64_BREAK_FAULT;
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001119 }
1120
1121 switch (variant) {
1122 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001123 if (shift & ~(SZ_32 - 1)) {
1124 pr_err("%s: invalid shift encoding %d\n", __func__,
1125 shift);
1126 return AARCH64_BREAK_FAULT;
1127 }
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001128 break;
1129 case AARCH64_INSN_VARIANT_64BIT:
1130 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001131 if (shift & ~(SZ_64 - 1)) {
1132 pr_err("%s: invalid shift encoding %d\n", __func__,
1133 shift);
1134 return AARCH64_BREAK_FAULT;
1135 }
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001136 break;
1137 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001138 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001139 return AARCH64_BREAK_FAULT;
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001140 }
1141
1142
1143 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1144
1145 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1146
1147 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
1148
1149 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_6, insn, shift);
1150}
Punit Agrawal9b79f522014-11-18 11:41:22 +00001151
Marc Zyngier10b48f72015-06-01 10:47:39 +01001152/*
1153 * Decode the imm field of a branch, and return the byte offset as a
1154 * signed value (so it can be used when computing a new branch
1155 * target).
1156 */
1157s32 aarch64_get_branch_offset(u32 insn)
1158{
1159 s32 imm;
1160
1161 if (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn)) {
1162 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_26, insn);
1163 return (imm << 6) >> 4;
1164 }
1165
1166 if (aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
1167 aarch64_insn_is_bcond(insn)) {
1168 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_19, insn);
1169 return (imm << 13) >> 11;
1170 }
1171
1172 if (aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn)) {
1173 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_14, insn);
1174 return (imm << 18) >> 16;
1175 }
1176
1177 /* Unhandled instruction */
1178 BUG();
1179}
1180
1181/*
1182 * Encode the displacement of a branch in the imm field and return the
1183 * updated instruction.
1184 */
1185u32 aarch64_set_branch_offset(u32 insn, s32 offset)
1186{
1187 if (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn))
1188 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_26, insn,
1189 offset >> 2);
1190
1191 if (aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
1192 aarch64_insn_is_bcond(insn))
1193 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
1194 offset >> 2);
1195
1196 if (aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn))
1197 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_14, insn,
1198 offset >> 2);
1199
1200 /* Unhandled instruction */
1201 BUG();
1202}
1203
David A. Longd59bee82016-07-08 12:35:46 -04001204/*
1205 * Extract the Op/CR data from a msr/mrs instruction.
1206 */
1207u32 aarch64_insn_extract_system_reg(u32 insn)
1208{
1209 return (insn & 0x1FFFE0) >> 5;
1210}
1211
Punit Agrawal9b79f522014-11-18 11:41:22 +00001212bool aarch32_insn_is_wide(u32 insn)
1213{
1214 return insn >= 0xe800;
1215}
Punit Agrawalbd35a4a2014-11-18 11:41:25 +00001216
1217/*
1218 * Macros/defines for extracting register numbers from instruction.
1219 */
1220u32 aarch32_insn_extract_reg_num(u32 insn, int offset)
1221{
1222 return (insn & (0xf << offset)) >> offset;
1223}
Punit Agrawalc852f322014-11-18 11:41:26 +00001224
1225#define OPC2_MASK 0x7
1226#define OPC2_OFFSET 5
1227u32 aarch32_insn_mcr_extract_opc2(u32 insn)
1228{
1229 return (insn & (OPC2_MASK << OPC2_OFFSET)) >> OPC2_OFFSET;
1230}
1231
1232#define CRM_MASK 0xf
1233u32 aarch32_insn_mcr_extract_crm(u32 insn)
1234{
1235 return insn & CRM_MASK;
1236}
David A. Long2af3ec02016-07-08 12:35:47 -04001237
1238static bool __kprobes __check_eq(unsigned long pstate)
1239{
1240 return (pstate & PSR_Z_BIT) != 0;
1241}
1242
1243static bool __kprobes __check_ne(unsigned long pstate)
1244{
1245 return (pstate & PSR_Z_BIT) == 0;
1246}
1247
1248static bool __kprobes __check_cs(unsigned long pstate)
1249{
1250 return (pstate & PSR_C_BIT) != 0;
1251}
1252
1253static bool __kprobes __check_cc(unsigned long pstate)
1254{
1255 return (pstate & PSR_C_BIT) == 0;
1256}
1257
1258static bool __kprobes __check_mi(unsigned long pstate)
1259{
1260 return (pstate & PSR_N_BIT) != 0;
1261}
1262
1263static bool __kprobes __check_pl(unsigned long pstate)
1264{
1265 return (pstate & PSR_N_BIT) == 0;
1266}
1267
1268static bool __kprobes __check_vs(unsigned long pstate)
1269{
1270 return (pstate & PSR_V_BIT) != 0;
1271}
1272
1273static bool __kprobes __check_vc(unsigned long pstate)
1274{
1275 return (pstate & PSR_V_BIT) == 0;
1276}
1277
1278static bool __kprobes __check_hi(unsigned long pstate)
1279{
1280 pstate &= ~(pstate >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1281 return (pstate & PSR_C_BIT) != 0;
1282}
1283
1284static bool __kprobes __check_ls(unsigned long pstate)
1285{
1286 pstate &= ~(pstate >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1287 return (pstate & PSR_C_BIT) == 0;
1288}
1289
1290static bool __kprobes __check_ge(unsigned long pstate)
1291{
1292 pstate ^= (pstate << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1293 return (pstate & PSR_N_BIT) == 0;
1294}
1295
1296static bool __kprobes __check_lt(unsigned long pstate)
1297{
1298 pstate ^= (pstate << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1299 return (pstate & PSR_N_BIT) != 0;
1300}
1301
1302static bool __kprobes __check_gt(unsigned long pstate)
1303{
1304 /*PSR_N_BIT ^= PSR_V_BIT */
1305 unsigned long temp = pstate ^ (pstate << 3);
1306
1307 temp |= (pstate << 1); /*PSR_N_BIT |= PSR_Z_BIT */
1308 return (temp & PSR_N_BIT) == 0;
1309}
1310
1311static bool __kprobes __check_le(unsigned long pstate)
1312{
1313 /*PSR_N_BIT ^= PSR_V_BIT */
1314 unsigned long temp = pstate ^ (pstate << 3);
1315
1316 temp |= (pstate << 1); /*PSR_N_BIT |= PSR_Z_BIT */
1317 return (temp & PSR_N_BIT) != 0;
1318}
1319
1320static bool __kprobes __check_al(unsigned long pstate)
1321{
1322 return true;
1323}
1324
1325/*
1326 * Note that the ARMv8 ARM calls condition code 0b1111 "nv", but states that
1327 * it behaves identically to 0b1110 ("al").
1328 */
1329pstate_check_t * const aarch32_opcode_cond_checks[16] = {
1330 __check_eq, __check_ne, __check_cs, __check_cc,
1331 __check_mi, __check_pl, __check_vs, __check_vc,
1332 __check_hi, __check_ls, __check_ge, __check_lt,
1333 __check_gt, __check_le, __check_al, __check_al
1334};