From d9bc19a7b078e75052167496fff3c4d91c7bbd66 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 7 Sep 2020 10:35:39 +0200
Subject: [PATCH] test opt-level 2

---
 ci.sh                   | 4 ++--
 tests/run-pass/float.rs | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/ci.sh b/ci.sh
index a1d0a38c4fb8..915a4cf2fd3d 100755
--- a/ci.sh
+++ b/ci.sh
@@ -25,8 +25,8 @@ function run_tests {
   ./miri test --locked
   if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
     # Only for host architecture: tests with MIR optimizations
-    # FIXME: only testing level 1 because of <https://github.com/rust-lang/rust/issues/73223>.
-    MIRI_TEST_FLAGS="-Z mir-opt-level=1" ./miri test --locked
+    # FIXME: only testing level 2 because of <https://github.com/rust-lang/rust/issues/76432>.
+    MIRI_TEST_FLAGS="-Z mir-opt-level=2" ./miri test --locked
   fi
   # "miri test" has built the sysroot for us, now this should pass without
   # any interactive questions.
diff --git a/tests/run-pass/float.rs b/tests/run-pass/float.rs
index 0b89f11b0609..ea6269c22fb9 100644
--- a/tests/run-pass/float.rs
+++ b/tests/run-pass/float.rs
@@ -1,3 +1,5 @@
+// compile-flags: -Zmir-opt-level=0
+// FIXME: Using opt-level 2 here makes the test take forever (https://github.com/rust-lang/rust/issues/76433).
 #![feature(stmt_expr_attributes)]
 use std::fmt::Debug;