SEGCastNode.h

/*
 * SEGCastNode.h
 *
 * Qingkai
 *
 * This node is to model a cast operation.
 */
 
#ifndef IR_SEG_SEGCASTNODE_H
#define IR_SEG_SEGCASTNODE_H
 
#include <llvm/IR/BasicBlock.h>
 
#include "IR/SEG/SymbolicExprGraph.h"
 
using namespace llvm;
 
class PersistedSEGCastNode;
 
class SEGCastNode : public SEGOpcodeNode {
public:
  SEGCastNode(PersistedSEGCastNode *Node, SymbolicExprGraph *SEG);
 
  virtual void assembleSEGObject(std::map<int, SEGObject *> &FuncSEGObjMap) {
    SEGOpcodeNode::assembleSEGObject(FuncSEGObjMap);
  }
 
private:
  uint64_t OriginSize;
  uint64_t TargetSize;
 
  SEGCastNode(CodeKind Opcode, Type *Ty, SymbolicExprGraph *SEG, BasicBlock *BB,
              uint64_t OSz, uint64_t TSz);
 
  friend class SymbolicExprGraph;
 
public:
  virtual ~SEGCastNode();
 
  virtual PersistedSEGObject *createPersistedObject() const;
 
  virtual void dot(raw_fd_ostream &O) const;
 
  uint64_t getOriginSize() const;
 
  uint64_t getTargetSize() const;
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_Cast;
  }
};
 
#endif