klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::SelectExpr Class Reference

Class representing an if-then-else expression. More...

#include <Expr.h>

Inheritance diagram for klee::SelectExpr:
Collaboration diagram for klee::SelectExpr:

Public Member Functions

Width getWidth () const
 
Kind getKind () const
 
unsigned getNumKids () const
 
ref< ExprgetKid (unsigned i) const
 
virtual ref< Exprrebuild (ref< Expr > kids[]) const
 
- Public Member Functions inherited from klee::Expr
 Expr ()
 
virtual ~Expr ()
 
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, ExprEquivSet &equivs) const
 
int compare (const Expr &b) const
 
virtual int compareContents (const Expr &b) const
 
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 ref< Expralloc (const ref< Expr > &c, const ref< Expr > &t, const ref< Expr > &f)
 
static ref< Exprcreate (ref< Expr > c, ref< Expr > t, ref< Expr > f)
 
static bool isValidKidWidth (unsigned kid, Width w)
 
static bool classof (const Expr *E)
 
static bool classof (const SelectExpr *)
 
- 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< ExprcreateSExtToPointerWidth (ref< Expr > e)
 
static ref< ExprcreateZExtToPointerWidth (ref< Expr > e)
 
static ref< ExprcreateImplies (ref< Expr > hyp, ref< Expr > conc)
 
static ref< ExprcreateIsZero (ref< Expr > e)
 
static ref< ExprcreateTempRead (const Array *array, Expr::Width w)
 
static ref< ConstantExprcreatePointer (uint64_t v)
 
static ref< ExprcreateFromKind (Kind k, std::vector< CreateArg > args)
 
static bool isValidKidWidth (unsigned kid, Width w)
 
static bool needsResultType ()
 
static bool classof (const Expr *)
 

Public Attributes

ref< Exprcond
 
ref< ExprtrueExpr
 
ref< ExprfalseExpr
 
- Public Attributes inherited from klee::Expr
unsigned refCount
 

Static Public Attributes

static const Kind kind = Select
 
static const unsigned numKids = 3
 
- 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
 

Private Member Functions

 SelectExpr (const ref< Expr > &c, const ref< Expr > &t, const ref< Expr > &f)
 

Additional Inherited Members

- Public Types inherited from klee::Expr
enum  Kind {
  InvalidKind = -1, Constant = 0, NotOptimized, Read =NotOptimized+2,
  Select, Concat, Extract, ZExt,
  SExt, Add, Sub, Mul,
  UDiv, SDiv, URem, SRem,
  Not, 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...
 
typedef llvm::DenseSet
< std::pair< const Expr
*, const Expr * > > 
ExprEquivSet
 Returns 0 iff b is structuraly equivalent to *this. More...
 
- Protected Attributes inherited from klee::Expr
unsigned hashValue
 

Detailed Description

Class representing an if-then-else expression.

Definition at line 726 of file Expr.h.

Constructor & Destructor Documentation

klee::SelectExpr::SelectExpr ( const ref< Expr > &  c,
const ref< Expr > &  t,
const ref< Expr > &  f 
)
inlineprivate

Definition at line 769 of file Expr.h.

Referenced by alloc().

Here is the caller graph for this function:

Member Function Documentation

static ref<Expr> klee::SelectExpr::alloc ( const ref< Expr > &  c,
const ref< Expr > &  t,
const ref< Expr > &  f 
)
inlinestatic

Definition at line 735 of file Expr.h.

References klee::Expr::computeHash(), and SelectExpr().

Referenced by create().

Here is the call graph for this function:

Here is the caller graph for this function:

static bool klee::SelectExpr::classof ( const Expr E)
inlinestatic

Definition at line 773 of file Expr.h.

References klee::Expr::getKind(), and klee::Expr::Select.

Here is the call graph for this function:

static bool klee::SelectExpr::classof ( const SelectExpr )
inlinestatic

Definition at line 776 of file Expr.h.

ref< Expr > SelectExpr::create ( ref< Expr c,
ref< Expr t,
ref< Expr f 
)
static

Definition at line 527 of file Expr.cpp.

References alloc(), klee::Expr::Bool, klee::Expr::createIsZero(), and klee::Expr::getWidth().

Referenced by klee::Expr::createFromKind(), klee::Executor::executeInstruction(), klee::ExecutionState::merge(), and rebuild().

Here is the call graph for this function:

Here is the caller graph for this function:

ref<Expr> klee::SelectExpr::getKid ( unsigned  i) const
inlinevirtual

Implements klee::Expr.

Definition at line 748 of file Expr.h.

References cond, falseExpr, and trueExpr.

Kind klee::SelectExpr::getKind ( ) const
inlinevirtual

Implements klee::Expr.

Definition at line 745 of file Expr.h.

References klee::Expr::Select.

unsigned klee::SelectExpr::getNumKids ( ) const
inlinevirtual

Implements klee::Expr.

Definition at line 747 of file Expr.h.

References numKids.

Width klee::SelectExpr::getWidth ( ) const
inlinevirtual

Implements klee::Expr.

Definition at line 744 of file Expr.h.

References klee::Expr::getWidth(), and trueExpr.

Here is the call graph for this function:

static bool klee::SelectExpr::isValidKidWidth ( unsigned  kid,
Width  w 
)
inlinestatic

Definition at line 757 of file Expr.h.

References klee::Expr::Bool.

virtual ref<Expr> klee::SelectExpr::rebuild ( ref< Expr kids[]) const
inlinevirtual

Implements klee::Expr.

Definition at line 764 of file Expr.h.

References create().

Here is the call graph for this function:

Member Data Documentation

const Kind klee::SelectExpr::kind = Select
static

Definition at line 728 of file Expr.h.

const unsigned klee::SelectExpr::numKids = 3
static

Definition at line 729 of file Expr.h.

Referenced by getNumKids().


The documentation for this class was generated from the following files: