Module match_branches 

Re-exports

use rustc_abi::Integer; 🔒

use rustc_const_eval::const_eval::mk_eval_cx_for_const_val; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::ty::layout::IntegerExt; 🔒

use rustc_middle::ty::layout::TyAndLayout; 🔒

use rustc_middle::ty::util::Discr; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::ScalarInt; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use super::simplify::simplify_cfg; 🔒

use crate::PassPolicy; 🔒

use crate::patch::MirPatch; 🔒

use crate::unreachable_prop::remove_successors_from_switch; 🔒

use rustc_middle::mir::*; 🔒

Structs

MatchBranchSimplification 🔒

Unifies all targets into one basic block if each statement can have the same statement.

SimplifyMatch 🔒

Functions

can_cast 🔒

Check if the cast constant using IntToInt is equal to the target constant.

candidate_assign 🔒

candidate_const 🔒

candidate_match 🔒

Returns the first case target if all targets have an equal number of statements and identical destination.

identical_stmts 🔒

simplify_match 🔒

split_first_case 🔒