mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
86f5e177bc
rust/src/test/mir-opt/issue_76432.test.SimplifyComparisonIntegral.diff

119 lines
9.7 KiB
Diff
Raw Normal View History

Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
- // MIR for `test` before SimplifyComparisonIntegral
+ // MIR for `test` after SimplifyComparisonIntegral
fn test(_1: T) -> () {
debug x => _1; // in scope 0 at $DIR/issue_76432.rs:6:38: 6:39
let mut _0: (); // return place in scope 0 at $DIR/issue_76432.rs:6:44: 6:44
let _2: &[T]; // in scope 0 at $DIR/issue_76432.rs:7:9: 7:10
let mut _3: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
let _4: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
let _5: [T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:20: 7:29
let mut _6: T; // in scope 0 at $DIR/issue_76432.rs:7:21: 7:22
let mut _7: T; // in scope 0 at $DIR/issue_76432.rs:7:24: 7:25
let mut _8: T; // in scope 0 at $DIR/issue_76432.rs:7:27: 7:28
let _9: [*const T; 3]; // in scope 0 at $DIR/issue_76432.rs:8:5: 11:6
let mut _10: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
let mut _11: usize; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
let mut _12: bool; // in scope 0 at $DIR/issue_76432.rs:9:9: 9:33
let mut _16: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
let mut _17: *const T; // in scope 0 at $DIR/issue_76432.rs:9:38: 9:52
let mut _18: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
let mut _19: *const T; // in scope 0 at $DIR/issue_76432.rs:9:54: 9:68
let mut _20: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
let mut _21: *const T; // in scope 0 at $DIR/issue_76432.rs:9:70: 9:84
Use panic() instead of panic!() in some places in core.
2021-12-21 03:39:00 -06:00
let mut _22: !; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
run remaining tests
2021-10-06 12:08:21 -05:00
let mut _23: &[T; 3]; // in scope 0 at $DIR/issue_76432.rs:7:19: 7:29
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
scope 1 {
debug v => _2; // in scope 1 at $DIR/issue_76432.rs:7:9: 7:10
let _13: &T; // in scope 1 at $DIR/issue_76432.rs:9:10: 9:16
let _14: &T; // in scope 1 at $DIR/issue_76432.rs:9:18: 9:24
let _15: &T; // in scope 1 at $DIR/issue_76432.rs:9:26: 9:32
scope 2 {
debug v1 => _13; // in scope 2 at $DIR/issue_76432.rs:9:10: 9:16
debug v2 => _14; // in scope 2 at $DIR/issue_76432.rs:9:18: 9:24
debug v3 => _15; // in scope 2 at $DIR/issue_76432.rs:9:26: 9:32
}
}
bb0: {
StorageLive(_2); // scope 0 at $DIR/issue_76432.rs:7:9: 7:10
StorageLive(_3); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
StorageLive(_4); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
StorageLive(_5); // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
StorageLive(_6); // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
_6 = _1; // scope 0 at $DIR/issue_76432.rs:7:21: 7:22
StorageLive(_7); // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
_7 = _1; // scope 0 at $DIR/issue_76432.rs:7:24: 7:25
StorageLive(_8); // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
_8 = _1; // scope 0 at $DIR/issue_76432.rs:7:27: 7:28
_5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:7:20: 7:29
StorageDead(_8); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
StorageDead(_7); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
StorageDead(_6); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
_4 = &_5; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
_3 = _4; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
run remaining tests
2021-10-06 12:08:21 -05:00
StorageLive(_23); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
_23 = _3; // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
_2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:7:19: 7:29
StorageDead(_3); // scope 0 at $DIR/issue_76432.rs:7:28: 7:29
StorageDead(_4); // scope 0 at $DIR/issue_76432.rs:7:29: 7:30
StorageLive(_9); // scope 1 at $DIR/issue_76432.rs:8:5: 11:6
run remaining tests
2021-10-06 12:08:21 -05:00
_10 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
StorageDead(_23); // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
_11 = const 3_usize; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
run remaining tests
2021-10-06 12:08:21 -05:00
_12 = const true; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
goto -> bb2; // scope 1 at $DIR/issue_76432.rs:9:9: 9:33
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
}
bb1: {
Use panic() instead of panic!() in some places in core.
2021-12-21 03:39:00 -06:00
StorageLive(_22); // scope 1 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
core::panicking::panic(const "internal error: entered unreachable code"); // scope 1 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
// mir::Constant
Use panic() instead of panic!() in some places in core.
2021-12-21 03:39:00 -06:00
// + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
Qualify `panic!` as `core::panic!` in non-built-in `core` macros Otherwise code like this #![no_implicit_prelude] fn main() { ::std::todo!(); ::std::unimplemented!(); } will fail to compile, which is unfortunate and presumably unintended. This changes many invocations of `panic!` in a `macro_rules!` definition to invocations of `$crate::panic!`, which makes the invocations hygienic. Note that this does not make the built-in macro `assert!` hygienic.
2020-10-24 20:35:46 -05:00
// + literal: Const { ty: fn(&'static str) -> ! {core::panicking::panic}, val: Value(Scalar(<ZST>)) }
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
// ty::Const
// + ty: &str
mir-opt bless for Size field being removed from Allocation
2021-05-16 12:44:19 -05:00
// + val: Value(Slice { data: Allocation { bytes: [105, 110, 116, 101, 114, 110, 97, 108, 32, 101, 114, 114, 111, 114, 58, 32, 101, 110, 116, 101, 114, 101, 100, 32, 117, 110, 114, 101, 97, 99, 104, 97, 98, 108, 101, 32, 99, 111, 100, 101], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [1099511627775], len: Size { raw: 40 } }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 40 })
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
// mir::Constant
// + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
mir-opt bless for Size field being removed from Allocation
2021-05-16 12:44:19 -05:00
// + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [105, 110, 116, 101, 114, 110, 97, 108, 32, 101, 114, 114, 111, 114, 58, 32, 101, 110, 116, 101, 114, 101, 100, 32, 117, 110, 114, 101, 97, 99, 104, 97, 98, 108, 101, 32, 99, 111, 100, 101], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [1099511627775], len: Size { raw: 40 } }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 40 }) }
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
}
bb2: {
StorageLive(_13); // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
_13 = &(*_2)[0 of 3]; // scope 1 at $DIR/issue_76432.rs:9:10: 9:16
StorageLive(_14); // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
_14 = &(*_2)[1 of 3]; // scope 1 at $DIR/issue_76432.rs:9:18: 9:24
StorageLive(_15); // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
_15 = &(*_2)[2 of 3]; // scope 1 at $DIR/issue_76432.rs:9:26: 9:32
StorageLive(_16); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
StorageLive(_17); // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
_17 = &raw const (*_13); // scope 2 at $DIR/issue_76432.rs:9:38: 9:40
_16 = _17; // scope 2 at $DIR/issue_76432.rs:9:38: 9:52
StorageLive(_18); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
StorageLive(_19); // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
_19 = &raw const (*_14); // scope 2 at $DIR/issue_76432.rs:9:54: 9:56
_18 = _19; // scope 2 at $DIR/issue_76432.rs:9:54: 9:68
StorageLive(_20); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
StorageLive(_21); // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
_21 = &raw const (*_15); // scope 2 at $DIR/issue_76432.rs:9:70: 9:72
_20 = _21; // scope 2 at $DIR/issue_76432.rs:9:70: 9:84
_9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:9:37: 9:85
StorageDead(_21); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_20); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_19); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_18); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_17); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_16); // scope 2 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_15); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_14); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_13); // scope 1 at $DIR/issue_76432.rs:9:84: 9:85
StorageDead(_9); // scope 1 at $DIR/issue_76432.rs:11:6: 11:7
bless tests
2021-03-15 20:58:54 -05:00
nop; // scope 0 at $DIR/issue_76432.rs:6:44: 12:2
Fix #76432 Only insert StorageDeads if we actually removed one. Fixes an issue where we added StorageDead to a place with no StorageLive
2020-09-13 03:47:20 -05:00
StorageDead(_5); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
StorageDead(_2); // scope 0 at $DIR/issue_76432.rs:12:1: 12:2
return; // scope 0 at $DIR/issue_76432.rs:12:2: 12:2
}
}
Reference in New Issue Copy Permalink