src/test/mir-opt/unreachable.main.UnreachablePropagation.diff

   1 - // MIR for `main` before UnreachablePropagation
   2 + // MIR for `main` after UnreachablePropagation
   3
   4   fn main() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/unreachable.rs:8:11: 8:11
   6       let mut _1: std::option::Option<Empty>; // in scope 0 at $DIR/unreachable.rs:9:23: 9:30
   7       let mut _2: isize;                   // in scope 0 at $DIR/unreachable.rs:9:12: 9:20
   8       let _3: Empty;                       // in scope 0 at $DIR/unreachable.rs:9:17: 9:19
   9       let mut _4: i32;                     // in scope 0 at $DIR/unreachable.rs:10:13: 10:19
  10       let _5: ();                          // in scope 0 at $DIR/unreachable.rs:12:9: 16:10
  11       let mut _6: bool;                    // in scope 0 at $DIR/unreachable.rs:12:12: 12:16
  12       let mut _7: !;                       // in scope 0 at $DIR/unreachable.rs:18:9: 18:21
  13       scope 1 {
  14           debug _x => _3;                  // in scope 1 at $DIR/unreachable.rs:9:17: 9:19
  15       }
  16       scope 2 {
  17           debug _y => _4;                  // in scope 2 at $DIR/unreachable.rs:10:13: 10:19
  18       }
  19
  20       bb0: {
  21           StorageLive(_1);                 // scope 0 at $DIR/unreachable.rs:9:23: 9:30
  22           _1 = empty() -> bb1;             // scope 0 at $DIR/unreachable.rs:9:23: 9:30
  23                                            // mir::Constant
  24                                            // + span: $DIR/unreachable.rs:9:23: 9:28
  25                                            // + literal: Const { ty: fn() -> std::option::Option<Empty> {empty}, val: Value(Scalar(<ZST>)) }
  26       }
  27
  28       bb1: {
  29           _2 = discriminant(_1);           // scope 0 at $DIR/unreachable.rs:9:12: 9:20
  30 -         switchInt(move _2) -> [1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/unreachable.rs:9:12: 9:20
  31 +         goto -> bb2;                     // scope 0 at $DIR/unreachable.rs:9:12: 9:20
  32       }
  33
  34       bb2: {
  35           _0 = const ();                   // scope 0 at $DIR/unreachable.rs:19:6: 19:6
  36           StorageDead(_3);                 // scope 0 at $DIR/unreachable.rs:19:5: 19:6
  37           StorageDead(_1);                 // scope 0 at $DIR/unreachable.rs:20:1: 20:2
  38           return;                          // scope 0 at $DIR/unreachable.rs:20:2: 20:2
  39 -     }
  40 -
  41 -     bb3: {
  42 -         StorageLive(_3);                 // scope 0 at $DIR/unreachable.rs:9:17: 9:19
  43 -         _3 = move ((_1 as Some).0: Empty); // scope 0 at $DIR/unreachable.rs:9:17: 9:19
  44 -         StorageLive(_4);                 // scope 0 at $DIR/unreachable.rs:10:13: 10:19
  45 -         StorageLive(_5);                 // scope 2 at $DIR/unreachable.rs:12:9: 16:10
  46 -         StorageLive(_6);                 // scope 2 at $DIR/unreachable.rs:12:12: 12:16
  47 -         _6 = const true;                 // scope 2 at $DIR/unreachable.rs:12:12: 12:16
  48 -         switchInt(move _6) -> [false: bb5, otherwise: bb4]; // scope 2 at $DIR/unreachable.rs:12:9: 16:10
  49 -     }
  50 -
  51 -     bb4: {
  52 -         _4 = const 21_i32;               // scope 2 at $DIR/unreachable.rs:13:13: 13:20
  53 -         _5 = const ();                   // scope 2 at $DIR/unreachable.rs:12:17: 14:10
  54 -         goto -> bb6;                     // scope 2 at $DIR/unreachable.rs:12:9: 16:10
  55 -     }
  56 -
  57 -     bb5: {
  58 -         _4 = const 42_i32;               // scope 2 at $DIR/unreachable.rs:15:13: 15:20
  59 -         _5 = const ();                   // scope 2 at $DIR/unreachable.rs:14:16: 16:10
  60 -         goto -> bb6;                     // scope 2 at $DIR/unreachable.rs:12:9: 16:10
  61 -     }
  62 -
  63 -     bb6: {
  64 -         StorageDead(_6);                 // scope 2 at $DIR/unreachable.rs:16:9: 16:10
  65 -         StorageDead(_5);                 // scope 2 at $DIR/unreachable.rs:16:9: 16:10
  66 -         StorageLive(_7);                 // scope 2 at $DIR/unreachable.rs:18:9: 18:21
  67 -         unreachable;                     // scope 2 at $DIR/unreachable.rs:18:15: 18:17
  68       }
  69   }
  70