Module ssa_range_prop 

A pass that propagates the known ranges of SSA locals. We can know the ranges of SSA locals in certain locations for the following code:

fn foo(a: u32) {
  let b = a < 9; // the integer representation of b is within the full range [0, 2).
  if b {
    let c = b; // c is true since b is within the range [1, 2).
    let d = a < 8; // d is true since a is within the range [0, 9).
  }
}

Re-exports

use rustc_abi::WrappingRange; 🔒

use rustc_const_eval::interpret::Scalar; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::graph::dominators::Dominators; 🔒

use rustc_middle::mir::basic_blocks::Predecessors; 🔒

use rustc_middle::mir::visit::MutVisitor; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Operand; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypingEnv; 🔒

use rustc_span::DUMMY_SP; 🔒

use crate::PassPolicy; 🔒

use crate::ssa::SsaLocals; 🔒

use rustc_middle::mir::*; 🔒

Structs

RangeSet 🔒

SsaRangePropagation 🔒