src/test/mir-opt/issues/issue_75439.foo.MatchBranchSimplification.diff

   1 - // MIR for `foo` before MatchBranchSimplification
   2 + // MIR for `foo` after MatchBranchSimplification
   3
   4   fn foo(_1: [u8; 16]) -> Option<[u8; 4]> {
   5       debug bytes => _1;                   // in scope 0 at $DIR/issue-75439.rs:7:12: 7:17
   6       let mut _0: std::option::Option<[u8; 4]>; // return place in scope 0 at $DIR/issue-75439.rs:7:32: 7:47
   7       let _2: [u32; 4];                    // in scope 0 at $DIR/issue-75439.rs:9:9: 9:15
   8       let mut _3: [u8; 16];                // in scope 0 at $DIR/issue-75439.rs:9:47: 9:52
   9       let mut _5: [u8; 4];                 // in scope 0 at $DIR/issue-75439.rs:12:14: 12:38
  10       let mut _6: u32;                     // in scope 0 at $DIR/issue-75439.rs:12:33: 12:35
  11       scope 1 {
  12           debug dwords => _2;              // in scope 1 at $DIR/issue-75439.rs:9:9: 9:15
  13           let _4: u32;                     // in scope 1 at $DIR/issue-75439.rs:11:27: 11:29
  14           scope 3 {
  15               debug ip => _4;              // in scope 3 at $DIR/issue-75439.rs:11:27: 11:29
  16               scope 4 {
  17               }
  18           }
  19       }
  20       scope 2 {
  21       }
  22
  23       bb0: {
  24           StorageLive(_2);                 // scope 0 at $DIR/issue-75439.rs:9:9: 9:15
  25           StorageLive(_3);                 // scope 2 at $DIR/issue-75439.rs:9:47: 9:52
  26           _3 = _1;                         // scope 2 at $DIR/issue-75439.rs:9:47: 9:52
  27           _2 = transmute::<[u8; 16], [u32; 4]>(move _3) -> bb1; // scope 2 at $DIR/issue-75439.rs:9:37: 9:53
  28                                            // mir::Constant
  29                                            // + span: $DIR/issue-75439.rs:9:37: 9:46
  30                                            // + literal: Const { ty: unsafe extern "rust-intrinsic" fn([u8; 16]) -> [u32; 4] {std::intrinsics::transmute::<[u8; 16], [u32; 4]>}, val: Value(Scalar(<ZST>)) }
  31       }
  32
  33       bb1: {
  34           StorageDead(_3);                 // scope 2 at $DIR/issue-75439.rs:9:52: 9:53
  35           switchInt(_2[0 of 4]) -> [0_u32: bb2, otherwise: bb4]; // scope 1 at $DIR/issue-75439.rs:11:13: 11:14
  36       }
  37
  38       bb2: {
  39           switchInt(_2[1 of 4]) -> [0_u32: bb3, otherwise: bb4]; // scope 1 at $DIR/issue-75439.rs:11:16: 11:17
  40       }
  41
  42       bb3: {
  43           switchInt(_2[2 of 4]) -> [0_u32: bb6, 4294901760_u32: bb7, otherwise: bb4]; // scope 1 at $DIR/issue-75439.rs:11:19: 11:20
  44       }
  45
  46       bb4: {
  47           discriminant(_0) = 0;            // scope 1 at $DIR/issue-75439.rs:14:9: 14:13
  48           goto -> bb9;                     // scope 1 at $DIR/issue-75439.rs:11:5: 15:6
  49       }
  50
  51       bb5: {
  52           StorageLive(_5);                 // scope 3 at $DIR/issue-75439.rs:12:14: 12:38
  53           StorageLive(_6);                 // scope 4 at $DIR/issue-75439.rs:12:33: 12:35
  54           _6 = _4;                         // scope 4 at $DIR/issue-75439.rs:12:33: 12:35
  55           _5 = transmute::<u32, [u8; 4]>(move _6) -> bb8; // scope 4 at $DIR/issue-75439.rs:12:23: 12:36
  56                                            // mir::Constant
  57                                            // + span: $DIR/issue-75439.rs:12:23: 12:32
  58                                            // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(u32) -> [u8; 4] {std::intrinsics::transmute::<u32, [u8; 4]>}, val: Value(Scalar(<ZST>)) }
  59       }
  60
  61       bb6: {
  62           StorageLive(_4);                 // scope 1 at $DIR/issue-75439.rs:11:27: 11:29
  63           _4 = _2[3 of 4];                 // scope 1 at $DIR/issue-75439.rs:11:27: 11:29
  64           goto -> bb5;                     // scope 1 at $DIR/issue-75439.rs:11:5: 15:6
  65       }
  66
  67       bb7: {
  68           StorageLive(_4);                 // scope 1 at $DIR/issue-75439.rs:11:27: 11:29
  69           _4 = _2[3 of 4];                 // scope 1 at $DIR/issue-75439.rs:11:27: 11:29
  70           goto -> bb5;                     // scope 1 at $DIR/issue-75439.rs:11:5: 15:6
  71       }
  72
  73       bb8: {
  74           StorageDead(_6);                 // scope 4 at $DIR/issue-75439.rs:12:35: 12:36
  75           ((_0 as Some).0: [u8; 4]) = move _5; // scope 3 at $DIR/issue-75439.rs:12:9: 12:39
  76           discriminant(_0) = 1;            // scope 3 at $DIR/issue-75439.rs:12:9: 12:39
  77           StorageDead(_5);                 // scope 3 at $DIR/issue-75439.rs:12:38: 12:39
  78           StorageDead(_4);                 // scope 1 at $DIR/issue-75439.rs:13:5: 13:6
  79           goto -> bb9;                     // scope 1 at $DIR/issue-75439.rs:11:5: 15:6
  80       }
  81
  82       bb9: {
  83           StorageDead(_2);                 // scope 0 at $DIR/issue-75439.rs:16:1: 16:2
  84           return;                          // scope 0 at $DIR/issue-75439.rs:16:2: 16:2
  85       }
  86   }
  87