#include <Expr.h>
Public Member Functions | |
| CastExpr (const ref< Expr > &e, Width w) | |
| Width | getWidth () const |
| unsigned | getNumKids () const |
| ref< Expr > | getKid (unsigned i) const |
| int | compareContents (const Expr &b) const |
| virtual unsigned | computeHash () |
 Public Member Functions inherited from klee::Expr | |
| Expr () | |
| virtual | ~Expr () |
| virtual Kind | getKind () const =0 |
| virtual Width | getWidth () const =0 |
| virtual unsigned | getNumKids () const =0 |
| virtual ref< Expr > | getKid (unsigned i) const =0 |
| virtual void | print (llvm::raw_ostream &os) const |
| void | dump () const |
| dump - Print the expression to stderr. More... | |
| virtual unsigned | hash () const |
| Returns the pre-computed hash of the current expression. More... | |
| virtual unsigned | computeHash () |
| int | compare (const Expr &b) const |
| virtual ref< Expr > | rebuild (ref< Expr > kids[]) const =0 |
| bool | isZero () const |
| isZero - Is this a constant zero. More... | |
| bool | isTrue () const |
| isTrue - Is this the true expression. More... | |
| bool | isFalse () const |
| isFalse - Is this the false expression. More... | |
Static Public Member Functions | |
| static bool | needsResultType () |
| static bool | classof (const Expr *E) |
| static bool | classof (const CastExpr *) |
| Static Public Member Functions inherited from klee::NonConstantExpr | |
| static bool | classof (const Expr *E) |
| static bool | classof (const NonConstantExpr *) |
| Static Public Member Functions inherited from klee::Expr | |
| static void | printKind (llvm::raw_ostream &os, Kind k) |
| static void | printWidth (llvm::raw_ostream &os, Expr::Width w) |
| static unsigned | getMinBytesForWidth (Width w) |
| returns the smallest number of bytes in which the given width fits More... | |
| static ref< Expr > | createSExtToPointerWidth (ref< Expr > e) |
| static ref< Expr > | createZExtToPointerWidth (ref< Expr > e) |
| static ref< Expr > | createImplies (ref< Expr > hyp, ref< Expr > conc) |
| static ref< Expr > | createIsZero (ref< Expr > e) |
| static ref< Expr > | createTempRead (const Array *array, Expr::Width w) |
| static ref< ConstantExpr > | createPointer (uint64_t v) |
| static ref< Expr > | createFromKind (Kind k, std::vector< CreateArg > args) |
| static bool | isValidKidWidth (unsigned kid, Width w) |
| static bool | needsResultType () |
| static bool | classof (const Expr *) |
Public Attributes | |
| ref< Expr > | src |
| Width | width |
| Public Attributes inherited from klee::Expr | |
| class ReferenceCounter | _refCount |
| Required by klee::ref-managed objects. More... | |
Additional Inherited Members | |
| Public Types inherited from klee::Expr | |
| enum | Kind { InvalidKind = -1 , Constant = 0 , NotOptimized , Read =NotOptimized+2 , Select , Concat , Extract , ZExt , SExt , Not , Add , Sub , Mul , UDiv , SDiv , URem , SRem , And , Or , Xor , Shl , LShr , AShr , Eq , Ne , Ult , Ule , Ugt , Uge , Slt , Sle , Sgt , Sge , LastKind =Sge , CastKindFirst =ZExt , CastKindLast =SExt , BinaryKindFirst =Add , BinaryKindLast =Sge , CmpKindFirst =Eq , CmpKindLast =Sge } |
| typedef unsigned | Width |
| The type of an expression is simply its width, in bits. More... | |
| Static Public Attributes inherited from klee::Expr | |
| static unsigned | count = 0 |
| static const unsigned | MAGIC_HASH_CONSTANT = 39 |
| static const Width | InvalidWidth = 0 |
| static const Width | Bool = 1 |
| static const Width | Int8 = 8 |
| static const Width | Int16 = 16 |
| static const Width | Int32 = 32 |
| static const Width | Int64 = 64 |
| static const Width | Fl80 = 80 |
| virtual int | compareContents (const Expr &b) const =0 |
| Protected Attributes inherited from klee::Expr | |
| unsigned | hashValue |
Detailed Description
Constructor & Destructor Documentation
◆ CastExpr()
Member Function Documentation
◆ classof() [1/2]
|
inlinestatic |
◆ classof() [2/2]
|
inlinestatic |
Definition at line 864 of file Expr.h.
References klee::Expr::CastKindFirst, klee::Expr::CastKindLast, and klee::Expr::getKind().
◆ compareContents()
|
inlinevirtual |
Compares b to this Expr and determines how they are ordered (ignoring their kid expressions - i.e. those returned by getKid()).
Typically this requires comparing internal attributes of the Expr.
Implementations can assume that b and this are of the same kind.
This method effectively defines a partial order over Expr of the same kind (partial because kid Expr are not compared).
This method should not be called directly. Instead compare() should be used.
- Parameters
-
[in] b Expr to compare thisto.
- Returns
- One of the following values:
- -1 if
thisis<bignoring kid expressions. - 1 if
thisis>bignoring kid expressions. - 0 if
thisandbare not ordered.
< and > are binary relations that express the partial order.
Implements klee::Expr.
Definition at line 856 of file Expr.h.
References width.
◆ computeHash()
|
virtual |
(Re)computes the hash of the current expression. Returns the hash value.
Reimplemented from klee::Expr.
Definition at line 205 of file Expr.cpp.
References getWidth(), klee::Expr::hash(), klee::Expr::hashValue, klee::Expr::MAGIC_HASH_CONSTANT, and src.
◆ getKid()
◆ getNumKids()
|
inlinevirtual |
Implements klee::Expr.
◆ getWidth()
|
inlinevirtual |
Implements klee::Expr.
Definition at line 849 of file Expr.h.
References width.
Referenced by computeHash().
◆ needsResultType()
Member Data Documentation
◆ src
Definition at line 843 of file Expr.h.
Referenced by computeHash(), klee::ImpliedValue::getImpliedValues(), getKid(), and CexData::propogatePossibleValues().
◆ width
| Width klee::CastExpr::width |
Definition at line 844 of file Expr.h.
Referenced by compareContents(), getWidth(), and CexData::propogatePossibleValues().
The documentation for this class was generated from the following files:
