Module rustc_mir_transform::simplify_try

Expand description

The general point of the optimizations provided here is to simplify something like:

match x {
    Ok(x) => Ok(x),
    Err(x) => Err(x)
}

into just x.

Structs

ArmIdentityInfo 🔒

LocalUseCounter 🔒

SimplifyArmIdentity

Simplifies arms of form Variant(x) => Variant(x) to just a move.

SimplifyBranchSame

Simplifies SwitchInt(_) -> [targets], where all the targets have the same form, into goto -> target_first.

SimplifyBranchSameOptimization 🔒

SimplifyBranchSameOptimizationFinder 🔒

SwitchTargetAndValue 🔒

VarField 🔒

Enums

StatementEquality 🔒

Statics

CALLSITE 🔒

META 🔒

Functions

find_storage_live_dead_stmts_for_local 🔒

get_arm_identity_info 🔒

is_storage_stmt 🔒

is_tmp_storage_stmt 🔒

match_get_variant_field 🔒

Match on:

match_set_discr 🔒

Match on:

match_set_variant_field 🔒

Match on:

match_variant_field_place 🔒

Match on ((_LOCAL as Variant).FIELD: TY).

optimization_applies 🔒

try_eat 🔒

Eats consecutive Statements which match test, performing the specified action for each. The iterator stmt_iter is not advanced if none were matched.

try_eat_assign_tmp_stmts 🔒

Eats consecutive Assign Statements.

try_eat_storage_stmts 🔒

Eats consecutive StorageLive and StorageDead Statements. The iterator stmt_iter is not advanced if none were found.

Type Definitions

StmtIter 🔒