bless

Author: tesuji

tests/mir-opt/const_array_locals.main.PromoteArraysOpt.diff

@@ -4,48 +4,67 @@
   fn main() -> () {
       let mut _0: ();
       let _1: [i32; 32];
-      let mut _3: &[i32; 32];
-      let _4: [i32; 32];
-      let _5: ();
-      let mut _6: [u16; 32];
-+     let mut _9: &[i32; 32];
+      let mut _3: [i32; 12];
+      let mut _4: [i32; 12];
+      let mut _6: &[i32; 32];
+      let _7: [i32; 32];
+      let _8: ();
+      let mut _9: [u16; 32];
++     let mut _13: &[i32; 32];
       scope 1 {
           debug _arr => _1;
-          let _2: [i32; 32];
-          let mut _7: &[i32; 32];
+          let _2: [[i32; 12]; 2];
++         let mut _12: &[[i32; 12]; 2];
           scope 2 {
-              debug _darr => _2;
-+             let mut _8: &[u16; 32];
+              debug _foo => _2;
+              let _5: [i32; 32];
+              let mut _10: &[i32; 32];
+              scope 3 {
+                  debug _darr => _5;
++                 let mut _11: &[u16; 32];
+              }
           }
       }
 
       bb0: {
-          StorageLive(_1);
+-         StorageLive(_1);
 -         _1 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32, const 251_i32, const 191_i32, const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32, const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32, const 243_i32, const 218_i32, const 171_i32, const 87_i32, const 247_i32, const 104_i32, const 159_i32, const 22_i32, const 157_i32, const 105_i32, const 31_i32, const 96_i32, const 173_i32, const 50_i32, const 1_i32];
-+         _9 = const main::promoted[2];
-+         _1 = (*_9);
++         _13 = const main::promoted[3];
++         _1 = (*_13);
           FakeRead(ForLet(None), _1);
-          StorageLive(_2);
-          StorageLive(_3);
-          _7 = const main::promoted[0];
-          _3 = &(*_7);
-          _2 = (*_3);
+-         StorageLive(_2);
+-         StorageLive(_3);
+-         _3 = [const 255_i32, const 105_i32, const 15_i32, const 39_i32, const 62_i32, const 251_i32, const 191_i32, const 178_i32, const 9_i32, const 4_i32, const 56_i32, const 221_i32];
+-         StorageLive(_4);
+-         _4 = [const 193_i32, const 164_i32, const 194_i32, const 197_i32, const 6_i32, const 243_i32, const 218_i32, const 171_i32, const 87_i32, const 247_i32, const 104_i32, const 42_i32];
+-         _2 = [move _3, move _4];
+-         StorageDead(_4);
+-         StorageDead(_3);
++         _12 = const main::promoted[2];
++         _2 = (*_12);
           FakeRead(ForLet(None), _2);
-          StorageDead(_3);
           StorageLive(_5);
           StorageLive(_6);
--         _6 = [const 255_u16, const 105_u16, const 15_u16, const 39_u16, const 62_u16, const 251_u16, const 191_u16, const 178_u16, const 9_u16, const 4_u16, const 56_u16, const 221_u16, const 193_u16, const 164_u16, const 194_u16, const 197_u16, const 6_u16, const 243_u16, const 218_u16, const 171_u16, const 87_u16, const 247_u16, const 104_u16, const 159_u16, const 22_u16, const 157_u16, const 105_u16, const 31_u16, const 96_u16, const 173_u16, const 50_u16, const 1_u16];
-+         _8 = const main::promoted[1];
-+         _6 = (*_8);
-          _5 = consume(move _6) -> [return: bb1, unwind: bb2];
+          _10 = const main::promoted[0];
+          _6 = &(*_10);
+          _5 = (*_6);
+          FakeRead(ForLet(None), _5);
+          StorageDead(_6);
+          StorageLive(_8);
+-         StorageLive(_9);
+-         _9 = [const 255_u16, const 105_u16, const 15_u16, const 39_u16, const 62_u16, const 251_u16, const 191_u16, const 178_u16, const 9_u16, const 4_u16, const 56_u16, const 221_u16, const 193_u16, const 164_u16, const 194_u16, const 197_u16, const 6_u16, const 243_u16, const 218_u16, const 171_u16, const 87_u16, const 247_u16, const 104_u16, const 159_u16, const 22_u16, const 157_u16, const 105_u16, const 31_u16, const 96_u16, const 173_u16, const 50_u16, const 1_u16];
++         _11 = const main::promoted[1];
++         _9 = (*_11);
+          _8 = consume(move _9) -> [return: bb1, unwind: bb2];
       }
 
       bb1: {
-          StorageDead(_6);
-          StorageDead(_5);
+-         StorageDead(_9);
+          StorageDead(_8);
           _0 = const ();
-          StorageDead(_2);
-          StorageDead(_1);
+          StorageDead(_5);
+-         StorageDead(_2);
+-         StorageDead(_1);
           return;
       }