Implement a implicit target feature mechanism
This commit is contained in:
parent
90521399b4
commit
80b74d397f
@ -646,6 +646,22 @@ pub(crate) fn global_llvm_features(sess: &Session, diagnostics: bool) -> Vec<Str
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// This is a workaround for a LLVM bug that doesn't implicitly enable
|
||||||
|
// `simd128` when `relaxed-simd` is.
|
||||||
|
// See <https://github.com/llvm/llvm-project/pull/99803>, which didn't make
|
||||||
|
// it into a released version of LLVM yet.
|
||||||
|
//
|
||||||
|
// This doesn't use the "implicit target feature" system because it is only
|
||||||
|
// used for function attributes in other targets, which fixes this bug as
|
||||||
|
// well on the function attribute level.
|
||||||
|
if sess.target.families.contains(&"wasm".into()) {
|
||||||
|
if features.iter().any(|f| f == "+relaxed-simd")
|
||||||
|
&& !features.iter().any(|f| f == "+simd128")
|
||||||
|
{
|
||||||
|
features.push("+simd128".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,
|
||||||
|
@ -97,6 +97,14 @@ pub fn from_target_feature(
|
|||||||
Some(Symbol::intern(feature))
|
Some(Symbol::intern(feature))
|
||||||
}));
|
}));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
for (feature, requires) in tcx.sess.target.implicit_target_features() {
|
||||||
|
if target_features.iter().any(|f| f.as_str() == *feature)
|
||||||
|
&& !target_features.iter().any(|f| f.as_str() == *requires)
|
||||||
|
{
|
||||||
|
target_features.push(Symbol::intern(requires));
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Computes the set of target features used in a function for the purposes of
|
/// Computes the set of target features used in a function for the purposes of
|
||||||
|
@ -339,6 +339,8 @@ pub fn is_stable(self) -> bool {
|
|||||||
// tidy-alphabetical-end
|
// tidy-alphabetical-end
|
||||||
];
|
];
|
||||||
|
|
||||||
|
const WASM_IMPLICIT_FEATURES: &[(&str, &str)] = &[("relaxed-simd", "simd128")];
|
||||||
|
|
||||||
const BPF_ALLOWED_FEATURES: &[(&str, Stability)] = &[("alu32", Unstable(sym::bpf_target_feature))];
|
const BPF_ALLOWED_FEATURES: &[(&str, Stability)] = &[("alu32", Unstable(sym::bpf_target_feature))];
|
||||||
|
|
||||||
const CSKY_ALLOWED_FEATURES: &[(&str, Stability)] = &[
|
const CSKY_ALLOWED_FEATURES: &[(&str, Stability)] = &[
|
||||||
@ -455,4 +457,13 @@ pub fn tied_target_features(&self) -> &'static [&'static [&'static str]] {
|
|||||||
_ => &[],
|
_ => &[],
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Returns a list of target features. Each items first target feature
|
||||||
|
/// implicitly enables the second one.
|
||||||
|
pub fn implicit_target_features(&self) -> &'static [(&'static str, &'static str)] {
|
||||||
|
match &*self.arch {
|
||||||
|
"wasm32" | "wasm64" => WASM_IMPLICIT_FEATURES,
|
||||||
|
_ => &[],
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
9
tests/ui/target-feature/implicit-features-cli.rs
Normal file
9
tests/ui/target-feature/implicit-features-cli.rs
Normal file
@ -0,0 +1,9 @@
|
|||||||
|
//@ only-wasm32-wasip1
|
||||||
|
//@ compile-flags: -Ctarget-feature=+relaxed-simd --crate-type=lib
|
||||||
|
//@ build-pass
|
||||||
|
|
||||||
|
use std::arch::wasm32::*;
|
||||||
|
|
||||||
|
pub fn test(a: v128, b: v128, m: v128) -> v128 {
|
||||||
|
i64x2_relaxed_laneselect(a, b, m)
|
||||||
|
}
|
10
tests/ui/target-feature/implicit-features.rs
Normal file
10
tests/ui/target-feature/implicit-features.rs
Normal file
@ -0,0 +1,10 @@
|
|||||||
|
//@ only-wasm32-wasip1
|
||||||
|
//@ compile-flags: --crate-type=lib
|
||||||
|
//@ build-pass
|
||||||
|
|
||||||
|
use std::arch::wasm32::*;
|
||||||
|
|
||||||
|
#[target_feature(enable = "relaxed-simd")]
|
||||||
|
pub fn test(a: v128, b: v128, m: v128) -> v128 {
|
||||||
|
i64x2_relaxed_laneselect(a, b, m)
|
||||||
|
}
|
@ -1,5 +1,5 @@
|
|||||||
//@ only-wasm32-wasip1
|
//@ only-wasm32-wasip1
|
||||||
//@ compile-flags: -Ctarget-feature=+relaxed-simd,+simd128 --crate-type=lib
|
//@ compile-flags: -Ctarget-feature=+relaxed-simd --crate-type=lib
|
||||||
//@ build-pass
|
//@ build-pass
|
||||||
|
|
||||||
use std::arch::wasm32::*;
|
use std::arch::wasm32::*;
|
||||||
|
Loading…
Reference in New Issue
Block a user