fn current_def_at(
        &self,
        variable: VarId,
        address: MAddress,
    ) -> Option<(&MAddress, &T::ValueRef)> {
        for (addr, idx) in self.current_def[variable as usize].iter().rev() {
            if self.block_of(*addr) != self.block_of(address) && *addr > address {
                continue;
            }
            return Some((addr, idx));
        }
        None
    }
// Returns the address that provides this definition and the corresponding
// ValueRef.
// This method is different from current_def_in_block as this will return a
// ValueRef even if
// the definition is not within the same block.
Returns the address that provides this definition and the corresponding
ValueRef.
This method is different from current_def_in_block as this will return a
ValueRef even if
the definition is not within the same block.
Returns the address that provides this definition and the corresponding ValueRef . This method is different from current_def_in_block as this will return a ValueRef even if the definition is not within the same block .
fn current_def_at(
        &self,
        variable: VarId,
        address: MAddress,
    ) -> Option<(&MAddress, &T::ValueRef)> {
        for (addr, idx) in self.current_def[variable as usize].iter().rev() {
            if self.block_of(*addr) != self.block_of(address) && *addr > address {
                continue;
            }
            return Some((addr, idx));
        }
        None
    }
fn current_def_at ( & self , variable : VarId , address : MAddress , ) -> Option < ( & MAddress , & T :: ValueRef ) > { for ( addr , idx ) in self . current_def [ variable as usize ] . iter ( ) . rev ( ) { if self . block_of ( * addr ) != self . block_of ( address ) && * addr > address { continue ; } return Some ( ( addr , idx ) ) ; } None }
Returns the address that provides this definition and the corresponding
ValueRef.
Returns the address that provides this definition and the corresponding ValueRef .
&self
variable
VarId
address
MAddress
&self
variable
VarId
address
MAddress