| add(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| addCarry(const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| addWithCarries(const SValuePtr &a, const SValuePtr &b, const SValuePtr &c, SValuePtr &carry_out)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| and_(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| boolean_(bool value) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| bottom_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| concat(const SValuePtr &lowBits, const SValuePtr &highBits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| countLeadingOnes(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| countLeadingZeros(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| cpuid() | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| create(const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const =0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| create(const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const =0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| currentInstruction() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| currentInstruction(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| currentState() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| currentState(const StatePtr &s) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| equalToZero(const SValuePtr &a)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| extract(const SValuePtr &a, size_t begin_bit, size_t end_bit)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| filterCallTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| filterIndirectJumpTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| filterReturnTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| finishInstruction(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpConvert(const SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| hash(Combinatorics::Hasher &) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| hlt() | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| hotPatch() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| hotPatch() | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| hotPatch(const HotPatch &hp) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| initialState() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| initialState(const StatePtr &s) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| interrupt(int majr, int minr) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| interrupt(const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &enabled) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| invert(const SValuePtr &a)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| isEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isNoopRead() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| isNoopRead(bool b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| isNotEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isSignedLessThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| leastSignificantSetBit(const SValuePtr &a)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| mostSignificantSetBit(const SValuePtr &a)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| name() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| name(const std::string &s) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| negate(const SValuePtr &a)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| nInsns() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| nInsns(size_t n) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| number_(size_t nbits, uint64_t value) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | |
| or_(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| peekMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| peekRegister(RegisterDescriptor, const SValuePtr &dflt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| peekRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| print(std::ostream &stream, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | |
| print(std::ostream &stream, Formatter &fmt) const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| promote(const RiscOperatorsPtr &x) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinestatic |
| protoval() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | |
| rdtsc() | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| readMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt, const SValuePtr &cond)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| readRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| readRegister(RegisterDescriptor reg, const SValuePtr &dflt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| reinterpret(const SValuePtr &a, SgAsmType *retType) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| reverseElmts(const SValuePtr &a, size_t elmtNBits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | protected |
| RiscOperators(const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | explicitprotected |
| RiscOperators(const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | explicitprotected |
| rotateLeft(const SValuePtr &a, const SValuePtr &nbits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| rotateRight(const SValuePtr &a, const SValuePtr &nbits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| shiftLeft(const SValuePtr &a, const SValuePtr &nbits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| shiftRight(const SValuePtr &a, const SValuePtr &nbits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| shiftRightArithmetic(const SValuePtr &a, const SValuePtr &nbits)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| signedDivide(const SValuePtr ÷nd, const SValuePtr &divisor)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| signedModulo(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| signedMultiply(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| signExtend(const SValuePtr &a, size_t new_width)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| solver() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| solver(const SmtSolverPtr &s) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inlinevirtual |
| split(const SValuePtr &a, size_t splitPoint) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| startInstruction(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| subtract(const SValuePtr &minuend, const SValuePtr &subtrahend) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| undefined_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| unsignedDivide(const SValuePtr ÷nd, const SValuePtr &divisor)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| unsignedExtend(const SValuePtr &a, size_t new_width) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| unsignedModulo(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| unsignedMultiply(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| unspecified_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | inline |
| writeMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &data, const SValuePtr &cond)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| writeRegister(RegisterDescriptor reg, const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
| xor_(const SValuePtr &a, const SValuePtr &b)=0 | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | pure virtual |
| ~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators | virtual |
