frontend: separate compiler & lexer

1 files changed, 54 insertions, 0 deletions

diff --git a/c.h b/c.h
new file mode 100644
index 0000000..6cdde09
--- /dev/null
+++ b/c.h
@@ -0,0 +1,54 @@
+#include "common.h"
+
+/*************/
+/* EXPR TREE */
+/*************/
+
+enum exprkind {
+   EXXX, ENUMLIT, ESTRLIT, ESYM, EINIT, EGETF, ECALL, ECOND,
+   /* unary */
+   EPLUS, ENEG, ECOMPL, ELOGNOT, EDEREF, EADDROF, ECAST,
+   EPREINC, EPOSTINC, EPREDEC, EPOSTDEC,
+   /* binary */
+   EADD, ESUB, EMUL, EDIV, EREM, EBAND, EBIOR, EXOR, ESHL, ESHR,
+   ELOGAND, ELOGIOR,
+   EEQU, ENEQ, ELTH, EGTH, ELTE, EGTE,
+   ESET, ESETADD, ESETSUB, ESETMUL, ESETDIV, ESETREM, ESETAND, ESETIOR, ESETXOR, ESETSHL, ESETSHR,
+   ESEQ,
+};
+#define isunop(t) in_range(t, EPLUS, EPOSTDEC)
+#define isbinop(t) in_range(t, EADD, ESEQ)
+#define isassign(t) in_range(t, ESET, ESETSHR)
+#define assigntobinop(t) ((t) - ESETADD + EADD)
+
+struct expr {
+   uchar t;
+   uchar qual;
+   ushort narg; /* ECALL */
+   union type ty;
+   struct span span;
+   union {
+     struct {
+        struct expr *sub;
+        struct {
+           ushort off;
+           uchar bitsiz, bitoff;
+        } fld; /* EGETF */
+     };
+     uvlong u; vlong i; double f; /* ENUMLIT */
+     struct bytes s; /* ESTRLIT */
+     struct decl *sym; /* ESYM */
+     struct initializer *ini; /* EINIT */
+   };
+};
+
+enum evalmode {
+   EVINTCONST,
+   EVARITH,
+   EVSTATICINI,
+   EVFOLD,
+};
+
+bool eval(struct expr *, enum evalmode);
+
+/* vim:set ts=3 sw=3 expandtab: */