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

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