SEGBinaryWithIntConstNode.h

/*
 * SEGBinaryWithIntNode.h
 *
 * Qingkai
 *
 * This node is to model a binary opcode, whose children are
 * a seg operand node and a constant integer.
 */

#ifndef IR_SEG_SEGBINARYWITHINTCONSTNODE_H
#define IR_SEG_SEGBINARYWITHINTCONSTNODE_H

#include <llvm/IR/BasicBlock.h>

#include "IR/SEG/SymbolicExprGraph.h"

using namespace llvm;

class SEGBinaryWithIntConstNode : public SEGOpcodeNode {
private:
  uint64_t IntConst;

  SEGBinaryWithIntConstNode(CodeKind Opcode, Type *Ty, SymbolicExprGraph *SEG,
                            BasicBlock *BB, uint64_t Const, bool fromDisk);

  friend class SymbolicExprGraph;

public:
  virtual ~SEGBinaryWithIntConstNode();

  virtual void dot(raw_fd_ostream &O) const;

  uint64_t getIntConstant() const;

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

#endif