X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftest%2Fmir-opt%2Fsimplify_arm.id_result.SimplifyBranchSame.diff;h=3692ebf747bd2de948bbb484b8dd2a7c4b30e968;hb=b01b9447a8a66a2e737d7b261b1664fbed7c9f18;hp=52adf11d0f528042955814612d6471d644cdde4e;hpb=7a782537b17a0cf8f46e9eb67d818275941cc0bc;p=rust.git diff --git a/src/test/mir-opt/simplify_arm.id_result.SimplifyBranchSame.diff b/src/test/mir-opt/simplify_arm.id_result.SimplifyBranchSame.diff index 52adf11d0f5..3692ebf747b 100644 --- a/src/test/mir-opt/simplify_arm.id_result.SimplifyBranchSame.diff +++ b/src/test/mir-opt/simplify_arm.id_result.SimplifyBranchSame.diff @@ -2,57 +2,57 @@ + // MIR for `id_result` after SimplifyBranchSame fn id_result(_1: Result) -> Result { - debug r => _1; // in scope 0 at $DIR/simplify-arm.rs:16:14: 16:15 - let mut _0: std::result::Result; // return place in scope 0 at $DIR/simplify-arm.rs:16:37: 16:52 - let mut _2: isize; // in scope 0 at $DIR/simplify-arm.rs:18:9: 18:14 - let _3: u8; // in scope 0 at $DIR/simplify-arm.rs:18:12: 18:13 - let mut _4: u8; // in scope 0 at $DIR/simplify-arm.rs:18:21: 18:22 - let _5: i32; // in scope 0 at $DIR/simplify-arm.rs:19:13: 19:14 - let mut _6: i32; // in scope 0 at $DIR/simplify-arm.rs:19:23: 19:24 + debug r => _1; // in scope 0 at $DIR/simplify-arm.rs:+0:14: +0:15 + let mut _0: std::result::Result; // return place in scope 0 at $DIR/simplify-arm.rs:+0:37: +0:52 + let mut _2: isize; // in scope 0 at $DIR/simplify-arm.rs:+2:9: +2:14 + let _3: u8; // in scope 0 at $DIR/simplify-arm.rs:+2:12: +2:13 + let mut _4: u8; // in scope 0 at $DIR/simplify-arm.rs:+2:21: +2:22 + let _5: i32; // in scope 0 at $DIR/simplify-arm.rs:+3:13: +3:14 + let mut _6: i32; // in scope 0 at $DIR/simplify-arm.rs:+3:23: +3:24 scope 1 { - debug x => _3; // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13 + debug x => _3; // in scope 1 at $DIR/simplify-arm.rs:+2:12: +2:13 } scope 2 { - debug y => _5; // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14 + debug y => _5; // in scope 2 at $DIR/simplify-arm.rs:+3:13: +3:14 } bb0: { - _2 = discriminant(_1); // scope 0 at $DIR/simplify-arm.rs:17:11: 17:12 - switchInt(move _2) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:17:5: 17:12 + _2 = discriminant(_1); // scope 0 at $DIR/simplify-arm.rs:+1:11: +1:12 + switchInt(move _2) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:+1:5: +1:12 } bb1: { - StorageLive(_5); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14 - _5 = ((_1 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14 - StorageLive(_6); // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24 - _6 = _5; // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24 - Deinit(_0); // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25 - ((_0 as Err).0: i32) = move _6; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25 - discriminant(_0) = 1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25 - StorageDead(_6); // scope 2 at $DIR/simplify-arm.rs:19:24: 19:25 - StorageDead(_5); // scope 0 at $DIR/simplify-arm.rs:19:24: 19:25 - goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:19:24: 19:25 + StorageLive(_5); // scope 0 at $DIR/simplify-arm.rs:+3:13: +3:14 + _5 = ((_1 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:+3:13: +3:14 + StorageLive(_6); // scope 2 at $DIR/simplify-arm.rs:+3:23: +3:24 + _6 = _5; // scope 2 at $DIR/simplify-arm.rs:+3:23: +3:24 + Deinit(_0); // scope 2 at $DIR/simplify-arm.rs:+3:19: +3:25 + ((_0 as Err).0: i32) = move _6; // scope 2 at $DIR/simplify-arm.rs:+3:19: +3:25 + discriminant(_0) = 1; // scope 2 at $DIR/simplify-arm.rs:+3:19: +3:25 + StorageDead(_6); // scope 2 at $DIR/simplify-arm.rs:+3:24: +3:25 + StorageDead(_5); // scope 0 at $DIR/simplify-arm.rs:+3:24: +3:25 + goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:+3:24: +3:25 } bb2: { - unreachable; // scope 0 at $DIR/simplify-arm.rs:17:11: 17:12 + unreachable; // scope 0 at $DIR/simplify-arm.rs:+1:11: +1:12 } bb3: { - StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13 - _3 = ((_1 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13 - StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22 - _4 = _3; // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22 - Deinit(_0); // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23 - ((_0 as Ok).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23 - discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23 - StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:18:22: 18:23 - StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:18:22: 18:23 - goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:18:22: 18:23 + StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:+2:12: +2:13 + _3 = ((_1 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:+2:12: +2:13 + StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:+2:21: +2:22 + _4 = _3; // scope 1 at $DIR/simplify-arm.rs:+2:21: +2:22 + Deinit(_0); // scope 1 at $DIR/simplify-arm.rs:+2:18: +2:23 + ((_0 as Ok).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:+2:18: +2:23 + discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:+2:18: +2:23 + StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:+2:22: +2:23 + StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:+2:22: +2:23 + goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:+2:22: +2:23 } bb4: { - return; // scope 0 at $DIR/simplify-arm.rs:21:2: 21:2 + return; // scope 0 at $DIR/simplify-arm.rs:+5:2: +5:2 } }