src/test/mir-opt/simplify_arm_identity.main.SimplifyArmIdentity.diff.32bit

   1 - // MIR for `main` before SimplifyArmIdentity
   2 + // MIR for `main` after SimplifyArmIdentity
   3
   4   fn main() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/simplify-arm-identity.rs:17:11: 17:11
   6       let _1: Src;                         // in scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10
   7       let mut _2: Dst;                     // in scope 0 at $DIR/simplify-arm-identity.rs:19:18: 22:6
   8       let mut _3: isize;                   // in scope 0 at $DIR/simplify-arm-identity.rs:20:9: 20:20
   9       let mut _5: u8;                      // in scope 0 at $DIR/simplify-arm-identity.rs:20:33: 20:34
  10       scope 1 {
  11           debug e => _1;                   // in scope 1 at $DIR/simplify-arm-identity.rs:18:9: 18:10
  12           let _4: u8;                      // in scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  13           scope 2 {
  14           }
  15           scope 3 {
  16               debug x => _4;               // in scope 3 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  17           }
  18       }
  19
  20       bb0: {
  21           StorageLive(_1);                 // scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10
  22           ((_1 as Foo).0: u8) = const 0_u8; // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
  23                                            // ty::Const
  24                                            // + ty: u8
  25                                            // + val: Value(Scalar(0x00))
  26                                            // mir::Constant
  27                                            // + span: $DIR/simplify-arm-identity.rs:18:27: 18:28
  28                                            // + literal: Const { ty: u8, val: Value(Scalar(0x00)) }
  29           discriminant(_1) = 0;            // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
  30           StorageLive(_2);                 // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  31           _3 = const 0_isize;              // scope 1 at $DIR/simplify-arm-identity.rs:20:9: 20:20
  32                                            // ty::Const
  33                                            // + ty: isize
  34                                            // + val: Value(Scalar(0x00000000))
  35                                            // mir::Constant
  36                                            // + span: $DIR/simplify-arm-identity.rs:20:9: 20:20
  37                                            // + literal: Const { ty: isize, val: Value(Scalar(0x00000000)) }
  38           goto -> bb3;                     // scope 1 at $DIR/simplify-arm-identity.rs:20:9: 20:20
  39       }
  40
  41       bb1: {
  42           ((_2 as Foo).0: u8) = const 0_u8; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
  43                                            // ty::Const
  44                                            // + ty: u8
  45                                            // + val: Value(Scalar(0x00))
  46                                            // mir::Constant
  47                                            // + span: $DIR/simplify-arm-identity.rs:21:30: 21:31
  48                                            // + literal: Const { ty: u8, val: Value(Scalar(0x00)) }
  49           discriminant(_2) = 0;            // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
  50           goto -> bb4;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  51       }
  52
  53       bb2: {
  54           unreachable;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25
  55       }
  56
  57       bb3: {
  58           StorageLive(_4);                 // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  59           _4 = ((_1 as Foo).0: u8);        // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  60           StorageLive(_5);                 // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
  61           _5 = _4;                         // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
  62           ((_2 as Foo).0: u8) = move _5;   // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
  63           discriminant(_2) = 0;            // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
  64           StorageDead(_5);                 // scope 3 at $DIR/simplify-arm-identity.rs:20:34: 20:35
  65           StorageDead(_4);                 // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35
  66           goto -> bb4;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  67       }
  68
  69       bb4: {
  70           StorageDead(_2);                 // scope 1 at $DIR/simplify-arm-identity.rs:22:6: 22:7
  71           _0 = const ();                   // scope 0 at $DIR/simplify-arm-identity.rs:17:11: 23:2
  72                                            // ty::Const
  73                                            // + ty: ()
  74                                            // + val: Value(Scalar(<ZST>))
  75                                            // mir::Constant
  76                                            // + span: $DIR/simplify-arm-identity.rs:17:11: 23:2
  77                                            // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  78           StorageDead(_1);                 // scope 0 at $DIR/simplify-arm-identity.rs:23:1: 23:2
  79           return;                          // scope 0 at $DIR/simplify-arm-identity.rs:23:2: 23:2
  80       }
  81   }
  82