mirror of https://github.com/rust-lang/rust.git
39 lines
1.3 KiB
Rust
39 lines
1.3 KiB
Rust
//@ test-mir-pass: EarlyOtherwiseBranch
|
|
//@ compile-flags: -Zmir-enable-passes=+GVN,+SimplifyLocals-after-value-numbering
|
|
//@ needs-unwind
|
|
|
|
use std::task::Poll;
|
|
|
|
// We find a matching pattern in the unwind path,
|
|
// and we need to create a cleanup BB for this case to meet the unwind invariants rule.
|
|
// NB: This transform is not happening currently.
|
|
|
|
// EMIT_MIR early_otherwise_branch_unwind.unwind.EarlyOtherwiseBranch.diff
|
|
fn unwind<T>(val: Option<Option<Option<T>>>) {
|
|
// CHECK-LABEL: fn unwind(
|
|
// CHECK: drop({{.*}}) -> [return: bb{{.*}}, unwind: [[PARENT_UNWIND_BB:bb.*]]];
|
|
// CHECK: [[PARENT_UNWIND_BB]] (cleanup): {
|
|
// CHECK-NEXT: switchInt
|
|
match val {
|
|
Some(Some(Some(_v))) => {}
|
|
Some(Some(None)) => {}
|
|
Some(None) => {}
|
|
None => {}
|
|
}
|
|
}
|
|
|
|
// From https://github.com/rust-lang/rust/issues/130769#issuecomment-2370443086.
|
|
// EMIT_MIR early_otherwise_branch_unwind.poll.EarlyOtherwiseBranch.diff
|
|
pub fn poll(val: Poll<Result<Option<Vec<u8>>, u8>>) {
|
|
// CHECK-LABEL: fn poll(
|
|
// CHECK: drop({{.*}}) -> [return: bb{{.*}}, unwind: [[PARENT_UNWIND_BB:bb.*]]];
|
|
// CHECK: [[PARENT_UNWIND_BB]] (cleanup): {
|
|
// CHECK-NEXT: switchInt
|
|
match val {
|
|
Poll::Ready(Ok(Some(_trailers))) => {}
|
|
Poll::Ready(Err(_err)) => {}
|
|
Poll::Ready(Ok(None)) => {}
|
|
Poll::Pending => {}
|
|
}
|
|
}
|