mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

disable atomic_max/min tests in Miri

Browse Source
This commit is contained in:
Ralf Jung 2021-02-22 09:41:20 +01:00
parent e952db8fd0
commit dd9ab160a1
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/core/tests/atomic.rs
View File

@ -61,6 +61,7 @@ fn uint_xor() {
#[test] #[test]
#[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins
#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_min
fn uint_min() { fn uint_min() {
let x = AtomicUsize::new(0xf731); let x = AtomicUsize::new(0xf731);
assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731); assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731);
@ -71,6 +72,7 @@ fn uint_min() {
#[test] #[test]
#[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins
#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_max
fn uint_max() { fn uint_max() {
let x = AtomicUsize::new(0x137f); let x = AtomicUsize::new(0x137f);
assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f); assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f);
@ -109,6 +111,7 @@ fn int_xor() {
#[test] #[test]
#[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins
#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_min
fn int_min() { fn int_min() {
let x = AtomicIsize::new(0xf731); let x = AtomicIsize::new(0xf731);
assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731); assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731);
@ -119,6 +122,7 @@ fn int_min() {
#[test] #[test]
#[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins
#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_max
fn int_max() { fn int_max() {
let x = AtomicIsize::new(0x137f); let x = AtomicIsize::new(0x137f);
assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f); assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f);