src/test/mir-opt/const_prop/switch_int/rustc.main.SimplifyBranches-after-const-prop.diff

   1 - // MIR for `main` before SimplifyBranches-after-const-prop
   2 + // MIR for `main` after SimplifyBranches-after-const-prop
   3
   4   fn main() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/switch_int.rs:6:11: 6:11
   6       let mut _1: i32;                     // in scope 0 at $DIR/switch_int.rs:7:11: 7:12
   7
   8       bb0: {
   9           StorageLive(_1);                 // scope 0 at $DIR/switch_int.rs:7:11: 7:12
  10           _1 = const 1_i32;                // scope 0 at $DIR/switch_int.rs:7:11: 7:12
  11                                            // ty::Const
  12                                            // + ty: i32
  13                                            // + val: Value(Scalar(0x00000001))
  14                                            // mir::Constant
  15                                            // + span: $DIR/switch_int.rs:7:11: 7:12
  16                                            // + literal: Const { ty: i32, val: Value(Scalar(0x00000001)) }
  17 -         switchInt(const 1_i32) -> [1_i32: bb2, otherwise: bb1]; // scope 0 at $DIR/switch_int.rs:8:9: 8:10
  18 -                                          // ty::Const
  19 -                                          // + ty: i32
  20 -                                          // + val: Value(Scalar(0x00000001))
  21 -                                          // mir::Constant
  22 -                                          // + span: $DIR/switch_int.rs:8:9: 8:10
  23 -                                          // + literal: Const { ty: i32, val: Value(Scalar(0x00000001)) }
  24 +         goto -> bb2;                     // scope 0 at $DIR/switch_int.rs:8:9: 8:10
  25       }
  26
  27       bb1: {
  28           _0 = const foo(const -1_i32) -> bb3; // scope 0 at $DIR/switch_int.rs:9:14: 9:21
  29                                            // ty::Const
  30                                            // + ty: fn(i32) {foo}
  31                                            // + val: Value(Scalar(<ZST>))
  32                                            // mir::Constant
  33                                            // + span: $DIR/switch_int.rs:9:14: 9:17
  34                                            // + literal: Const { ty: fn(i32) {foo}, val: Value(Scalar(<ZST>)) }
  35                                            // ty::Const
  36                                            // + ty: i32
  37                                            // + val: Value(Scalar(0xffffffff))
  38                                            // mir::Constant
  39                                            // + span: $DIR/switch_int.rs:9:18: 9:20
  40                                            // + literal: Const { ty: i32, val: Value(Scalar(0xffffffff)) }
  41       }
  42
  43       bb2: {
  44           _0 = const foo(const 0_i32) -> bb3; // scope 0 at $DIR/switch_int.rs:8:14: 8:20
  45                                            // ty::Const
  46                                            // + ty: fn(i32) {foo}
  47                                            // + val: Value(Scalar(<ZST>))
  48                                            // mir::Constant
  49                                            // + span: $DIR/switch_int.rs:8:14: 8:17
  50                                            // + literal: Const { ty: fn(i32) {foo}, val: Value(Scalar(<ZST>)) }
  51                                            // ty::Const
  52                                            // + ty: i32
  53                                            // + val: Value(Scalar(0x00000000))
  54                                            // mir::Constant
  55                                            // + span: $DIR/switch_int.rs:8:18: 8:19
  56                                            // + literal: Const { ty: i32, val: Value(Scalar(0x00000000)) }
  57       }
  58
  59       bb3: {
  60           StorageDead(_1);                 // scope 0 at $DIR/switch_int.rs:11:1: 11:2
  61           return;                          // scope 0 at $DIR/switch_int.rs:11:2: 11:2
  62       }
  63   }
  64