1 use crate::build::expr::as_place::PlaceBuilder;
2 use crate::build::matches::MatchPair;
3 use crate::build::Builder;
4 use rustc_middle::mir::*;
5 use rustc_middle::thir::*;
7 use smallvec::SmallVec;
8 use std::convert::TryInto;
10 impl<'a, 'tcx> Builder<'a, 'tcx> {
11 pub(crate) fn field_match_pairs<'pat>(
13 place: PlaceBuilder<'tcx>,
14 subpatterns: &'pat [FieldPat<'tcx>],
15 ) -> Vec<MatchPair<'pat, 'tcx>> {
19 let place = place.clone().field(fieldpat.field, fieldpat.pattern.ty);
20 MatchPair::new(place, &fieldpat.pattern)
25 pub(crate) fn prefix_slice_suffix<'pat>(
27 match_pairs: &mut SmallVec<[MatchPair<'pat, 'tcx>; 1]>,
28 place: &PlaceBuilder<'tcx>,
29 prefix: &'pat [Box<Pat<'tcx>>],
30 opt_slice: &'pat Option<Box<Pat<'tcx>>>,
31 suffix: &'pat [Box<Pat<'tcx>>],
34 let (min_length, exact_size) = if let Ok(place_resolved) =
35 place.clone().try_upvars_resolved(tcx, &self.upvars)
37 match place_resolved.into_place(tcx, &self.upvars).ty(&self.local_decls, tcx).ty.kind()
39 ty::Array(_, length) => (length.eval_usize(tcx, self.param_env), true),
40 _ => ((prefix.len() + suffix.len()).try_into().unwrap(), false),
43 ((prefix.len() + suffix.len()).try_into().unwrap(), false)
46 match_pairs.extend(prefix.iter().enumerate().map(|(idx, subpattern)| {
48 ProjectionElem::ConstantIndex { offset: idx as u64, min_length, from_end: false };
49 let place = place.clone().project(elem);
50 MatchPair::new(place, subpattern)
53 if let Some(subslice_pat) = opt_slice {
54 let suffix_len = suffix.len() as u64;
55 let subslice = place.clone().project(ProjectionElem::Subslice {
56 from: prefix.len() as u64,
57 to: if exact_size { min_length - suffix_len } else { suffix_len },
58 from_end: !exact_size,
60 match_pairs.push(MatchPair::new(subslice, subslice_pat));
63 match_pairs.extend(suffix.iter().rev().enumerate().map(|(idx, subpattern)| {
64 let end_offset = (idx + 1) as u64;
65 let elem = ProjectionElem::ConstantIndex {
66 offset: if exact_size { min_length - end_offset } else { end_offset },
68 from_end: !exact_size,
70 let place = place.clone().project(elem);
71 MatchPair::new(place, subpattern)
75 /// Creates a false edge to `imaginary_target` and a real edge to
76 /// real_target. If `imaginary_target` is none, or is the same as the real
77 /// target, a Goto is generated instead to simplify the generated MIR.
78 pub(crate) fn false_edges(
80 from_block: BasicBlock,
81 real_target: BasicBlock,
82 imaginary_target: Option<BasicBlock>,
83 source_info: SourceInfo,
85 match imaginary_target {
86 Some(target) if target != real_target => {
90 TerminatorKind::FalseEdge { real_target, imaginary_target: target },
93 _ => self.cfg.goto(from_block, source_info, real_target),
98 impl<'pat, 'tcx> MatchPair<'pat, 'tcx> {
100 place: PlaceBuilder<'tcx>,
101 pattern: &'pat Pat<'tcx>,
102 ) -> MatchPair<'pat, 'tcx> {
103 MatchPair { place, pattern }