pub fn generate_refined_ssa<'functions, 'disambiguator, 'dfg, 'location_disambiguator, A: SSAValues + for<'mem> DecodeFrom<M>, M: MemoryRange<A> + ?Sized, U: ModifierCollection<A>, LocSpec, Disam: Disambiguator<A, LocSpec> + LocationAliasDescriptions<A>, F: FunctionQuery<A::Address, Function = FunctionImpl<A::Location>>>(
data: &M,
entry: A::Address,
basic_blocks: &ControlFlowGraph<A::Address>,
cfg: &GraphMap<A::Address, (), Directed>,
old_dfg: &'dfg SSA<A>,
value_modifiers: &U,
disambiguator: &'disambiguator Disam,
functions: &'functions F
) -> SSA<A> where
A::Location: 'static + AbiDefaults,
for<'a> &'a <A as Arch>::Instruction: LocIterator<'disambiguator, 'functions, A, A::Location, Disam, F, Item = (Option<A::Location>, Direction), LocSpec = LocSpec>,
<A as ValueLocations>::Location: DFGRebase<A>,