Add PlatformIO example

Author: vshymanskyy

examples_pio/Wasm_Advanced/.gitignore

@@ -0,0 +1 @@
+.pio

examples_pio/Wasm_Advanced/README.md

@@ -0,0 +1,16 @@
+## PlatformIO example (advanced)
+
+`./wasm_apps` contains sample apps in `C/C++`, `Rust`, `AssemblyScript`, `TinyGo`
+
+`./wasm_vm` contains the host interpreter/VM.  
+You can add your device type in `platformio.ini`.  
+Adjust the LED pin number with `-DLED_PIN` option.
+
+To run the example:
+```sh
+pio run -e <device> -t upload && pio device monitor
+```
+Where `<device>` is one of:  
+`ESP32`, `ESP8266`, `Arduino101`, `MKR1000`, `NucleoWB55RG`, `BluePill`, `TinyBLE`, `Teensy31`, `WildFireV3`
+
+**Note:** This example uses Wasm Linear Memory. You should be able to run it on any device that can afford to allocate 1-2 pages of Wasm Linear Memory (i.e. have >= 128KiB RAM).

examples_pio/Wasm_Advanced/platformio.ini

@@ -0,0 +1,120 @@
+; PlatformIO Project Configuration File
+;
+;   Build options: build flags, source filter
+;   Upload options: custom upload port, speed and extra flags
+;   Library options: dependencies, extra library storages
+;   Advanced options: extra scripting
+;
+; Please visit documentation for the other options and examples
+; https://docs.platformio.org/page/projectconf.html
+
+; Common configuration
+
+[platformio]
+src_dir = wasm_vm
+
+[env]
+framework = arduino
+monitor_speed = 115200
+
+lib_deps = Wasm3
+
+src_build_flags =
+  -Wno-unused-function -Wno-unused-variable -Wno-unused-parameter
+  -Wno-missing-field-initializers
+
+; Device-specific configuration
+
+[env:ESP32]
+platform = espressif32
+board = esp32dev
+board_build.f_cpu = 240000000L
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=19
+  -DESP32
+  -O3 -flto
+
+[env:ESP8266]
+platform = espressif8266
+board = nodemcuv2
+board_build.f_cpu = 160000000L
+
+upload_speed = 460800
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=13
+  -DESP8266 -Dd_m3FixedHeap=0x6000
+  -O3 -flto
+
+[env:Arduino101]
+platform = intel_arc32
+board = genuino101
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=13
+  -Os -flto
+
+[env:MKR1000]
+platform = atmelsam
+board = mkr1000USB
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=6
+  -O3 -flto
+
+[env:NucleoWB55RG]
+platform = ststm32
+board = nucleo_wb55rg_p
+upload_protocol = mbed
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=PB5
+  -O3 -flto
+
+[env:BluePill]
+platform = ststm32
+board = bluepill_f103c8
+upload_protocol = stlink
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=PC13
+  -Os -flto
+
+[env:TinyBLE]
+platform = nordicnrf51
+board = seeedTinyBLE
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=23
+  -Os -flto
+
+[env:Teensy31]
+platform = teensy
+board = teensy31
+upload_protocol = teensy-cli
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=13
+  -O3 -flto
+
+# d_m3SkipMemoryBoundsCheck was needed here,
+# as 64-bit operations seem to be broken on AVR
+[env:WildFireV3]
+platform = atmelavr
+board = wildfirev3
+
+src_build_flags =
+  ${env.src_build_flags}
+  -DLED_PIN=6
+  -Dd_m3SkipMemoryBoundsCheck=1
+  -Dd_m3CodePageAlignSize=512
+  -Os -flto

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/.gitignore

@@ -0,0 +1,2 @@
+node_modules/
+*.wat

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/app.ts

@@ -0,0 +1,37 @@
+import * as dev from "./arduino";
+
+let LED = dev.getPinLED();
+
+function cbk(size: usize): usize {
+  dev.println("!CBK!");
+  return 123;
+}
+
+function setup(): void {
+  dev.pinMode(LED, dev.OUTPUT);
+
+  dev.print('Hello from AssemblyScript 😊\n');
+}
+
+function run(): void {
+  const t = dev.millis();
+  dev.println('[' + t.toString() + '] ' + dev.getString());
+
+  //dev.testCallback(cbk);
+
+  dev.digitalWrite(LED, dev.HIGH);
+  dev.delay(100);
+  dev.digitalWrite(LED, dev.LOW);
+  dev.delay(900);
+}
+
+/*
+ * Entry point
+ */
+export function _start(): void {
+  setup();
+  while (1) {
+    run();
+  }
+}
+

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/app.wasm

