Add mir-opt tests to track MIR quality.

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/mir-opt/pre-codegen/optimizes_into_variable.rs b/tests/mir-opt/pre-codegen/optimizes_into_variable.rs
new file mode 100644
index 00000000000..bb32cd3afb1
--- /dev/null
+++ b/tests/mir-opt/pre-codegen/optimizes_into_variable.rs
@@ -0,0 +1,18 @@
+// ignore-wasm32 compiled with panic=abort by default
+// compile-flags: -C overflow-checks=on
+
+struct Point {
+    x: u32,
+    y: u32,
+}
+
+// EMIT_MIR_FOR_EACH_BIT_WIDTH
+// EMIT_MIR optimizes_into_variable.main.ScalarReplacementOfAggregates.diff
+// EMIT_MIR optimizes_into_variable.main.ConstProp.diff
+// EMIT_MIR optimizes_into_variable.main.SimplifyLocals-final.after.mir
+// EMIT_MIR optimizes_into_variable.main.PreCodegen.after.mir
+fn main() {
+    let x = 2 + 2;
+    let y = [0, 1, 2, 3, 4, 5][3];
+    let z = (Point { x: 12, y: 42}).y;
+}