]> git.lizzy.rs Git - rust.git/blobdiff - src/test/mir-opt/const_prop/repeat.main.ConstProp.32bit.diff
Rollup merge of #100713 - Xiretza:parser-expr-session-diagnostics, r=estebank
[rust.git] / src / test / mir-opt / const_prop / repeat.main.ConstProp.32bit.diff
index 1d9e4712d5a227cebd6872f4e81349321893b99b..7c4977996917eb46f2f9f1f554cc60aabc232f51 100644 (file)
@@ -2,42 +2,42 @@
 + // MIR for `main` after ConstProp
   
   fn main() -> () {
-      let mut _0: ();                      // return place in scope 0 at $DIR/repeat.rs:5:11: 5:11
-      let _1: u32;                         // in scope 0 at $DIR/repeat.rs:6:9: 6:10
-      let mut _2: u32;                     // in scope 0 at $DIR/repeat.rs:6:18: 6:28
-      let mut _3: [u32; 8];                // in scope 0 at $DIR/repeat.rs:6:18: 6:25
-      let _4: usize;                       // in scope 0 at $DIR/repeat.rs:6:26: 6:27
-      let mut _5: usize;                   // in scope 0 at $DIR/repeat.rs:6:18: 6:28
-      let mut _6: bool;                    // in scope 0 at $DIR/repeat.rs:6:18: 6:28
+      let mut _0: ();                      // return place in scope 0 at $DIR/repeat.rs:+0:11: +0:11
+      let _1: u32;                         // in scope 0 at $DIR/repeat.rs:+1:9: +1:10
+      let mut _2: u32;                     // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
+      let mut _3: [u32; 8];                // in scope 0 at $DIR/repeat.rs:+1:18: +1:25
+      let _4: usize;                       // in scope 0 at $DIR/repeat.rs:+1:26: +1:27
+      let mut _5: usize;                   // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
+      let mut _6: bool;                    // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
       scope 1 {
-          debug x => _1;                   // in scope 1 at $DIR/repeat.rs:6:9: 6:10
+          debug x => _1;                   // in scope 1 at $DIR/repeat.rs:+1:9: +1:10
       }
   
       bb0: {
-          StorageLive(_1);                 // scope 0 at $DIR/repeat.rs:6:9: 6:10
-          StorageLive(_2);                 // scope 0 at $DIR/repeat.rs:6:18: 6:28
-          StorageLive(_3);                 // scope 0 at $DIR/repeat.rs:6:18: 6:25
-          _3 = [const 42_u32; 8];          // scope 0 at $DIR/repeat.rs:6:18: 6:25
-          StorageLive(_4);                 // scope 0 at $DIR/repeat.rs:6:26: 6:27
-          _4 = const 2_usize;              // scope 0 at $DIR/repeat.rs:6:26: 6:27
-          _5 = const 8_usize;              // scope 0 at $DIR/repeat.rs:6:18: 6:28
--         _6 = Lt(_4, _5);                 // scope 0 at $DIR/repeat.rs:6:18: 6:28
--         assert(move _6, "index out of bounds: the length is {} but the index is {}", move _5, _4) -> bb1; // scope 0 at $DIR/repeat.rs:6:18: 6:28
-+         _6 = const true;                 // scope 0 at $DIR/repeat.rs:6:18: 6:28
-+         assert(const true, "index out of bounds: the length is {} but the index is {}", const 8_usize, const 2_usize) -> bb1; // scope 0 at $DIR/repeat.rs:6:18: 6:28
+          StorageLive(_1);                 // scope 0 at $DIR/repeat.rs:+1:9: +1:10
+          StorageLive(_2);                 // scope 0 at $DIR/repeat.rs:+1:18: +1:28
+          StorageLive(_3);                 // scope 0 at $DIR/repeat.rs:+1:18: +1:25
+          _3 = [const 42_u32; 8];          // scope 0 at $DIR/repeat.rs:+1:18: +1:25
+          StorageLive(_4);                 // scope 0 at $DIR/repeat.rs:+1:26: +1:27
+          _4 = const 2_usize;              // scope 0 at $DIR/repeat.rs:+1:26: +1:27
+          _5 = const 8_usize;              // scope 0 at $DIR/repeat.rs:+1:18: +1:28
+-         _6 = Lt(_4, _5);                 // scope 0 at $DIR/repeat.rs:+1:18: +1:28
+-         assert(move _6, "index out of bounds: the length is {} but the index is {}", move _5, _4) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
++         _6 = const true;                 // scope 0 at $DIR/repeat.rs:+1:18: +1:28
++         assert(const true, "index out of bounds: the length is {} but the index is {}", const 8_usize, const 2_usize) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
       }
   
       bb1: {
--         _2 = _3[_4];                     // scope 0 at $DIR/repeat.rs:6:18: 6:28
--         _1 = Add(move _2, const 0_u32);  // scope 0 at $DIR/repeat.rs:6:18: 6:32
-+         _2 = const 42_u32;               // scope 0 at $DIR/repeat.rs:6:18: 6:28
-+         _1 = const 42_u32;               // scope 0 at $DIR/repeat.rs:6:18: 6:32
-          StorageDead(_2);                 // scope 0 at $DIR/repeat.rs:6:31: 6:32
-          StorageDead(_4);                 // scope 0 at $DIR/repeat.rs:6:32: 6:33
-          StorageDead(_3);                 // scope 0 at $DIR/repeat.rs:6:32: 6:33
-          nop;                             // scope 0 at $DIR/repeat.rs:5:11: 7:2
-          StorageDead(_1);                 // scope 0 at $DIR/repeat.rs:7:1: 7:2
-          return;                          // scope 0 at $DIR/repeat.rs:7:2: 7:2
+-         _2 = _3[_4];                     // scope 0 at $DIR/repeat.rs:+1:18: +1:28
+-         _1 = Add(move _2, const 0_u32);  // scope 0 at $DIR/repeat.rs:+1:18: +1:32
++         _2 = const 42_u32;               // scope 0 at $DIR/repeat.rs:+1:18: +1:28
++         _1 = const 42_u32;               // scope 0 at $DIR/repeat.rs:+1:18: +1:32
+          StorageDead(_2);                 // scope 0 at $DIR/repeat.rs:+1:31: +1:32
+          StorageDead(_4);                 // scope 0 at $DIR/repeat.rs:+1:32: +1:33
+          StorageDead(_3);                 // scope 0 at $DIR/repeat.rs:+1:32: +1:33
+          nop;                             // scope 0 at $DIR/repeat.rs:+0:11: +2:2
+          StorageDead(_1);                 // scope 0 at $DIR/repeat.rs:+2:1: +2:2
+          return;                          // scope 0 at $DIR/repeat.rs:+2:2: +2:2
       }
   }