From 4c2a536151c588ae4b24f6c601dc1ef7dc3c6526 Mon Sep 17 00:00:00 2001
From: Dan Hirsch <thequux@upstandinghackers.com>
Date: Sun, 17 Mar 2013 19:56:43 -0700
Subject: [PATCH] Added framework for implementing HParser-to-RVM compiler
---
src/backends/regex.h | 16 +++++++++++++++-
src/parsers/parser_internal.h | 1 +
2 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/src/backends/regex.h b/src/backends/regex.h
index a0bc5b8..605ff77 100644
--- a/src/backends/regex.h
+++ b/src/backends/regex.h
@@ -27,7 +27,7 @@ typedef struct HRVMInsn_{
uint16_t arg;
} HRVMInsn;
-const HTokenType TT_MARK = TT_RESERVED_1;
+#define TT_MARK TT_RESERVED_1
typedef struct HSVMContext_ {
HParsedToken **stack;
@@ -49,7 +49,21 @@ typedef struct HRVMProg_ {
HSVMAction *actions;
} HRVMProg;
+// Returns true IFF the provided parser could be compiled.
+bool h_compile_regex(HRVMProg *prog, const HParser* parser);
+// These functions are used by the compile_to_rvm method of HParser
+uint16_t h_rvm_create_action(HRVMProg *prog, HSVMAction *action);
+// returns the address of the instruction just created
+uint16_t h_rvm_insert_insn(HRVMProg *prog, HRVMOp op, uint16_t arg);
+
+// returns the address of the next insn to be created.
+uint16_t h_rvm_get_ip(HRVMProg *prog);
+
+// Used to insert forward references; the idea is to generate a JUMP
+// or FORK instruction with a target of 0, then update it once the
+// correct target is known.
+void h_rvm_patch_arg(HRVMProg *prog, uint16_t ip, uint16_t new_val);
#endif
diff --git a/src/parsers/parser_internal.h b/src/parsers/parser_internal.h
index d8b3651..938dd23 100644
--- a/src/parsers/parser_internal.h
+++ b/src/parsers/parser_internal.h
@@ -2,6 +2,7 @@
#define HAMMER_PARSE_INTERNAL__H
#include "../hammer.h"
#include "../internal.h"
+#include "../backends/regex.h"
#define a_new_(arena, typ, count) ((typ*)h_arena_malloc((arena), sizeof(typ)*(count)))
#define a_new(typ, count) a_new_(state->arena, typ, count)
--
GitLab