Skip to content

Commit fbc15c1

Browse files
committed
Remove uses of stdarch_x86_avx512
1 parent d91c1af commit fbc15c1

File tree

5 files changed

+0
-8
lines changed

5 files changed

+0
-8
lines changed

src/tools/miri/tests/pass/shims/x86/intrinsics-x86-aes-vaes.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
//@only-target: x86_64 i686
33
//@compile-flags: -C target-feature=+aes,+vaes,+avx512f
44

5-
#![feature(stdarch_x86_avx512)]
6-
75
use core::mem::transmute;
86
#[cfg(target_arch = "x86")]
97
use std::arch::x86::*;

src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx512.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
//@only-target: x86_64 i686
33
//@compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bitalg,+avx512vpopcntdq
44

5-
#![feature(stdarch_x86_avx512)]
6-
75
#[cfg(target_arch = "x86")]
86
use std::arch::x86::*;
97
#[cfg(target_arch = "x86_64")]

src/tools/miri/tests/pass/shims/x86/intrinsics-x86-gfni.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@
66
// be interpreted as integers; signedness does not make sense for them, but
77
// __mXXXi happens to be defined in terms of signed integers.
88
#![allow(overflowing_literals)]
9-
#![feature(stdarch_x86_avx512)]
109

1110
#[cfg(target_arch = "x86")]
1211
use std::arch::x86::*;

src/tools/miri/tests/pass/shims/x86/intrinsics-x86-vpclmulqdq.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88
// be interpreted as integers; signedness does not make sense for them, but
99
// __mXXXi happens to be defined in terms of signed integers.
1010
#![allow(overflowing_literals)]
11-
#![feature(stdarch_x86_avx512)]
1211

1312
#[cfg(target_arch = "x86")]
1413
use std::arch::x86::*;

tests/ui/asm/x86_64/evex512-implicit-feature.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
//@ only-x86_64
33
//@ compile-flags: --crate-type=lib -C target-cpu=skylake
44

5-
#![feature(stdarch_x86_avx512)]
6-
75
use std::arch::x86_64::*;
86

97
#[target_feature(enable = "avx512f")]

0 commit comments

Comments
 (0)