bless else

Author: tesuji

tests/mir-opt/const_prop/array_index.main.GVN.64bit.panic-unwind.diff

@@ -15,7 +15,8 @@
       bb0: {
           StorageLive(_1);
           StorageLive(_2);
-          _2 = [const 0_u32, const 1_u32, const 2_u32, const 3_u32];
+-         _2 = [const 0_u32, const 1_u32, const 2_u32, const 3_u32];
++         _2 = const [0_u32, 1_u32, 2_u32, 3_u32];
           StorageLive(_3);
           _3 = const 2_usize;
 -         _4 = Len(_2);
@@ -35,5 +36,9 @@
           StorageDead(_1);
           return;
       }
++ }
++ 
++ ALLOC0 (size: 16, align: 4) {
++     00 00 00 00 01 00 00 00 02 00 00 00 03 00 00 00 │ ................
   }
 

tests/mir-opt/const_prop/read_immutable_static.main.GVN.diff

@@ -14,9 +14,8 @@
 
       bb0: {
           StorageLive(_1);
--         StorageLive(_2);
+          StorageLive(_2);
 -         StorageLive(_3);
-+         nop;
 +         nop;
           _3 = const {ALLOC0: &u8};
 -         _2 = (*_3);
@@ -29,8 +28,7 @@
 +         _4 = const 2_u8;
 +         _1 = const 4_u8;
           StorageDead(_4);
--         StorageDead(_2);
-+         nop;
+          StorageDead(_2);
           StorageDead(_5);
 -         StorageDead(_3);
 +         nop;

tests/mir-opt/pre-codegen/optimizes_into_variable.main.GVN.64bit.panic-unwind.diff

@@ -35,7 +35,8 @@
 +         _1 = const 4_i32;
           StorageLive(_3);
           StorageLive(_4);
-          _4 = [const 0_i32, const 1_i32, const 2_i32, const 3_i32, const 4_i32, const 5_i32];
+-         _4 = [const 0_i32, const 1_i32, const 2_i32, const 3_i32, const 4_i32, const 5_i32];
++         _4 = const [0_i32, 1_i32, 2_i32, 3_i32, 4_i32, 5_i32];
           StorageLive(_5);
           _5 = const 3_usize;
           _6 = const 6_usize;
@@ -65,5 +66,10 @@
 + 
 + ALLOC0 (size: 8, align: 4) {
 +     04 00 00 00 00 __ __ __                         │ .....░░░
++ }
++ 
++ ALLOC1 (size: 24, align: 4) {
++     0x00 │ 00 00 00 00 01 00 00 00 02 00 00 00 03 00 00 00 │ ................
++     0x10 │ 04 00 00 00 05 00 00 00                         │ ........
   }