]> git.lizzy.rs Git - rust.git/blobdiff - src/test/mir-opt/separate_const_switch.too_complex.PreCodegen.after.mir
projects / rust.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Rollup merge of #99864 - klensy:bootstrap-art-dupe, r=jyn514
[rust.git] / src / test / mir-opt / separate_const_switch.too_complex.PreCodegen.after.mir
diff --git a/src/test/mir-opt/separate_const_switch.too_complex.PreCodegen.after.mir b/src/test/mir-opt/separate_const_switch.too_complex.PreCodegen.after.mir
index 39100316597e31117c959fdd95f1b6e7c319c1d8..1009225b733f9697b339d3f14ab5a967f64c79fa 100644 (file)
--- a/src/test/mir-opt/separate_const_switch.too_complex.PreCodegen.after.mir
+++ b/src/test/mir-opt/separate_const_switch.too_complex.PreCodegen.after.mir
@@ -1,69 +1,69 @@
 // MIR for `too_complex` after PreCodegen
 
 fn too_complex(_1: Result<i32, usize>) -> Option<i32> {
-    debug x => _1;                       // in scope 0 at $DIR/separate_const_switch.rs:9:16: 9:17
-    let mut _0: std::option::Option<i32>; // return place in scope 0 at $DIR/separate_const_switch.rs:9:42: 9:53
-    let mut _2: std::ops::ControlFlow<usize, i32>; // in scope 0 at $DIR/separate_const_switch.rs:14:11: 19:6
-    let mut _3: isize;                   // in scope 0 at $DIR/separate_const_switch.rs:16:13: 16:18
-    let _4: i32;                         // in scope 0 at $DIR/separate_const_switch.rs:16:16: 16:17
-    let mut _5: i32;                     // in scope 0 at $DIR/separate_const_switch.rs:16:44: 16:45
-    let _6: usize;                       // in scope 0 at $DIR/separate_const_switch.rs:17:17: 17:18
-    let _7: i32;                         // in scope 0 at $DIR/separate_const_switch.rs:20:31: 20:32
-    let mut _8: i32;                     // in scope 0 at $DIR/separate_const_switch.rs:20:42: 20:43
-    let _9: usize;                       // in scope 0 at $DIR/separate_const_switch.rs:21:28: 21:29
+    debug x => _1;                       // in scope 0 at $DIR/separate_const_switch.rs:+0:16: +0:17
+    let mut _0: std::option::Option<i32>; // return place in scope 0 at $DIR/separate_const_switch.rs:+0:42: +0:53
+    let mut _2: std::ops::ControlFlow<usize, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
+    let mut _3: isize;                   // in scope 0 at $DIR/separate_const_switch.rs:+7:13: +7:18
+    let _4: i32;                         // in scope 0 at $DIR/separate_const_switch.rs:+7:16: +7:17
+    let mut _5: i32;                     // in scope 0 at $DIR/separate_const_switch.rs:+7:44: +7:45
+    let _6: usize;                       // in scope 0 at $DIR/separate_const_switch.rs:+8:17: +8:18
+    let _7: i32;                         // in scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
+    let mut _8: i32;                     // in scope 0 at $DIR/separate_const_switch.rs:+11:42: +11:43
+    let _9: usize;                       // in scope 0 at $DIR/separate_const_switch.rs:+12:28: +12:29
     scope 1 {
-        debug v => _4;                   // in scope 1 at $DIR/separate_const_switch.rs:16:16: 16:17
+        debug v => _4;                   // in scope 1 at $DIR/separate_const_switch.rs:+7:16: +7:17
     }
     scope 2 {
-        debug r => _6;                   // in scope 2 at $DIR/separate_const_switch.rs:17:17: 17:18
+        debug r => _6;                   // in scope 2 at $DIR/separate_const_switch.rs:+8:17: +8:18
     }
     scope 3 {
-        debug v => _7;                   // in scope 3 at $DIR/separate_const_switch.rs:20:31: 20:32
+        debug v => _7;                   // in scope 3 at $DIR/separate_const_switch.rs:+11:31: +11:32
     }
     scope 4 {
-        debug r => _9;                   // in scope 4 at $DIR/separate_const_switch.rs:21:28: 21:29
+        debug r => _9;                   // in scope 4 at $DIR/separate_const_switch.rs:+12:28: +12:29
     }
 
     bb0: {
-        StorageLive(_2);                 // scope 0 at $DIR/separate_const_switch.rs:14:11: 19:6
-        _3 = discriminant(_1);           // scope 0 at $DIR/separate_const_switch.rs:15:15: 15:16
-        switchInt(move _3) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/separate_const_switch.rs:15:9: 15:16
+        StorageLive(_2);                 // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
+        _3 = discriminant(_1);           // scope 0 at $DIR/separate_const_switch.rs:+6:15: +6:16
+        switchInt(move _3) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/separate_const_switch.rs:+6:9: +6:16
     }
 
     bb1: {
-        StorageLive(_6);                 // scope 0 at $DIR/separate_const_switch.rs:17:17: 17:18
-        StorageDead(_6);                 // scope 0 at $DIR/separate_const_switch.rs:17:43: 17:44
-        StorageLive(_9);                 // scope 0 at $DIR/separate_const_switch.rs:21:28: 21:29
-        Deinit(_0);                      // scope 4 at $DIR/separate_const_switch.rs:21:34: 21:38
-        discriminant(_0) = 0;            // scope 4 at $DIR/separate_const_switch.rs:21:34: 21:38
-        StorageDead(_9);                 // scope 0 at $DIR/separate_const_switch.rs:21:37: 21:38
-        goto -> bb3;                     // scope 0 at $DIR/separate_const_switch.rs:21:37: 21:38
+        StorageLive(_6);                 // scope 0 at $DIR/separate_const_switch.rs:+8:17: +8:18
+        StorageDead(_6);                 // scope 0 at $DIR/separate_const_switch.rs:+8:43: +8:44
+        StorageLive(_9);                 // scope 0 at $DIR/separate_const_switch.rs:+12:28: +12:29
+        Deinit(_0);                      // scope 4 at $DIR/separate_const_switch.rs:+12:34: +12:38
+        discriminant(_0) = 0;            // scope 4 at $DIR/separate_const_switch.rs:+12:34: +12:38
+        StorageDead(_9);                 // scope 0 at $DIR/separate_const_switch.rs:+12:37: +12:38
+        goto -> bb3;                     // scope 0 at $DIR/separate_const_switch.rs:+12:37: +12:38
     }
 
     bb2: {
-        StorageLive(_4);                 // scope 0 at $DIR/separate_const_switch.rs:16:16: 16:17
-        _4 = ((_1 as Ok).0: i32);        // scope 0 at $DIR/separate_const_switch.rs:16:16: 16:17
-        StorageLive(_5);                 // scope 1 at $DIR/separate_const_switch.rs:16:44: 16:45
-        _5 = _4;                         // scope 1 at $DIR/separate_const_switch.rs:16:44: 16:45
-        Deinit(_2);                      // scope 1 at $DIR/separate_const_switch.rs:16:22: 16:46
-        ((_2 as Continue).0: i32) = move _5; // scope 1 at $DIR/separate_const_switch.rs:16:22: 16:46
-        discriminant(_2) = 0;            // scope 1 at $DIR/separate_const_switch.rs:16:22: 16:46
-        StorageDead(_5);                 // scope 1 at $DIR/separate_const_switch.rs:16:45: 16:46
-        StorageDead(_4);                 // scope 0 at $DIR/separate_const_switch.rs:16:45: 16:46
-        StorageLive(_7);                 // scope 0 at $DIR/separate_const_switch.rs:20:31: 20:32
-        _7 = ((_2 as Continue).0: i32);  // scope 0 at $DIR/separate_const_switch.rs:20:31: 20:32
-        StorageLive(_8);                 // scope 3 at $DIR/separate_const_switch.rs:20:42: 20:43
-        _8 = _7;                         // scope 3 at $DIR/separate_const_switch.rs:20:42: 20:43
-        Deinit(_0);                      // scope 3 at $DIR/separate_const_switch.rs:20:37: 20:44
-        ((_0 as Some).0: i32) = move _8; // scope 3 at $DIR/separate_const_switch.rs:20:37: 20:44
-        discriminant(_0) = 1;            // scope 3 at $DIR/separate_const_switch.rs:20:37: 20:44
-        StorageDead(_8);                 // scope 3 at $DIR/separate_const_switch.rs:20:43: 20:44
-        StorageDead(_7);                 // scope 0 at $DIR/separate_const_switch.rs:20:43: 20:44
-        goto -> bb3;                     // scope 0 at $DIR/separate_const_switch.rs:20:43: 20:44
+        StorageLive(_4);                 // scope 0 at $DIR/separate_const_switch.rs:+7:16: +7:17
+        _4 = ((_1 as Ok).0: i32);        // scope 0 at $DIR/separate_const_switch.rs:+7:16: +7:17
+        StorageLive(_5);                 // scope 1 at $DIR/separate_const_switch.rs:+7:44: +7:45
+        _5 = _4;                         // scope 1 at $DIR/separate_const_switch.rs:+7:44: +7:45
+        Deinit(_2);                      // scope 1 at $DIR/separate_const_switch.rs:+7:22: +7:46
+        ((_2 as Continue).0: i32) = move _5; // scope 1 at $DIR/separate_const_switch.rs:+7:22: +7:46
+        discriminant(_2) = 0;            // scope 1 at $DIR/separate_const_switch.rs:+7:22: +7:46
+        StorageDead(_5);                 // scope 1 at $DIR/separate_const_switch.rs:+7:45: +7:46
+        StorageDead(_4);                 // scope 0 at $DIR/separate_const_switch.rs:+7:45: +7:46
+        StorageLive(_7);                 // scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
+        _7 = ((_2 as Continue).0: i32);  // scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
+        StorageLive(_8);                 // scope 3 at $DIR/separate_const_switch.rs:+11:42: +11:43
+        _8 = _7;                         // scope 3 at $DIR/separate_const_switch.rs:+11:42: +11:43
+        Deinit(_0);                      // scope 3 at $DIR/separate_const_switch.rs:+11:37: +11:44
+        ((_0 as Some).0: i32) = move _8; // scope 3 at $DIR/separate_const_switch.rs:+11:37: +11:44
+        discriminant(_0) = 1;            // scope 3 at $DIR/separate_const_switch.rs:+11:37: +11:44
+        StorageDead(_8);                 // scope 3 at $DIR/separate_const_switch.rs:+11:43: +11:44
+        StorageDead(_7);                 // scope 0 at $DIR/separate_const_switch.rs:+11:43: +11:44
+        goto -> bb3;                     // scope 0 at $DIR/separate_const_switch.rs:+11:43: +11:44
     }
 
     bb3: {
-        StorageDead(_2);                 // scope 0 at $DIR/separate_const_switch.rs:23:1: 23:2
-        return;                          // scope 0 at $DIR/separate_const_switch.rs:23:2: 23:2
+        StorageDead(_2);                 // scope 0 at $DIR/separate_const_switch.rs:+14:1: +14:2
+        return;                          // scope 0 at $DIR/separate_const_switch.rs:+14:2: +14:2
     }
 }
Empowering everyone to build reliable and efficient software.