STP: Add pre-generated ASTKind.{cpp,h}.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100389 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 197 insertions, 0 deletions

diff --git a/stp/AST/ASTKind.cpp b/stp/AST/ASTKind.cpp
new file mode 100644
index 00000000..9a2392c9
--- /dev/null
+++ b/stp/AST/ASTKind.cpp
@@ -0,0 +1,118 @@
+// Generated automatically by genkinds.h from ASTKind.kinds Sun Apr  4 19:39:09 2010.
+// Do not edit
+namespace BEEV {
+const char * _kind_names[] =  {
+   "UNDEFINED",
+   "SYMBOL",
+   "BVCONST",
+   "BVNEG",
+   "BVCONCAT",
+   "BVOR",
+   "BVAND",
+   "BVXOR",
+   "BVNAND",
+   "BVNOR",
+   "BVXNOR",
+   "BVEXTRACT",
+   "BVLEFTSHIFT",
+   "BVRIGHTSHIFT",
+   "BVSRSHIFT",
+   "BVVARSHIFT",
+   "BVPLUS",
+   "BVSUB",
+   "BVUMINUS",
+   "BVMULTINVERSE",
+   "BVMULT",
+   "BVDIV",
+   "BVMOD",
+   "SBVDIV",
+   "SBVMOD",
+   "BVSX",
+   "BOOLVEC",
+   "ITE",
+   "BVGETBIT",
+   "BVLT",
+   "BVLE",
+   "BVGT",
+   "BVGE",
+   "BVSLT",
+   "BVSLE",
+   "BVSGT",
+   "BVSGE",
+   "EQ",
+   "NEQ",
+   "FALSE",
+   "TRUE",
+   "NOT",
+   "AND",
+   "OR",
+   "NAND",
+   "NOR",
+   "XOR",
+   "IFF",
+   "IMPLIES",
+   "READ",
+   "WRITE",
+   "ARRAY",
+   "BITVECTOR",
+   "BOOLEAN",
+};
+
+unsigned char _kind_categories[] = {
+   0,
+   3,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   3,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   1,
+   1,
+   0,
+   0,
+   0,
+};
+
+}  // end namespace
diff --git a/stp/AST/ASTKind.h b/stp/AST/ASTKind.h
new file mode 100644
index 00000000..d069fdcf
--- /dev/null
+++ b/stp/AST/ASTKind.h
@@ -0,0 +1,79 @@
+// -*- c++ -*-
+#ifndef TESTKINDS_H
+#define TESTKINDS_H
+// Generated automatically by genkinds.pl from ASTKind.kinds Sun Apr  4 19:39:09 2010.
+// Do not edit
+namespace BEEV {
+  typedef enum {
+    UNDEFINED,
+    SYMBOL,
+    BVCONST,
+    BVNEG,
+    BVCONCAT,
+    BVOR,
+    BVAND,
+    BVXOR,
+    BVNAND,
+    BVNOR,
+    BVXNOR,
+    BVEXTRACT,
+    BVLEFTSHIFT,
+    BVRIGHTSHIFT,
+    BVSRSHIFT,
+    BVVARSHIFT,
+    BVPLUS,
+    BVSUB,
+    BVUMINUS,
+    BVMULTINVERSE,
+    BVMULT,
+    BVDIV,
+    BVMOD,
+    SBVDIV,
+    SBVMOD,
+    BVSX,
+    BOOLVEC,
+    ITE,
+    BVGETBIT,
+    BVLT,
+    BVLE,
+    BVGT,
+    BVGE,
+    BVSLT,
+    BVSLE,
+    BVSGT,
+    BVSGE,
+    EQ,
+    NEQ,
+    FALSE,
+    TRUE,
+    NOT,
+    AND,
+    OR,
+    NAND,
+    NOR,
+    XOR,
+    IFF,
+    IMPLIES,
+    READ,
+    WRITE,
+    ARRAY,
+    BITVECTOR,
+    BOOLEAN,
+} Kind;
+
+extern unsigned char _kind_categories[];
+
+inline bool is_Term_kind(Kind k) { return (_kind_categories[k] & 1); }
+
+inline bool is_Form_kind(Kind k) { return (_kind_categories[k] & 2); }
+
+extern const char *_kind_names[];
+
+/** Prints symbolic name of kind */
+inline ostream& operator<<(ostream &os, const Kind &kind) { os << _kind_names[kind]; return os; }
+
+
+};  // end namespace
+
+
+#endif