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           discriminant(_1) = 0;            // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29
  24           StorageLive(_2);                 // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  25           _3 = const 0_isize;              // scope 1 at $DIR/simplify-arm-identity.rs:20:9: 20:20
  26           goto -> bb3;                     // scope 1 at $DIR/simplify-arm-identity.rs:20:9: 20:20
  27       }
  28
  29       bb1: {
  30           ((_2 as Foo).0: u8) = const 0_u8; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
  31           discriminant(_2) = 0;            // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32
  32           goto -> bb4;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  33       }
  34
  35       bb2: {
  36           unreachable;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25
  37       }
  38
  39       bb3: {
  40           StorageLive(_4);                 // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  41           _4 = ((_1 as Foo).0: u8);        // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19
  42           StorageLive(_5);                 // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
  43           _5 = _4;                         // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34
  44           ((_2 as Foo).0: u8) = move _5;   // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
  45           discriminant(_2) = 0;            // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35
  46           StorageDead(_5);                 // scope 3 at $DIR/simplify-arm-identity.rs:20:34: 20:35
  47           StorageDead(_4);                 // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35
  48           goto -> bb4;                     // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6
  49       }
  50
  51       bb4: {
  52           StorageDead(_2);                 // scope 1 at $DIR/simplify-arm-identity.rs:22:6: 22:7
  53           _0 = const ();                   // scope 0 at $DIR/simplify-arm-identity.rs:17:11: 23:2
  54                                            // ty::Const
  55                                            // + ty: ()
  56                                            // + val: Value(Scalar(<ZST>))
  57                                            // mir::Constant
  58                                            // + span: $DIR/simplify-arm-identity.rs:17:11: 23:2
  59                                            // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  60           StorageDead(_1);                 // scope 0 at $DIR/simplify-arm-identity.rs:23:1: 23:2
  61           return;                          // scope 0 at $DIR/simplify-arm-identity.rs:23:2: 23:2
  62       }
  63   }
  64