2 // [thir]compile-flags: -Z thir-unsafeck
5 #![feature(target_feature_11)]
7 #[target_feature(enable = "sse2")]
10 #[target_feature(enable = "avx")]
11 #[target_feature(enable = "bmi2")]
17 #[target_feature(enable = "avx")]
18 #[target_feature(enable = "bmi2")]
23 sse2(); //~ ERROR call to function `sse2` with `#[target_feature]` is unsafe
24 avx_bmi2(); //~ ERROR call to function `avx_bmi2` with `#[target_feature]` is unsafe
25 Quux.avx_bmi2(); //~ ERROR call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe
28 #[target_feature(enable = "sse2")]
30 avx_bmi2(); //~ ERROR call to function `avx_bmi2` with `#[target_feature]` is unsafe
31 Quux.avx_bmi2(); //~ ERROR call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe
34 #[target_feature(enable = "avx")]
36 sse2(); //~ ERROR call to function `sse2` with `#[target_feature]` is unsafe
37 avx_bmi2(); //~ ERROR call to function `avx_bmi2` with `#[target_feature]` is unsafe
38 Quux.avx_bmi2(); //~ ERROR call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe
41 #[target_feature(enable = "avx")]
42 #[target_feature(enable = "bmi2")]
44 sse2(); //~ ERROR call to function `sse2` with `#[target_feature]` is unsafe
47 const name: () = sse2(); //~ ERROR call to function `sse2` with `#[target_feature]` is unsafe