]> git.lizzy.rs Git - rust.git/blobdiff - src/test/mir-opt/if_condition_int.opt_multiple_ifs.SimplifyComparisonIntegral.diff
Rollup merge of #100382 - jackh726:gat-self-outlives-input, r=compiler-errors
[rust.git] / src / test / mir-opt / if_condition_int.opt_multiple_ifs.SimplifyComparisonIntegral.diff
index 55932fee9600cb28a3644461026d20246356ee7e..a408de1ef3e97a6a0dfef7b1ae4c1e48c9dd5194 100644 (file)
@@ -2,64 +2,64 @@
 + // MIR for `opt_multiple_ifs` after SimplifyComparisonIntegral
   
   fn opt_multiple_ifs(_1: u32) -> u32 {
-      debug x => _1;                       // in scope 0 at $DIR/if-condition-int.rs:32:21: 32:22
-      let mut _0: u32;                     // return place in scope 0 at $DIR/if-condition-int.rs:32:32: 32:35
-      let mut _2: bool;                    // in scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-      let mut _3: u32;                     // in scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
-      let mut _4: bool;                    // in scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-      let mut _5: u32;                     // in scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
+      debug x => _1;                       // in scope 0 at $DIR/if-condition-int.rs:+0:21: +0:22
+      let mut _0: u32;                     // return place in scope 0 at $DIR/if-condition-int.rs:+0:32: +0:35
+      let mut _2: bool;                    // in scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
+      let mut _3: u32;                     // in scope 0 at $DIR/if-condition-int.rs:+1:8: +1:9
+      let mut _4: bool;                    // in scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
+      let mut _5: u32;                     // in scope 0 at $DIR/if-condition-int.rs:+3:15: +3:16
   
       bb0: {
-          StorageLive(_2);                 // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-          StorageLive(_3);                 // scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
-          _3 = _1;                         // scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
--         _2 = Eq(move _3, const 42_u32);  // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
--         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:33:14: 33:15
--         switchInt(move _2) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-+         nop;                             // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-+         nop;                             // scope 0 at $DIR/if-condition-int.rs:33:14: 33:15
-+         switchInt(move _3) -> [42_u32: bb1, otherwise: bb2]; // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
+          StorageLive(_2);                 // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
+          StorageLive(_3);                 // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:9
+          _3 = _1;                         // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:9
+-         _2 = Eq(move _3, const 42_u32);  // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
+-         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:+1:14: +1:15
+-         switchInt(move _2) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
++         nop;                             // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
++         nop;                             // scope 0 at $DIR/if-condition-int.rs:+1:14: +1:15
++         switchInt(move _3) -> [42_u32: bb1, otherwise: bb2]; // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
       }
   
       bb1: {
-+         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-          _0 = const 0_u32;                // scope 0 at $DIR/if-condition-int.rs:34:9: 34:10
-          goto -> bb6;                     // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
++         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
+          _0 = const 0_u32;                // scope 0 at $DIR/if-condition-int.rs:+2:9: +2:10
+          goto -> bb6;                     // scope 0 at $DIR/if-condition-int.rs:+1:5: +7:6
       }
   
       bb2: {
-+         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
-          StorageLive(_4);                 // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-          StorageLive(_5);                 // scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
-          _5 = _1;                         // scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
--         _4 = Ne(move _5, const 21_u32);  // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
--         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:35:21: 35:22
--         switchInt(move _4) -> [false: bb4, otherwise: bb3]; // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-+         nop;                             // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-+         nop;                             // scope 0 at $DIR/if-condition-int.rs:35:21: 35:22
-+         switchInt(move _5) -> [21_u32: bb4, otherwise: bb3]; // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
++         StorageDead(_3);                 // scope 0 at $DIR/if-condition-int.rs:+1:8: +1:15
+          StorageLive(_4);                 // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
+          StorageLive(_5);                 // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:16
+          _5 = _1;                         // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:16
+-         _4 = Ne(move _5, const 21_u32);  // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
+-         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:+3:21: +3:22
+-         switchInt(move _4) -> [false: bb4, otherwise: bb3]; // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
++         nop;                             // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
++         nop;                             // scope 0 at $DIR/if-condition-int.rs:+3:21: +3:22
++         switchInt(move _5) -> [21_u32: bb4, otherwise: bb3]; // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
       }
   
       bb3: {
-+         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-          _0 = const 1_u32;                // scope 0 at $DIR/if-condition-int.rs:36:9: 36:10
-          goto -> bb5;                     // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
++         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
+          _0 = const 1_u32;                // scope 0 at $DIR/if-condition-int.rs:+4:9: +4:10
+          goto -> bb5;                     // scope 0 at $DIR/if-condition-int.rs:+3:12: +7:6
       }
   
       bb4: {
-+         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
-          _0 = const 2_u32;                // scope 0 at $DIR/if-condition-int.rs:38:9: 38:10
-          goto -> bb5;                     // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
++         StorageDead(_5);                 // scope 0 at $DIR/if-condition-int.rs:+3:15: +3:22
+          _0 = const 2_u32;                // scope 0 at $DIR/if-condition-int.rs:+6:9: +6:10
+          goto -> bb5;                     // scope 0 at $DIR/if-condition-int.rs:+3:12: +7:6
       }
   
       bb5: {
-          StorageDead(_4);                 // scope 0 at $DIR/if-condition-int.rs:39:5: 39:6
-          goto -> bb6;                     // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
+          StorageDead(_4);                 // scope 0 at $DIR/if-condition-int.rs:+7:5: +7:6
+          goto -> bb6;                     // scope 0 at $DIR/if-condition-int.rs:+1:5: +7:6
       }
   
       bb6: {
-          StorageDead(_2);                 // scope 0 at $DIR/if-condition-int.rs:39:5: 39:6
-          return;                          // scope 0 at $DIR/if-condition-int.rs:40:2: 40:2
+          StorageDead(_2);                 // scope 0 at $DIR/if-condition-int.rs:+7:5: +7:6
+          return;                          // scope 0 at $DIR/if-condition-int.rs:+8:2: +8:2
       }
   }