platforms/esp32: trivial fixes (#237)

* platforms/esp32*: use m3_GetResultsV for stack access

* platforms/esp32*: print actual target name

platforms/embedded/esp32-idf-wasi/main/main.cpp

@@ -55,7 +55,7 @@ static void run_wasm(void)
 
 extern "C" void app_main(void)
 {
-    printf("\nWasm3 v" M3_VERSION " on ESP32, build " __DATE__ " " __TIME__ "\n");
+    printf("\nWasm3 v" M3_VERSION " on " CONFIG_IDF_TARGET ", build " __DATE__ " " __TIME__ "\n");
 
     clock_t start = clock();
     run_wasm();

platforms/embedded/esp32-idf/main/main.cpp

@@ -12,7 +12,6 @@
 #include <unistd.h>
 
 #include "wasm3.h"
-#include "m3_env.h"
 
 #include "extra/fib32.wasm.h"
 
@@ -48,13 +47,16 @@ static void run_wasm(void)
     result = m3_CallV(f, 24);
     if (result) FATAL("m3_Call: %s", result);
 
-    long value = *(uint64_t*)(runtime->stack);
-    printf("Result: %ld\n", value);
+    unsigned value = 0;
+    result = m3_GetResultsV (f, &value);
+    if (result) FATAL("m3_GetResults: %s", result);
+
+    printf("Result: %u\n", value);
 }
 
 extern "C" void app_main(void)
 {
-    printf("\nWasm3 v" M3_VERSION " on ESP32, build " __DATE__ " " __TIME__ "\n");
+    printf("\nWasm3 v" M3_VERSION " on " CONFIG_IDF_TARGET ", build " __DATE__ " " __TIME__ "\n");
 
     clock_t start = clock();
     run_wasm();

platforms/embedded/esp32-pio/src/main.cpp

@@ -12,7 +12,6 @@
 #include <unistd.h>
 
 #include "wasm3.h"
-#include "m3_env.h"
 
 #include "extra/fib32.wasm.h"
 
@@ -48,13 +47,16 @@ static void run_wasm(void)
     result = m3_CallV(f, 24);
     if (result) FATAL("m3_Call: %s", result);
 
-    long value = *(uint64_t*)(runtime->stack);
-    printf("Result: %ld\n", value);
+    unsigned value = 0;
+    result = m3_GetResultsV (f, &value);
+    if (result) FATAL("m3_GetResults: %s", result);
+
+    printf("Result: %u\n", value);
 }
 
 extern "C" void app_main(void)
 {
-    printf("\nWasm3 v" M3_VERSION " on ESP32, build " __DATE__ " " __TIME__ "\n");
+    printf("\nWasm3 v" M3_VERSION " on " CONFIG_IDF_TARGET ", build " __DATE__ " " __TIME__ "\n");
 
     clock_t start = clock();
     run_wasm();