src/test/mir-opt/not_equal_false.opt.InstCombine.diff

   1 - // MIR for `opt` before InstCombine
   2 + // MIR for `opt` after InstCombine
   3
   4   fn opt(_1: Option<()>) -> bool {
   5       debug x => _1;                       // in scope 0 at $DIR/not_equal_false.rs:3:8: 3:9
   6       let mut _0: bool;                    // return place in scope 0 at $DIR/not_equal_false.rs:3:26: 3:30
   7       let mut _2: bool;                    // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
   8       let mut _3: isize;                   // in scope 0 at $DIR/not_equal_false.rs:4:17: 4:21
   9       let mut _4: bool;                    // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  10       let mut _5: isize;                   // in scope 0 at $DIR/not_equal_false.rs:4:38: 4:45
  11
  12       bb0: {
  13           StorageLive(_2);                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  14           _3 = discriminant(_1);           // scope 0 at $DIR/not_equal_false.rs:4:17: 4:21
  15           switchInt(move _3) -> [0_isize: bb6, otherwise: bb5]; // scope 0 at $DIR/not_equal_false.rs:4:17: 4:21
  16       }
  17
  18       bb1: {
  19           _0 = const true;                 // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  20           goto -> bb4;                     // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  21       }
  22
  23       bb2: {
  24           _0 = const false;                // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  25           goto -> bb4;                     // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  26       }
  27
  28       bb3: {
  29           StorageLive(_4);                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  30           _5 = discriminant(_1);           // scope 0 at $DIR/not_equal_false.rs:4:38: 4:45
  31           switchInt(move _5) -> [1_isize: bb9, otherwise: bb8]; // scope 0 at $DIR/not_equal_false.rs:4:38: 4:45
  32       }
  33
  34       bb4: {
  35           StorageDead(_4);                 // scope 0 at $DIR/not_equal_false.rs:4:45: 4:46
  36           StorageDead(_2);                 // scope 0 at $DIR/not_equal_false.rs:4:45: 4:46
  37           return;                          // scope 0 at $DIR/not_equal_false.rs:5:2: 5:2
  38       }
  39
  40       bb5: {
  41           _2 = const false;                // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  42           goto -> bb7;                     // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  43       }
  44
  45       bb6: {
  46           _2 = const true;                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  47           goto -> bb7;                     // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  48       }
  49
  50       bb7: {
  51           switchInt(move _2) -> [false: bb3, otherwise: bb1]; // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  52       }
  53
  54       bb8: {
  55           _4 = const false;                // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  56           goto -> bb10;                    // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  57       }
  58
  59       bb9: {
  60           _4 = const true;                 // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  61           goto -> bb10;                    // scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
  62       }
  63
  64       bb10: {
  65           switchInt(move _4) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/not_equal_false.rs:4:5: 4:46
  66       }
  67   }
  68