blob: 55101bd86b9839b06fef8857510ccdc3095170f8 [file] [log] [blame]
Andre Przywarae039ee42014-11-14 15:54:08 +00001#ifndef __ASM_ALTERNATIVE_H
2#define __ASM_ALTERNATIVE_H
3
James Morse57f49592016-02-05 14:58:48 +00004#include <asm/cpufeature.h>
Mark Rutland792d4732016-09-07 11:07:08 +01005#include <asm/insn.h>
James Morse57f49592016-02-05 14:58:48 +00006
Marc Zyngier8d883b22015-06-01 10:47:41 +01007#ifndef __ASSEMBLY__
8
Will Deaconef5e7242015-07-28 19:07:28 +01009#include <linux/init.h>
James Morse91a5cef2015-07-21 13:23:30 +010010#include <linux/kconfig.h>
Andre Przywarae039ee42014-11-14 15:54:08 +000011#include <linux/types.h>
12#include <linux/stddef.h>
13#include <linux/stringify.h>
14
15struct alt_instr {
16 s32 orig_offset; /* offset to original instruction */
17 s32 alt_offset; /* offset to replacement instruction */
18 u16 cpufeature; /* cpufeature bit set for replacement */
19 u8 orig_len; /* size of original instruction(s) */
20 u8 alt_len; /* size of new instruction(s), <= orig_len */
21};
22
Will Deaconef5e7242015-07-28 19:07:28 +010023void __init apply_alternatives_all(void);
Andre Przywara932ded42014-11-28 13:40:45 +000024void apply_alternatives(void *start, size_t length);
Andre Przywarae039ee42014-11-14 15:54:08 +000025
26#define ALTINSTR_ENTRY(feature) \
27 " .word 661b - .\n" /* label */ \
28 " .word 663f - .\n" /* new instruction */ \
29 " .hword " __stringify(feature) "\n" /* feature bit */ \
30 " .byte 662b-661b\n" /* source len */ \
31 " .byte 664f-663f\n" /* replacement len */
32
Marc Zyngiereb7c11e2015-06-01 10:47:42 +010033/*
34 * alternative assembly primitive:
35 *
36 * If any of these .org directive fail, it means that insn1 and insn2
37 * don't have the same length. This used to be written as
38 *
39 * .if ((664b-663b) != (662b-661b))
40 * .error "Alternatives instruction length mismatch"
41 * .endif
42 *
43 * but most assemblers die if insn1 or insn2 have a .inst. This should
44 * be fixed in a binutils release posterior to 2.25.51.0.2 (anything
45 * containing commit 4e4d08cf7399b606 or c1baaddf8861).
46 */
James Morse91a5cef2015-07-21 13:23:30 +010047#define __ALTERNATIVE_CFG(oldinstr, newinstr, feature, cfg_enabled) \
48 ".if "__stringify(cfg_enabled)" == 1\n" \
Andre Przywarae039ee42014-11-14 15:54:08 +000049 "661:\n\t" \
50 oldinstr "\n" \
51 "662:\n" \
52 ".pushsection .altinstructions,\"a\"\n" \
53 ALTINSTR_ENTRY(feature) \
54 ".popsection\n" \
55 ".pushsection .altinstr_replacement, \"a\"\n" \
56 "663:\n\t" \
57 newinstr "\n" \
58 "664:\n\t" \
59 ".popsection\n\t" \
Marc Zyngiereb7c11e2015-06-01 10:47:42 +010060 ".org . - (664b-663b) + (662b-661b)\n\t" \
James Morse91a5cef2015-07-21 13:23:30 +010061 ".org . - (662b-661b) + (664b-663b)\n" \
62 ".endif\n"
63
64#define _ALTERNATIVE_CFG(oldinstr, newinstr, feature, cfg, ...) \
65 __ALTERNATIVE_CFG(oldinstr, newinstr, feature, IS_ENABLED(cfg))
Andre Przywarae039ee42014-11-14 15:54:08 +000066
Marc Zyngier8d883b22015-06-01 10:47:41 +010067#else
68
James Morse57f49592016-02-05 14:58:48 +000069#include <asm/assembler.h>
70
Marc Zyngier8d883b22015-06-01 10:47:41 +010071.macro altinstruction_entry orig_offset alt_offset feature orig_len alt_len
72 .word \orig_offset - .
73 .word \alt_offset - .
74 .hword \feature
75 .byte \orig_len
76 .byte \alt_len
77.endm
78
James Morse91a5cef2015-07-21 13:23:30 +010079.macro alternative_insn insn1, insn2, cap, enable = 1
80 .if \enable
Marc Zyngier8d883b22015-06-01 10:47:41 +010081661: \insn1
82662: .pushsection .altinstructions, "a"
83 altinstruction_entry 661b, 663f, \cap, 662b-661b, 664f-663f
84 .popsection
85 .pushsection .altinstr_replacement, "ax"
86663: \insn2
87664: .popsection
Marc Zyngiereb7c11e2015-06-01 10:47:42 +010088 .org . - (664b-663b) + (662b-661b)
89 .org . - (662b-661b) + (664b-663b)
James Morse91a5cef2015-07-21 13:23:30 +010090 .endif
Marc Zyngier8d883b22015-06-01 10:47:41 +010091.endm
92
Daniel Thompson63e40812015-07-22 12:21:01 +010093/*
Mark Rutland792d4732016-09-07 11:07:08 +010094 * Alternative sequences
Daniel Thompson63e40812015-07-22 12:21:01 +010095 *
Mark Rutland792d4732016-09-07 11:07:08 +010096 * The code for the case where the capability is not present will be
97 * assembled and linked as normal. There are no restrictions on this
98 * code.
Daniel Thompson63e40812015-07-22 12:21:01 +010099 *
Mark Rutland792d4732016-09-07 11:07:08 +0100100 * The code for the case where the capability is present will be
101 * assembled into a special section to be used for dynamic patching.
102 * Code for that case must:
Daniel Thompson63e40812015-07-22 12:21:01 +0100103 *
104 * 1. Be exactly the same length (in bytes) as the default code
105 * sequence.
106 *
107 * 2. Not contain a branch target that is used outside of the
108 * alternative sequence it is defined in (branches into an
109 * alternative sequence are not fixed up).
110 */
Mark Rutland792d4732016-09-07 11:07:08 +0100111
112/*
113 * Begin an alternative code sequence.
114 */
115.macro alternative_if_not cap
116 .set .Lasm_alt_mode, 0
117 .pushsection .altinstructions, "a"
118 altinstruction_entry 661f, 663f, \cap, 662f-661f, 664f-663f
119 .popsection
120661:
121.endm
122
123.macro alternative_if cap
124 .set .Lasm_alt_mode, 1
125 .pushsection .altinstructions, "a"
126 altinstruction_entry 663f, 661f, \cap, 664f-663f, 662f-661f
127 .popsection
128 .pushsection .altinstr_replacement, "ax"
129 .align 2 /* So GAS knows label 661 is suitably aligned */
130661:
131.endm
132
133/*
134 * Provide the other half of the alternative code sequence.
135 */
Andre Przywarab82bfa42016-06-28 18:07:27 +0100136.macro alternative_else
Mark Rutland792d4732016-09-07 11:07:08 +0100137662:
138 .if .Lasm_alt_mode==0
139 .pushsection .altinstr_replacement, "ax"
140 .else
141 .popsection
142 .endif
Daniel Thompson63e40812015-07-22 12:21:01 +0100143663:
144.endm
145
146/*
147 * Complete an alternative code sequence.
148 */
Andre Przywarab82bfa42016-06-28 18:07:27 +0100149.macro alternative_endif
Mark Rutland792d4732016-09-07 11:07:08 +0100150664:
151 .if .Lasm_alt_mode==0
152 .popsection
153 .endif
Daniel Thompson63e40812015-07-22 12:21:01 +0100154 .org . - (664b-663b) + (662b-661b)
155 .org . - (662b-661b) + (664b-663b)
156.endm
157
Mark Rutland792d4732016-09-07 11:07:08 +0100158/*
159 * Provides a trivial alternative or default sequence consisting solely
160 * of NOPs. The number of NOPs is chosen automatically to match the
161 * previous case.
162 */
163.macro alternative_else_nop_endif
164alternative_else
165 nops (662b-661b) / AARCH64_INSN_SIZE
166alternative_endif
167.endm
168
James Morse91a5cef2015-07-21 13:23:30 +0100169#define _ALTERNATIVE_CFG(insn1, insn2, cap, cfg, ...) \
170 alternative_insn insn1, insn2, cap, IS_ENABLED(cfg)
171
Andre Przywara290622e2016-06-28 18:07:28 +0100172.macro user_alt, label, oldinstr, newinstr, cond
1739999: alternative_insn "\oldinstr", "\newinstr", \cond
174 _ASM_EXTABLE 9999b, \label
175.endm
James Morse91a5cef2015-07-21 13:23:30 +0100176
James Morse57f49592016-02-05 14:58:48 +0000177/*
178 * Generate the assembly for UAO alternatives with exception table entries.
179 * This is complicated as there is no post-increment or pair versions of the
180 * unprivileged instructions, and USER() only works for single instructions.
181 */
182#ifdef CONFIG_ARM64_UAO
183 .macro uao_ldp l, reg1, reg2, addr, post_inc
184 alternative_if_not ARM64_HAS_UAO
1858888: ldp \reg1, \reg2, [\addr], \post_inc;
1868889: nop;
187 nop;
188 alternative_else
189 ldtr \reg1, [\addr];
190 ldtr \reg2, [\addr, #8];
191 add \addr, \addr, \post_inc;
192 alternative_endif
193
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100194 _asm_extable 8888b,\l;
195 _asm_extable 8889b,\l;
James Morse57f49592016-02-05 14:58:48 +0000196 .endm
197
198 .macro uao_stp l, reg1, reg2, addr, post_inc
199 alternative_if_not ARM64_HAS_UAO
2008888: stp \reg1, \reg2, [\addr], \post_inc;
2018889: nop;
202 nop;
203 alternative_else
204 sttr \reg1, [\addr];
205 sttr \reg2, [\addr, #8];
206 add \addr, \addr, \post_inc;
207 alternative_endif
208
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100209 _asm_extable 8888b,\l;
210 _asm_extable 8889b,\l;
James Morse57f49592016-02-05 14:58:48 +0000211 .endm
212
213 .macro uao_user_alternative l, inst, alt_inst, reg, addr, post_inc
214 alternative_if_not ARM64_HAS_UAO
2158888: \inst \reg, [\addr], \post_inc;
216 nop;
217 alternative_else
218 \alt_inst \reg, [\addr];
219 add \addr, \addr, \post_inc;
220 alternative_endif
221
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100222 _asm_extable 8888b,\l;
James Morse57f49592016-02-05 14:58:48 +0000223 .endm
224#else
225 .macro uao_ldp l, reg1, reg2, addr, post_inc
226 USER(\l, ldp \reg1, \reg2, [\addr], \post_inc)
227 .endm
228 .macro uao_stp l, reg1, reg2, addr, post_inc
229 USER(\l, stp \reg1, \reg2, [\addr], \post_inc)
230 .endm
231 .macro uao_user_alternative l, inst, alt_inst, reg, addr, post_inc
232 USER(\l, \inst \reg, [\addr], \post_inc)
233 .endm
234#endif
235
Marc Zyngier8d883b22015-06-01 10:47:41 +0100236#endif /* __ASSEMBLY__ */
237
James Morse91a5cef2015-07-21 13:23:30 +0100238/*
239 * Usage: asm(ALTERNATIVE(oldinstr, newinstr, feature));
240 *
241 * Usage: asm(ALTERNATIVE(oldinstr, newinstr, feature, CONFIG_FOO));
242 * N.B. If CONFIG_FOO is specified, but not selected, the whole block
243 * will be omitted, including oldinstr.
244 */
245#define ALTERNATIVE(oldinstr, newinstr, ...) \
246 _ALTERNATIVE_CFG(oldinstr, newinstr, __VA_ARGS__, 1)
247
Andre Przywarae039ee42014-11-14 15:54:08 +0000248#endif /* __ASM_ALTERNATIVE_H */