pub fn resolve_references(
        rfn: &mut RadecoFunction,
        regfile: Arc<SubRegisterFile>,
        sections: Arc<Vec<LSectionInfo>>,
    ) -> ReferenceMarker {
        let mut refmarker = ReferenceMarker {
            regfile: regfile,
            sections: sections,
            cs: ConstraintSet::default(),
        };
        let _bn = refmarker.add_constraints(rfn.ssa());
        refmarker.resolve_references_iterative(rfn);
        refmarker
    }
// Used for calling to resolve references the first time. Future calls should call
// `resolve_references_iterative`.
Used for calling to resolve references the first time. Future calls should call
`resolve_references_iterative`.
Used for calling to resolve references the first time . Future calls should call ` resolve_references_iterative ` .
pub fn resolve_references(
        rfn: &mut RadecoFunction,
        regfile: Arc<SubRegisterFile>,
        sections: Arc<Vec<LSectionInfo>>,
    ) -> ReferenceMarker {
        let mut refmarker = ReferenceMarker {
            regfile: regfile,
            sections: sections,
            cs: ConstraintSet::default(),
        };
        let _bn = refmarker.add_constraints(rfn.ssa());
        refmarker.resolve_references_iterative(rfn);
        refmarker
    }
pub fn resolve_references ( rfn : & mut RadecoFunction , regfile : Arc < SubRegisterFile > , sections : Arc < Vec < LSectionInfo > > , ) -> ReferenceMarker { let mut refmarker = ReferenceMarker { regfile : regfile , sections : sections , cs : ConstraintSet :: default ( ) , } ; let _bn = refmarker . add_constraints ( rfn . ssa ( ) ) ; refmarker . resolve_references_iterative ( rfn ) ; refmarker }
Used for calling to resolve references the first time.
Used for calling to resolve references the first time .
rfn
&mut RadecoFunction
regfile
Arc<SubRegisterFile>
sections
Arc<Vec<LSectionInfo>>
rfn
&mut RadecoFunction
regfile
Arc<SubRegisterFile>
sections
Arc<Vec<LSectionInfo>>