From 525c4c815ce7c2731e504c454f1dde6563e2d650 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 14 Jun 2025 07:15:27 +0200
Subject: [PATCH] rustup: disable float non-det in portable-simd

---
 ci-test.sh   | 3 ++-
 rust-version | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci-test.sh b/ci-test.sh
index 6f8c558..d0bc2d6 100644
--- a/ci-test.sh
+++ b/ci-test.sh
@@ -82,7 +82,8 @@ simd)
     cd $MIRI_LIB_SRC/portable-simd
 
     echo "::group::Testing portable-simd"
-    MIRIFLAGS="$DEFAULTFLAGS" \
+    # FIXME: disabling float non-determinism due to <https://github.com/rust-lang/portable-simd/issues/463>.
+    MIRIFLAGS="$DEFAULTFLAGS -Zmiri-deterministic-floats" \
         cargo miri test --lib --tests -- --skip ptr \
         2>&1 | ts -i '%.s  '
     # This contains some pointer tests that do int/ptr casts, so we need permissive provenance.
diff --git a/rust-version b/rust-version
index 1aba604..94c57af 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-nightly-2025-06-09
+nightly-2025-06-14