redo ./run-test.sh based on MIRI_REPLACE_LIBRS_IF_NOT_TEST

Author: RalfJung

Cargo.toml

@@ -1,12 +1,19 @@
 [workspace]
 members = [
-  "core_miri_test",
-  "alloc_miri_test",
-  "std_miri_test",
+  "library/std",
+  "library/sysroot",
 ]
 
 exclude = [
   # stdarch has its own Cargo workspace
   "library/stdarch",
-  "rust-src-patched/library/stdarch",
+  # this is just a staging ground
+  "rust-src-patched",
 ]
+
+[patch.crates-io]
+# See comments in `library/rustc-std-workspace-core/README.md` for what's going on
+# here
+rustc-std-workspace-core = { path = 'library/rustc-std-workspace-core' }
+rustc-std-workspace-alloc = { path = 'library/rustc-std-workspace-alloc' }
+rustc-std-workspace-std = { path = 'library/rustc-std-workspace-std' }

alloc_miri_test/Cargo.toml

@@ -85,9 +85,10 @@ std)
     echo "::endgroup::"
     ;;
 simd)
-    cd $MIRI_LIB_SRC/portable-simd
+    export CARGO_TARGET_DIR=$(pwd)/target
     export RUSTFLAGS="-Ainternal_features ${RUSTFLAGS:-}"
     export RUSTDOCFLAGS="-Ainternal_features ${RUSTDOCFLAGS:-}"
+    cd $MIRI_LIB_SRC/portable-simd
 
     echo "::group::Testing portable-simd"
     MIRIFLAGS="$DEFAULTFLAGS" \

ci-test.sh

@@ -6,7 +6,7 @@ set -euo pipefail
 ## Usage:
 ##   ./run-test.sh TARGET
 ## Environment variables:
-##   MIRI_LIB_SRC: The path to the Rust library directory (`library`).
+##   MIRI_LIB_SRC: The path to the Rust `library`` directory (optional).
 ##   RUSTFLAGS: rustc flags (optional)
 ##   MIRIFLAGS: Miri flags (optional)
 
@@ -40,8 +40,11 @@ export STDARCH_TEST_EVERYTHING=1
 # Needed to pass the STDARCH_TEST_EVERYTHING environment variable
 export MIRIFLAGS="${MIRIFLAGS:-} -Zmiri-disable-isolation"
 
-cd $MIRI_LIB_SRC/stdarch
+# Set library source dir
+export MIRI_LIB_SRC=${MIRI_LIB_SRC:-$(rustc --print sysroot)/lib/rustlib/src/rust/library}
+
+export CARGO_TARGET_DIR=$(pwd)/target
 cargo miri test \
+    --manifest-path=$MIRI_LIB_SRC/stdarch/crates/core_arch/Cargo.toml \
     --target "$TARGET" \
-    --manifest-path=crates/core_arch/Cargo.toml \
     -- "${TEST_ARGS[@]}"

core_miri_test/Cargo.toml

@@ -35,6 +35,10 @@ ln -s "$MIRI_LIB_SRC" library
 # use the rust-src lockfile
 cp "$MIRI_LIB_SRC/../Cargo.lock" Cargo.lock
 
+# This ensures that the "core" crate being built as part of `cargo miri test`
+# is just a re-export of the sysroot crate, so we don't get duplicate lang items.
+export MIRI_REPLACE_LIBRS_IF_NOT_TEST=1
+
 # run test
-cd ./${CRATE}_miri_test
-cargo miri test "$@"
+export CARGO_TARGET_DIR=$(pwd)/target
+cargo miri test --manifest-path "library/$CRATE/Cargo.toml" "$@"

fake/README.md

@@ -1 +1 @@
-nightly-2024-04-01
+nightly-2024-04-06