Implement 'considered equal' for statements, so that for example _0 = _1 and discriminant(_0) = discriminant(0) are considered equal if 0 is a fieldless variant of an enum
This commit is contained in:
Simon Vandel Sillesen
Simon Vandel Sillesen
parent
009551f758
commit
293756c93d
src
librustc_mir/transform
test/mir-opt
simplify-arm.rssimplify_arm.id.SimplifyArmIdentity.diffsimplify_arm.id.SimplifyBranchSame.diffsimplify_arm.id_result.SimplifyArmIdentity.diffsimplify_arm.id_result.SimplifyBranchSame.diffsimplify_arm.id_try.SimplifyArmIdentity.diffsimplify_arm.id_try.SimplifyBranchSame.diffsimplify_locals_removes_unused_discriminant_reads.map.SimplifyLocals.diff.32bitsimplify_locals_removes_unused_discriminant_reads.map.SimplifyLocals.diff.64bit
@ -14,7 +14,7 @@ use itertools::Itertools as _;
|
||||
use rustc_index::{bit_set::BitSet, vec::IndexVec};
|
||||
use rustc_middle::mir::visit::{NonUseContext, PlaceContext, Visitor};
|
||||
use rustc_middle::mir::*;
|
||||
use rustc_middle::ty::{List, Ty, TyCtxt};
|
||||
use rustc_middle::ty::{self, List, Ty, TyCtxt};
|
||||
use rustc_target::abi::VariantIdx;
|
||||
use std::iter::{Enumerate, Peekable};
|
||||
use std::slice::Iter;
|
||||
@ -527,47 +527,17 @@ fn match_variant_field_place<'tcx>(place: Place<'tcx>) -> Option<(Local, VarFiel
|
||||
pub struct SimplifyBranchSame;
|
||||
|
||||
impl<'tcx> MirPass<'tcx> for SimplifyBranchSame {
|
||||
fn run_pass(&self, _: TyCtxt<'tcx>, _: MirSource<'tcx>, body: &mut Body<'tcx>) {
|
||||
let mut did_remove_blocks = false;
|
||||
let bbs = body.basic_blocks_mut();
|
||||
for bb_idx in bbs.indices() {
|
||||
let targets = match &bbs[bb_idx].terminator().kind {
|
||||
TerminatorKind::SwitchInt { targets, .. } => targets,
|
||||
_ => continue,
|
||||
};
|
||||
fn run_pass(&self, tcx: TyCtxt<'tcx>, source: MirSource<'tcx>, body: &mut Body<'tcx>) {
|
||||
trace!("Running SimplifyBranchSame on {:?}", source);
|
||||
let finder = SimplifyBranchSameOptimizationFinder { body, tcx };
|
||||
let opts = finder.find();
|
||||
|
||||
let mut iter_bbs_reachable = targets
|
||||
.iter()
|
||||
.map(|idx| (*idx, &bbs[*idx]))
|
||||
.filter(|(_, bb)| {
|
||||
// Reaching `unreachable` is UB so assume it doesn't happen.
|
||||
bb.terminator().kind != TerminatorKind::Unreachable
|
||||
// But `asm!(...)` could abort the program,
|
||||
// so we cannot assume that the `unreachable` terminator itself is reachable.
|
||||
// FIXME(Centril): use a normalization pass instead of a check.
|
||||
|| bb.statements.iter().any(|stmt| match stmt.kind {
|
||||
StatementKind::LlvmInlineAsm(..) => true,
|
||||
_ => false,
|
||||
})
|
||||
})
|
||||
.peekable();
|
||||
|
||||
// We want to `goto -> bb_first`.
|
||||
let bb_first = iter_bbs_reachable.peek().map(|(idx, _)| *idx).unwrap_or(targets[0]);
|
||||
|
||||
// All successor basic blocks should have the exact same form.
|
||||
let all_successors_equivalent =
|
||||
iter_bbs_reachable.map(|(_, bb)| bb).tuple_windows().all(|(bb_l, bb_r)| {
|
||||
bb_l.is_cleanup == bb_r.is_cleanup
|
||||
&& bb_l.terminator().kind == bb_r.terminator().kind
|
||||
&& bb_l.statements.iter().eq_by(&bb_r.statements, |x, y| x.kind == y.kind)
|
||||
});
|
||||
|
||||
if all_successors_equivalent {
|
||||
// Replace `SwitchInt(..) -> [bb_first, ..];` with a `goto -> bb_first;`.
|
||||
bbs[bb_idx].terminator_mut().kind = TerminatorKind::Goto { target: bb_first };
|
||||
did_remove_blocks = true;
|
||||
}
|
||||
let did_remove_blocks = opts.len() > 0;
|
||||
for opt in opts.iter() {
|
||||
trace!("SUCCESS: Applying optimization {:?}", opt);
|
||||
// Replace `SwitchInt(..) -> [bb_first, ..];` with a `goto -> bb_first;`.
|
||||
body.basic_blocks_mut()[opt.bb_to_opt_terminator].terminator_mut().kind =
|
||||
TerminatorKind::Goto { target: opt.bb_to_goto };
|
||||
}
|
||||
|
||||
if did_remove_blocks {
|
||||
@ -576,3 +546,220 @@ impl<'tcx> MirPass<'tcx> for SimplifyBranchSame {
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug)]
|
||||
struct SimplifyBranchSameOptimization {
|
||||
/// All basic blocks are equal so go to this one
|
||||
bb_to_goto: BasicBlock,
|
||||
/// Basic block where the terminator can be simplified to a goto
|
||||
bb_to_opt_terminator: BasicBlock,
|
||||
}
|
||||
|
||||
struct SimplifyBranchSameOptimizationFinder<'a, 'tcx> {
|
||||
body: &'a Body<'tcx>,
|
||||
tcx: TyCtxt<'tcx>,
|
||||
}
|
||||
|
||||
impl<'a, 'tcx> SimplifyBranchSameOptimizationFinder<'a, 'tcx> {
|
||||
fn find(&self) -> Vec<SimplifyBranchSameOptimization> {
|
||||
self.body
|
||||
.basic_blocks()
|
||||
.iter_enumerated()
|
||||
.filter_map(|(bb_idx, bb)| {
|
||||
let (discr_switched_on, targets) = match &bb.terminator().kind {
|
||||
TerminatorKind::SwitchInt { targets, discr, .. } => (discr, targets),
|
||||
_ => return None,
|
||||
};
|
||||
|
||||
// find the adt that has its discriminant read
|
||||
// assuming this must be the last statement of the block
|
||||
let adt_matched_on = match &bb.statements.last()?.kind {
|
||||
StatementKind::Assign(box (place, rhs))
|
||||
if Some(*place) == discr_switched_on.place() =>
|
||||
{
|
||||
match rhs {
|
||||
Rvalue::Discriminant(adt_place) if adt_place.ty(self.body, self.tcx).ty.is_enum() => adt_place,
|
||||
_ => {
|
||||
trace!("NO: expected a discriminant read of an enum instead of: {:?}", rhs);
|
||||
return None;
|
||||
}
|
||||
}
|
||||
}
|
||||
other => {
|
||||
trace!("NO: expected an assignment of a discriminant read to a place. Found: {:?}", other);
|
||||
return None
|
||||
},
|
||||
};
|
||||
|
||||
let mut iter_bbs_reachable = targets
|
||||
.iter()
|
||||
.map(|idx| (*idx, &self.body.basic_blocks()[*idx]))
|
||||
.filter(|(_, bb)| {
|
||||
// Reaching `unreachable` is UB so assume it doesn't happen.
|
||||
bb.terminator().kind != TerminatorKind::Unreachable
|
||||
// But `asm!(...)` could abort the program,
|
||||
// so we cannot assume that the `unreachable` terminator itself is reachable.
|
||||
// FIXME(Centril): use a normalization pass instead of a check.
|
||||
|| bb.statements.iter().any(|stmt| match stmt.kind {
|
||||
StatementKind::LlvmInlineAsm(..) => true,
|
||||
_ => false,
|
||||
})
|
||||
})
|
||||
.peekable();
|
||||
|
||||
let bb_first = iter_bbs_reachable.peek().map(|(idx, _)| *idx).unwrap_or(targets[0]);
|
||||
let mut all_successors_equivalent = StatementEquality::TrivialEqual;
|
||||
|
||||
// All successor basic blocks must be equal or contain statements that are pairwise considered equal.
|
||||
for ((bb_l_idx,bb_l), (bb_r_idx,bb_r)) in iter_bbs_reachable.tuple_windows() {
|
||||
let trivial_checks = bb_l.is_cleanup == bb_r.is_cleanup
|
||||
&& bb_l.terminator().kind == bb_r.terminator().kind;
|
||||
let statement_check = || {
|
||||
bb_l.statements.iter().zip(&bb_r.statements).try_fold(StatementEquality::TrivialEqual, |acc,(l,r)| {
|
||||
let stmt_equality = self.statement_equality(*adt_matched_on, &l, bb_l_idx, &r, bb_r_idx);
|
||||
if matches!(stmt_equality, StatementEquality::NotEqual) {
|
||||
// short circuit
|
||||
None
|
||||
} else {
|
||||
Some(acc.combine(&stmt_equality))
|
||||
}
|
||||
})
|
||||
.unwrap_or(StatementEquality::NotEqual)
|
||||
};
|
||||
if !trivial_checks {
|
||||
all_successors_equivalent = StatementEquality::NotEqual;
|
||||
break;
|
||||
}
|
||||
all_successors_equivalent = all_successors_equivalent.combine(&statement_check());
|
||||
};
|
||||
|
||||
match all_successors_equivalent{
|
||||
StatementEquality::TrivialEqual => {
|
||||
// statements are trivially equal, so just take first
|
||||
trace!("Statements are trivially equal");
|
||||
Some(SimplifyBranchSameOptimization {
|
||||
bb_to_goto: bb_first,
|
||||
bb_to_opt_terminator: bb_idx,
|
||||
})
|
||||
}
|
||||
StatementEquality::ConsideredEqual(bb_to_choose) => {
|
||||
trace!("Statements are considered equal");
|
||||
Some(SimplifyBranchSameOptimization {
|
||||
bb_to_goto: bb_to_choose,
|
||||
bb_to_opt_terminator: bb_idx,
|
||||
})
|
||||
}
|
||||
StatementEquality::NotEqual => {
|
||||
trace!("NO: not all successors of basic block {:?} were equivalent", bb_idx);
|
||||
None
|
||||
}
|
||||
}
|
||||
})
|
||||
.collect()
|
||||
}
|
||||
|
||||
/// Tests if two statements can be considered equal
|
||||
///
|
||||
/// Statements can be trivially equal if the kinds match.
|
||||
/// But they can also be considered equal in the following case A:
|
||||
/// ```
|
||||
/// discriminant(_0) = 0; // bb1
|
||||
/// _0 = move _1; // bb2
|
||||
/// ```
|
||||
/// In this case the two statements are equal iff
|
||||
/// 1: _0 is an enum where the variant index 0 is fieldless, and
|
||||
/// 2: bb1 was targeted by a switch where the discriminant of _1 was switched on
|
||||
fn statement_equality(
|
||||
&self,
|
||||
adt_matched_on: Place<'tcx>,
|
||||
x: &Statement<'tcx>,
|
||||
x_bb_idx: BasicBlock,
|
||||
y: &Statement<'tcx>,
|
||||
y_bb_idx: BasicBlock,
|
||||
) -> StatementEquality {
|
||||
let helper = |rhs: &Rvalue<'tcx>,
|
||||
place: &Box<Place<'tcx>>,
|
||||
variant_index: &VariantIdx,
|
||||
side_to_choose| {
|
||||
let place_type = place.ty(self.body, self.tcx).ty;
|
||||
let adt = match place_type.kind {
|
||||
ty::Adt(adt, _) if adt.is_enum() => adt,
|
||||
_ => return StatementEquality::NotEqual,
|
||||
};
|
||||
let variant_is_fieldless = adt.variants[*variant_index].fields.is_empty();
|
||||
if !variant_is_fieldless {
|
||||
trace!("NO: variant {:?} was not fieldless", variant_index);
|
||||
return StatementEquality::NotEqual;
|
||||
}
|
||||
|
||||
match rhs {
|
||||
Rvalue::Use(operand) if operand.place() == Some(adt_matched_on) => {
|
||||
StatementEquality::ConsideredEqual(side_to_choose)
|
||||
}
|
||||
_ => {
|
||||
trace!(
|
||||
"NO: RHS of assignment was {:?}, but expected it to match the adt being matched on in the switch, which is {:?}",
|
||||
rhs,
|
||||
adt_matched_on
|
||||
);
|
||||
StatementEquality::NotEqual
|
||||
}
|
||||
}
|
||||
};
|
||||
match (&x.kind, &y.kind) {
|
||||
// trivial case
|
||||
(x, y) if x == y => StatementEquality::TrivialEqual,
|
||||
|
||||
// check for case A
|
||||
(
|
||||
StatementKind::Assign(box (_, rhs)),
|
||||
StatementKind::SetDiscriminant { place, variant_index },
|
||||
) => {
|
||||
// choose basic block of x, as that has the assign
|
||||
helper(rhs, place, variant_index, x_bb_idx)
|
||||
}
|
||||
(
|
||||
StatementKind::SetDiscriminant { place, variant_index },
|
||||
StatementKind::Assign(box (_, rhs)),
|
||||
) => {
|
||||
// choose basic block of y, as that has the assign
|
||||
helper(rhs, place, variant_index, y_bb_idx)
|
||||
}
|
||||
_ => {
|
||||
trace!("NO: statements `{:?}` and `{:?}` not considered equal", x, y);
|
||||
StatementEquality::NotEqual
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Copy, Clone, Eq, PartialEq)]
|
||||
enum StatementEquality {
|
||||
/// The two statements are trivially equal; same kind
|
||||
TrivialEqual,
|
||||
/// The two statements are considered equal, but may be of different kinds. The BasicBlock field is the basic block to jump to when performing the branch-same optimization.
|
||||
/// For example, `_0 = _1` and `discriminant(_0) = discriminant(0)` are considered equal if 0 is a fieldless variant of an enum. But we don't want to jump to the basic block with the SetDiscriminant, as that is not legal if _1 is not the 0 variant index
|
||||
ConsideredEqual(BasicBlock),
|
||||
/// The two statements are not equal
|
||||
NotEqual,
|
||||
}
|
||||
|
||||
impl StatementEquality {
|
||||
fn combine(&self, other: &StatementEquality) -> StatementEquality {
|
||||
use StatementEquality::*;
|
||||
match (self, other) {
|
||||
(TrivialEqual, TrivialEqual) => TrivialEqual,
|
||||
(TrivialEqual, ConsideredEqual(b)) | (ConsideredEqual(b), TrivialEqual) => {
|
||||
ConsideredEqual(*b)
|
||||
}
|
||||
(ConsideredEqual(b1), ConsideredEqual(b2)) => {
|
||||
if b1 == b2 {
|
||||
ConsideredEqual(*b1)
|
||||
} else {
|
||||
NotEqual
|
||||
}
|
||||
}
|
||||
(_, NotEqual) | (NotEqual, _) => NotEqual,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
// compile-flags: -Z mir-opt-level=1
|
||||
// compile-flags: -Z mir-opt-level=2
|
||||
// EMIT_MIR simplify_arm.id.SimplifyArmIdentity.diff
|
||||
// EMIT_MIR simplify_arm.id.SimplifyBranchSame.diff
|
||||
// EMIT_MIR simplify_arm.id_result.SimplifyArmIdentity.diff
|
||||
|
||||
@ -8,7 +8,8 @@
|
||||
let _3: u8; // in scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
let mut _4: u8; // in scope 0 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
scope 1 {
|
||||
debug v => _3; // in scope 1 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
- debug v => _3; // in scope 1 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
+ debug v => ((_0 as Some).0: u8); // in scope 1 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
}
|
||||
|
||||
bb0: {
|
||||
@ -26,14 +27,15 @@
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
_3 = ((_1 as Some).0: u8); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
_4 = _3; // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
((_0 as Some).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
discriminant(_0) = 1; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
- StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
- _3 = ((_1 as Some).0: u8); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
- StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
- _4 = _3; // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
- ((_0 as Some).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
- discriminant(_0) = 1; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
- StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
- StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
+ _0 = move _1; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
}
|
||||
|
||||
|
||||
@ -8,36 +8,32 @@
|
||||
let _3: u8; // in scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
let mut _4: u8; // in scope 0 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
scope 1 {
|
||||
debug v => _3; // in scope 1 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
debug v => ((_0 as Some).0: u8); // in scope 1 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
}
|
||||
|
||||
bb0: {
|
||||
_2 = discriminant(_1); // scope 0 at $DIR/simplify-arm.rs:11:9: 11:16
|
||||
switchInt(move _2) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:11:9: 11:16
|
||||
- switchInt(move _2) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:11:9: 11:16
|
||||
+ goto -> bb1; // scope 0 at $DIR/simplify-arm.rs:11:9: 11:16
|
||||
}
|
||||
|
||||
bb1: {
|
||||
discriminant(_0) = 0; // scope 0 at $DIR/simplify-arm.rs:12:17: 12:21
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
- discriminant(_0) = 0; // scope 0 at $DIR/simplify-arm.rs:12:17: 12:21
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
- }
|
||||
-
|
||||
- bb2: {
|
||||
- unreachable; // scope 0 at $DIR/simplify-arm.rs:10:11: 10:12
|
||||
- }
|
||||
-
|
||||
- bb3: {
|
||||
_0 = move _1; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
+ goto -> bb2; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 0 at $DIR/simplify-arm.rs:10:11: 10:12
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
_3 = ((_1 as Some).0: u8); // scope 0 at $DIR/simplify-arm.rs:11:14: 11:15
|
||||
StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
_4 = _3; // scope 1 at $DIR/simplify-arm.rs:11:25: 11:26
|
||||
((_0 as Some).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
discriminant(_0) = 1; // scope 1 at $DIR/simplify-arm.rs:11:20: 11:27
|
||||
StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:11:26: 11:27
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:10:5: 13:6
|
||||
}
|
||||
|
||||
bb4: {
|
||||
- bb4: {
|
||||
+ bb2: {
|
||||
return; // scope 0 at $DIR/simplify-arm.rs:14:2: 14:2
|
||||
}
|
||||
}
|
||||
|
||||
@ -10,10 +10,12 @@
|
||||
let _5: i32; // in scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
let mut _6: i32; // in scope 0 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
scope 1 {
|
||||
debug x => _3; // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
- debug x => _3; // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
+ debug x => ((_0 as Ok).0: u8); // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
}
|
||||
scope 2 {
|
||||
debug y => _5; // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
- debug y => _5; // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
+ debug y => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
}
|
||||
|
||||
bb0: {
|
||||
@ -22,14 +24,15 @@
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageLive(_5); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
_5 = ((_1 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
StorageLive(_6); // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
_6 = _5; // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
((_0 as Err).0: i32) = move _6; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
discriminant(_0) = 1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
StorageDead(_6); // scope 2 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
StorageDead(_5); // scope 0 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
- StorageLive(_5); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
- _5 = ((_1 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
- StorageLive(_6); // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
- _6 = _5; // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
- ((_0 as Err).0: i32) = move _6; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
- discriminant(_0) = 1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
- StorageDead(_6); // scope 2 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
- StorageDead(_5); // scope 0 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
+ _0 = move _1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
}
|
||||
|
||||
@ -38,14 +41,15 @@
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
_3 = ((_1 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
_4 = _3; // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
((_0 as Ok).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
- StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
- _3 = ((_1 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
- StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
- _4 = _3; // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
- ((_0 as Ok).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
- discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
- StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
- StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
+ _0 = move _1; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
}
|
||||
|
||||
|
||||
@ -10,46 +10,35 @@
|
||||
let _5: i32; // in scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
let mut _6: i32; // in scope 0 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
scope 1 {
|
||||
debug x => _3; // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
debug x => ((_0 as Ok).0: u8); // in scope 1 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
}
|
||||
scope 2 {
|
||||
debug y => _5; // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
debug y => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
}
|
||||
|
||||
bb0: {
|
||||
_2 = discriminant(_1); // scope 0 at $DIR/simplify-arm.rs:18:9: 18:14
|
||||
switchInt(move _2) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:18:9: 18:14
|
||||
- switchInt(move _2) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:18:9: 18:14
|
||||
+ goto -> bb1; // scope 0 at $DIR/simplify-arm.rs:18:9: 18:14
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageLive(_5); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
_5 = ((_1 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:19:13: 19:14
|
||||
StorageLive(_6); // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
_6 = _5; // scope 2 at $DIR/simplify-arm.rs:19:23: 19:24
|
||||
((_0 as Err).0: i32) = move _6; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
discriminant(_0) = 1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
StorageDead(_6); // scope 2 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
StorageDead(_5); // scope 0 at $DIR/simplify-arm.rs:19:24: 19:25
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
- _0 = move _1; // scope 2 at $DIR/simplify-arm.rs:19:19: 19:25
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
- }
|
||||
-
|
||||
- bb2: {
|
||||
- unreachable; // scope 0 at $DIR/simplify-arm.rs:17:11: 17:12
|
||||
- }
|
||||
-
|
||||
- bb3: {
|
||||
_0 = move _1; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
+ goto -> bb2; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
}
|
||||
|
||||
bb2: {
|
||||
unreachable; // scope 0 at $DIR/simplify-arm.rs:17:11: 17:12
|
||||
}
|
||||
|
||||
bb3: {
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
_3 = ((_1 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:18:12: 18:13
|
||||
StorageLive(_4); // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
_4 = _3; // scope 1 at $DIR/simplify-arm.rs:18:21: 18:22
|
||||
((_0 as Ok).0: u8) = move _4; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:18:18: 18:23
|
||||
StorageDead(_4); // scope 1 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:18:22: 18:23
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:17:5: 20:6
|
||||
}
|
||||
|
||||
bb4: {
|
||||
- bb4: {
|
||||
+ bb2: {
|
||||
return; // scope 0 at $DIR/simplify-arm.rs:21:2: 21:2
|
||||
}
|
||||
}
|
||||
|
||||
@ -15,94 +15,88 @@
|
||||
let _10: u8; // in scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
let mut _11: u8; // in scope 0 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
scope 1 {
|
||||
debug x => _2; // in scope 1 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
- debug x => _2; // in scope 1 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
+ debug x => ((_0 as Ok).0: u8); // in scope 1 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
}
|
||||
scope 2 {
|
||||
debug err => _6; // in scope 2 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- debug err => _6; // in scope 2 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
+ debug err => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
scope 3 {
|
||||
scope 7 {
|
||||
- debug t => _9; // in scope 7 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
+ debug t => ((_0 as Err).0: i32); // in scope 7 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
}
|
||||
scope 8 {
|
||||
- debug v => _8; // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
+ debug v => ((_0 as Err).0: i32); // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _12: i32; // in scope 8 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
}
|
||||
}
|
||||
scope 4 {
|
||||
debug val => _10; // in scope 4 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
- debug val => _10; // in scope 4 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
+ debug val => ((_0 as Ok).0: u8); // in scope 4 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
scope 5 {
|
||||
}
|
||||
}
|
||||
scope 6 {
|
||||
debug self => _4; // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb0: {
|
||||
StorageLive(_2); // scope 0 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
StorageLive(_4); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:14
|
||||
_4 = _1; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:14
|
||||
_3 = const <std::result::Result<u8, i32> as std::ops::Try>::into_result(move _4) -> bb1; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(std::result::Result<u8, i32>) -> std::result::Result<<std::result::Result<u8, i32> as std::ops::Try>::Ok, <std::result::Result<u8, i32> as std::ops::Try>::Error> {<std::result::Result<u8, i32> as std::ops::Try>::into_result}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// + literal: Const { ty: fn(std::result::Result<u8, i32>) -> std::result::Result<<std::result::Result<u8, i32> as std::ops::Try>::Ok, <std::result::Result<u8, i32> as std::ops::Try>::Error> {<std::result::Result<u8, i32> as std::ops::Try>::into_result}, val: Value(Scalar(<ZST>)) }
|
||||
_3 = move _4; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_5 = discriminant(_3); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
switchInt(move _5) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageDead(_4); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_5 = discriminant(_3); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
switchInt(move _5) -> [0_isize: bb2, 1_isize: bb4, otherwise: bb3]; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- StorageLive(_10); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
- _10 = ((_3 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
- _2 = _10; // scope 5 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
- StorageDead(_10); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
+ _0 = move _3; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
- StorageLive(_11); // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
- _11 = _2; // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
- ((_0 as Ok).0: u8) = move _11; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
- discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
- StorageDead(_11); // scope 1 at $DIR/simplify-arm.rs:25:9: 25:10
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb2: {
|
||||
StorageLive(_10); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
_10 = ((_3 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
_2 = _10; // scope 5 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
StorageDead(_10); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
StorageLive(_11); // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
_11 = _2; // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
((_0 as Ok).0: u8) = move _11; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
StorageDead(_11); // scope 1 at $DIR/simplify-arm.rs:25:9: 25:10
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
goto -> bb5; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb3: {
|
||||
unreachable; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
}
|
||||
|
||||
bb4: {
|
||||
StorageLive(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageLive(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageLive(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_9 = _6; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_8 = const <i32 as std::convert::From<i32>>::from(move _9) -> bb6; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(i32) -> i32 {<i32 as std::convert::From<i32>>::from}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// + literal: Const { ty: fn(i32) -> i32 {<i32 as std::convert::From<i32>>::from}, val: Value(Scalar(<ZST>)) }
|
||||
}
|
||||
|
||||
bb5: {
|
||||
return; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb6: {
|
||||
StorageDead(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_0 = const <std::result::Result<u8, i32> as std::ops::Try>::from_error(move _8) -> bb7; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(<std::result::Result<u8, i32> as std::ops::Try>::Error) -> std::result::Result<u8, i32> {<std::result::Result<u8, i32> as std::ops::Try>::from_error}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// + literal: Const { ty: fn(<std::result::Result<u8, i32> as std::ops::Try>::Error) -> std::result::Result<u8, i32> {<std::result::Result<u8, i32> as std::ops::Try>::from_error}, val: Value(Scalar(<ZST>)) }
|
||||
}
|
||||
|
||||
bb7: {
|
||||
StorageDead(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageDead(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
bb3: {
|
||||
- StorageLive(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- _6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- StorageLive(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- StorageLive(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- _9 = _6; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- _8 = move _9; // scope 7 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
- StorageDead(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- StorageLive(_12); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- _12 = move _8; // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- ((_0 as Err).0: i32) = move _12; // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- discriminant(_0) = 1; // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- StorageDead(_12); // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- StorageDead(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- StorageDead(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
+ _0 = move _3; // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
goto -> bb5; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
|
||||
bb4: {
|
||||
return; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -15,94 +15,62 @@
|
||||
let _10: u8; // in scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
let mut _11: u8; // in scope 0 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
scope 1 {
|
||||
debug x => _2; // in scope 1 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
debug x => ((_0 as Ok).0: u8); // in scope 1 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
}
|
||||
scope 2 {
|
||||
debug err => _6; // in scope 2 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
debug err => ((_0 as Err).0: i32); // in scope 2 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
scope 3 {
|
||||
scope 7 {
|
||||
debug t => ((_0 as Err).0: i32); // in scope 7 at $SRC_DIR/core/src/convert/mod.rs:LL:COL
|
||||
}
|
||||
scope 8 {
|
||||
debug v => ((_0 as Err).0: i32); // in scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
let mut _12: i32; // in scope 8 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
}
|
||||
}
|
||||
scope 4 {
|
||||
debug val => _10; // in scope 4 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
debug val => ((_0 as Ok).0: u8); // in scope 4 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
scope 5 {
|
||||
}
|
||||
}
|
||||
scope 6 {
|
||||
debug self => _4; // in scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
}
|
||||
|
||||
bb0: {
|
||||
StorageLive(_2); // scope 0 at $DIR/simplify-arm.rs:24:9: 24:10
|
||||
StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
StorageLive(_4); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:14
|
||||
_4 = _1; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:14
|
||||
_3 = const <std::result::Result<u8, i32> as std::ops::Try>::into_result(move _4) -> bb1; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(std::result::Result<u8, i32>) -> std::result::Result<<std::result::Result<u8, i32> as std::ops::Try>::Ok, <std::result::Result<u8, i32> as std::ops::Try>::Error> {<std::result::Result<u8, i32> as std::ops::Try>::into_result}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// + literal: Const { ty: fn(std::result::Result<u8, i32>) -> std::result::Result<<std::result::Result<u8, i32> as std::ops::Try>::Ok, <std::result::Result<u8, i32> as std::ops::Try>::Error> {<std::result::Result<u8, i32> as std::ops::Try>::into_result}, val: Value(Scalar(<ZST>)) }
|
||||
_3 = move _4; // scope 6 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
StorageDead(_4); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_5 = discriminant(_3); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- switchInt(move _5) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
+ goto -> bb1; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
|
||||
bb1: {
|
||||
StorageDead(_4); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_5 = discriminant(_3); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
switchInt(move _5) -> [0_isize: bb2, 1_isize: bb4, otherwise: bb3]; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_0 = move _3; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
+ goto -> bb2; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb2: {
|
||||
StorageLive(_10); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
_10 = ((_3 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
_2 = _10; // scope 5 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
StorageDead(_10); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
StorageLive(_11); // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
_11 = _2; // scope 1 at $DIR/simplify-arm.rs:25:8: 25:9
|
||||
((_0 as Ok).0: u8) = move _11; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:25:5: 25:10
|
||||
StorageDead(_11); // scope 1 at $DIR/simplify-arm.rs:25:9: 25:10
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
goto -> bb5; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb3: {
|
||||
unreachable; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
}
|
||||
|
||||
bb4: {
|
||||
StorageLive(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageLive(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageLive(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_9 = _6; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_8 = const <i32 as std::convert::From<i32>>::from(move _9) -> bb6; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(i32) -> i32 {<i32 as std::convert::From<i32>>::from}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// + literal: Const { ty: fn(i32) -> i32 {<i32 as std::convert::From<i32>>::from}, val: Value(Scalar(<ZST>)) }
|
||||
}
|
||||
|
||||
bb5: {
|
||||
- unreachable; // scope 0 at $DIR/simplify-arm.rs:24:13: 24:15
|
||||
- }
|
||||
-
|
||||
- bb3: {
|
||||
- _0 = move _3; // scope 8 at $SRC_DIR/core/src/result.rs:LL:COL
|
||||
- StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
- StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
- goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
- }
|
||||
-
|
||||
- bb4: {
|
||||
return; // scope 0 at $DIR/simplify-arm.rs:26:2: 26:2
|
||||
}
|
||||
|
||||
bb6: {
|
||||
StorageDead(_9); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
_0 = const <std::result::Result<u8, i32> as std::ops::Try>::from_error(move _8) -> bb7; // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
// ty::Const
|
||||
// + ty: fn(<std::result::Result<u8, i32> as std::ops::Try>::Error) -> std::result::Result<u8, i32> {<std::result::Result<u8, i32> as std::ops::Try>::from_error}
|
||||
// + val: Value(Scalar(<ZST>))
|
||||
// mir::Constant
|
||||
// + span: $DIR/simplify-arm.rs:24:13: 24:15
|
||||
// + literal: Const { ty: fn(<std::result::Result<u8, i32> as std::ops::Try>::Error) -> std::result::Result<u8, i32> {<std::result::Result<u8, i32> as std::ops::Try>::from_error}, val: Value(Scalar(<ZST>)) }
|
||||
}
|
||||
|
||||
bb7: {
|
||||
StorageDead(_8); // scope 3 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageDead(_6); // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:24:15: 24:16
|
||||
StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:26:1: 26:2
|
||||
goto -> bb5; // scope 0 at $DIR/simplify-arm.rs:24:14: 24:15
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -4,7 +4,7 @@
|
||||
fn map(_1: std::option::Option<std::boxed::Box<()>>) -> std::option::Option<std::boxed::Box<()>> {
|
||||
debug x => _1; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:1:8: 1:9
|
||||
let mut _0: std::option::Option<std::boxed::Box<()>>; // return place in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:1:31: 1:46
|
||||
let mut _2: isize; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- let mut _2: isize; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- let _3: std::boxed::Box<()>; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:14: 4:15
|
||||
- let mut _4: std::boxed::Box<()>; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:25: 4:26
|
||||
- let mut _5: bool; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:1: 6:2
|
||||
@ -29,21 +29,8 @@
|
||||
- // mir::Constant
|
||||
- // + span: $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
|
||||
_2 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
}
|
||||
|
||||
bb1: {
|
||||
- _2 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
_0 = move _1; // scope 1 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:20: 4:27
|
||||
goto -> bb3; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:2:5: 5:6
|
||||
}
|
||||
|
||||
bb2: {
|
||||
discriminant(_0) = 0; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:17: 3:21
|
||||
goto -> bb3; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:2:5: 5:6
|
||||
}
|
||||
|
||||
bb3: {
|
||||
- _6 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:1: 6:2
|
||||
return; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:2: 6:2
|
||||
}
|
||||
|
||||
@ -4,7 +4,7 @@
|
||||
fn map(_1: std::option::Option<std::boxed::Box<()>>) -> std::option::Option<std::boxed::Box<()>> {
|
||||
debug x => _1; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:1:8: 1:9
|
||||
let mut _0: std::option::Option<std::boxed::Box<()>>; // return place in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:1:31: 1:46
|
||||
let mut _2: isize; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- let mut _2: isize; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- let _3: std::boxed::Box<()>; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:14: 4:15
|
||||
- let mut _4: std::boxed::Box<()>; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:25: 4:26
|
||||
- let mut _5: bool; // in scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:1: 6:2
|
||||
@ -29,21 +29,8 @@
|
||||
- // mir::Constant
|
||||
- // + span: $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
- // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
|
||||
_2 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
}
|
||||
|
||||
bb1: {
|
||||
- _2 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:9: 3:13
|
||||
_0 = move _1; // scope 1 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:4:20: 4:27
|
||||
goto -> bb3; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:2:5: 5:6
|
||||
}
|
||||
|
||||
bb2: {
|
||||
discriminant(_0) = 0; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:3:17: 3:21
|
||||
goto -> bb3; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:2:5: 5:6
|
||||
}
|
||||
|
||||
bb3: {
|
||||
- _6 = discriminant(_1); // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:1: 6:2
|
||||
return; // scope 0 at $DIR/simplify-locals-removes-unused-discriminant-reads.rs:6:2: 6:2
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user