blob: 4a9e773a177f0782933c0c8f516ce31241cf67bc [file] [log] [blame]
Thomas Gleixnercaab2772019-06-03 07:44:50 +02001// SPDX-License-Identifier: GPL-2.0-only
Jiang Liub11a64a2014-01-07 22:17:08 +08002/*
3 * Copyright (C) 2013 Huawei Ltd.
4 * Author: Jiang Liu <liuj97@gmail.com>
5 *
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08006 * Copyright (C) 2014-2016 Zi Shen Lim <zlim.lnx@gmail.com>
Jiang Liub11a64a2014-01-07 22:17:08 +08007 */
Jiang Liu5c5bf252014-01-07 22:17:11 +08008#include <linux/bitops.h>
Laura Abbott2f896d52015-01-22 01:36:05 +00009#include <linux/bug.h>
Jiang Liub11a64a2014-01-07 22:17:08 +080010#include <linux/compiler.h>
11#include <linux/kernel.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000012#include <linux/mm.h>
Jiang Liuae164802014-01-07 22:17:09 +080013#include <linux/smp.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000014#include <linux/spinlock.h>
Jiang Liuae164802014-01-07 22:17:09 +080015#include <linux/stop_machine.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000016#include <linux/types.h>
Jiang Liuae164802014-01-07 22:17:09 +080017#include <linux/uaccess.h>
Mark Browna9ae04c2014-09-16 17:42:33 +010018
Jiang Liuae164802014-01-07 22:17:09 +080019#include <asm/cacheflush.h>
Mark Browna9ae04c2014-09-16 17:42:33 +010020#include <asm/debug-monitors.h>
Laura Abbott2f896d52015-01-22 01:36:05 +000021#include <asm/fixmap.h>
Jiang Liub11a64a2014-01-07 22:17:08 +080022#include <asm/insn.h>
Luis R. Rodriguez7d134b22017-02-27 14:26:56 -080023#include <asm/kprobes.h>
Mark Rutlandca2ef4f2019-12-02 16:11:07 +000024#include <asm/sections.h>
Jiang Liub11a64a2014-01-07 22:17:08 +080025
Zi Shen Lim617d2fb2014-08-27 05:15:17 +010026#define AARCH64_INSN_SF_BIT BIT(31)
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +010027#define AARCH64_INSN_N_BIT BIT(22)
Marc Zyngier11d76402017-12-03 17:50:00 +000028#define AARCH64_INSN_LSL_12 BIT(22)
Zi Shen Lim617d2fb2014-08-27 05:15:17 +010029
Mark Rutland0da23df2019-08-13 15:16:38 +010030static const int aarch64_insn_encoding_class[] = {
Jiang Liub11a64a2014-01-07 22:17:08 +080031 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
Marc Zyngier10b48f72015-06-01 10:47:39 +010072bool aarch64_insn_is_branch_imm(u32 insn)
73{
74 return (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn) ||
75 aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn) ||
76 aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
77 aarch64_insn_is_bcond(insn));
78}
79
Yang Shiabffa6f2015-09-30 19:23:12 +010080static DEFINE_RAW_SPINLOCK(patch_lock);
Laura Abbott2f896d52015-01-22 01:36:05 +000081
Mark Rutlandca2ef4f2019-12-02 16:11:07 +000082static bool is_exit_text(unsigned long addr)
83{
84 /* discarded with init text/data */
85 return system_state < SYSTEM_RUNNING &&
86 addr >= (unsigned long)__exittext_begin &&
87 addr < (unsigned long)__exittext_end;
88}
89
90static bool is_image_text(unsigned long addr)
91{
92 return core_kernel_text(addr) || is_exit_text(addr);
93}
94
Laura Abbott2f896d52015-01-22 01:36:05 +000095static void __kprobes *patch_map(void *addr, int fixmap)
96{
97 unsigned long uintaddr = (uintptr_t) addr;
Mark Rutlandca2ef4f2019-12-02 16:11:07 +000098 bool image = is_image_text(uintaddr);
Laura Abbott2f896d52015-01-22 01:36:05 +000099 struct page *page;
100
Mark Rutlandca2ef4f2019-12-02 16:11:07 +0000101 if (image)
Laura Abbott2077be62017-01-10 13:35:49 -0800102 page = phys_to_page(__pa_symbol(addr));
Mark Rutlandca2ef4f2019-12-02 16:11:07 +0000103 else if (IS_ENABLED(CONFIG_STRICT_MODULE_RWX))
104 page = vmalloc_to_page(addr);
Marc Zyngierf6242ca2015-02-24 16:30:21 +0000105 else
106 return addr;
Laura Abbott2f896d52015-01-22 01:36:05 +0000107
108 BUG_ON(!page);
yalin wang51650dc2015-07-24 12:52:28 +0100109 return (void *)set_fixmap_offset(fixmap, page_to_phys(page) +
110 (uintaddr & ~PAGE_MASK));
Laura Abbott2f896d52015-01-22 01:36:05 +0000111}
112
113static void __kprobes patch_unmap(int fixmap)
114{
115 clear_fixmap(fixmap);
116}
Jiang Liuae164802014-01-07 22:17:09 +0800117/*
118 * In ARMv8-A, A64 instructions have a fixed length of 32 bits and are always
119 * little-endian.
120 */
121int __kprobes aarch64_insn_read(void *addr, u32 *insnp)
122{
123 int ret;
Luc Van Oostenryck65de1422017-06-28 16:58:09 +0200124 __le32 val;
Jiang Liuae164802014-01-07 22:17:09 +0800125
126 ret = probe_kernel_read(&val, addr, AARCH64_INSN_SIZE);
127 if (!ret)
128 *insnp = le32_to_cpu(val);
129
130 return ret;
131}
132
Luc Van Oostenryck57c13832017-06-28 16:58:11 +0200133static int __kprobes __aarch64_insn_write(void *addr, __le32 insn)
Laura Abbott2f896d52015-01-22 01:36:05 +0000134{
135 void *waddr = addr;
136 unsigned long flags = 0;
137 int ret;
138
Yang Shiabffa6f2015-09-30 19:23:12 +0100139 raw_spin_lock_irqsave(&patch_lock, flags);
Laura Abbott2f896d52015-01-22 01:36:05 +0000140 waddr = patch_map(addr, FIX_TEXT_POKE0);
141
142 ret = probe_kernel_write(waddr, &insn, AARCH64_INSN_SIZE);
143
144 patch_unmap(FIX_TEXT_POKE0);
Yang Shiabffa6f2015-09-30 19:23:12 +0100145 raw_spin_unlock_irqrestore(&patch_lock, flags);
Laura Abbott2f896d52015-01-22 01:36:05 +0000146
147 return ret;
148}
149
Jiang Liuae164802014-01-07 22:17:09 +0800150int __kprobes aarch64_insn_write(void *addr, u32 insn)
151{
Luc Van Oostenryck57c13832017-06-28 16:58:11 +0200152 return __aarch64_insn_write(addr, cpu_to_le32(insn));
Jiang Liuae164802014-01-07 22:17:09 +0800153}
154
David A. Longd59bee82016-07-08 12:35:46 -0400155bool __kprobes aarch64_insn_uses_literal(u32 insn)
156{
157 /* ldr/ldrsw (literal), prfm */
158
159 return aarch64_insn_is_ldr_lit(insn) ||
160 aarch64_insn_is_ldrsw_lit(insn) ||
161 aarch64_insn_is_adr_adrp(insn) ||
162 aarch64_insn_is_prfm_lit(insn);
163}
164
165bool __kprobes aarch64_insn_is_branch(u32 insn)
166{
167 /* b, bl, cb*, tb*, b.cond, br, blr */
168
169 return aarch64_insn_is_b(insn) ||
170 aarch64_insn_is_bl(insn) ||
171 aarch64_insn_is_cbz(insn) ||
172 aarch64_insn_is_cbnz(insn) ||
173 aarch64_insn_is_tbz(insn) ||
174 aarch64_insn_is_tbnz(insn) ||
175 aarch64_insn_is_ret(insn) ||
176 aarch64_insn_is_br(insn) ||
177 aarch64_insn_is_blr(insn) ||
178 aarch64_insn_is_bcond(insn);
179}
180
Jiang Liuae164802014-01-07 22:17:09 +0800181int __kprobes aarch64_insn_patch_text_nosync(void *addr, u32 insn)
182{
183 u32 *tp = addr;
184 int ret;
185
186 /* A64 instructions must be word aligned */
187 if ((uintptr_t)tp & 0x3)
188 return -EINVAL;
189
190 ret = aarch64_insn_write(tp, insn);
191 if (ret == 0)
Will Deacon3b8c9f12018-06-11 14:22:09 +0100192 __flush_icache_range((uintptr_t)tp,
193 (uintptr_t)tp + AARCH64_INSN_SIZE);
Jiang Liuae164802014-01-07 22:17:09 +0800194
195 return ret;
196}
197
198struct aarch64_insn_patch {
199 void **text_addrs;
200 u32 *new_insns;
201 int insn_cnt;
202 atomic_t cpu_count;
203};
204
205static int __kprobes aarch64_insn_patch_text_cb(void *arg)
206{
207 int i, ret = 0;
208 struct aarch64_insn_patch *pp = arg;
209
210 /* The first CPU becomes master */
211 if (atomic_inc_return(&pp->cpu_count) == 1) {
212 for (i = 0; ret == 0 && i < pp->insn_cnt; i++)
213 ret = aarch64_insn_patch_text_nosync(pp->text_addrs[i],
214 pp->new_insns[i]);
William Cohen899d5932014-11-11 09:41:27 -0500215 /* Notify other processors with an additional increment. */
216 atomic_inc(&pp->cpu_count);
Jiang Liuae164802014-01-07 22:17:09 +0800217 } else {
William Cohen899d5932014-11-11 09:41:27 -0500218 while (atomic_read(&pp->cpu_count) <= num_online_cpus())
Jiang Liuae164802014-01-07 22:17:09 +0800219 cpu_relax();
220 isb();
221 }
222
223 return ret;
224}
225
Will Deacon693350a2018-06-19 17:55:28 +0100226int __kprobes aarch64_insn_patch_text(void *addrs[], u32 insns[], int cnt)
Jiang Liuae164802014-01-07 22:17:09 +0800227{
228 struct aarch64_insn_patch patch = {
229 .text_addrs = addrs,
230 .new_insns = insns,
231 .insn_cnt = cnt,
232 .cpu_count = ATOMIC_INIT(0),
233 };
234
235 if (cnt <= 0)
236 return -EINVAL;
237
Thomas Gleixnerc23a4652017-05-24 10:15:37 +0200238 return stop_machine_cpuslocked(aarch64_insn_patch_text_cb, &patch,
239 cpu_online_mask);
Jiang Liuae164802014-01-07 22:17:09 +0800240}
241
Marc Zyngier0978fb22015-03-27 13:09:21 +0000242static int __kprobes aarch64_get_imm_shift_mask(enum aarch64_insn_imm_type type,
243 u32 *maskp, int *shiftp)
Jiang Liuc84fced2014-01-07 22:17:10 +0800244{
Marc Zyngier0978fb22015-03-27 13:09:21 +0000245 u32 mask;
Jiang Liuc84fced2014-01-07 22:17:10 +0800246 int shift;
247
248 switch (type) {
Jiang Liuc84fced2014-01-07 22:17:10 +0800249 case AARCH64_INSN_IMM_26:
250 mask = BIT(26) - 1;
251 shift = 0;
252 break;
253 case AARCH64_INSN_IMM_19:
254 mask = BIT(19) - 1;
255 shift = 5;
256 break;
257 case AARCH64_INSN_IMM_16:
258 mask = BIT(16) - 1;
259 shift = 5;
260 break;
261 case AARCH64_INSN_IMM_14:
262 mask = BIT(14) - 1;
263 shift = 5;
264 break;
265 case AARCH64_INSN_IMM_12:
266 mask = BIT(12) - 1;
267 shift = 10;
268 break;
269 case AARCH64_INSN_IMM_9:
270 mask = BIT(9) - 1;
271 shift = 12;
272 break;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100273 case AARCH64_INSN_IMM_7:
274 mask = BIT(7) - 1;
275 shift = 15;
276 break;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +0100277 case AARCH64_INSN_IMM_6:
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +0100278 case AARCH64_INSN_IMM_S:
279 mask = BIT(6) - 1;
280 shift = 10;
281 break;
282 case AARCH64_INSN_IMM_R:
283 mask = BIT(6) - 1;
284 shift = 16;
285 break;
Marc Zyngiera264bf32017-12-03 17:01:39 +0000286 case AARCH64_INSN_IMM_N:
287 mask = 1;
288 shift = 22;
289 break;
Jiang Liuc84fced2014-01-07 22:17:10 +0800290 default:
Marc Zyngier0978fb22015-03-27 13:09:21 +0000291 return -EINVAL;
292 }
293
294 *maskp = mask;
295 *shiftp = shift;
296
297 return 0;
298}
299
300#define ADR_IMM_HILOSPLIT 2
301#define ADR_IMM_SIZE SZ_2M
302#define ADR_IMM_LOMASK ((1 << ADR_IMM_HILOSPLIT) - 1)
303#define ADR_IMM_HIMASK ((ADR_IMM_SIZE >> ADR_IMM_HILOSPLIT) - 1)
304#define ADR_IMM_LOSHIFT 29
305#define ADR_IMM_HISHIFT 5
306
307u64 aarch64_insn_decode_immediate(enum aarch64_insn_imm_type type, u32 insn)
308{
309 u32 immlo, immhi, mask;
310 int shift;
311
312 switch (type) {
313 case AARCH64_INSN_IMM_ADR:
314 shift = 0;
315 immlo = (insn >> ADR_IMM_LOSHIFT) & ADR_IMM_LOMASK;
316 immhi = (insn >> ADR_IMM_HISHIFT) & ADR_IMM_HIMASK;
317 insn = (immhi << ADR_IMM_HILOSPLIT) | immlo;
318 mask = ADR_IMM_SIZE - 1;
319 break;
320 default:
321 if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
322 pr_err("aarch64_insn_decode_immediate: unknown immediate encoding %d\n",
323 type);
324 return 0;
325 }
326 }
327
328 return (insn >> shift) & mask;
329}
330
331u32 __kprobes aarch64_insn_encode_immediate(enum aarch64_insn_imm_type type,
332 u32 insn, u64 imm)
333{
334 u32 immlo, immhi, mask;
335 int shift;
336
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800337 if (insn == AARCH64_BREAK_FAULT)
338 return AARCH64_BREAK_FAULT;
339
Marc Zyngier0978fb22015-03-27 13:09:21 +0000340 switch (type) {
341 case AARCH64_INSN_IMM_ADR:
342 shift = 0;
343 immlo = (imm & ADR_IMM_LOMASK) << ADR_IMM_LOSHIFT;
344 imm >>= ADR_IMM_HILOSPLIT;
345 immhi = (imm & ADR_IMM_HIMASK) << ADR_IMM_HISHIFT;
346 imm = immlo | immhi;
347 mask = ((ADR_IMM_LOMASK << ADR_IMM_LOSHIFT) |
348 (ADR_IMM_HIMASK << ADR_IMM_HISHIFT));
349 break;
350 default:
351 if (aarch64_get_imm_shift_mask(type, &mask, &shift) < 0) {
352 pr_err("aarch64_insn_encode_immediate: unknown immediate encoding %d\n",
353 type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800354 return AARCH64_BREAK_FAULT;
Marc Zyngier0978fb22015-03-27 13:09:21 +0000355 }
Jiang Liuc84fced2014-01-07 22:17:10 +0800356 }
357
358 /* Update the immediate field. */
359 insn &= ~(mask << shift);
360 insn |= (imm & mask) << shift;
361
362 return insn;
363}
Jiang Liu5c5bf252014-01-07 22:17:11 +0800364
Suzuki K Poulose8c2dcbd2017-01-09 17:28:29 +0000365u32 aarch64_insn_decode_register(enum aarch64_insn_register_type type,
366 u32 insn)
367{
368 int shift;
369
370 switch (type) {
371 case AARCH64_INSN_REGTYPE_RT:
372 case AARCH64_INSN_REGTYPE_RD:
373 shift = 0;
374 break;
375 case AARCH64_INSN_REGTYPE_RN:
376 shift = 5;
377 break;
378 case AARCH64_INSN_REGTYPE_RT2:
379 case AARCH64_INSN_REGTYPE_RA:
380 shift = 10;
381 break;
382 case AARCH64_INSN_REGTYPE_RM:
383 shift = 16;
384 break;
385 default:
386 pr_err("%s: unknown register type encoding %d\n", __func__,
387 type);
388 return 0;
389 }
390
391 return (insn >> shift) & GENMASK(4, 0);
392}
393
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100394static u32 aarch64_insn_encode_register(enum aarch64_insn_register_type type,
395 u32 insn,
396 enum aarch64_insn_register reg)
Jiang Liu5c5bf252014-01-07 22:17:11 +0800397{
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100398 int shift;
399
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800400 if (insn == AARCH64_BREAK_FAULT)
401 return AARCH64_BREAK_FAULT;
402
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100403 if (reg < AARCH64_INSN_REG_0 || reg > AARCH64_INSN_REG_SP) {
404 pr_err("%s: unknown register encoding %d\n", __func__, reg);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800405 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100406 }
407
408 switch (type) {
409 case AARCH64_INSN_REGTYPE_RT:
Zi Shen Lim9951a152014-08-27 05:15:22 +0100410 case AARCH64_INSN_REGTYPE_RD:
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100411 shift = 0;
412 break;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100413 case AARCH64_INSN_REGTYPE_RN:
414 shift = 5;
415 break;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100416 case AARCH64_INSN_REGTYPE_RT2:
Zi Shen Lim27f95ba2014-08-27 05:15:28 +0100417 case AARCH64_INSN_REGTYPE_RA:
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100418 shift = 10;
419 break;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100420 case AARCH64_INSN_REGTYPE_RM:
Daniel Borkmann85f68fe2017-05-01 02:57:20 +0200421 case AARCH64_INSN_REGTYPE_RS:
Zi Shen Lim17cac172014-08-27 05:15:20 +0100422 shift = 16;
423 break;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100424 default:
425 pr_err("%s: unknown register type encoding %d\n", __func__,
426 type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800427 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100428 }
429
430 insn &= ~(GENMASK(4, 0) << shift);
431 insn |= reg << shift;
432
433 return insn;
434}
435
Zi Shen Lim17cac172014-08-27 05:15:20 +0100436static u32 aarch64_insn_encode_ldst_size(enum aarch64_insn_size_type type,
437 u32 insn)
438{
439 u32 size;
440
441 switch (type) {
442 case AARCH64_INSN_SIZE_8:
443 size = 0;
444 break;
445 case AARCH64_INSN_SIZE_16:
446 size = 1;
447 break;
448 case AARCH64_INSN_SIZE_32:
449 size = 2;
450 break;
451 case AARCH64_INSN_SIZE_64:
452 size = 3;
453 break;
454 default:
455 pr_err("%s: unknown size encoding %d\n", __func__, type);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800456 return AARCH64_BREAK_FAULT;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100457 }
458
459 insn &= ~GENMASK(31, 30);
460 insn |= size << 30;
461
462 return insn;
463}
464
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100465static inline long branch_imm_common(unsigned long pc, unsigned long addr,
466 long range)
467{
Jiang Liu5c5bf252014-01-07 22:17:11 +0800468 long offset;
469
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800470 if ((pc & 0x3) || (addr & 0x3)) {
471 pr_err("%s: A64 instructions must be word aligned\n", __func__);
472 return range;
473 }
Jiang Liu5c5bf252014-01-07 22:17:11 +0800474
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100475 offset = ((long)addr - (long)pc);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800476
477 if (offset < -range || offset >= range) {
478 pr_err("%s: offset out of range\n", __func__);
479 return range;
480 }
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100481
482 return offset;
483}
484
485u32 __kprobes aarch64_insn_gen_branch_imm(unsigned long pc, unsigned long addr,
486 enum aarch64_insn_branch_type type)
487{
488 u32 insn;
489 long offset;
490
Jiang Liu5c5bf252014-01-07 22:17:11 +0800491 /*
492 * B/BL support [-128M, 128M) offset
493 * ARM64 virtual address arrangement guarantees all kernel and module
494 * texts are within +/-128M.
495 */
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100496 offset = branch_imm_common(pc, addr, SZ_128M);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800497 if (offset >= SZ_128M)
498 return AARCH64_BREAK_FAULT;
Jiang Liu5c5bf252014-01-07 22:17:11 +0800499
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100500 switch (type) {
501 case AARCH64_INSN_BRANCH_LINK:
Jiang Liu5c5bf252014-01-07 22:17:11 +0800502 insn = aarch64_insn_get_bl_value();
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100503 break;
504 case AARCH64_INSN_BRANCH_NOLINK:
Jiang Liu5c5bf252014-01-07 22:17:11 +0800505 insn = aarch64_insn_get_b_value();
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100506 break;
507 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800508 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100509 return AARCH64_BREAK_FAULT;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100510 }
Jiang Liu5c5bf252014-01-07 22:17:11 +0800511
512 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_26, insn,
513 offset >> 2);
514}
515
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100516u32 aarch64_insn_gen_comp_branch_imm(unsigned long pc, unsigned long addr,
517 enum aarch64_insn_register reg,
518 enum aarch64_insn_variant variant,
519 enum aarch64_insn_branch_type type)
520{
521 u32 insn;
522 long offset;
523
524 offset = branch_imm_common(pc, addr, SZ_1M);
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800525 if (offset >= SZ_1M)
526 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100527
528 switch (type) {
529 case AARCH64_INSN_BRANCH_COMP_ZERO:
530 insn = aarch64_insn_get_cbz_value();
531 break;
532 case AARCH64_INSN_BRANCH_COMP_NONZERO:
533 insn = aarch64_insn_get_cbnz_value();
534 break;
535 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800536 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100537 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100538 }
539
540 switch (variant) {
541 case AARCH64_INSN_VARIANT_32BIT:
542 break;
543 case AARCH64_INSN_VARIANT_64BIT:
544 insn |= AARCH64_INSN_SF_BIT;
545 break;
546 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800547 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100548 return AARCH64_BREAK_FAULT;
Zi Shen Lim617d2fb2014-08-27 05:15:17 +0100549 }
550
551 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
552
553 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
554 offset >> 2);
555}
556
Zi Shen Lim345e0d32014-08-27 05:15:19 +0100557u32 aarch64_insn_gen_cond_branch_imm(unsigned long pc, unsigned long addr,
558 enum aarch64_insn_condition cond)
559{
560 u32 insn;
561 long offset;
562
563 offset = branch_imm_common(pc, addr, SZ_1M);
564
565 insn = aarch64_insn_get_bcond_value();
566
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800567 if (cond < AARCH64_INSN_COND_EQ || cond > AARCH64_INSN_COND_AL) {
568 pr_err("%s: unknown condition encoding %d\n", __func__, cond);
569 return AARCH64_BREAK_FAULT;
570 }
Zi Shen Lim345e0d32014-08-27 05:15:19 +0100571 insn |= cond;
572
573 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
574 offset >> 2);
575}
576
Jiang Liu5c5bf252014-01-07 22:17:11 +0800577u32 __kprobes aarch64_insn_gen_hint(enum aarch64_insn_hint_op op)
578{
579 return aarch64_insn_get_hint_value() | op;
580}
581
582u32 __kprobes aarch64_insn_gen_nop(void)
583{
584 return aarch64_insn_gen_hint(AARCH64_INSN_HINT_NOP);
585}
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100586
587u32 aarch64_insn_gen_branch_reg(enum aarch64_insn_register reg,
588 enum aarch64_insn_branch_type type)
589{
590 u32 insn;
591
592 switch (type) {
593 case AARCH64_INSN_BRANCH_NOLINK:
594 insn = aarch64_insn_get_br_value();
595 break;
596 case AARCH64_INSN_BRANCH_LINK:
597 insn = aarch64_insn_get_blr_value();
598 break;
599 case AARCH64_INSN_BRANCH_RETURN:
600 insn = aarch64_insn_get_ret_value();
601 break;
602 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800603 pr_err("%s: unknown branch encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100604 return AARCH64_BREAK_FAULT;
Zi Shen Limc0cafba2014-08-27 05:15:18 +0100605 }
606
607 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, reg);
608}
Zi Shen Lim17cac172014-08-27 05:15:20 +0100609
610u32 aarch64_insn_gen_load_store_reg(enum aarch64_insn_register reg,
611 enum aarch64_insn_register base,
612 enum aarch64_insn_register offset,
613 enum aarch64_insn_size_type size,
614 enum aarch64_insn_ldst_type type)
615{
616 u32 insn;
617
618 switch (type) {
619 case AARCH64_INSN_LDST_LOAD_REG_OFFSET:
620 insn = aarch64_insn_get_ldr_reg_value();
621 break;
622 case AARCH64_INSN_LDST_STORE_REG_OFFSET:
623 insn = aarch64_insn_get_str_reg_value();
624 break;
625 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800626 pr_err("%s: unknown load/store encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100627 return AARCH64_BREAK_FAULT;
Zi Shen Lim17cac172014-08-27 05:15:20 +0100628 }
629
630 insn = aarch64_insn_encode_ldst_size(size, insn);
631
632 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn, reg);
633
634 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
635 base);
636
637 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn,
638 offset);
639}
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100640
641u32 aarch64_insn_gen_load_store_pair(enum aarch64_insn_register reg1,
642 enum aarch64_insn_register reg2,
643 enum aarch64_insn_register base,
644 int offset,
645 enum aarch64_insn_variant variant,
646 enum aarch64_insn_ldst_type type)
647{
648 u32 insn;
649 int shift;
650
651 switch (type) {
652 case AARCH64_INSN_LDST_LOAD_PAIR_PRE_INDEX:
653 insn = aarch64_insn_get_ldp_pre_value();
654 break;
655 case AARCH64_INSN_LDST_STORE_PAIR_PRE_INDEX:
656 insn = aarch64_insn_get_stp_pre_value();
657 break;
658 case AARCH64_INSN_LDST_LOAD_PAIR_POST_INDEX:
659 insn = aarch64_insn_get_ldp_post_value();
660 break;
661 case AARCH64_INSN_LDST_STORE_PAIR_POST_INDEX:
662 insn = aarch64_insn_get_stp_post_value();
663 break;
664 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800665 pr_err("%s: unknown load/store encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100666 return AARCH64_BREAK_FAULT;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100667 }
668
669 switch (variant) {
670 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800671 if ((offset & 0x3) || (offset < -256) || (offset > 252)) {
672 pr_err("%s: offset must be multiples of 4 in the range of [-256, 252] %d\n",
673 __func__, offset);
674 return AARCH64_BREAK_FAULT;
675 }
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100676 shift = 2;
677 break;
678 case AARCH64_INSN_VARIANT_64BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800679 if ((offset & 0x7) || (offset < -512) || (offset > 504)) {
680 pr_err("%s: offset must be multiples of 8 in the range of [-512, 504] %d\n",
681 __func__, offset);
682 return AARCH64_BREAK_FAULT;
683 }
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100684 shift = 3;
685 insn |= AARCH64_INSN_SF_BIT;
686 break;
687 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800688 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100689 return AARCH64_BREAK_FAULT;
Zi Shen Lim1bba5672014-08-27 05:15:21 +0100690 }
691
692 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn,
693 reg1);
694
695 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT2, insn,
696 reg2);
697
698 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
699 base);
700
701 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_7, insn,
702 offset >> shift);
703}
Zi Shen Lim9951a152014-08-27 05:15:22 +0100704
Daniel Borkmann85f68fe2017-05-01 02:57:20 +0200705u32 aarch64_insn_gen_load_store_ex(enum aarch64_insn_register reg,
706 enum aarch64_insn_register base,
707 enum aarch64_insn_register state,
708 enum aarch64_insn_size_type size,
709 enum aarch64_insn_ldst_type type)
710{
711 u32 insn;
712
713 switch (type) {
714 case AARCH64_INSN_LDST_LOAD_EX:
715 insn = aarch64_insn_get_load_ex_value();
716 break;
717 case AARCH64_INSN_LDST_STORE_EX:
718 insn = aarch64_insn_get_store_ex_value();
719 break;
720 default:
721 pr_err("%s: unknown load/store exclusive encoding %d\n", __func__, type);
722 return AARCH64_BREAK_FAULT;
723 }
724
725 insn = aarch64_insn_encode_ldst_size(size, insn);
726
727 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn,
728 reg);
729
730 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
731 base);
732
733 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT2, insn,
734 AARCH64_INSN_REG_ZR);
735
736 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RS, insn,
737 state);
738}
739
Daniel Borkmann34b8ab02019-04-26 21:48:22 +0200740u32 aarch64_insn_gen_ldadd(enum aarch64_insn_register result,
741 enum aarch64_insn_register address,
742 enum aarch64_insn_register value,
743 enum aarch64_insn_size_type size)
744{
745 u32 insn = aarch64_insn_get_ldadd_value();
746
747 switch (size) {
748 case AARCH64_INSN_SIZE_32:
749 case AARCH64_INSN_SIZE_64:
750 break;
751 default:
752 pr_err("%s: unimplemented size encoding %d\n", __func__, size);
753 return AARCH64_BREAK_FAULT;
754 }
755
756 insn = aarch64_insn_encode_ldst_size(size, insn);
757
758 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RT, insn,
759 result);
760
761 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
762 address);
763
764 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RS, insn,
765 value);
766}
767
768u32 aarch64_insn_gen_stadd(enum aarch64_insn_register address,
769 enum aarch64_insn_register value,
770 enum aarch64_insn_size_type size)
771{
772 /*
773 * STADD is simply encoded as an alias for LDADD with XZR as
774 * the destination register.
775 */
776 return aarch64_insn_gen_ldadd(AARCH64_INSN_REG_ZR, address,
777 value, size);
778}
779
Daniel Borkmann85f68fe2017-05-01 02:57:20 +0200780static u32 aarch64_insn_encode_prfm_imm(enum aarch64_insn_prfm_type type,
781 enum aarch64_insn_prfm_target target,
782 enum aarch64_insn_prfm_policy policy,
783 u32 insn)
784{
785 u32 imm_type = 0, imm_target = 0, imm_policy = 0;
786
787 switch (type) {
788 case AARCH64_INSN_PRFM_TYPE_PLD:
789 break;
790 case AARCH64_INSN_PRFM_TYPE_PLI:
791 imm_type = BIT(0);
792 break;
793 case AARCH64_INSN_PRFM_TYPE_PST:
794 imm_type = BIT(1);
795 break;
796 default:
797 pr_err("%s: unknown prfm type encoding %d\n", __func__, type);
798 return AARCH64_BREAK_FAULT;
799 }
800
801 switch (target) {
802 case AARCH64_INSN_PRFM_TARGET_L1:
803 break;
804 case AARCH64_INSN_PRFM_TARGET_L2:
805 imm_target = BIT(0);
806 break;
807 case AARCH64_INSN_PRFM_TARGET_L3:
808 imm_target = BIT(1);
809 break;
810 default:
811 pr_err("%s: unknown prfm target encoding %d\n", __func__, target);
812 return AARCH64_BREAK_FAULT;
813 }
814
815 switch (policy) {
816 case AARCH64_INSN_PRFM_POLICY_KEEP:
817 break;
818 case AARCH64_INSN_PRFM_POLICY_STRM:
819 imm_policy = BIT(0);
820 break;
821 default:
822 pr_err("%s: unknown prfm policy encoding %d\n", __func__, policy);
823 return AARCH64_BREAK_FAULT;
824 }
825
826 /* In this case, imm5 is encoded into Rt field. */
827 insn &= ~GENMASK(4, 0);
828 insn |= imm_policy | (imm_target << 1) | (imm_type << 3);
829
830 return insn;
831}
832
833u32 aarch64_insn_gen_prefetch(enum aarch64_insn_register base,
834 enum aarch64_insn_prfm_type type,
835 enum aarch64_insn_prfm_target target,
836 enum aarch64_insn_prfm_policy policy)
837{
838 u32 insn = aarch64_insn_get_prfm_value();
839
840 insn = aarch64_insn_encode_ldst_size(AARCH64_INSN_SIZE_64, insn);
841
842 insn = aarch64_insn_encode_prfm_imm(type, target, policy, insn);
843
844 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
845 base);
846
847 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_12, insn, 0);
848}
849
Zi Shen Lim9951a152014-08-27 05:15:22 +0100850u32 aarch64_insn_gen_add_sub_imm(enum aarch64_insn_register dst,
851 enum aarch64_insn_register src,
852 int imm, enum aarch64_insn_variant variant,
853 enum aarch64_insn_adsb_type type)
854{
855 u32 insn;
856
857 switch (type) {
858 case AARCH64_INSN_ADSB_ADD:
859 insn = aarch64_insn_get_add_imm_value();
860 break;
861 case AARCH64_INSN_ADSB_SUB:
862 insn = aarch64_insn_get_sub_imm_value();
863 break;
864 case AARCH64_INSN_ADSB_ADD_SETFLAGS:
865 insn = aarch64_insn_get_adds_imm_value();
866 break;
867 case AARCH64_INSN_ADSB_SUB_SETFLAGS:
868 insn = aarch64_insn_get_subs_imm_value();
869 break;
870 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800871 pr_err("%s: unknown add/sub encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100872 return AARCH64_BREAK_FAULT;
Zi Shen Lim9951a152014-08-27 05:15:22 +0100873 }
874
875 switch (variant) {
876 case AARCH64_INSN_VARIANT_32BIT:
877 break;
878 case AARCH64_INSN_VARIANT_64BIT:
879 insn |= AARCH64_INSN_SF_BIT;
880 break;
881 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800882 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100883 return AARCH64_BREAK_FAULT;
Zi Shen Lim9951a152014-08-27 05:15:22 +0100884 }
885
Marc Zyngier11d76402017-12-03 17:50:00 +0000886 /* We can't encode more than a 24bit value (12bit + 12bit shift) */
887 if (imm & ~(BIT(24) - 1))
888 goto out;
889
890 /* If we have something in the top 12 bits... */
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800891 if (imm & ~(SZ_4K - 1)) {
Marc Zyngier11d76402017-12-03 17:50:00 +0000892 /* ... and in the low 12 bits -> error */
893 if (imm & (SZ_4K - 1))
894 goto out;
895
896 imm >>= 12;
897 insn |= AARCH64_INSN_LSL_12;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800898 }
Zi Shen Lim9951a152014-08-27 05:15:22 +0100899
900 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
901
902 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
903
904 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_12, insn, imm);
Marc Zyngier11d76402017-12-03 17:50:00 +0000905
906out:
907 pr_err("%s: invalid immediate encoding %d\n", __func__, imm);
908 return AARCH64_BREAK_FAULT;
Zi Shen Lim9951a152014-08-27 05:15:22 +0100909}
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +0100910
911u32 aarch64_insn_gen_bitfield(enum aarch64_insn_register dst,
912 enum aarch64_insn_register src,
913 int immr, int imms,
914 enum aarch64_insn_variant variant,
915 enum aarch64_insn_bitfield_type type)
916{
917 u32 insn;
918 u32 mask;
919
920 switch (type) {
921 case AARCH64_INSN_BITFIELD_MOVE:
922 insn = aarch64_insn_get_bfm_value();
923 break;
924 case AARCH64_INSN_BITFIELD_MOVE_UNSIGNED:
925 insn = aarch64_insn_get_ubfm_value();
926 break;
927 case AARCH64_INSN_BITFIELD_MOVE_SIGNED:
928 insn = aarch64_insn_get_sbfm_value();
929 break;
930 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800931 pr_err("%s: unknown bitfield encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100932 return AARCH64_BREAK_FAULT;
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +0100933 }
934
935 switch (variant) {
936 case AARCH64_INSN_VARIANT_32BIT:
937 mask = GENMASK(4, 0);
938 break;
939 case AARCH64_INSN_VARIANT_64BIT:
940 insn |= AARCH64_INSN_SF_BIT | AARCH64_INSN_N_BIT;
941 mask = GENMASK(5, 0);
942 break;
943 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800944 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +0100945 return AARCH64_BREAK_FAULT;
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +0100946 }
947
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800948 if (immr & ~mask) {
949 pr_err("%s: invalid immr encoding %d\n", __func__, immr);
950 return AARCH64_BREAK_FAULT;
951 }
952 if (imms & ~mask) {
953 pr_err("%s: invalid imms encoding %d\n", __func__, imms);
954 return AARCH64_BREAK_FAULT;
955 }
Zi Shen Lim4a89d2c92014-08-27 05:15:23 +0100956
957 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
958
959 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
960
961 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_R, insn, immr);
962
963 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_S, insn, imms);
964}
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100965
966u32 aarch64_insn_gen_movewide(enum aarch64_insn_register dst,
967 int imm, int shift,
968 enum aarch64_insn_variant variant,
969 enum aarch64_insn_movewide_type type)
970{
971 u32 insn;
972
973 switch (type) {
974 case AARCH64_INSN_MOVEWIDE_ZERO:
975 insn = aarch64_insn_get_movz_value();
976 break;
977 case AARCH64_INSN_MOVEWIDE_KEEP:
978 insn = aarch64_insn_get_movk_value();
979 break;
980 case AARCH64_INSN_MOVEWIDE_INVERSE:
981 insn = aarch64_insn_get_movn_value();
982 break;
983 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800984 pr_err("%s: unknown movewide encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +0100985 return AARCH64_BREAK_FAULT;
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100986 }
987
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800988 if (imm & ~(SZ_64K - 1)) {
989 pr_err("%s: invalid immediate encoding %d\n", __func__, imm);
990 return AARCH64_BREAK_FAULT;
991 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +0100992
993 switch (variant) {
994 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -0800995 if (shift != 0 && shift != 16) {
996 pr_err("%s: invalid shift encoding %d\n", __func__,
997 shift);
998 return AARCH64_BREAK_FAULT;
999 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +01001000 break;
1001 case AARCH64_INSN_VARIANT_64BIT:
1002 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001003 if (shift != 0 && shift != 16 && shift != 32 && shift != 48) {
1004 pr_err("%s: invalid shift encoding %d\n", __func__,
1005 shift);
1006 return AARCH64_BREAK_FAULT;
1007 }
Zi Shen Lim6098f2d2014-08-27 05:15:24 +01001008 break;
1009 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001010 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001011 return AARCH64_BREAK_FAULT;
Zi Shen Lim6098f2d2014-08-27 05:15:24 +01001012 }
1013
1014 insn |= (shift >> 4) << 21;
1015
1016 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1017
1018 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_16, insn, imm);
1019}
Zi Shen Lim5fdc6392014-08-27 05:15:25 +01001020
1021u32 aarch64_insn_gen_add_sub_shifted_reg(enum aarch64_insn_register dst,
1022 enum aarch64_insn_register src,
1023 enum aarch64_insn_register reg,
1024 int shift,
1025 enum aarch64_insn_variant variant,
1026 enum aarch64_insn_adsb_type type)
1027{
1028 u32 insn;
1029
1030 switch (type) {
1031 case AARCH64_INSN_ADSB_ADD:
1032 insn = aarch64_insn_get_add_value();
1033 break;
1034 case AARCH64_INSN_ADSB_SUB:
1035 insn = aarch64_insn_get_sub_value();
1036 break;
1037 case AARCH64_INSN_ADSB_ADD_SETFLAGS:
1038 insn = aarch64_insn_get_adds_value();
1039 break;
1040 case AARCH64_INSN_ADSB_SUB_SETFLAGS:
1041 insn = aarch64_insn_get_subs_value();
1042 break;
1043 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001044 pr_err("%s: unknown add/sub encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001045 return AARCH64_BREAK_FAULT;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +01001046 }
1047
1048 switch (variant) {
1049 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001050 if (shift & ~(SZ_32 - 1)) {
1051 pr_err("%s: invalid shift encoding %d\n", __func__,
1052 shift);
1053 return AARCH64_BREAK_FAULT;
1054 }
Zi Shen Lim5fdc6392014-08-27 05:15:25 +01001055 break;
1056 case AARCH64_INSN_VARIANT_64BIT:
1057 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001058 if (shift & ~(SZ_64 - 1)) {
1059 pr_err("%s: invalid shift encoding %d\n", __func__,
1060 shift);
1061 return AARCH64_BREAK_FAULT;
1062 }
Zi Shen Lim5fdc6392014-08-27 05:15:25 +01001063 break;
1064 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001065 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001066 return AARCH64_BREAK_FAULT;
Zi Shen Lim5fdc6392014-08-27 05:15:25 +01001067 }
1068
1069
1070 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1071
1072 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1073
1074 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
1075
1076 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_6, insn, shift);
1077}
Zi Shen Lim546dd362014-08-27 05:15:26 +01001078
1079u32 aarch64_insn_gen_data1(enum aarch64_insn_register dst,
1080 enum aarch64_insn_register src,
1081 enum aarch64_insn_variant variant,
1082 enum aarch64_insn_data1_type type)
1083{
1084 u32 insn;
1085
1086 switch (type) {
1087 case AARCH64_INSN_DATA1_REVERSE_16:
1088 insn = aarch64_insn_get_rev16_value();
1089 break;
1090 case AARCH64_INSN_DATA1_REVERSE_32:
1091 insn = aarch64_insn_get_rev32_value();
1092 break;
1093 case AARCH64_INSN_DATA1_REVERSE_64:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001094 if (variant != AARCH64_INSN_VARIANT_64BIT) {
1095 pr_err("%s: invalid variant for reverse64 %d\n",
1096 __func__, variant);
1097 return AARCH64_BREAK_FAULT;
1098 }
Zi Shen Lim546dd362014-08-27 05:15:26 +01001099 insn = aarch64_insn_get_rev64_value();
1100 break;
1101 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001102 pr_err("%s: unknown data1 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001103 return AARCH64_BREAK_FAULT;
Zi Shen Lim546dd362014-08-27 05:15:26 +01001104 }
1105
1106 switch (variant) {
1107 case AARCH64_INSN_VARIANT_32BIT:
1108 break;
1109 case AARCH64_INSN_VARIANT_64BIT:
1110 insn |= AARCH64_INSN_SF_BIT;
1111 break;
1112 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001113 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001114 return AARCH64_BREAK_FAULT;
Zi Shen Lim546dd362014-08-27 05:15:26 +01001115 }
1116
1117 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1118
1119 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1120}
Zi Shen Lim64810632014-08-27 05:15:27 +01001121
1122u32 aarch64_insn_gen_data2(enum aarch64_insn_register dst,
1123 enum aarch64_insn_register src,
1124 enum aarch64_insn_register reg,
1125 enum aarch64_insn_variant variant,
1126 enum aarch64_insn_data2_type type)
1127{
1128 u32 insn;
1129
1130 switch (type) {
1131 case AARCH64_INSN_DATA2_UDIV:
1132 insn = aarch64_insn_get_udiv_value();
1133 break;
1134 case AARCH64_INSN_DATA2_SDIV:
1135 insn = aarch64_insn_get_sdiv_value();
1136 break;
1137 case AARCH64_INSN_DATA2_LSLV:
1138 insn = aarch64_insn_get_lslv_value();
1139 break;
1140 case AARCH64_INSN_DATA2_LSRV:
1141 insn = aarch64_insn_get_lsrv_value();
1142 break;
1143 case AARCH64_INSN_DATA2_ASRV:
1144 insn = aarch64_insn_get_asrv_value();
1145 break;
1146 case AARCH64_INSN_DATA2_RORV:
1147 insn = aarch64_insn_get_rorv_value();
1148 break;
1149 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001150 pr_err("%s: unknown data2 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001151 return AARCH64_BREAK_FAULT;
Zi Shen Lim64810632014-08-27 05:15:27 +01001152 }
1153
1154 switch (variant) {
1155 case AARCH64_INSN_VARIANT_32BIT:
1156 break;
1157 case AARCH64_INSN_VARIANT_64BIT:
1158 insn |= AARCH64_INSN_SF_BIT;
1159 break;
1160 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001161 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001162 return AARCH64_BREAK_FAULT;
Zi Shen Lim64810632014-08-27 05:15:27 +01001163 }
1164
1165 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1166
1167 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1168
1169 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
1170}
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001171
1172u32 aarch64_insn_gen_data3(enum aarch64_insn_register dst,
1173 enum aarch64_insn_register src,
1174 enum aarch64_insn_register reg1,
1175 enum aarch64_insn_register reg2,
1176 enum aarch64_insn_variant variant,
1177 enum aarch64_insn_data3_type type)
1178{
1179 u32 insn;
1180
1181 switch (type) {
1182 case AARCH64_INSN_DATA3_MADD:
1183 insn = aarch64_insn_get_madd_value();
1184 break;
1185 case AARCH64_INSN_DATA3_MSUB:
1186 insn = aarch64_insn_get_msub_value();
1187 break;
1188 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001189 pr_err("%s: unknown data3 encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001190 return AARCH64_BREAK_FAULT;
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001191 }
1192
1193 switch (variant) {
1194 case AARCH64_INSN_VARIANT_32BIT:
1195 break;
1196 case AARCH64_INSN_VARIANT_64BIT:
1197 insn |= AARCH64_INSN_SF_BIT;
1198 break;
1199 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001200 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001201 return AARCH64_BREAK_FAULT;
Zi Shen Lim27f95ba2014-08-27 05:15:28 +01001202 }
1203
1204 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1205
1206 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RA, insn, src);
1207
1208 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn,
1209 reg1);
1210
1211 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn,
1212 reg2);
1213}
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001214
1215u32 aarch64_insn_gen_logical_shifted_reg(enum aarch64_insn_register dst,
1216 enum aarch64_insn_register src,
1217 enum aarch64_insn_register reg,
1218 int shift,
1219 enum aarch64_insn_variant variant,
1220 enum aarch64_insn_logic_type type)
1221{
1222 u32 insn;
1223
1224 switch (type) {
1225 case AARCH64_INSN_LOGIC_AND:
1226 insn = aarch64_insn_get_and_value();
1227 break;
1228 case AARCH64_INSN_LOGIC_BIC:
1229 insn = aarch64_insn_get_bic_value();
1230 break;
1231 case AARCH64_INSN_LOGIC_ORR:
1232 insn = aarch64_insn_get_orr_value();
1233 break;
1234 case AARCH64_INSN_LOGIC_ORN:
1235 insn = aarch64_insn_get_orn_value();
1236 break;
1237 case AARCH64_INSN_LOGIC_EOR:
1238 insn = aarch64_insn_get_eor_value();
1239 break;
1240 case AARCH64_INSN_LOGIC_EON:
1241 insn = aarch64_insn_get_eon_value();
1242 break;
1243 case AARCH64_INSN_LOGIC_AND_SETFLAGS:
1244 insn = aarch64_insn_get_ands_value();
1245 break;
1246 case AARCH64_INSN_LOGIC_BIC_SETFLAGS:
1247 insn = aarch64_insn_get_bics_value();
1248 break;
1249 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001250 pr_err("%s: unknown logical encoding %d\n", __func__, type);
Mark Browna9ae04c2014-09-16 17:42:33 +01001251 return AARCH64_BREAK_FAULT;
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001252 }
1253
1254 switch (variant) {
1255 case AARCH64_INSN_VARIANT_32BIT:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001256 if (shift & ~(SZ_32 - 1)) {
1257 pr_err("%s: invalid shift encoding %d\n", __func__,
1258 shift);
1259 return AARCH64_BREAK_FAULT;
1260 }
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001261 break;
1262 case AARCH64_INSN_VARIANT_64BIT:
1263 insn |= AARCH64_INSN_SF_BIT;
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001264 if (shift & ~(SZ_64 - 1)) {
1265 pr_err("%s: invalid shift encoding %d\n", __func__,
1266 shift);
1267 return AARCH64_BREAK_FAULT;
1268 }
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001269 break;
1270 default:
Zi Shen Limc94ae4f2016-01-13 23:33:21 -08001271 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
Mark Browna9ae04c2014-09-16 17:42:33 +01001272 return AARCH64_BREAK_FAULT;
Zi Shen Lim5e6e15a2014-08-27 05:15:29 +01001273 }
1274
1275
1276 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, dst);
1277
1278 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, src);
1279
1280 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, reg);
1281
1282 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_6, insn, shift);
1283}
Punit Agrawal9b79f522014-11-18 11:41:22 +00001284
Mark Rutlande3bf8a62019-10-18 11:25:26 +01001285/*
1286 * MOV (register) is architecturally an alias of ORR (shifted register) where
1287 * MOV <*d>, <*m> is equivalent to ORR <*d>, <*ZR>, <*m>
1288 */
1289u32 aarch64_insn_gen_move_reg(enum aarch64_insn_register dst,
1290 enum aarch64_insn_register src,
1291 enum aarch64_insn_variant variant)
1292{
1293 return aarch64_insn_gen_logical_shifted_reg(dst, AARCH64_INSN_REG_ZR,
1294 src, 0, variant,
1295 AARCH64_INSN_LOGIC_ORR);
1296}
1297
Ard Biesheuvel7aaf7b22018-11-22 09:46:45 +01001298u32 aarch64_insn_gen_adr(unsigned long pc, unsigned long addr,
1299 enum aarch64_insn_register reg,
1300 enum aarch64_insn_adr_type type)
1301{
1302 u32 insn;
1303 s32 offset;
1304
1305 switch (type) {
1306 case AARCH64_INSN_ADR_TYPE_ADR:
1307 insn = aarch64_insn_get_adr_value();
1308 offset = addr - pc;
1309 break;
1310 case AARCH64_INSN_ADR_TYPE_ADRP:
1311 insn = aarch64_insn_get_adrp_value();
1312 offset = (addr - ALIGN_DOWN(pc, SZ_4K)) >> 12;
1313 break;
1314 default:
1315 pr_err("%s: unknown adr encoding %d\n", __func__, type);
1316 return AARCH64_BREAK_FAULT;
1317 }
1318
1319 if (offset < -SZ_1M || offset >= SZ_1M)
1320 return AARCH64_BREAK_FAULT;
1321
1322 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, reg);
1323
1324 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_ADR, insn, offset);
1325}
1326
Marc Zyngier10b48f72015-06-01 10:47:39 +01001327/*
1328 * Decode the imm field of a branch, and return the byte offset as a
1329 * signed value (so it can be used when computing a new branch
1330 * target).
1331 */
1332s32 aarch64_get_branch_offset(u32 insn)
1333{
1334 s32 imm;
1335
1336 if (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn)) {
1337 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_26, insn);
1338 return (imm << 6) >> 4;
1339 }
1340
1341 if (aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
1342 aarch64_insn_is_bcond(insn)) {
1343 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_19, insn);
1344 return (imm << 13) >> 11;
1345 }
1346
1347 if (aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn)) {
1348 imm = aarch64_insn_decode_immediate(AARCH64_INSN_IMM_14, insn);
1349 return (imm << 18) >> 16;
1350 }
1351
1352 /* Unhandled instruction */
1353 BUG();
1354}
1355
1356/*
1357 * Encode the displacement of a branch in the imm field and return the
1358 * updated instruction.
1359 */
1360u32 aarch64_set_branch_offset(u32 insn, s32 offset)
1361{
1362 if (aarch64_insn_is_b(insn) || aarch64_insn_is_bl(insn))
1363 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_26, insn,
1364 offset >> 2);
1365
1366 if (aarch64_insn_is_cbz(insn) || aarch64_insn_is_cbnz(insn) ||
1367 aarch64_insn_is_bcond(insn))
1368 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_19, insn,
1369 offset >> 2);
1370
1371 if (aarch64_insn_is_tbz(insn) || aarch64_insn_is_tbnz(insn))
1372 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_14, insn,
1373 offset >> 2);
1374
1375 /* Unhandled instruction */
1376 BUG();
1377}
1378
Suzuki K Poulose46084bc2016-09-09 14:07:12 +01001379s32 aarch64_insn_adrp_get_offset(u32 insn)
1380{
1381 BUG_ON(!aarch64_insn_is_adrp(insn));
1382 return aarch64_insn_decode_immediate(AARCH64_INSN_IMM_ADR, insn) << 12;
1383}
1384
1385u32 aarch64_insn_adrp_set_offset(u32 insn, s32 offset)
1386{
1387 BUG_ON(!aarch64_insn_is_adrp(insn));
1388 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_ADR, insn,
1389 offset >> 12);
1390}
1391
David A. Longd59bee82016-07-08 12:35:46 -04001392/*
1393 * Extract the Op/CR data from a msr/mrs instruction.
1394 */
1395u32 aarch64_insn_extract_system_reg(u32 insn)
1396{
1397 return (insn & 0x1FFFE0) >> 5;
1398}
1399
Punit Agrawal9b79f522014-11-18 11:41:22 +00001400bool aarch32_insn_is_wide(u32 insn)
1401{
1402 return insn >= 0xe800;
1403}
Punit Agrawalbd35a4a2014-11-18 11:41:25 +00001404
1405/*
1406 * Macros/defines for extracting register numbers from instruction.
1407 */
1408u32 aarch32_insn_extract_reg_num(u32 insn, int offset)
1409{
1410 return (insn & (0xf << offset)) >> offset;
1411}
Punit Agrawalc852f322014-11-18 11:41:26 +00001412
1413#define OPC2_MASK 0x7
1414#define OPC2_OFFSET 5
1415u32 aarch32_insn_mcr_extract_opc2(u32 insn)
1416{
1417 return (insn & (OPC2_MASK << OPC2_OFFSET)) >> OPC2_OFFSET;
1418}
1419
1420#define CRM_MASK 0xf
1421u32 aarch32_insn_mcr_extract_crm(u32 insn)
1422{
1423 return insn & CRM_MASK;
1424}
David A. Long2af3ec02016-07-08 12:35:47 -04001425
1426static bool __kprobes __check_eq(unsigned long pstate)
1427{
1428 return (pstate & PSR_Z_BIT) != 0;
1429}
1430
1431static bool __kprobes __check_ne(unsigned long pstate)
1432{
1433 return (pstate & PSR_Z_BIT) == 0;
1434}
1435
1436static bool __kprobes __check_cs(unsigned long pstate)
1437{
1438 return (pstate & PSR_C_BIT) != 0;
1439}
1440
1441static bool __kprobes __check_cc(unsigned long pstate)
1442{
1443 return (pstate & PSR_C_BIT) == 0;
1444}
1445
1446static bool __kprobes __check_mi(unsigned long pstate)
1447{
1448 return (pstate & PSR_N_BIT) != 0;
1449}
1450
1451static bool __kprobes __check_pl(unsigned long pstate)
1452{
1453 return (pstate & PSR_N_BIT) == 0;
1454}
1455
1456static bool __kprobes __check_vs(unsigned long pstate)
1457{
1458 return (pstate & PSR_V_BIT) != 0;
1459}
1460
1461static bool __kprobes __check_vc(unsigned long pstate)
1462{
1463 return (pstate & PSR_V_BIT) == 0;
1464}
1465
1466static bool __kprobes __check_hi(unsigned long pstate)
1467{
1468 pstate &= ~(pstate >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1469 return (pstate & PSR_C_BIT) != 0;
1470}
1471
1472static bool __kprobes __check_ls(unsigned long pstate)
1473{
1474 pstate &= ~(pstate >> 1); /* PSR_C_BIT &= ~PSR_Z_BIT */
1475 return (pstate & PSR_C_BIT) == 0;
1476}
1477
1478static bool __kprobes __check_ge(unsigned long pstate)
1479{
1480 pstate ^= (pstate << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1481 return (pstate & PSR_N_BIT) == 0;
1482}
1483
1484static bool __kprobes __check_lt(unsigned long pstate)
1485{
1486 pstate ^= (pstate << 3); /* PSR_N_BIT ^= PSR_V_BIT */
1487 return (pstate & PSR_N_BIT) != 0;
1488}
1489
1490static bool __kprobes __check_gt(unsigned long pstate)
1491{
1492 /*PSR_N_BIT ^= PSR_V_BIT */
1493 unsigned long temp = pstate ^ (pstate << 3);
1494
1495 temp |= (pstate << 1); /*PSR_N_BIT |= PSR_Z_BIT */
1496 return (temp & PSR_N_BIT) == 0;
1497}
1498
1499static bool __kprobes __check_le(unsigned long pstate)
1500{
1501 /*PSR_N_BIT ^= PSR_V_BIT */
1502 unsigned long temp = pstate ^ (pstate << 3);
1503
1504 temp |= (pstate << 1); /*PSR_N_BIT |= PSR_Z_BIT */
1505 return (temp & PSR_N_BIT) != 0;
1506}
1507
1508static bool __kprobes __check_al(unsigned long pstate)
1509{
1510 return true;
1511}
1512
1513/*
1514 * Note that the ARMv8 ARM calls condition code 0b1111 "nv", but states that
1515 * it behaves identically to 0b1110 ("al").
1516 */
1517pstate_check_t * const aarch32_opcode_cond_checks[16] = {
1518 __check_eq, __check_ne, __check_cs, __check_cc,
1519 __check_mi, __check_pl, __check_vs, __check_vc,
1520 __check_hi, __check_ls, __check_ge, __check_lt,
1521 __check_gt, __check_le, __check_al, __check_al
1522};
Marc Zyngieref3935e2017-12-03 17:09:08 +00001523
1524static bool range_of_ones(u64 val)
1525{
1526 /* Doesn't handle full ones or full zeroes */
1527 u64 sval = val >> __ffs64(val);
1528
1529 /* One of Sean Eron Anderson's bithack tricks */
1530 return ((sval + 1) & (sval)) == 0;
1531}
1532
1533static u32 aarch64_encode_immediate(u64 imm,
1534 enum aarch64_insn_variant variant,
1535 u32 insn)
1536{
1537 unsigned int immr, imms, n, ones, ror, esz, tmp;
1538 u64 mask = ~0UL;
1539
1540 /* Can't encode full zeroes or full ones */
1541 if (!imm || !~imm)
1542 return AARCH64_BREAK_FAULT;
1543
1544 switch (variant) {
1545 case AARCH64_INSN_VARIANT_32BIT:
1546 if (upper_32_bits(imm))
1547 return AARCH64_BREAK_FAULT;
1548 esz = 32;
1549 break;
1550 case AARCH64_INSN_VARIANT_64BIT:
1551 insn |= AARCH64_INSN_SF_BIT;
1552 esz = 64;
1553 break;
1554 default:
1555 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
1556 return AARCH64_BREAK_FAULT;
1557 }
1558
1559 /*
1560 * Inverse of Replicate(). Try to spot a repeating pattern
1561 * with a pow2 stride.
1562 */
1563 for (tmp = esz / 2; tmp >= 2; tmp /= 2) {
1564 u64 emask = BIT(tmp) - 1;
1565
1566 if ((imm & emask) != ((imm >> tmp) & emask))
1567 break;
1568
1569 esz = tmp;
1570 mask = emask;
1571 }
1572
1573 /* N is only set if we're encoding a 64bit value */
1574 n = esz == 64;
1575
1576 /* Trim imm to the element size */
1577 imm &= mask;
1578
1579 /* That's how many ones we need to encode */
1580 ones = hweight64(imm);
1581
1582 /*
1583 * imms is set to (ones - 1), prefixed with a string of ones
1584 * and a zero if they fit. Cap it to 6 bits.
1585 */
1586 imms = ones - 1;
1587 imms |= 0xf << ffs(esz);
1588 imms &= BIT(6) - 1;
1589
1590 /* Compute the rotation */
1591 if (range_of_ones(imm)) {
1592 /*
1593 * Pattern: 0..01..10..0
1594 *
1595 * Compute how many rotate we need to align it right
1596 */
1597 ror = __ffs64(imm);
1598 } else {
1599 /*
1600 * Pattern: 0..01..10..01..1
1601 *
1602 * Fill the unused top bits with ones, and check if
1603 * the result is a valid immediate (all ones with a
1604 * contiguous ranges of zeroes).
1605 */
1606 imm |= ~mask;
1607 if (!range_of_ones(~imm))
1608 return AARCH64_BREAK_FAULT;
1609
1610 /*
1611 * Compute the rotation to get a continuous set of
1612 * ones, with the first bit set at position 0
1613 */
1614 ror = fls(~imm);
1615 }
1616
1617 /*
1618 * immr is the number of bits we need to rotate back to the
1619 * original set of ones. Note that this is relative to the
1620 * element size...
1621 */
1622 immr = (esz - ror) % esz;
1623
1624 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_N, insn, n);
1625 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_R, insn, immr);
1626 return aarch64_insn_encode_immediate(AARCH64_INSN_IMM_S, insn, imms);
1627}
1628
1629u32 aarch64_insn_gen_logical_immediate(enum aarch64_insn_logic_type type,
1630 enum aarch64_insn_variant variant,
1631 enum aarch64_insn_register Rn,
1632 enum aarch64_insn_register Rd,
1633 u64 imm)
1634{
1635 u32 insn;
1636
1637 switch (type) {
1638 case AARCH64_INSN_LOGIC_AND:
1639 insn = aarch64_insn_get_and_imm_value();
1640 break;
1641 case AARCH64_INSN_LOGIC_ORR:
1642 insn = aarch64_insn_get_orr_imm_value();
1643 break;
1644 case AARCH64_INSN_LOGIC_EOR:
1645 insn = aarch64_insn_get_eor_imm_value();
1646 break;
1647 case AARCH64_INSN_LOGIC_AND_SETFLAGS:
1648 insn = aarch64_insn_get_ands_imm_value();
1649 break;
1650 default:
1651 pr_err("%s: unknown logical encoding %d\n", __func__, type);
1652 return AARCH64_BREAK_FAULT;
1653 }
1654
1655 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, Rd);
1656 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, Rn);
1657 return aarch64_encode_immediate(imm, variant, insn);
1658}
Marc Zyngier9f2efa32017-12-03 17:47:03 +00001659
1660u32 aarch64_insn_gen_extr(enum aarch64_insn_variant variant,
1661 enum aarch64_insn_register Rm,
1662 enum aarch64_insn_register Rn,
1663 enum aarch64_insn_register Rd,
1664 u8 lsb)
1665{
1666 u32 insn;
1667
1668 insn = aarch64_insn_get_extr_value();
1669
1670 switch (variant) {
1671 case AARCH64_INSN_VARIANT_32BIT:
1672 if (lsb > 31)
1673 return AARCH64_BREAK_FAULT;
1674 break;
1675 case AARCH64_INSN_VARIANT_64BIT:
1676 if (lsb > 63)
1677 return AARCH64_BREAK_FAULT;
1678 insn |= AARCH64_INSN_SF_BIT;
1679 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_N, insn, 1);
1680 break;
1681 default:
1682 pr_err("%s: unknown variant encoding %d\n", __func__, variant);
1683 return AARCH64_BREAK_FAULT;
1684 }
1685
1686 insn = aarch64_insn_encode_immediate(AARCH64_INSN_IMM_S, insn, lsb);
1687 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RD, insn, Rd);
1688 insn = aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RN, insn, Rn);
1689 return aarch64_insn_encode_register(AARCH64_INSN_REGTYPE_RM, insn, Rm);
1690}