@@ -0,0 +1,36 @@
+export const LOW  = 0;
+export const HIGH = 1;
+
+export const INPUT        = 0x0;
+export const OUTPUT       = 0x1;
+export const INPUT_PULLUP = 0x2;
+
+
+export declare function millis(): u32;
+export declare function delay(ms: u32): void;
+export declare function pinMode(pin: u32, mode: u32): void;
+export declare function digitalWrite(pin: u32, value: u32): void;
+export declare function getPinLED(): u32;
+
+@external("print")        declare function _print(ptr: usize): void;
+@external("getString")    declare function _getString(ptr: usize, len: i32): void;
+
+export function print(str: string): void {
+  _print(changetype<usize>(String.UTF8.encode(str, true)))
+}
+
+export function println(str: string): void {
+  print(str + '\n')
+}
+
+export function getString(): string {
+  const arr = new ArrayBuffer(64)
+  _getString(changetype<usize>(arr), 64)
+  return String.UTF8.decode(arr, true)
+}
+
+/*
+type testFunc = ((size: usize) => usize) | null;
+
+export declare function testCallback(f: testFunc): void;
+*/

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/app.wasm.h

@@ -0,0 +1,10 @@
+{
+  "license": "MIT",
+  "scripts": {
+    "build": "npm run asbuild:optimized && xxd -i app.wasm > app.wasm.h",
+    "asbuild:optimized": "npx asc app.ts -b app.wasm -t app.wat -O3z --runtime half --noAssert --use abort="
+  },
+  "devDependencies": {
+    "assemblyscript": "0.8.1-nightly.20200123"
+  }
+}

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/arduino.ts

@@ -0,0 +1,6 @@
+{
+  "extends": "./node_modules/assemblyscript/std/assembly.json",
+  "include": [
+    "./**/*.ts"
+  ]
+}

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/package-lock.json

@@ -0,0 +1,21 @@
+# THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
+# yarn lockfile v1
+
+
+[email protected]:
+  version "0.8.1-nightly.20200123"
+  resolved "https://registry.yarnpkg.com/assemblyscript/-/assemblyscript-0.8.1-nightly.20200123.tgz#5440a6f891d6417259339f52484d4dee53ae92b6"
+  integrity sha512-rYNvQWQF8CsiNx8HYUHX9F4KsI69xUuunDY96PPjebTQHoZLjhJ9ow2DaKYJ1Py74+N6QiVwcHzZJC4ECOecAw==
+  dependencies:
+    binaryen "90.0.0-nightly.20200101"
+    long "^4.0.0"
+
+[email protected]:
+  version "90.0.0-nightly.20200101"
+  resolved "https://registry.yarnpkg.com/binaryen/-/binaryen-90.0.0-nightly.20200101.tgz#75fb065e4a2dd88852c2872085e05eee0883106c"
+  integrity sha512-64lgruunUnkJD4YVD0DLCSRskqfo3xhoErM1H22GfkkWNT16/7tPTLG+MYqKLMALTiIyLL6L9UqmDaxOxDv0rw==
+
+long@^4.0.0:
+  version "4.0.0"
+  resolved "https://registry.yarnpkg.com/long/-/long-4.0.0.tgz#9a7b71cfb7d361a194ea555241c92f7468d5bf28"
+  integrity sha512-XsP+KhQif4bjX1kbuSiySJFNAehNxgLb6hPRGJ9QsUr8ajHkuXGdrHmFUTUUXhDwVX2R5bY4JNZEwbUiMhV+MA==

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/package.json

@@ -0,0 +1,29 @@
+
+#include "arduino_api.h"
+
+int LED_BUILTIN;
+
+void setup() {
+  LED_BUILTIN = getPinLED();
+
+  // initialize digital pin LED_BUILTIN as an output.
+  pinMode(LED_BUILTIN, OUTPUT);
+}
+
+// the loop function runs over and over again forever
+void loop() {
+  digitalWrite(LED_BUILTIN, HIGH);   // turn the LED on (HIGH is the voltage level)
+  delay(100);                        // wait 100ms
+  digitalWrite(LED_BUILTIN, LOW);    // turn the LED off by making the voltage LOW
+  delay(900);                        // wait 900ms
+}
+
+/*
+ * Entry point
+ */
+
+WASM_EXPORT
+void _start() {
+  setup();
+  while (1) { loop(); }
+}

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/tsconfig.json

