Struct rustc_mir::transform::simplify_try::SimplifyBranchSameOptimizationFinder

struct SimplifyBranchSameOptimizationFinder<'a, 'tcx> {
    body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
}

Fields

body: &'a Body<'tcx>

tcx: TyCtxt<'tcx>

Implementations

impl<'a, 'tcx> SimplifyBranchSameOptimizationFinder<'a, 'tcx>

fn find(&self) -> Vec<SimplifyBranchSameOptimization>

fn statement_equality(
    &self,
    adt_matched_on: Place<'tcx>,
    x: &Statement<'tcx>,
    x_target_and_value: &SwitchTargetAndValue,
    y: &Statement<'tcx>,
    y_target_and_value: &SwitchTargetAndValue
) -> StatementEquality

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

• _0 is an enum where the variant index 0 is fieldless, and
• bb1 was targeted by a switch where the discriminant of _1 was switched on