fix ci

Author: henryboisdequin

src/shims/intrinsics.rs

@@ -615,61 +615,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             "atomic_umax_relaxed" =>
                 this.atomic_op_min_max(args, dest, AtomicOp::Max, AtomicRwOp::Relaxed)?,
 
-            "atomic_or" => this.atomic_op(args, dest, BinOp::BitOr, false, AtomicRwOp::SeqCst)?,
-            "atomic_or_acq" =>
-                this.atomic_op(args, dest, BinOp::BitOr, false, AtomicRwOp::Acquire)?,
-            "atomic_or_rel" =>
-                this.atomic_op(args, dest, BinOp::BitOr, false, AtomicRwOp::Release)?,
-            "atomic_or_acqrel" =>
-                this.atomic_op(args, dest, BinOp::BitOr, false, AtomicRwOp::AcqRel)?,
-            "atomic_or_relaxed" =>
-                this.atomic_op(args, dest, BinOp::BitOr, false, AtomicRwOp::Relaxed)?,
-            "atomic_xor" => this.atomic_op(args, dest, BinOp::BitXor, false, AtomicRwOp::SeqCst)?,
-            "atomic_xor_acq" =>
-                this.atomic_op(args, dest, BinOp::BitXor, false, AtomicRwOp::Acquire)?,
-            "atomic_xor_rel" =>
-                this.atomic_op(args, dest, BinOp::BitXor, false, AtomicRwOp::Release)?,
-            "atomic_xor_acqrel" =>
-                this.atomic_op(args, dest, BinOp::BitXor, false, AtomicRwOp::AcqRel)?,
-            "atomic_xor_relaxed" =>
-                this.atomic_op(args, dest, BinOp::BitXor, false, AtomicRwOp::Relaxed)?,
-            "atomic_and" => this.atomic_op(args, dest, BinOp::BitAnd, false, AtomicRwOp::SeqCst)?,
-            "atomic_and_acq" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, false, AtomicRwOp::Acquire)?,
-            "atomic_and_rel" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, false, AtomicRwOp::Release)?,
-            "atomic_and_acqrel" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, false, AtomicRwOp::AcqRel)?,
-            "atomic_and_relaxed" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, false, AtomicRwOp::Relaxed)?,
-            "atomic_nand" => this.atomic_op(args, dest, BinOp::BitAnd, true, AtomicRwOp::SeqCst)?,
-            "atomic_nand_acq" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, true, AtomicRwOp::Acquire)?,
-            "atomic_nand_rel" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, true, AtomicRwOp::Release)?,
-            "atomic_nand_acqrel" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, true, AtomicRwOp::AcqRel)?,
-            "atomic_nand_relaxed" =>
-                this.atomic_op(args, dest, BinOp::BitAnd, true, AtomicRwOp::Relaxed)?,
-            "atomic_xadd" => this.atomic_op(args, dest, BinOp::Add, false, AtomicRwOp::SeqCst)?,
-            "atomic_xadd_acq" =>
-                this.atomic_op(args, dest, BinOp::Add, false, AtomicRwOp::Acquire)?,
-            "atomic_xadd_rel" =>
-                this.atomic_op(args, dest, BinOp::Add, false, AtomicRwOp::Release)?,
-            "atomic_xadd_acqrel" =>
-                this.atomic_op(args, dest, BinOp::Add, false, AtomicRwOp::AcqRel)?,
-            "atomic_xadd_relaxed" =>
-                this.atomic_op(args, dest, BinOp::Add, false, AtomicRwOp::Relaxed)?,
-            "atomic_xsub" => this.atomic_op(args, dest, BinOp::Sub, false, AtomicRwOp::SeqCst)?,
-            "atomic_xsub_acq" =>
-                this.atomic_op(args, dest, BinOp::Sub, false, AtomicRwOp::Acquire)?,
-            "atomic_xsub_rel" =>
-                this.atomic_op(args, dest, BinOp::Sub, false, AtomicRwOp::Release)?,
-            "atomic_xsub_acqrel" =>
-                this.atomic_op(args, dest, BinOp::Sub, false, AtomicRwOp::AcqRel)?,
-            "atomic_xsub_relaxed" =>
-                this.atomic_op(args, dest, BinOp::Sub, false, AtomicRwOp::Relaxed)?,
-
             // Query type information
             "assert_zero_valid" | "assert_uninit_valid" => {
                 let &[] = check_arg_count(args)?;