accessCreatesLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inline |
accessCreatesLocations(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
accessModifiesExistingLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inline |
accessModifiesExistingLocations(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
AddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
assertStorageConditions(const std::string &where, RegisterDescriptor what) const (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
BitAddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
BitProperties typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
BitRange typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
clear() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
clearOverlappingLocations(RegisterDescriptor) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
clone() const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
create(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
deep_copy_values() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
erase_register(RegisterDescriptor, RiscOperators *) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseProperties(RegisterDescriptor) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseProperties() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseWriters(RegisterDescriptor, const AddressSet &writerVas) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseWriters(RegisterDescriptor) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
eraseWriters() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
findProperties(const InputOutputPropertySet &required, const InputOutputPropertySet &prohibited=InputOutputPropertySet()) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
get_stored_registers() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
getPropertiesIntersection(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
getPropertiesUnion(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
getWritersIntersection(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
getWritersUnion(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
hash(Combinatorics::Hasher &, RiscOperators *) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
hasPropertyAll(RegisterDescriptor, InputOutputProperty) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
hasPropertyAny(RegisterDescriptor, InputOutputProperty) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
hasWritersAll(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
hasWritersAny(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
initialize_large() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
initialize_nonoverlapping(const std::vector< RegisterDescriptor > &, bool initialize_to_zero) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
initialize_small() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
insertProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
insertWriters(RegisterDescriptor, const AddressSet &writerVas) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
instance(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
instance(const RegisterStateGenericPtr &other) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
is_exactly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
is_partly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
is_wholly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
merge(const RegisterStatePtr &other, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
merger() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
merger(const MergerPtr &m) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
overlappingRegisters(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
peekRegister(RegisterDescriptor, const SValuePtr &dflt, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState::print(std::ostream &stream, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
promote(const RegisterStatePtr &from) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
readRegister(RegisterDescriptor, const SValuePtr &dflt, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
regdict | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
RegisterAddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
registerDictionary() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
registerDictionary(const RegisterDictionaryPtr &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
RegisterProperties typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
Registers typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
registers_ | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
RegisterState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
RegisterState(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
RegisterStateGeneric() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineprotected |
RegisterStateGeneric(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineexplicitprotected |
RegisterStateGeneric(const RegisterStateGeneric &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineprotected |
RegPairs typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
scanAccessedLocations(RegisterDescriptor reg, RiscOperators *ops, RegPairs &accessedParts, RegPairs &preservedParts) const (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
setProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
setWriters(RegisterDescriptor, const AddressSet &writers) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
stored_parts(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
traverse(Visitor &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
updateReadProperties(RegisterDescriptor) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
updateWriteProperties(RegisterDescriptor, InputOutputProperty) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
writeRegister(RegisterDescriptor, const SValuePtr &value, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
zero() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
~RegisterState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | virtual |