Upgrade latch to version 0.2.1 (#228)

* Extend spectest suite

* Update latch and refactor tests

* Update latch and refactor tests

* Update latch and refactor spec test

* Update latch to fix names_2 test

* Update debug and prim tests

* Fix spec tests

* Improve github ci output

* Expand test suite

* Update test scripts

* wip

* wip

* Update tests

* Remove debug messages

* wip debugger.test.ts

* Maths

* Clean latch test folder

* Remove incidentally included files

* Update to latch `0.2.1`

* Update README.md

* Hotfix timeout issue

* Fix third stage test suites

* Fix debugger.test.ts

Author: tolauwae

CMakeLists.txt

@@ -62,7 +62,7 @@ if (BUILD_EMULATOR)
 
     # Set default compile flags for GCC
     if (CMAKE_COMPILER_IS_GNUCXX)
-        add_compile_options(-g -v -Wall -Wextra -Wunused)
+        add_compile_options(-g -v -Wall -Wextra -Wunused -O3)
     endif (CMAKE_COMPILER_IS_GNUCXX)
 
     # WARDuino CLI
@@ -96,7 +96,7 @@ if (BUILD_UNITTEST)
 
     # Set default compile flags for GCC
     if (CMAKE_COMPILER_IS_GNUCXX)
-        add_compile_options(-g -v -Wall -Wextra -Wunused)
+        add_compile_options(-g -v -Wall -Wextra -Wunused -O3)
     endif (CMAKE_COMPILER_IS_GNUCXX)
 
 

src/Debug/debugger.cpp

@@ -167,7 +167,7 @@ bool Debugger::checkDebugMessages(Module *m, RunningState *program_state) {
         fflush(stdout);
         return false;
     }
-    printf("received interrupt %x\n", *interruptData);
+    debug("received interrupt %x\n", *interruptData);
     fflush(stdout);
 
     this->channel->write("Interrupt: %x\n", *interruptData);
@@ -286,7 +286,7 @@ bool Debugger::checkDebugMessages(Module *m, RunningState *program_state) {
             free(interruptData);
         } break;
         case interruptMonitorProxies: {
-            printf("receiving functions list to proxy\n");
+            debug("receiving functions list to proxy\n");
             this->handleMonitorProxies(m, interruptData + 1);
             free(interruptData);
         } break;
@@ -297,7 +297,7 @@ bool Debugger::checkDebugMessages(Module *m, RunningState *program_state) {
             break;
         }
         case interruptDUMPAllEvents:
-            printf("InterruptDUMPEvents\n");
+            debug("InterruptDUMPEvents\n");
             size = (long)CallbackHandler::event_count();
         case interruptDUMPEvents:
             // TODO get start and size from message
@@ -700,7 +700,7 @@ void Debugger::notifyPushedEvent() const {
 bool Debugger::handlePushedEvent(char *bytes) const {
     if (*bytes != interruptPUSHEvent) return false;
     auto parsed = nlohmann::json::parse(bytes + 1);
-    printf("handle pushed event: %s\n", bytes + 1);
+    debug("handle pushed event: %s\n", bytes + 1);
     auto *event = new Event(*parsed.find("topic"), *parsed.find("payload"));
     CallbackHandler::push_event(event);
     this->notifyPushedEvent();
@@ -1217,12 +1217,12 @@ bool Debugger::isProxied(uint32_t fidx) const {
 
 void Debugger::handleMonitorProxies(Module *m, uint8_t *interruptData) {
     uint32_t amount_funcs = read_B32(&interruptData);
-    printf("funcs_total %" PRIu32 "\n", amount_funcs);
+    debug("funcs_total %" PRIu32 "\n", amount_funcs);
 
     m->warduino->debugger->supervisor->unregisterAllProxiedCalls();
     for (uint32_t i = 0; i < amount_funcs; i++) {
         uint32_t fidx = read_B32(&interruptData);
-        printf("registering fid=%" PRIu32 "\n", fidx);
+        debug("registering fid=%" PRIu32 "\n", fidx);
         m->warduino->debugger->supervisor->registerProxiedCall(fidx);
     }
 
@@ -1233,7 +1233,7 @@ void Debugger::startProxySupervisor(Channel *socket) {
     this->connected_to_proxy = true;
 
     this->supervisor = new ProxySupervisor(socket, this->supervisor_mutex);
-    printf("Connected to proxy.\n");
+    debug("Connected to proxy.\n");
 }
 
 bool Debugger::proxy_connected() const { return this->connected_to_proxy; }

tests/latch/README.md

@@ -6,6 +6,7 @@ Run test with the following commands:
 npm run spectest
 npm run primtest
 npm run debugtest
+npm run comptest
 ```
 
 Make sure the EMULATOR environment variable is set when you run the tests on the emulator.

tests/latch/clean.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+
+mkdir -p cleaned
+
+for file in /home/tom/Documents/TOPL/plugin/entire/*.asserts.wast; do
+    base=$(basename -- "$file")
+    base="${base%%.*}"
+
+    echo "copying $file and $base"
+
+    mkdir -p tmp
+    cp $file tmp/
+    cp $(dirname $file)/${base}.wast tmp/
+
+    ls tmp/
+
+    WABT=/home/tom/Documents/TOPL/plugin/WABT/build/ CORESUITE=$(realpath tmp)/ npm run spectest > output
+
+    while read line; do
+    
+      if grep -q "✔" <<< "$line"; then
+        echo "$line" | grep -o "(.*$" | sed "s/(/&assert_return /" >> cleaned/${base}.asserts.wast
+      elif grep -q "✖" <<< "$line"; then
+        echo "removing $line" 
+      fi
+    done < output
+
+    rm -rf tmp
+    rm output
+done

tests/latch/core/f64.asserts.wast

@@ -0,0 +1,15 @@
+
+(module
+  (func (export "add") (param $x f64) (param $y f64) (result f64) (f64.add (local.get $x) (local.get $y)))
+  (func (export "sub") (param $x f64) (param $y f64) (result f64) (f64.sub (local.get $x) (local.get $y)))
+  (func (export "mul") (param $x f64) (param $y f64) (result f64) (f64.mul (local.get $x) (local.get $y)))
+  (func (export "div") (param $x f64) (param $y f64) (result f64) (f64.div (local.get $x) (local.get $y)))
+  (func (export "sqrt") (param $x f64) (result f64) (f64.sqrt (local.get $x)))
+  (func (export "min") (param $x f64) (param $y f64) (result f64) (f64.min (local.get $x) (local.get $y)))
+  (func (export "max") (param $x f64) (param $y f64) (result f64) (f64.max (local.get $x) (local.get $y)))
+  (func (export "ceil") (param $x f64) (result f64) (f64.ceil (local.get $x)))
+  (func (export "floor") (param $x f64) (result f64) (f64.floor (local.get $x)))
+  (func (export "trunc") (param $x f64) (result f64) (f64.trunc (local.get $x)))
+  (func (export "nearest") (param $x f64) (result f64) (f64.nearest (local.get $x)))
+)
+