Test bump
This commit is contained in:
Oli Scherer
parent
7348284073
commit
cd928b0ecf
6 changed files with 2 additions and 448 deletions
|
|
@ -11,7 +11,7 @@
|
|||
StorageLive(_1); // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
|
||||
- _1 = std::intrinsics::assume(const true) -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
|
||||
- // mir::Constant
|
||||
- // + span: $DIR/lower_intrinsics.rs:97:9: 97:32
|
||||
- // + span: $DIR/lower_intrinsics.rs:72:9: 72:32
|
||||
- // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(bool) {std::intrinsics::assume}, val: Value(<ZST>) }
|
||||
+ assume(const true); // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
|
||||
+ goto -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
|
||||
|
|
|
|||
|
|
@ -49,7 +49,7 @@
|
|||
StorageDead(_9); // scope 3 at $DIR/lower_intrinsics.rs:+4:90: +4:91
|
||||
- _3 = copy_nonoverlapping::<i32>(move _4, move _8, const 0_usize) -> bb1; // scope 3 at $DIR/lower_intrinsics.rs:+4:9: +4:95
|
||||
- // mir::Constant
|
||||
- // + span: $DIR/lower_intrinsics.rs:90:9: 90:28
|
||||
- // + span: $DIR/lower_intrinsics.rs:65:9: 65:28
|
||||
- // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(*const i32, *mut i32, usize) {copy_nonoverlapping::<i32>}, val: Value(<ZST>) }
|
||||
+ copy_nonoverlapping(dst = move _8, src = move _4, count = const 0_usize); // scope 3 at $DIR/lower_intrinsics.rs:+4:9: +4:95
|
||||
+ goto -> bb1; // scope 3 at $DIR/lower_intrinsics.rs:+4:9: +4:95
|
||||
|
|
|
|||
|
|
@ -1,146 +0,0 @@
|
|||
- // MIR for `identity` before ConstProp
|
||||
+ // MIR for `identity` after ConstProp
|
||||
|
||||
fn identity(_1: Result<i32, i32>) -> Result<i32, i32> {
|
||||
debug x => _1; // in scope 0 at $DIR/separate_const_switch.rs:+0:13: +0:14
|
||||
let mut _0: std::result::Result<i32, i32>; // return place in scope 0 at $DIR/separate_const_switch.rs:+0:37: +0:53
|
||||
let mut _2: i32; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
let mut _3: std::ops::ControlFlow<std::result::Result<std::convert::Infallible, i32>, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
let mut _4: std::result::Result<i32, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
let mut _5: isize; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let _6: std::result::Result<std::convert::Infallible, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let mut _7: !; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let mut _8: std::result::Result<std::convert::Infallible, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let _9: i32; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
scope 1 {
|
||||
debug residual => _6; // in scope 1 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
scope 2 {
|
||||
scope 8 (inlined #[track_caller] <Result<i32, i32> as FromResidual<Result<Infallible, i32>>>::from_residual) { // at $DIR/separate_const_switch.rs:29:8: 29:10
|
||||
debug residual => _8; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _16: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _17: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _18: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 9 {
|
||||
debug e => _16; // in scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 10 (inlined <i32 as From<i32>>::from) { // at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
debug t => _18; // in scope 10 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
scope 3 {
|
||||
debug val => _9; // in scope 3 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
scope 4 {
|
||||
}
|
||||
}
|
||||
scope 5 (inlined <Result<i32, i32> as Try>::branch) { // at $DIR/separate_const_switch.rs:29:8: 29:10
|
||||
debug self => _4; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _10: isize; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _11: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _12: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _13: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _14: std::result::Result<std::convert::Infallible, i32>; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _15: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 6 {
|
||||
debug v => _11; // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
scope 7 {
|
||||
debug e => _13; // in scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
}
|
||||
|
||||
bb0: {
|
||||
StorageLive(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageLive(_3); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageLive(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
_4 = _1; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
_10 = discriminant(_4); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
switchInt(move _10) -> [0_isize: bb6, 1_isize: bb4, otherwise: bb5]; // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageLive(_9); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
_9 = ((_3 as Continue).0: i32); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
_2 = _9; // scope 4 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageDead(_9); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
Deinit(_0); // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
((_0 as Ok).0: i32) = move _2; // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
discriminant(_0) = 0; // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
StorageDead(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:10: +1:11
|
||||
StorageDead(_3); // scope 0 at $DIR/separate_const_switch.rs:+2:1: +2:2
|
||||
return; // scope 0 at $DIR/separate_const_switch.rs:+2:2: +2:2
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_6); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
_6 = ((_3 as Break).0: std::result::Result<std::convert::Infallible, i32>); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_8); // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
_8 = _6; // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_16); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_16 = move ((_8 as Err).0: i32); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_17); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_18); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_18 = move _16; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_17 = move _18; // scope 10 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
StorageDead(_18); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_0); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_0 as Err).0: i32) = move _17; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_0) = 1; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_17); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_16); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_8); // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageDead(_6); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageDead(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:10: +1:11
|
||||
StorageDead(_3); // scope 0 at $DIR/separate_const_switch.rs:+2:1: +2:2
|
||||
return; // scope 0 at $DIR/separate_const_switch.rs:+2:2: +2:2
|
||||
}
|
||||
|
||||
bb4: {
|
||||
StorageLive(_13); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_13 = move ((_4 as Err).0: i32); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_14); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_15); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_15 = move _13; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_14); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_14 as Err).0: i32) = move _15; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_14) = 1; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_15); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_3); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_3 as Break).0: std::result::Result<std::convert::Infallible, i32>) = move _14; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_3) = 1; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_14); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_13); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
- _5 = discriminant(_3); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
- switchInt(move _5) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
+ _5 = const 1_isize; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
+ switchInt(const 1_isize) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
}
|
||||
|
||||
bb5: {
|
||||
unreachable; // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb6: {
|
||||
StorageLive(_11); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_11 = move ((_4 as Ok).0: i32); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_12); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_12 = move _11; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_3); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_3 as Continue).0: i32) = move _12; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_3) = 0; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_12); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_11); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
- _5 = discriminant(_3); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
- switchInt(move _5) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
+ _5 = const 0_isize; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
+ switchInt(const 0_isize) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -1,124 +0,0 @@
|
|||
// MIR for `identity` after PreCodegen
|
||||
|
||||
fn identity(_1: Result<i32, i32>) -> Result<i32, i32> {
|
||||
debug x => _1; // in scope 0 at $DIR/separate_const_switch.rs:+0:13: +0:14
|
||||
let mut _0: std::result::Result<i32, i32>; // return place in scope 0 at $DIR/separate_const_switch.rs:+0:37: +0:53
|
||||
let mut _2: i32; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
let mut _3: std::ops::ControlFlow<std::result::Result<std::convert::Infallible, i32>, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
let mut _4: std::result::Result<i32, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
let _5: std::result::Result<std::convert::Infallible, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let mut _6: std::result::Result<std::convert::Infallible, i32>; // in scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
let _7: i32; // in scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
scope 1 {
|
||||
debug residual => _5; // in scope 1 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
scope 2 {
|
||||
scope 8 (inlined #[track_caller] <Result<i32, i32> as FromResidual<Result<Infallible, i32>>>::from_residual) { // at $DIR/separate_const_switch.rs:29:8: 29:10
|
||||
debug residual => _6; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _14: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _15: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _16: i32; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 9 {
|
||||
debug e => _14; // in scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 10 (inlined <i32 as From<i32>>::from) { // at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
debug t => _16; // in scope 10 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
scope 3 {
|
||||
debug val => _7; // in scope 3 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
scope 4 {
|
||||
}
|
||||
}
|
||||
scope 5 (inlined <Result<i32, i32> as Try>::branch) { // at $DIR/separate_const_switch.rs:29:8: 29:10
|
||||
debug self => _4; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _8: isize; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _9: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _10: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let _11: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _12: std::result::Result<std::convert::Infallible, i32>; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _13: i32; // in scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
scope 6 {
|
||||
debug v => _9; // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
scope 7 {
|
||||
debug e => _11; // in scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
}
|
||||
|
||||
bb0: {
|
||||
StorageLive(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageLive(_3); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageLive(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
_4 = _1; // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:9
|
||||
_8 = discriminant(_4); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
switchInt(move _8) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageLive(_11); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_11 = move ((_4 as Err).0: i32); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_12); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_13); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_13 = move _11; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_12); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_12 as Err).0: i32) = move _13; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_12) = 1; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_13); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_3); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_3 as Break).0: std::result::Result<std::convert::Infallible, i32>) = move _12; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_3) = 1; // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_12); // scope 7 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_11); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_5); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
_5 = ((_3 as Break).0: std::result::Result<std::convert::Infallible, i32>); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_6); // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
_6 = _5; // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_14); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_14 = move ((_6 as Err).0: i32); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_15); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_16); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_16 = move _14; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_15 = move _16; // scope 10 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
StorageDead(_16); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_0); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_0 as Err).0: i32) = move _15; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_0) = 1; // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_15); // scope 9 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_14); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_6); // scope 2 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageDead(_5); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageDead(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:10: +1:11
|
||||
StorageDead(_3); // scope 0 at $DIR/separate_const_switch.rs:+2:1: +2:2
|
||||
return; // scope 0 at $DIR/separate_const_switch.rs:+2:2: +2:2
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_9); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_9 = move ((_4 as Ok).0: i32); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageLive(_10); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
_10 = move _9; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
Deinit(_3); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
((_3 as Continue).0: i32) = move _10; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
discriminant(_3) = 0; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_10); // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_9); // scope 5 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
StorageLive(_7); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
_7 = ((_3 as Continue).0: i32); // scope 0 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
_2 = _7; // scope 4 at $DIR/separate_const_switch.rs:+1:8: +1:10
|
||||
StorageDead(_7); // scope 0 at $DIR/separate_const_switch.rs:+1:9: +1:10
|
||||
Deinit(_0); // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
((_0 as Ok).0: i32) = move _2; // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
discriminant(_0) = 0; // scope 0 at $DIR/separate_const_switch.rs:+1:5: +1:11
|
||||
StorageDead(_2); // scope 0 at $DIR/separate_const_switch.rs:+1:10: +1:11
|
||||
StorageDead(_3); // scope 0 at $DIR/separate_const_switch.rs:+2:1: +2:2
|
||||
return; // scope 0 at $DIR/separate_const_switch.rs:+2:2: +2:2
|
||||
}
|
||||
}
|
||||
|
|
@ -1,103 +0,0 @@
|
|||
- // MIR for `too_complex` before ConstProp
|
||||
+ // MIR for `too_complex` after ConstProp
|
||||
|
||||
fn too_complex(_1: Result<i32, usize>) -> Option<i32> {
|
||||
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 mut _7: usize; // in scope 0 at $DIR/separate_const_switch.rs:+8:42: +8:43
|
||||
let mut _8: isize; // in scope 0 at $DIR/separate_const_switch.rs:+11:9: +11:33
|
||||
let _9: i32; // in scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
|
||||
let mut _10: i32; // in scope 0 at $DIR/separate_const_switch.rs:+11:42: +11:43
|
||||
let _11: 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:+7:16: +7:17
|
||||
}
|
||||
scope 2 {
|
||||
debug r => _6; // in scope 2 at $DIR/separate_const_switch.rs:+8:17: +8:18
|
||||
}
|
||||
scope 3 {
|
||||
debug v => _9; // in scope 3 at $DIR/separate_const_switch.rs:+11:31: +11:32
|
||||
}
|
||||
scope 4 {
|
||||
debug r => _11; // in scope 4 at $DIR/separate_const_switch.rs:+12:28: +12:29
|
||||
}
|
||||
|
||||
bb0: {
|
||||
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: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+6:9: +6:16
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageLive(_6); // scope 0 at $DIR/separate_const_switch.rs:+8:17: +8:18
|
||||
_6 = ((_1 as Err).0: usize); // scope 0 at $DIR/separate_const_switch.rs:+8:17: +8:18
|
||||
StorageLive(_7); // scope 2 at $DIR/separate_const_switch.rs:+8:42: +8:43
|
||||
_7 = _6; // scope 2 at $DIR/separate_const_switch.rs:+8:42: +8:43
|
||||
Deinit(_2); // scope 2 at $DIR/separate_const_switch.rs:+8:23: +8:44
|
||||
((_2 as Break).0: usize) = move _7; // scope 2 at $DIR/separate_const_switch.rs:+8:23: +8:44
|
||||
discriminant(_2) = 1; // scope 2 at $DIR/separate_const_switch.rs:+8:23: +8:44
|
||||
StorageDead(_7); // scope 2 at $DIR/separate_const_switch.rs:+8:43: +8:44
|
||||
StorageDead(_6); // scope 0 at $DIR/separate_const_switch.rs:+8:43: +8:44
|
||||
- _8 = discriminant(_2); // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
|
||||
- switchInt(move _8) -> [0_isize: bb6, 1_isize: bb4, otherwise: bb5]; // scope 0 at $DIR/separate_const_switch.rs:+5:5: +10:6
|
||||
+ _8 = const 1_isize; // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
|
||||
+ switchInt(const 1_isize) -> [0_isize: bb6, 1_isize: bb4, otherwise: bb5]; // scope 0 at $DIR/separate_const_switch.rs:+5:5: +10:6
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 0 at $DIR/separate_const_switch.rs:+6:15: +6:16
|
||||
}
|
||||
|
||||
bb3: {
|
||||
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
|
||||
- _8 = discriminant(_2); // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
|
||||
- switchInt(move _8) -> [0_isize: bb6, 1_isize: bb4, otherwise: bb5]; // scope 0 at $DIR/separate_const_switch.rs:+5:5: +10:6
|
||||
+ _8 = const 0_isize; // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
|
||||
+ switchInt(const 0_isize) -> [0_isize: bb6, 1_isize: bb4, otherwise: bb5]; // scope 0 at $DIR/separate_const_switch.rs:+5:5: +10:6
|
||||
}
|
||||
|
||||
bb4: {
|
||||
StorageLive(_11); // scope 0 at $DIR/separate_const_switch.rs:+12:28: +12:29
|
||||
_11 = ((_2 as Break).0: usize); // 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(_11); // scope 0 at $DIR/separate_const_switch.rs:+12:37: +12:38
|
||||
goto -> bb7; // scope 0 at $DIR/separate_const_switch.rs:+12:37: +12:38
|
||||
}
|
||||
|
||||
bb5: {
|
||||
unreachable; // scope 0 at $DIR/separate_const_switch.rs:+5:11: +10:6
|
||||
}
|
||||
|
||||
bb6: {
|
||||
StorageLive(_9); // scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
|
||||
_9 = ((_2 as Continue).0: i32); // scope 0 at $DIR/separate_const_switch.rs:+11:31: +11:32
|
||||
StorageLive(_10); // scope 3 at $DIR/separate_const_switch.rs:+11:42: +11:43
|
||||
_10 = _9; // 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 _10; // 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(_10); // scope 3 at $DIR/separate_const_switch.rs:+11:43: +11:44
|
||||
StorageDead(_9); // scope 0 at $DIR/separate_const_switch.rs:+11:43: +11:44
|
||||
goto -> bb7; // scope 0 at $DIR/separate_const_switch.rs:+11:43: +11:44
|
||||
}
|
||||
|
||||
bb7: {
|
||||
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
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -1,73 +0,0 @@
|
|||
// 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:+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:+7:16: +7:17
|
||||
}
|
||||
scope 2 {
|
||||
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:+11:31: +11:32
|
||||
}
|
||||
scope 4 {
|
||||
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:+5:11: +10:6
|
||||
_3 = discriminant(_1); // scope 0 at $DIR/separate_const_switch.rs:+6:15: +6:16
|
||||
switchInt(move _3) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/separate_const_switch.rs:+6:9: +6:16
|
||||
}
|
||||
|
||||
bb1: {
|
||||
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 -> bb4; // scope 0 at $DIR/separate_const_switch.rs:+12:37: +12:38
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 0 at $DIR/separate_const_switch.rs:+6:15: +6:16
|
||||
}
|
||||
|
||||
bb3: {
|
||||
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 -> bb4; // scope 0 at $DIR/separate_const_switch.rs:+11:43: +11:44
|
||||
}
|
||||
|
||||
bb4: {
|
||||
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
|
||||
}
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue