From dc0db358abe19481e475e10c32149b53370f1a1c Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 30 May 2024 05:57:31 +0200 Subject: Merging upstream version 1.72.1+dfsg1. Signed-off-by: Daniel Baumann --- ...option_payload.LowerIntrinsics.panic-abort.diff | 48 ++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 tests/mir-opt/lower_intrinsics.option_payload.LowerIntrinsics.panic-abort.diff (limited to 'tests/mir-opt/lower_intrinsics.option_payload.LowerIntrinsics.panic-abort.diff') diff --git a/tests/mir-opt/lower_intrinsics.option_payload.LowerIntrinsics.panic-abort.diff b/tests/mir-opt/lower_intrinsics.option_payload.LowerIntrinsics.panic-abort.diff new file mode 100644 index 000000000..194478560 --- /dev/null +++ b/tests/mir-opt/lower_intrinsics.option_payload.LowerIntrinsics.panic-abort.diff @@ -0,0 +1,48 @@ +- // MIR for `option_payload` before LowerIntrinsics ++ // MIR for `option_payload` after LowerIntrinsics + + fn option_payload(_1: &Option, _2: &Option) -> () { + debug o => _1; + debug p => _2; + let mut _0: (); + let mut _4: *const std::option::Option; + let mut _6: *const std::option::Option; + scope 1 { + let _3: *const usize; + scope 2 { + debug _x => _3; + let _5: *const std::string::String; + scope 3 { + debug _y => _5; + } + } + } + + bb0: { + StorageLive(_3); + StorageLive(_4); + _4 = &raw const (*_1); +- _3 = option_payload_ptr::(move _4) -> [return: bb1, unwind unreachable]; ++ _3 = &raw const (((*_4) as Some).0: usize); ++ goto -> bb1; + } + + bb1: { + StorageDead(_4); + StorageLive(_5); + StorageLive(_6); + _6 = &raw const (*_2); +- _5 = option_payload_ptr::(move _6) -> [return: bb2, unwind unreachable]; ++ _5 = &raw const (((*_6) as Some).0: std::string::String); ++ goto -> bb2; + } + + bb2: { + StorageDead(_6); + _0 = const (); + StorageDead(_5); + StorageDead(_3); + return; + } + } + -- cgit v1.2.3