pub fn write_variable(&mut self, address: MAddress, variable: VarId, value: T::ValueRef) {
        radeco_trace!(
            "phip_write_var|{:?}|{} ({:?})|{}",
            value,
            variable,
            self.regfile.whole_names.get(variable as usize),
            address
        );

        if let Some(rname) = self.regfile.whole_names.get(variable as usize) {
            // XXX
            self.ssa.set_register(value, rname.clone());
        }

        self.current_def[variable as usize].insert(address, value);
        self.outputs.insert(value, variable);

        radeco_trace!("Wrote: {:?} <- {:?}", variable, value);
    }
/// Write/associate a value/node with a defined variable. Usually called when the
/// expression has an assignment.
///
/// It is up to the caller function to ensure that the sizes are compatible, and insert
/// appropriate width operations if necessary.
Write/associate a value/node with a defined variable. Usually called when the
expression has an assignment.

It is up to the caller function to ensure that the sizes are compatible, and insert
appropriate width operations if necessary.
Write / associate a value / node with a defined variable . Usually called when the expression has an assignment . It is up to the caller function to ensure that the sizes are compatible and insert appropriate width operations if necessary .
pub fn write_variable(&mut self, address: MAddress, variable: VarId, value: T::ValueRef) {
        radeco_trace!(
            "phip_write_var|{:?}|{} ({:?})|{}",
            value,
            variable,
            self.regfile.whole_names.get(variable as usize),
            address
        );
        if let Some(rname) = self.regfile.whole_names.get(variable as usize) {
            // XXX
            self.ssa.set_register(value, rname.clone());
        }
        self.current_def[variable as usize].insert(address, value);
        self.outputs.insert(value, variable);
        radeco_trace!("Wrote: {:?} <- {:?}", variable, value);
    }
pub fn write_variable ( & mut self , address : MAddress , variable : VarId , value : T :: ValueRef ) { radeco_trace ! ( " " value variable self regfile whole_names get ( variable as usize ) address ) ; if let Some ( rname ) = self . regfile . whole_names . get ( variable as usize ) { // XXX self . ssa . set_register ( value , rname . clone ( ) ) ; } self . current_def [ variable as usize ] . insert ( address , value ) ; self . outputs . insert ( value , variable ) ; radeco_trace ! ( " " variable value ) ; }
Write/associate a value/node with a defined variable.
Write / associate a value / node with a defined variable .
&mut self
address
MAddress
variable
VarId
value
T::ValueRef
&mut self
address
MAddress
variable
VarId
value
T::ValueRef