You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This Miri testcase, when built via rustc, usually only takes a few seconds. With -Zmir-opt-level=2, however, it takes at least two minutes (then I aborted compilation).
To reproduce, I did this in a Miri checkout (no need to build Miri, we are just using the example):
$ time rustc tests/run-pass/float.rs
real 0m7,099s
user 0m6,219s
sys 0m0,964s
$ time rustc tests/run-pass/float.rs -Zmir-opt-level=2
^C
real 2m12,074s
user 2m10,970s
sys 0m0,985s
Cc @rust-lang/wg-mir-opt
The text was updated successfully, but these errors were encountered:
oli-obk
added
A-mir-opt
Area: MIR optimizations
I-slow
Issue: Problems and improvements with respect to performance of generated code.
labels
Sep 7, 2020
This Miri testcase, when built via rustc, usually only takes a few seconds. With
-Zmir-opt-level=2
, however, it takes at least two minutes (then I aborted compilation).To reproduce, I did this in a Miri checkout (no need to build Miri, we are just using the example):
Cc @rust-lang/wg-mir-opt
The text was updated successfully, but these errors were encountered: