Add -Zfixed-x18
Signed-off-by: Alice Ryhl <aliceryhl@google.com>
This commit is contained in:
parent
79734f1db8
commit
40f0172c6a
@ -615,6 +615,11 @@ pub(crate) fn global_llvm_features(sess: &Session, diagnostics: bool) -> Vec<Str
|
|||||||
.flatten();
|
.flatten();
|
||||||
features.extend(feats);
|
features.extend(feats);
|
||||||
|
|
||||||
|
// -Zfixed-x18
|
||||||
|
if sess.opts.unstable_opts.fixed_x18 {
|
||||||
|
features.push("+reserve-x18".into());
|
||||||
|
}
|
||||||
|
|
||||||
if diagnostics && let Some(f) = check_tied_features(sess, &featsmap) {
|
if diagnostics && let Some(f) = check_tied_features(sess, &featsmap) {
|
||||||
sess.dcx().emit_err(TargetFeatureDisableOrEnable {
|
sess.dcx().emit_err(TargetFeatureDisableOrEnable {
|
||||||
features: f,
|
features: f,
|
||||||
|
@ -773,6 +773,7 @@ macro_rules! tracked {
|
|||||||
tracked!(emit_thin_lto, false);
|
tracked!(emit_thin_lto, false);
|
||||||
tracked!(export_executable_symbols, true);
|
tracked!(export_executable_symbols, true);
|
||||||
tracked!(fewer_names, Some(true));
|
tracked!(fewer_names, Some(true));
|
||||||
|
tracked!(fixed_x18, true);
|
||||||
tracked!(flatten_format_args, false);
|
tracked!(flatten_format_args, false);
|
||||||
tracked!(force_unstable_if_unmarked, true);
|
tracked!(force_unstable_if_unmarked, true);
|
||||||
tracked!(fuel, Some(("abc".to_string(), 99)));
|
tracked!(fuel, Some(("abc".to_string(), 99)));
|
||||||
|
@ -1684,6 +1684,8 @@ pub(crate) fn parse_wasm_c_abi(slot: &mut WasmCAbi, v: Option<&str>) -> bool {
|
|||||||
fewer_names: Option<bool> = (None, parse_opt_bool, [TRACKED],
|
fewer_names: Option<bool> = (None, parse_opt_bool, [TRACKED],
|
||||||
"reduce memory use by retaining fewer names within compilation artifacts (LLVM-IR) \
|
"reduce memory use by retaining fewer names within compilation artifacts (LLVM-IR) \
|
||||||
(default: no)"),
|
(default: no)"),
|
||||||
|
fixed_x18: bool = (false, parse_bool, [TRACKED],
|
||||||
|
"make the x18 register reserved on AArch64 (default: no)"),
|
||||||
flatten_format_args: bool = (true, parse_bool, [TRACKED],
|
flatten_format_args: bool = (true, parse_bool, [TRACKED],
|
||||||
"flatten nested format_args!() and literals into a simplified format_args!() call \
|
"flatten nested format_args!() and literals into a simplified format_args!() call \
|
||||||
(default: yes)"),
|
(default: yes)"),
|
||||||
|
32
src/doc/unstable-book/src/compiler-flags/fixed-x18.md
Normal file
32
src/doc/unstable-book/src/compiler-flags/fixed-x18.md
Normal file
@ -0,0 +1,32 @@
|
|||||||
|
# `fixed-x18`
|
||||||
|
|
||||||
|
This option prevents the compiler from using the x18 register. It is only
|
||||||
|
supported on aarch64.
|
||||||
|
|
||||||
|
From the [ABI spec][arm-abi]:
|
||||||
|
|
||||||
|
> X18 is the platform register and is reserved for the use of platform ABIs.
|
||||||
|
> This is an additional temporary register on platforms that don't assign a
|
||||||
|
> special meaning to it.
|
||||||
|
|
||||||
|
This flag only has an effect when the x18 register would otherwise be considered
|
||||||
|
a temporary register. When the flag is applied, x18 is always a reserved
|
||||||
|
register.
|
||||||
|
|
||||||
|
This flag is intended for use with the shadow call stack sanitizer. Generally,
|
||||||
|
when that sanitizer is enabled, the x18 register is used to store a pointer to
|
||||||
|
the shadow stack. Enabling this flag prevents the compiler from overwriting the
|
||||||
|
shadow stack pointer with temporary data, which is necessary for the sanitizer
|
||||||
|
to work correctly.
|
||||||
|
|
||||||
|
Currently, the `-Zsanitizer=shadow-call-stack` flag is only supported on
|
||||||
|
platforms that always treat x18 as a reserved register, and the `-Zfixed-x18`
|
||||||
|
flag is not required to use the sanitizer on such platforms. However, the
|
||||||
|
sanitizer may be supported on targets where this is not the case in the future.
|
||||||
|
|
||||||
|
It is undefined behavior for `-Zsanitizer=shadow-call-stack` code to call into
|
||||||
|
code where x18 is a temporary register. On the other hand, when you are *not*
|
||||||
|
using the shadow call stack sanitizer, compilation units compiled with and
|
||||||
|
without the `-Zfixed-x18` flag are compatible with each other.
|
||||||
|
|
||||||
|
[arm-abi]: https://developer.arm.com/documentation/den0024/a/The-ABI-for-ARM-64-bit-Architecture/Register-use-in-the-AArch64-Procedure-Call-Standard/Parameters-in-general-purpose-registers
|
22
tests/codegen/fixed-x18.rs
Normal file
22
tests/codegen/fixed-x18.rs
Normal file
@ -0,0 +1,22 @@
|
|||||||
|
// Test that the `reserve-x18` target feature is (not) emitted when
|
||||||
|
// the `-Zfixed-x18` flag is (not) set.
|
||||||
|
|
||||||
|
//@ revisions: unset set
|
||||||
|
//@ needs-llvm-components: aarch64
|
||||||
|
//@ compile-flags: --target aarch64-unknown-none
|
||||||
|
//@ [set] compile-flags: -Zfixed-x18
|
||||||
|
|
||||||
|
#![crate_type = "lib"]
|
||||||
|
#![feature(no_core, lang_items)]
|
||||||
|
#![no_core]
|
||||||
|
|
||||||
|
#[lang = "sized"]
|
||||||
|
trait Sized {}
|
||||||
|
|
||||||
|
#[no_mangle]
|
||||||
|
pub fn foo() {
|
||||||
|
// CHECK: @foo() unnamed_addr #0
|
||||||
|
|
||||||
|
// unset-NOT: attributes #0 = { {{.*}}"target-features"="{{[^"]*}}+reserve-x18{{.*}} }
|
||||||
|
// set: attributes #0 = { {{.*}}"target-features"="{{[^"]*}}+reserve-x18{{.*}} }
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user