X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftest%2Fmir-opt%2Fissues%2Fissue_75439.foo.MatchBranchSimplification.diff;h=2ee4332ad3827117f1528f2356e76284268a8b4a;hb=11c0280798da8f4d65dec25764237d2354e65273;hp=08ff3b67655cedfafa8c4a77d300e6ce0504381b;hpb=8bd12e8cca3f28f302b9cc0f1f47bb64bd1f98fd;p=rust.git diff --git a/src/test/mir-opt/issues/issue_75439.foo.MatchBranchSimplification.diff b/src/test/mir-opt/issues/issue_75439.foo.MatchBranchSimplification.diff index 08ff3b67655..2ee4332ad38 100644 --- a/src/test/mir-opt/issues/issue_75439.foo.MatchBranchSimplification.diff +++ b/src/test/mir-opt/issues/issue_75439.foo.MatchBranchSimplification.diff @@ -2,17 +2,17 @@ + // MIR for `foo` after MatchBranchSimplification fn foo(_1: [u8; 16]) -> Option<[u8; 4]> { - debug bytes => _1; // in scope 0 at $DIR/issue-75439.rs:5:12: 5:17 - let mut _0: std::option::Option<[u8; 4]>; // return place in scope 0 at $DIR/issue-75439.rs:5:32: 5:47 - let _2: [u32; 4]; // in scope 0 at $DIR/issue-75439.rs:7:9: 7:15 - let mut _3: [u8; 16]; // in scope 0 at $DIR/issue-75439.rs:7:47: 7:52 - let mut _5: [u8; 4]; // in scope 0 at $DIR/issue-75439.rs:10:14: 10:38 - let mut _6: u32; // in scope 0 at $DIR/issue-75439.rs:10:33: 10:35 + debug bytes => _1; // in scope 0 at $DIR/issue-75439.rs:+0:12: +0:17 + let mut _0: std::option::Option<[u8; 4]>; // return place in scope 0 at $DIR/issue-75439.rs:+0:32: +0:47 + let _2: [u32; 4]; // in scope 0 at $DIR/issue-75439.rs:+2:9: +2:15 + let mut _3: [u8; 16]; // in scope 0 at $DIR/issue-75439.rs:+2:47: +2:52 + let mut _5: [u8; 4]; // in scope 0 at $DIR/issue-75439.rs:+5:14: +5:38 + let mut _6: u32; // in scope 0 at $DIR/issue-75439.rs:+5:33: +5:35 scope 1 { - debug dwords => _2; // in scope 1 at $DIR/issue-75439.rs:7:9: 7:15 + debug dwords => _2; // in scope 1 at $DIR/issue-75439.rs:+2:9: +2:15 scope 3 { - debug ip => _4; // in scope 3 at $DIR/issue-75439.rs:9:27: 9:29 - let _4: u32; // in scope 3 at $DIR/issue-75439.rs:9:27: 9:29 + debug ip => _4; // in scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 + let _4: u32; // in scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 scope 4 { } } @@ -21,69 +21,69 @@ } bb0: { - StorageLive(_2); // scope 0 at $DIR/issue-75439.rs:7:9: 7:15 - StorageLive(_3); // scope 2 at $DIR/issue-75439.rs:7:47: 7:52 - _3 = _1; // scope 2 at $DIR/issue-75439.rs:7:47: 7:52 - _2 = transmute::<[u8; 16], [u32; 4]>(move _3) -> bb1; // scope 2 at $DIR/issue-75439.rs:7:37: 7:53 + StorageLive(_2); // scope 0 at $DIR/issue-75439.rs:+2:9: +2:15 + StorageLive(_3); // scope 2 at $DIR/issue-75439.rs:+2:47: +2:52 + _3 = _1; // scope 2 at $DIR/issue-75439.rs:+2:47: +2:52 + _2 = transmute::<[u8; 16], [u32; 4]>(move _3) -> bb1; // scope 2 at $DIR/issue-75439.rs:+2:37: +2:53 // mir::Constant // + span: $DIR/issue-75439.rs:7:37: 7:46 // + literal: Const { ty: unsafe extern "rust-intrinsic" fn([u8; 16]) -> [u32; 4] {transmute::<[u8; 16], [u32; 4]>}, val: Value() } } bb1: { - StorageDead(_3); // scope 2 at $DIR/issue-75439.rs:7:52: 7:53 - switchInt(_2[0 of 4]) -> [0_u32: bb2, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:9:12: 9:30 + StorageDead(_3); // scope 2 at $DIR/issue-75439.rs:+2:52: +2:53 + switchInt(_2[0 of 4]) -> [0_u32: bb2, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:+4:12: +4:30 } bb2: { - switchInt(_2[1 of 4]) -> [0_u32: bb3, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:9:12: 9:30 + switchInt(_2[1 of 4]) -> [0_u32: bb3, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:+4:12: +4:30 } bb3: { - switchInt(_2[2 of 4]) -> [0_u32: bb5, 4294901760_u32: bb6, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:9:12: 9:30 + switchInt(_2[2 of 4]) -> [0_u32: bb5, 4294901760_u32: bb6, otherwise: bb8]; // scope 3 at $DIR/issue-75439.rs:+4:12: +4:30 } bb4: { - StorageLive(_5); // scope 3 at $DIR/issue-75439.rs:10:14: 10:38 - StorageLive(_6); // scope 4 at $DIR/issue-75439.rs:10:33: 10:35 - _6 = _4; // scope 4 at $DIR/issue-75439.rs:10:33: 10:35 - _5 = transmute::(move _6) -> bb7; // scope 4 at $DIR/issue-75439.rs:10:23: 10:36 + StorageLive(_5); // scope 3 at $DIR/issue-75439.rs:+5:14: +5:38 + StorageLive(_6); // scope 4 at $DIR/issue-75439.rs:+5:33: +5:35 + _6 = _4; // scope 4 at $DIR/issue-75439.rs:+5:33: +5:35 + _5 = transmute::(move _6) -> bb7; // scope 4 at $DIR/issue-75439.rs:+5:23: +5:36 // mir::Constant // + span: $DIR/issue-75439.rs:10:23: 10:32 // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(u32) -> [u8; 4] {transmute::}, val: Value() } } bb5: { - StorageLive(_4); // scope 3 at $DIR/issue-75439.rs:9:27: 9:29 - _4 = _2[3 of 4]; // scope 3 at $DIR/issue-75439.rs:9:27: 9:29 - goto -> bb4; // scope 3 at $DIR/issue-75439.rs:9:12: 9:30 + StorageLive(_4); // scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 + _4 = _2[3 of 4]; // scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 + goto -> bb4; // scope 3 at $DIR/issue-75439.rs:+4:12: +4:30 } bb6: { - StorageLive(_4); // scope 3 at $DIR/issue-75439.rs:9:27: 9:29 - _4 = _2[3 of 4]; // scope 3 at $DIR/issue-75439.rs:9:27: 9:29 - goto -> bb4; // scope 3 at $DIR/issue-75439.rs:9:12: 9:30 + StorageLive(_4); // scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 + _4 = _2[3 of 4]; // scope 3 at $DIR/issue-75439.rs:+4:27: +4:29 + goto -> bb4; // scope 3 at $DIR/issue-75439.rs:+4:12: +4:30 } bb7: { - StorageDead(_6); // scope 4 at $DIR/issue-75439.rs:10:35: 10:36 - Deinit(_0); // scope 3 at $DIR/issue-75439.rs:10:9: 10:39 - ((_0 as Some).0: [u8; 4]) = move _5; // scope 3 at $DIR/issue-75439.rs:10:9: 10:39 - discriminant(_0) = 1; // scope 3 at $DIR/issue-75439.rs:10:9: 10:39 - StorageDead(_5); // scope 3 at $DIR/issue-75439.rs:10:38: 10:39 - StorageDead(_4); // scope 1 at $DIR/issue-75439.rs:11:5: 11:6 - goto -> bb9; // scope 1 at $DIR/issue-75439.rs:9:5: 13:6 + StorageDead(_6); // scope 4 at $DIR/issue-75439.rs:+5:35: +5:36 + Deinit(_0); // scope 3 at $DIR/issue-75439.rs:+5:9: +5:39 + ((_0 as Some).0: [u8; 4]) = move _5; // scope 3 at $DIR/issue-75439.rs:+5:9: +5:39 + discriminant(_0) = 1; // scope 3 at $DIR/issue-75439.rs:+5:9: +5:39 + StorageDead(_5); // scope 3 at $DIR/issue-75439.rs:+5:38: +5:39 + StorageDead(_4); // scope 1 at $DIR/issue-75439.rs:+6:5: +6:6 + goto -> bb9; // scope 1 at $DIR/issue-75439.rs:+4:5: +8:6 } bb8: { - Deinit(_0); // scope 1 at $DIR/issue-75439.rs:12:9: 12:13 - discriminant(_0) = 0; // scope 1 at $DIR/issue-75439.rs:12:9: 12:13 - goto -> bb9; // scope 1 at $DIR/issue-75439.rs:9:5: 13:6 + Deinit(_0); // scope 1 at $DIR/issue-75439.rs:+7:9: +7:13 + discriminant(_0) = 0; // scope 1 at $DIR/issue-75439.rs:+7:9: +7:13 + goto -> bb9; // scope 1 at $DIR/issue-75439.rs:+4:5: +8:6 } bb9: { - StorageDead(_2); // scope 0 at $DIR/issue-75439.rs:14:1: 14:2 - return; // scope 0 at $DIR/issue-75439.rs:14:2: 14:2 + StorageDead(_2); // scope 0 at $DIR/issue-75439.rs:+9:1: +9:2 + return; // scope 0 at $DIR/issue-75439.rs:+9:2: +9:2 } }