ROSE  0.11.109.0
RiscOperators.h
1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_RiscOperators_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_RiscOperators_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
5 
6 #include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/Types.h>
7 #include <Rose/BinaryAnalysis/InstructionSemantics/Utility.h>
8 #include <Rose/BinaryAnalysis/HotPatch.h>
9 #include <Rose/BinaryAnalysis/SmtSolver.h>
10 #include <Combinatorics.h>
11 
12 #include <boost/enable_shared_from_this.hpp>
13 #include <boost/serialization/access.hpp>
14 #include <boost/serialization/export.hpp>
15 #include <boost/serialization/nvp.hpp>
16 #include <boost/serialization/shared_ptr.hpp>
17 #include <boost/serialization/version.hpp>
18 
19 namespace Rose {
20 namespace BinaryAnalysis {
21 namespace InstructionSemantics {
22 namespace BaseSemantics {
23 
25 // RISC Operators
27 
49 class RiscOperators: public boost::enable_shared_from_this<RiscOperators> {
50 public:
53 
54 private:
55  SValuePtr protoval_; // Prototypical value used for its virtual constructors
56  StatePtr currentState_; // State upon which RISC operators operate
57  StatePtr initialState_; // Lazily updated initial state; see readMemory
58  SmtSolverPtr solver_; // Optional SMT solver
59  SgAsmInstruction *currentInsn_ = nullptr; // Current instruction, as set by latest startInstruction call
60  size_t nInsns_ = 0; // Number of instructions processed
61  std::string name_; // Name to use for debugging
62  HotPatch hotPatch_; // Adjustments to the semantic state after each instruction.
63  bool isNoopRead_ = false; // Read is part of a possible no-op read-then-write sequence
64 
66  // Serialization
67 #ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB
68 private:
69  friend class boost::serialization::access;
70 
71  template<class S>
72  void serialize(S &s, const unsigned version) {
73  s & BOOST_SERIALIZATION_NVP(protoval_);
74  s & BOOST_SERIALIZATION_NVP(currentState_);
75  s & BOOST_SERIALIZATION_NVP(initialState_);
76  s & BOOST_SERIALIZATION_NVP(solver_);
77  s & BOOST_SERIALIZATION_NVP(currentInsn_);
78  s & BOOST_SERIALIZATION_NVP(nInsns_);
79  s & BOOST_SERIALIZATION_NVP(name_);
80  if (version >= 1)
81  s & BOOST_SERIALIZATION_NVP(hotPatch_);
82  if (version >= 2)
83  s & BOOST_SERIALIZATION_NVP(isNoopRead_);
84  }
85 #endif
86 
88  // Real constructors
89 protected:
90  // for serialization
91  RiscOperators();
92 
93  explicit RiscOperators(const SValuePtr &protoval, const SmtSolverPtr &solver = SmtSolverPtr());
94  explicit RiscOperators(const StatePtr &state, const SmtSolverPtr &solver = SmtSolverPtr());
95 
96 public:
97  virtual ~RiscOperators();
98 
100  // Static allocating constructors. None needed since this class is abstract.
101 
102 
104  // Virtual constructors.
105 public:
109  virtual RiscOperatorsPtr create(const SValuePtr &protoval, const SmtSolverPtr &solver = SmtSolverPtr()) const = 0;
110 
115  virtual RiscOperatorsPtr create(const StatePtr &state, const SmtSolverPtr &solver = SmtSolverPtr()) const = 0;
116 
118  // Dynamic pointer casts. No-op since this is the base class.
119 public:
120  static RiscOperatorsPtr promote(const RiscOperatorsPtr &x) {
121  ASSERT_not_null(x);
122  return x;
123  }
124 
126  // Other methods part of our API
127 public:
131  virtual SValuePtr protoval() const { return protoval_; }
132 
141  virtual SmtSolverPtr solver() const { return solver_; }
142  virtual void solver(const SmtSolverPtr &s) { solver_ = s; }
151  const HotPatch& hotPatch() const { return hotPatch_; }
152  HotPatch& hotPatch() { return hotPatch_; }
153  void hotPatch(const HotPatch &hp) { hotPatch_ = hp; }
167  virtual StatePtr currentState() const { return currentState_; }
168  virtual void currentState(const StatePtr &s) { currentState_ = s; }
208  virtual StatePtr initialState() const { return initialState_; }
209  virtual void initialState(const StatePtr &s) { initialState_ = s; }
217  virtual const std::string& name() const { return name_; }
218  virtual void name(const std::string &s) { name_ = s; }
224  virtual void hash(Combinatorics::Hasher&);
225 
228  void print(std::ostream &stream, const std::string prefix="") const;
229  virtual void print(std::ostream &stream, Formatter &fmt) const;
234  RiscOperatorsPtr obj;
235  Formatter &fmt;
236  public:
237  WithFormatter(const RiscOperatorsPtr &obj, Formatter &fmt): obj(obj), fmt(fmt) {}
238  void print(std::ostream &stream) const { obj->print(stream, fmt); }
239  };
240 
256  WithFormatter with_format(Formatter &fmt) { return WithFormatter(shared_from_this(), fmt); }
258  WithFormatter operator+(const std::string &linePrefix);
266  virtual size_t nInsns() const { return nInsns_; }
267  virtual void nInsns(size_t n) { nInsns_ = n; }
277  return currentInsn_;
278  }
279  virtual void currentInstruction(SgAsmInstruction *insn) {
280  currentInsn_ = insn;
281  }
297  virtual bool isNoopRead() const { return isNoopRead_; }
298  virtual void isNoopRead(bool b) { isNoopRead_ = b; }
303  virtual void startInstruction(SgAsmInstruction *insn);
304 
307  virtual void finishInstruction(SgAsmInstruction *insn);
308 
312  virtual void comment(const std::string&);
313 
314 
316  // Value Construction Operations
318  // The trailing underscores are necessary for for undefined_() on some machines, so we just add one to the end of all the
319  // virtual constructors for consistency.
320 
324  virtual SValuePtr undefined_(size_t nbits);
325  virtual SValuePtr unspecified_(size_t nbits);
329  virtual SValuePtr number_(size_t nbits, uint64_t value);
330 
332  virtual SValuePtr boolean_(bool value);
333 
335  virtual SValuePtr bottom_(size_t nbits);
336 
337 
339  // x86-specific Operations (FIXME)
341 
344  virtual SValuePtr filterCallTarget(const SValuePtr &a);
345 
349  virtual SValuePtr filterReturnTarget(const SValuePtr &a);
350 
354  virtual SValuePtr filterIndirectJumpTarget(const SValuePtr &a);
355 
357  virtual void hlt() {}
358 
360  virtual void cpuid() {}
361 
363  virtual SValuePtr rdtsc() { return unspecified_(64); }
364 
365 
367  // Boolean Operations
369 
372  virtual SValuePtr and_(const SValuePtr &a, const SValuePtr &b) = 0;
373 
376  virtual SValuePtr or_(const SValuePtr &a, const SValuePtr &b) = 0;
377 
380  virtual SValuePtr xor_(const SValuePtr &a, const SValuePtr &b) = 0;
381 
383  virtual SValuePtr invert(const SValuePtr &a) = 0;
384 
388  virtual SValuePtr extract(const SValuePtr &a, size_t begin_bit, size_t end_bit) = 0;
389 
396  virtual SValuePtr concat(const SValuePtr &lowBits, const SValuePtr &highBits) = 0;
397 
405  virtual SValuePtr concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits) {
406  return concat(lowBits, highBits);
407  }
408  virtual SValuePtr concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits) {
409  return concat(lowBits, highBits);
410  }
418  virtual std::pair<SValuePtr /*low*/, SValuePtr /*high*/> split(const SValuePtr &a, size_t splitPoint);
419 
422  virtual SValuePtr leastSignificantSetBit(const SValuePtr &a) = 0;
423 
426  virtual SValuePtr mostSignificantSetBit(const SValuePtr &a) = 0;
427 
432  virtual SValuePtr countLeadingZeros(const SValuePtr &a);
433 
438  virtual SValuePtr countLeadingOnes(const SValuePtr &a);
439 
443  virtual SValuePtr rotateLeft(const SValuePtr &a, const SValuePtr &nbits) = 0;
444 
448  virtual SValuePtr rotateRight(const SValuePtr &a, const SValuePtr &nbits) = 0;
449 
453  virtual SValuePtr shiftLeft(const SValuePtr &a, const SValuePtr &nbits) = 0;
454 
458  virtual SValuePtr shiftRight(const SValuePtr &a, const SValuePtr &nbits) = 0;
459 
464  virtual SValuePtr shiftRightArithmetic(const SValuePtr &a, const SValuePtr &nbits) = 0;
465 
471  virtual SValuePtr reverseElmts(const SValuePtr &a, size_t elmtNBits);
472 
473 
475  // Comparison Operations
477 
480  virtual SValuePtr equalToZero(const SValuePtr &a) = 0;
481 
483  enum class IteStatus {
484  NEITHER,
485  A,
486  B,
487  BOTH
488  };
489 
497  virtual SValuePtr iteWithStatus(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b, IteStatus &status /*out*/) = 0;
498 
507  virtual SValuePtr ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b) final {
508  IteStatus status = IteStatus::NEITHER;
509  return iteWithStatus(cond, a, b, status);
510  }
511 
518  virtual SValuePtr isEqual(const SValuePtr &a, const SValuePtr &b);
519  virtual SValuePtr isNotEqual(const SValuePtr &a, const SValuePtr &b);
529  virtual SValuePtr isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b);
530  virtual SValuePtr isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b);
531  virtual SValuePtr isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b);
532  virtual SValuePtr isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b);
542  virtual SValuePtr isSignedLessThan(const SValuePtr &a, const SValuePtr &b);
543  virtual SValuePtr isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b);
544  virtual SValuePtr isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b);
545  virtual SValuePtr isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b);
548  // Integer Arithmetic Operations
551 
554  virtual SValuePtr unsignedExtend(const SValuePtr &a, size_t new_width);
555 
558  virtual SValuePtr signExtend(const SValuePtr &a, size_t new_width) = 0;
559 
562  virtual SValuePtr add(const SValuePtr &a, const SValuePtr &b) = 0;
563 
568  virtual SValuePtr addCarry(const SValuePtr &a, const SValuePtr &b,
569  SValuePtr &carryOut /*out*/, SValuePtr &overflowed /*out*/);
570 
576  virtual SValuePtr subtract(const SValuePtr &minuend, const SValuePtr &subtrahend);
577 
586  virtual SValuePtr subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend,
587  SValuePtr &carryOut /*out*/, SValuePtr &overflowed /*out*/);
588 
605  virtual SValuePtr addWithCarries(const SValuePtr &a, const SValuePtr &b, const SValuePtr &c,
606  SValuePtr &carry_out/*output*/) = 0;
607 
609  virtual SValuePtr negate(const SValuePtr &a) = 0;
610 
612  virtual SValuePtr signedDivide(const SValuePtr &dividend, const SValuePtr &divisor) = 0;
613 
615  virtual SValuePtr signedModulo(const SValuePtr &a, const SValuePtr &b) = 0;
616 
618  virtual SValuePtr signedMultiply(const SValuePtr &a, const SValuePtr &b) = 0;
619 
621  virtual SValuePtr unsignedDivide(const SValuePtr &dividend, const SValuePtr &divisor) = 0;
622 
624  virtual SValuePtr unsignedModulo(const SValuePtr &a, const SValuePtr &b) = 0;
625 
627  virtual SValuePtr unsignedMultiply(const SValuePtr &a, const SValuePtr &b) = 0;
628 
629 
631  // Interrupt and system calls
633 
640  virtual void interrupt(int /*majr*/, int /*minr*/) {}
641 
647  virtual void interrupt(const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &enabled);
648 
649 
651  // Floating-point operations
652  //
653  // For now these all have default implementations that throw NotImplemented, but we might change them to pure virtual
654  // sometime in the future so they're consistent with most other RISC operators. [Robb P. Matzke 2015-08-03]
656 
658  virtual SValuePtr fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType);
659 
665  virtual SValuePtr fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt);
666 
670  virtual SValuePtr fpConvert(const SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType);
671 
673  virtual SValuePtr fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType);
674 
676  virtual SValuePtr fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType);
677 
679  virtual SValuePtr fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType);
680 
685  virtual SValuePtr fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType);
686 
690  virtual SValuePtr fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType);
691 
697  virtual SValuePtr fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType);
698 
702  virtual SValuePtr fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType);
703 
708  virtual SValuePtr fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType);
709 
713  virtual SValuePtr fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType);
714 
718  virtual SValuePtr fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType);
719 
723  virtual SValuePtr fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType);
724 
728  virtual SValuePtr fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType);
729 
731  // Conversion operations
733 
739  virtual SValuePtr reinterpret(const SValuePtr &a, SgAsmType *retType);
740 
751  virtual SValuePtr convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType);
752 
753 
755  // State Accessing Operations
757 
782  virtual SValuePtr readRegister(RegisterDescriptor reg) { // old subclasses can still override this if they want,
783  return readRegister(reg, undefined_(reg.nBits())); // but new subclasses should not override this method.
784  }
785  virtual SValuePtr readRegister(RegisterDescriptor reg, const SValuePtr &dflt); // new subclasses override this
797  virtual void writeRegister(RegisterDescriptor reg, const SValuePtr &a);
798 
806  virtual SValuePtr peekRegister(RegisterDescriptor, const SValuePtr &dflt);
808  return peekRegister(reg, undefined_(reg.nBits()));
809  }
833  virtual SValuePtr readMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt,
834  const SValuePtr &cond) = 0;
835 
846  virtual void writeMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &data,
847  const SValuePtr &cond) = 0;
848 
853  virtual SValuePtr peekMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt) = 0;
854 };
855 
856 std::ostream& operator<<(std::ostream&, const RiscOperators&);
857 std::ostream& operator<<(std::ostream&, const RiscOperators::WithFormatter&);
858 
859 } // namespace
860 } // namespace
861 } // namespace
862 } // namespace
863 
866 
867 #endif
868 #endif
virtual SValuePtr shiftRight(const SValuePtr &a, const SValuePtr &nbits)=0
Returns arg shifted right logically (no sign bit).
Base classes for instruction semantics.
Definition: Dispatcher.h:18
virtual SValuePtr negate(const SValuePtr &a)=0
Two's complement.
virtual SValuePtr readMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt, const SValuePtr &cond)=0
Reads a value from memory.
virtual SValuePtr shiftRightArithmetic(const SValuePtr &a, const SValuePtr &nbits)=0
Returns arg shifted right arithmetically (with sign bit).
virtual SValuePtr peekRegister(RegisterDescriptor, const SValuePtr &dflt)
Obtain a register value without side effects.
size_t nBits() const
Property: Size in bits.
virtual SValuePtr fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Whether a floating-point value is a special not-a-number bit pattern.
virtual SValuePtr countLeadingOnes(const SValuePtr &a)
Count leading one bits.
virtual SValuePtr filterIndirectJumpTarget(const SValuePtr &a)
Invoked to filter indirect jumps.
virtual const std::string & name() const
Property: Name used for debugging.
virtual SValuePtr isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)
Comparison for unsigned values.
virtual SValuePtr fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)
Subtract one floating-point value from another.
Describes how to modify machine state after each instruction.
Definition: HotPatch.h:22
boost::shared_ptr< RiscOperators > RiscOperatorsPtr
Shared-ownership pointer to a RISC operators object.
Base class for machine instructions.
virtual SValuePtr concat(const SValuePtr &lowBits, const SValuePtr &highBits)=0
Concatenates the bits of two values.
virtual void initialState(const StatePtr &s)
Property: Optional lazily updated initial state.
virtual SValuePtr fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)
Multiply two floating-point values.
virtual SValuePtr fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)
Divide one floating-point value by another.
virtual void cpuid()
Invoked for the x86 CPUID instruction.
virtual void startInstruction(SgAsmInstruction *insn)
Called at the beginning of every instruction.
virtual std::pair< SValuePtr, SValuePtr > split(const SValuePtr &a, size_t splitPoint)
Split a value into two narrower values.
virtual SValuePtr rotateRight(const SValuePtr &a, const SValuePtr &nbits)=0
Rotate bits to the right.
void hotPatch(const HotPatch &hp)
Property: Post-instruction hot patches.
virtual SValuePtr fpConvert(const SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType)
Convert from one floating-point type to another.
virtual SValuePtr equalToZero(const SValuePtr &a)=0
Determines whether a value is equal to zero.
virtual SValuePtr subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed)
Subtract one value from another and carry.
virtual SValuePtr undefined_(size_t nbits)
Returns a new undefined value.
const HotPatch & hotPatch() const
Property: Post-instruction hot patches.
virtual StatePtr initialState() const
Property: Optional lazily updated initial state.
virtual SValuePtr unsignedDivide(const SValuePtr &dividend, const SValuePtr &divisor)=0
Divides two unsigned values.
virtual SValuePtr fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType)
Construct a floating-point value from an integer value.
virtual SValuePtr bottom_(size_t nbits)
Returns a data-flow bottom value.
virtual SValuePtr xor_(const SValuePtr &a, const SValuePtr &b)=0
Computes bit-wise XOR of two values.
virtual SValuePtr and_(const SValuePtr &a, const SValuePtr &b)=0
Computes bit-wise AND of two values.
Main namespace for the ROSE library.
virtual SValuePtr invert(const SValuePtr &a)=0
One's complement.
virtual SValuePtr isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)
Comparison for signed values.
virtual SValuePtr number_(size_t nbits, uint64_t value)
Returns a number of the specified bit width.
virtual SValuePtr signExtend(const SValuePtr &a, size_t new_width)=0
Sign extends a value.
virtual void name(const std::string &s)
Property: Name used for debugging.
virtual SValuePtr isNotEqual(const SValuePtr &a, const SValuePtr &b)
Equality comparison.
boost::shared_ptr< State > StatePtr
Shared-ownership pointer to a semantic state.
virtual void comment(const std::string &)
Inject a line comment into debugging streams.
virtual SValuePtr iteWithStatus(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b, IteStatus &status)=0
If-then-else with status.
virtual SValuePtr fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType)
Round toward zero.
virtual SValuePtr shiftLeft(const SValuePtr &a, const SValuePtr &nbits)=0
Returns arg shifted left.
virtual void writeRegister(RegisterDescriptor reg, const SValuePtr &a)
Writes a value to a register.
WithFormatter with_format(Formatter &fmt)
Used for printing RISC operators with formatting.
virtual SValuePtr extract(const SValuePtr &a, size_t begin_bit, size_t end_bit)=0
Extracts bits from a value.
virtual SValuePtr filterReturnTarget(const SValuePtr &a)
Invoked to filter return targets.
virtual SValuePtr unspecified_(size_t nbits)
Returns a new undefined value.
virtual SValuePtr filterCallTarget(const SValuePtr &a)
Invoked to filter call targets.
virtual SValuePtr signedMultiply(const SValuePtr &a, const SValuePtr &b)=0
Multiplies two signed values.
virtual SValuePtr reverseElmts(const SValuePtr &a, size_t elmtNBits)
Reverse parts of a value.
virtual RiscOperatorsPtr create(const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const =0
Virtual allocating constructor.
virtual SValuePtr fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Whether a floating-point value is infinity.
HotPatch & hotPatch()
Property: Post-instruction hot patches.
virtual SValuePtr isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)
Comparison for unsigned values.
virtual SValuePtr or_(const SValuePtr &a, const SValuePtr &b)=0
Computes bit-wise OR of two values.
virtual SValuePtr fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt)
Construct an integer value from a floating-point value.
virtual SValuePtr fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Whether a floating-point value is denormalized.
Describes (part of) a physical CPU register.
SValuePtr peekRegister(RegisterDescriptor reg)
Obtain a register value without side effects.
virtual SValuePtr isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)
Comparison for signed values.
virtual SValuePtr reinterpret(const SValuePtr &a, SgAsmType *retType)
Reinterpret an expression as a different type.
virtual void currentInstruction(SgAsmInstruction *insn)
Property: Current instruction.
virtual void hlt()
Invoked for the x86 HLT instruction.
virtual SValuePtr signedModulo(const SValuePtr &a, const SValuePtr &b)=0
Calculates modulo with signed values.
virtual SValuePtr subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)
Subtract one value from another.
virtual size_t nInsns() const
Property: Number of instructions processed.
virtual SValuePtr ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b) final
If-then-else.
virtual SValuePtr fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)
Add two floating-point values.
virtual SValuePtr signedDivide(const SValuePtr &dividend, const SValuePtr &divisor)=0
Divides two signed values.
virtual SValuePtr convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType)
Convert value from one type to another.
virtual SValuePtr readRegister(RegisterDescriptor reg)
Reads a value from a register.
virtual void nInsns(size_t n)
Property: Number of instructions processed.
virtual SValuePtr add(const SValuePtr &a, const SValuePtr &b)=0
Adds two integers of equal size.
virtual SValuePtr concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits)
Aliases for concatenation.
virtual SValuePtr peekMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt)=0
Read memory without side effects.
virtual void solver(const SmtSolverPtr &s)
Property: Satisfiability module theory (SMT) solver.
virtual void writeMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &data, const SValuePtr &cond)=0
Writes a value to memory.
virtual SValuePtr concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits)
Aliases for concatenation.
virtual StatePtr currentState() const
Property: Current semantic state.
virtual SgAsmInstruction * currentInstruction() const
Property: Current instruction.
virtual SValuePtr fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType)
Square root.
Base class for binary types.
virtual void finishInstruction(SgAsmInstruction *insn)
Called at the end of every instruction.
virtual void interrupt(int, int)
Invoked for instructions that cause an interrupt.
virtual SValuePtr boolean_(bool value)
Returns a Boolean value.
virtual SValuePtr isSignedLessThan(const SValuePtr &a, const SValuePtr &b)
Comparison for signed values.
virtual SValuePtr addWithCarries(const SValuePtr &a, const SValuePtr &b, const SValuePtr &c, SValuePtr &carry_out)=0
Add two values of equal size and a carry bit.
virtual SValuePtr countLeadingZeros(const SValuePtr &a)
Count leading zero bits.
virtual SmtSolverPtr solver() const
Property: Satisfiability module theory (SMT) solver.
virtual SValuePtr leastSignificantSetBit(const SValuePtr &a)=0
Returns position of least significant set bit; zero when no bits are set.
std::shared_ptr< SmtSolver > SmtSolverPtr
Reference counting pointer.
virtual SValuePtr rotateLeft(const SValuePtr &a, const SValuePtr &nbits)=0
Rotate bits to the left.
virtual void currentState(const StatePtr &s)
Property: Current semantic state.
virtual SValuePtr addCarry(const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed)
Adds two integers of equal size and carry.
WithFormatter operator+(Formatter &fmt)
Used for printing RISC operators with formatting.
virtual SValuePtr isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b)
Comparison for signed values.
virtual SValuePtr isEqual(const SValuePtr &a, const SValuePtr &b)
Equality comparison.
virtual SValuePtr fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Whether a floating-point value is equal to zero.
virtual SValuePtr protoval() const
Property: Prototypical semantic value.
virtual SValuePtr unsignedModulo(const SValuePtr &a, const SValuePtr &b)=0
Calculates modulo with unsigned values.
Base class for most instruction semantics RISC operators.
Definition: RiscOperators.h:49
virtual SValuePtr fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Sign of floating-point value.
virtual SValuePtr fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType)
Exponent of floating-point value.
virtual SValuePtr unsignedExtend(const SValuePtr &a, size_t new_width)
Extend (or shrink) operand a so it is nbits wide by adding or removing high-order bits...
virtual SValuePtr rdtsc()
Invoked for the x86 RDTSC instruction.
virtual SValuePtr isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b)
Comparison for unsigned values.
virtual SValuePtr mostSignificantSetBit(const SValuePtr &a)=0
Returns position of most significant set bit; zero when no bits are set.
Floating point types.
void print(std::ostream &stream, const std::string prefix="") const
Print multi-line output for this object.
virtual void hash(Combinatorics::Hasher &)
Compute hash of current state.
virtual SValuePtr unsignedMultiply(const SValuePtr &a, const SValuePtr &b)=0
Multiply two unsigned values.
virtual SValuePtr isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b)
Comparison for unsigned values.