]> git.lizzy.rs Git - rust.git/commitdiff
Bless mir-opt/while-storage.rs.
authorMazdak Farrokhzad <twingoow@gmail.com>
Wed, 26 Jun 2019 15:44:26 +0000 (17:44 +0200)
committerMazdak Farrokhzad <twingoow@gmail.com>
Sat, 6 Jul 2019 04:43:58 +0000 (06:43 +0200)
src/test/mir-opt/while-storage.rs

index a486bd49a77d00401ac550f8e16409939aaefcfa..86c3f79d3a70693709eef25f816d1d42bd53d5aa 100644 (file)
@@ -24,36 +24,33 @@ fn main() {
 //     StorageLive(_2);
 //     StorageLive(_3);
 //     _3 = _1;
-//     _2 = const get_bool(move _3) -> bb2;
+//     _2 = const get_bool(move _3) -> bb1;
 // }
 // bb1: {
-//     return;
+//     StorageDead(_3);
+//     switchInt(_2) -> [false: bb6, otherwise: bb2];
 // }
 // bb2: {
-//     StorageDead(_3);
-//     switchInt(move _2) -> [false: bb4, otherwise: bb3];
+//      StorageLive(_4);
+//      StorageLive(_5);
+//      _5 = _1;
+//      _4 = const get_bool(move _5) -> bb3;
 // }
 // bb3: {
-//     StorageDead(_2);
-//     StorageLive(_4);
-//     StorageLive(_5);
-//     _5 = _1;
-//     _4 = const get_bool(move _5) -> bb5;
+//      StorageDead(_5);
+//      switchInt(_4) -> [false: bb4, otherwise: bb5];
 // }
 // bb4: {
-//     StorageDead(_2);
-//     goto -> bb1;
-// }
-// bb5: {
-//     StorageDead(_5);
-//     switchInt(_4) -> [false: bb6, otherwise: bb7];
-// }
-// bb6: {
-//     StorageDead(_4);
-//     goto -> bb0;
-// }
-// bb7: {
-//     StorageDead(_4);
-//     goto -> bb1;
-// }
+//      StorageDead(_4);
+//      StorageDead(_2);
+//      goto -> bb0;
+// }
+//  bb5: {
+//      StorageDead(_4);
+//      goto -> bb6;
+//  }
+//  bb6: {
+//      StorageDead(_2);
+//      return;
+//  }
 // END rustc.while_loop.PreCodegen.after.mir