Internal API for stateful Wasm operations (#233)

* Add store API

* Move store API to separate file

* 🐛 Fix store operation

* 🎨 Clang format

* Fix build

* 🔨 Add `Interpreter` class and `internals.h`

* Add general load function to interpreter

* Fix load instruction

* Fix offset in load

Author: tolauwae

CMakeLists.txt

@@ -45,6 +45,7 @@ if (BUILD_EMULATOR)
             src/WARDuino/CallbackHandler.cpp
             src/Primitives/emulated.cpp
             src/Interpreter/instructions.cpp
+            src/Interpreter/interpreter.cpp
             src/Memory/mem.cpp
             src/Utils/util.cpp
             src/Utils/util_arduino.cpp
@@ -84,6 +85,7 @@ if (BUILD_UNITTEST)
             src/WARDuino/CallbackHandler.cpp
             src/Primitives/emulated.cpp
             src/Interpreter/instructions.cpp
+            src/Interpreter/interpreter.cpp
             src/Memory/mem.cpp
             src/Utils/util.cpp
             src/Utils/util_arduino.cpp

platforms/ESP-IDF/CMakeLists.txt

@@ -1,6 +1,7 @@
 set(SOURCE_FILES
         ../../src/Debug/debugger.cpp
         ../../src/Interpreter/instructions.cpp
+        ../../src/Interpreter/interpreter.cpp
         ../../src/Memory/mem.cpp
         ../../src/Primitives/idf.cpp
         ../../src/Edward/proxy.cpp

src/Debug/debugger.cpp

@@ -12,6 +12,7 @@
 #include "../Memory/mem.h"
 #include "../Utils//util.h"
 #include "../Utils/macros.h"
+#include "../WARDuino/CallbackHandler.h"
 
 // Debugger
 
@@ -1211,6 +1212,8 @@ void Debugger::sendProxyCallResult(Module *m) {
     this->proxy->returnResult(m);
 }
 
+bool Debugger::isProxy() const { return this->proxy != nullptr; }
+
 bool Debugger::isProxied(uint32_t fidx) const {
     return this->supervisor != nullptr && this->supervisor->isProxied(fidx);
 }

src/Debug/debugger.h

@@ -18,6 +18,11 @@ struct Module;
 struct Block;
 struct StackValue;
 
+enum operation {
+    STORE = 0,
+    LOAD = 1,
+};
+
 enum RunningState {
     WARDUINOinit,
     WARDUINOrun,
@@ -80,7 +85,12 @@ enum InterruptTypes {
     interruptPOPEvent = 0x72,
     interruptPUSHEvent = 0x73,
     interruptDUMPCallbackmapping = 0x74,
-    interruptRecvCallbackmapping = 0x75
+    interruptRecvCallbackmapping = 0x75,
+
+    // Operations
+    interruptStore = 0xa0,
+    interruptStored = 0xa1,
+
 };
 
 class Debugger {
@@ -171,6 +181,8 @@ class Debugger {
 
     static void updateCallbackmapping(Module *m, const char *interruptData);
 
+    bool operation(Module *m, operation op);
+
    public:
     // Public fields
     std::mutex messageQueueMutex;  // mutual exclude debugMessages
@@ -229,6 +241,8 @@ class Debugger {
 
     void sendProxyCallResult(Module *m);
 
+    bool isProxy() const;
+
     bool isProxied(uint32_t fidx) const;
 
     void startProxySupervisor(Channel *socket);

src/Edward/proxy.cpp

@@ -39,7 +39,7 @@ void Proxy::pushRFC(Module *m, RFC *rfc) {
     }
 
     // push function to callstack
-    setup_call(m, rfc->fidx);
+    m->warduino->interpreter->setup_call(m, rfc->fidx);
     // push proxy guard block to stack
     this->pushProxyGuard(m);
 
@@ -115,5 +115,5 @@ void Proxy::pushProxyGuard(Module *m) {
     }
     auto *guard = (Block *)malloc(sizeof(struct Block));
     guard->block_type = 0xfe;  // 0xfe proxy guard
-    push_block(m, guard, m->sp);
+    m->warduino->interpreter->push_block(m, guard, m->sp);
 }

src/Edward/proxy_supervisor.cpp

@@ -15,6 +15,7 @@
 
 #include "../Utils/macros.h"
 #include "../Utils/util.h"
+#include "../WARDuino/CallbackHandler.h"
 
 // TODO exception msg
 const char SUCCESS[] = "";  // Empty denotes success