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 SEGCastNode : public SEGOpcodeNode {
private:
  uint64_t OriginSize;
  uint64_t TargetSize;

  bool IsTemporary = false;

  SEGCastNode(CodeKind Opcode, Type *Ty, SymbolicExprGraph *SEG, BasicBlock *BB,
              uint64_t OSz, uint64_t TSz, bool fromDisk);

  friend class SymbolicExprGraph;

public:
  virtual ~SEGCastNode();

  virtual void dot(raw_fd_ostream &O) const;

  uint64_t getOriginSize() const;

  uint64_t getTargetSize() const;

  bool isTemporary() const { return IsTemporary; }

  void setTemporary() { IsTemporary = true; }

public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_Cast;
  }
};

#endif