tests/mir-opt/dataflow-const-prop/mult_by_zero.test.DataflowConstProp.diff


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

- // MIR for `test` before DataflowConstProp
+ // MIR for `test` after DataflowConstProp
  
  fn test(_1: i32) -> i32 {
      debug x => _1;
      let mut _0: i32;
      let mut _2: i32;
  
      bb0: {
          StorageLive(_2);
          _2 = _1;
-         _0 = Mul(move _2, const 0_i32);
+         _0 = const 0_i32;
          StorageDead(_2);
          return;
      }
  }