@@ -0,0 +1,20 @@
+unsigned char app_wasm[] = {
+  0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x11, 0x04, 0x60,
+  0x02, 0x7f, 0x7f, 0x00, 0x60, 0x00, 0x00, 0x60, 0x01, 0x7f, 0x00, 0x60,
+  0x00, 0x01, 0x7f, 0x02, 0x4e, 0x04, 0x07, 0x61, 0x72, 0x64, 0x75, 0x69,
+  0x6e, 0x6f, 0x09, 0x67, 0x65, 0x74, 0x50, 0x69, 0x6e, 0x4c, 0x45, 0x44,
+  0x00, 0x03, 0x07, 0x61, 0x72, 0x64, 0x75, 0x69, 0x6e, 0x6f, 0x07, 0x70,
+  0x69, 0x6e, 0x4d, 0x6f, 0x64, 0x65, 0x00, 0x00, 0x07, 0x61, 0x72, 0x64,
+  0x75, 0x69, 0x6e, 0x6f, 0x0c, 0x64, 0x69, 0x67, 0x69, 0x74, 0x61, 0x6c,
+  0x57, 0x72, 0x69, 0x74, 0x65, 0x00, 0x00, 0x07, 0x61, 0x72, 0x64, 0x75,
+  0x69, 0x6e, 0x6f, 0x05, 0x64, 0x65, 0x6c, 0x61, 0x79, 0x00, 0x02, 0x03,
+  0x02, 0x01, 0x01, 0x05, 0x03, 0x01, 0x00, 0x01, 0x07, 0x13, 0x02, 0x06,
+  0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79, 0x02, 0x00, 0x06, 0x5f, 0x73, 0x74,
+  0x61, 0x72, 0x74, 0x00, 0x04, 0x0a, 0x3a, 0x01, 0x38, 0x01, 0x01, 0x7f,
+  0x41, 0x80, 0x08, 0x10, 0x00, 0x22, 0x00, 0x36, 0x02, 0x00, 0x20, 0x00,
+  0x41, 0x01, 0x10, 0x01, 0x03, 0x40, 0x41, 0x80, 0x08, 0x28, 0x02, 0x00,
+  0x41, 0x01, 0x10, 0x02, 0x41, 0xe4, 0x00, 0x10, 0x03, 0x41, 0x80, 0x08,
+  0x28, 0x02, 0x00, 0x41, 0x00, 0x10, 0x02, 0x41, 0x84, 0x07, 0x10, 0x03,
+  0x0c, 0x00, 0x0b, 0x00, 0x0b
+};
+unsigned int app_wasm_len = 197;

examples_pio/Wasm_Advanced/wasm_apps/assemblyscript/yarn.lock

@@ -0,0 +1,30 @@
+#ifndef arduino_wasm_api_h
+#define arduino_wasm_api_h
+
+#include <stdint.h>
+
+#define WASM_EXPORT                   extern "C" __attribute__((used)) __attribute__((visibility ("default")))
+#define WASM_EXPORT_AS(NAME)          WASM_EXPORT __attribute__((export_name(NAME)))
+#define WASM_IMPORT(MODULE,NAME)      __attribute__((import_module(MODULE))) __attribute__((import_name(NAME)))
+#define WASM_CONSTRUCTOR              __attribute__((constructor))
+
+#define LOW               0x0
+#define HIGH              0x1
+
+#define INPUT             0x0
+#define OUTPUT            0x1
+#define INPUT_PULLUP      0x2
+
+extern "C" {
+
+WASM_IMPORT("arduino", "millis")          uint32_t millis     (void);
+WASM_IMPORT("arduino", "delay")           void delay          (uint32_t ms);
+WASM_IMPORT("arduino", "pinMode")         void pinMode        (uint32_t pin, uint32_t mode);
+WASM_IMPORT("arduino", "digitalWrite")    void digitalWrite   (uint32_t pin, uint32_t value);
+
+// This is a convenience function
+WASM_IMPORT("arduino", "getPinLED")       uint32_t getPinLED  (void);
+
+}
+
+#endif // arduino_wasm_api_h

examples_pio/Wasm_Advanced/wasm_apps/cpp/app.cpp

@@ -0,0 +1,5 @@
+millis
+delay
+pinMode
+digitalWrite
+getPinLED

examples_pio/Wasm_Advanced/wasm_apps/cpp/app.wasm

@@ -0,0 +1,16 @@
+# Compile
+wasicc  -Os                                                   \
+        -z stack-size=4096 -Wl,--initial-memory=65536         \
+        -Wl,--allow-undefined-file=arduino_api.syms           \
+        -Wl,--strip-all -nostdlib                             \
+        -o app.wasm app.cpp
+
+# Optimize (optional)
+wasm-opt -O3 app.wasm -o app.wasm
+wasm-strip app.wasm
+
+# Convert to WAT
+#wasm2wat app.wasm -o app.wat
+
+# Convert to C header
+xxd -i app.wasm > app.wasm.h