compiler: rework export index allocation

The current implementation of the module export offset tracking was
inadequate and failed to properly handle larger module dependency
graphs. In order to properly support nested module imports/exports,
the following changes have been introduced:

 - Gather export slots during module compilation and emit corresponding
   export opcodes as one contiguous block at the end of the module
   function body, right before the final return. This ensures that
   interleaved imports of other modules do not place foreign exports
   between our module exports.

 - Track the number of program wide allocated export slots in order
   to derive per-module-source offsets for the global VM export list.

 - Derive import opcode source index from the module source export
   offset and the index of the requested name within the module source
   export name list.

 - Improve error reporting for circular module imports.

Signed-off-by: Jo-Philipp Wich <jo@mein.io>

1 files changed, 4 insertions, 2 deletions

diff --git a/include/ucode/types.h b/include/ucode/types.h
index 64ae7cb..636d6e4 100644
--- a/include/ucode/types.h
+++ b/include/ucode/types.h
@@ -65,7 +65,6 @@ typedef struct {
 /* Source buffer defintions */
 
 uc_declare_vector(uc_lineinfo_t, uint8_t);
-uc_declare_vector(uc_exports_t, uc_value_t *);
 
 typedef struct {
 	uc_value_t header;
@@ -73,7 +72,10 @@ typedef struct {
 	FILE *fp;
 	size_t off;
 	uc_lineinfo_t lineinfo;
-	uc_exports_t exports;
+	struct {
+		size_t count, offset;
+		uc_value_t **entries;
+	} exports;
 } uc_source_t;