accessCreatesLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
accessCreatesLocations(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
accessModifiesExistingLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
accessModifiesExistingLocations(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
AddressSpace() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | protected |
AddressSpace(Purpose, const std::string &name) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | protected |
AddressSpace(const AddressSpace &) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | protected |
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 | virtual |
create(const SValuePtr &protoval, const RegisterDictionaryPtr &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
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 *addrOps, RiscOperators *valOps) 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 &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | static |
instance(const RegisterStateGenericPtr &other) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | static |
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 AddressSpacePtr &other, RiscOperators *addrOps, RiscOperators *valOps) 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 |
name() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
name(const std::string &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
operator+(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
operator=(const AddressSpace &)=delete (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | protected |
overlappingRegisters(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
peek(const AddressSpaceAddress &, const SValuePtr &dflt, RiscOperators &addrOps, RiscOperators &valOps) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | 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 &, const std::string &prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
printableName() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
promote(const AddressSpacePtr &from) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | static |
protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
Purpose typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
purpose() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
purpose(Purpose) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
read(const AddressSpaceAddress &, const SValuePtr &dflt, RiscOperators &addrOps, RiscOperators &valOps) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | virtual |
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 | protected |
RegisterStateGeneric(const SValuePtr &protoval, const RegisterDictionaryPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
RegisterStateGeneric(const RegisterStateGeneric &) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
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 &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | |
write(const AddressSpaceAddress &, const SValuePtr &value, RiscOperators &addrOps, RiscOperators &valOps) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | virtual |
writeRegister(RegisterDescriptor, const SValuePtr &value, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
zero() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
~AddressSpace() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::AddressSpace | virtual |
~RegisterState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | virtual |
~RegisterStateGeneric() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |