src/test/mir-opt/loop_test.main.SimplifyCfg-promote-consts.after.mir

   1 // MIR for `main` after SimplifyCfg-promote-consts
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/loop_test.rs:6:11: 6:11
   5     let _1: ();                          // in scope 0 at $DIR/loop_test.rs:10:5: 12:6
   6     let mut _2: bool;                    // in scope 0 at $DIR/loop_test.rs:10:8: 10:12
   7     let mut _3: !;                       // in scope 0 at $DIR/loop_test.rs:10:13: 12:6
   8     let mut _4: !;                       // in scope 0 at $DIR/loop_test.rs:13:5: 16:6
   9     let mut _5: ();                      // in scope 0 at $DIR/loop_test.rs:6:1: 17:2
  10     let _6: i32;                         // in scope 0 at $DIR/loop_test.rs:14:13: 14:14
  11     scope 1 {
  12         debug x => _6;                   // in scope 1 at $DIR/loop_test.rs:14:13: 14:14
  13     }
  14
  15     bb0: {
  16         StorageLive(_1);                 // scope 0 at $DIR/loop_test.rs:10:5: 12:6
  17         StorageLive(_2);                 // scope 0 at $DIR/loop_test.rs:10:8: 10:12
  18         _2 = const true;                 // scope 0 at $DIR/loop_test.rs:10:8: 10:12
  19         FakeRead(ForMatchedPlace, _2);   // scope 0 at $DIR/loop_test.rs:10:8: 10:12
  20         switchInt(_2) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/loop_test.rs:10:5: 12:6
  21     }
  22
  23     bb1: {
  24         falseEdge -> [real: bb3, imaginary: bb2]; // scope 0 at $DIR/loop_test.rs:10:5: 12:6
  25     }
  26
  27     bb2: {
  28         _1 = const ();                   // scope 0 at $DIR/loop_test.rs:12:6: 12:6
  29         StorageDead(_2);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
  30         StorageDead(_1);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
  31         StorageLive(_4);                 // scope 0 at $DIR/loop_test.rs:13:5: 16:6
  32         goto -> bb4;                     // scope 0 at $DIR/loop_test.rs:13:5: 16:6
  33     }
  34
  35     bb3: {
  36         _0 = const ();                   // scope 0 at $DIR/loop_test.rs:11:9: 11:15
  37         StorageDead(_2);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
  38         StorageDead(_1);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
  39         return;                          // scope 0 at $DIR/loop_test.rs:17:2: 17:2
  40     }
  41
  42     bb4: {
  43         falseUnwind -> [real: bb5, cleanup: bb6]; // scope 0 at $DIR/loop_test.rs:13:5: 16:6
  44     }
  45
  46     bb5: {
  47         StorageLive(_6);                 // scope 0 at $DIR/loop_test.rs:14:13: 14:14
  48         _6 = const 1_i32;                // scope 0 at $DIR/loop_test.rs:14:17: 14:18
  49         FakeRead(ForLet, _6);            // scope 0 at $DIR/loop_test.rs:14:13: 14:14
  50         StorageDead(_6);                 // scope 0 at $DIR/loop_test.rs:16:5: 16:6
  51         goto -> bb4;                     // scope 0 at $DIR/loop_test.rs:1:1: 1:1
  52     }
  53
  54     bb6 (cleanup): {
  55         resume;                          // scope 0 at $DIR/loop_test.rs:6:1: 17:2
  56     }
  57 }