usuyuki commented 11 months ago

✨ 概要

https://github.com/WebAssembly/wabt

なぜ必要

備考

コメントにて，ツールの動作結果を示す．

usuyuki commented 11 months ago

wasm-objdump

❯ wasm-objdump helloworld.wasm -d

helloworld.wasm:    file format wasm 0x1

Code Disassembly:

000095 func[2] <_start>:
 000096: 41 80 90 80 80 00          | i32.const 2048
 00009c: 41 1c                      | i32.const 28
 00009e: 10 84 80 80 80 00          | call 4
 0000a4: 03 40                      | loop
 0000a6: 41 84 07                   |   i32.const 900
 0000a9: 10 83 80 80 80 00          |   call 3
 0000af: 41 9c 90 80 80 00          |   i32.const 2076
 0000b5: 41 0c                      |   i32.const 12
 0000b7: 10 85 80 80 80 00          |   call 5
 0000bd: 0c 00                      |   br 0
 0000bf: 0b                         | end
 0000c0: 0b                         | end
0000c2 func[3]:
 0000c3: 20 00                      | local.get 0
 0000c5: 10 80 80 80 80 00          | call 0 <arduino.delay>
 0000cb: 0b                         | end
0000cd func[4]:
 0000ce: 20 00                      | local.get 0
 0000d0: 20 01                      | local.get 1
 0000d2: 10 81 80 80 80 00          | call 1 <serial.print>
 0000d8: 0b                         | end
0000da func[5]:
 0000db: 20 00                      | local.get 0
 0000dd: 20 01                      | local.get 1
 0000df: 10 81 80 80 80 00          | call 1 <serial.print>
 0000e5: 41 a8 90 80 80 00          | i32.const 2088
 0000eb: 41 01                      | i32.const 1
 0000ed: 10 81 80 80 80 00          | call 1 <serial.print>
 0000f3: 0b                         | end

usuyuki commented 11 months ago

wasm-interp

❯ wasm-interp helloworld.wasm
error initializing module: invalid import "arduino.delay"

type checkとかより前にエラーになる。

usuyuki commented 11 months ago

wasm-decompile

❯ wasm-decompile helloworld.wasm
export memory memory(initial: 1, max: 0);

global g_a:int = 2048;
export global data_end:int = 2089;
export global heap_base:int = 2096;

table T_a:funcref(min: 1, max: 1);

data d_hellomahiwawritteninRusthell(offset: 2048) =
"hello mahiwa written in Rusthello mahiwa\0a";

import function arduino_delay(a:int);

import function serial_print(a:int, b:int);

export function start() {
  f_e(2048, 28);
  loop L_a {
    f_d(900);
    f_f(2076, 12);
    continue L_a;
  }
}

function f_d(a:int) {
  arduino_delay(a)
}

function f_e(a:int, b:int) {
  serial_print(a, b)
}

function f_f(a:int, b:int) {
  serial_print(a, b);
  serial_print(2088, 1);
}

translate from the binary format to readable C-like syntax.

になっている。

usuyuki commented 11 months ago

wat-desuger

❯ wat-desugar helloworld.wasm
helloworld.wasm:1:1: error: unexpected char
helloworld.wasm:1:5: error: unexpected char
helloworld.wasm:1:6: error: unexpected char
helloworld.wasm:1:7: error: unexpected char
helloworld.wasm:1:8: error: unexpected char
helloworld.wasm:1:9: error: unexpected char
helloworld.wasm:1:11: error: unexpected char
helloworld.wasm:1:2: error: unexpected token "asm", expected a module field or a command.
helloworld.wasm:1:12: error: unexpected token `, expected EOF.

usuyuki commented 11 months ago

wasm2c

長すぎ

```shell ❯ wasm2c helloworld.wasm /* Automatically generated by wasm2c */ #ifndef WASM_H_GENERATED_ #define WASM_H_GENERATED_ #include #include "wasm-rt.h" /* TODO(binji): only use stdint.h types in header */ #ifndef WASM_RT_CORE_TYPES_DEFINED #define WASM_RT_CORE_TYPES_DEFINED typedef uint8_t u8; typedef int8_t s8; typedef uint16_t u16; typedef int16_t s16; typedef uint32_t u32; typedef int32_t s32; typedef uint64_t u64; typedef int64_t s64; typedef float f32; typedef double f64; #endif #ifdef __cplusplus extern "C" { #endif struct Z_arduino_instance_t; struct Z_serial_instance_t; typedef struct Z__instance_t { struct Z_arduino_instance_t* Z_arduino_instance; struct Z_serial_instance_t* Z_serial_instance; u32 w2c_g0; u32 w2c___data_end; u32 w2c___heap_base; wasm_rt_memory_t w2c_memory; wasm_rt_funcref_table_t w2c_T0; } Z__instance_t; void Z__init_module(void); void Z__instantiate(Z__instance_t*, struct Z_arduino_instance_t*, struct Z_serial_instance_t*); void Z__free(Z__instance_t*); /* import: 'arduino' 'delay' */ void Z_arduinoZ_delay(struct Z_arduino_instance_t*, u32); /* import: 'serial' 'print' */ void Z_serialZ_print(struct Z_serial_instance_t*, u32, u32); /* export: 'memory' */ wasm_rt_memory_t* Z_Z_memory(Z__instance_t* instance); /* export: '_start' */ void Z_Z__start(Z__instance_t*); /* export: '__data_end' */ u32* Z_Z___data_end(Z__instance_t* instance); /* export: '__heap_base' */ u32* Z_Z___heap_base(Z__instance_t* instance); #ifdef __cplusplus } #endif #endif /* WASM_H_GENERATED_ */ /* Automatically generated by wasm2c */ #include #include #include #include #if defined(_MSC_VER) #include #include #define alloca _alloca #else #include #endif #include "wasm.h" #define TRAP(x) (wasm_rt_trap(WASM_RT_TRAP_##x), 0) #if WASM_RT_USE_STACK_DEPTH_COUNT #define FUNC_PROLOGUE \ if (++wasm_rt_call_stack_depth > WASM_RT_MAX_CALL_STACK_DEPTH) \ TRAP(EXHAUSTION); #define FUNC_EPILOGUE --wasm_rt_call_stack_depth #else #define FUNC_PROLOGUE #define FUNC_EPILOGUE #endif #define UNREACHABLE TRAP(UNREACHABLE) #define CALL_INDIRECT(table, t, ft, x, ...) \ (LIKELY((x) < table.size && table.data[x].func && \ table.data[x].func_type == func_types[ft]) || \ TRAP(CALL_INDIRECT), \ ((t)table.data[x].func)(__VA_ARGS__)) #define RANGE_CHECK(mem, offset, len) \ if (UNLIKELY(offset + (uint64_t)len > mem->size)) \ TRAP(OOB); #if WASM_RT_MEMCHECK_SIGNAL_HANDLER #define MEMCHECK(mem, a, t) #else #define MEMCHECK(mem, a, t) RANGE_CHECK(mem, a, sizeof(t)) #endif #ifdef __GNUC__ #define wasm_asm __asm__ #else #define wasm_asm(X) #endif #if WABT_BIG_ENDIAN static inline void load_data(void* dest, const void* src, size_t n) { size_t i = 0; u8* dest_chars = dest; memcpy(dest, src, n); for (i = 0; i < (n >> 1); i++) { u8 cursor = dest_chars[i]; dest_chars[i] = dest_chars[n - i - 1]; dest_chars[n - i - 1] = cursor; } } #define LOAD_DATA(m, o, i, s) \ do { \ RANGE_CHECK((&m), m.size - o - s, s); \ load_data(&(m.data[m.size - o - s]), i, s); \ } while (0) #define DEFINE_LOAD(name, t1, t2, t3) \ static inline t3 name(wasm_rt_memory_t* mem, u64 addr) { \ MEMCHECK(mem, addr, t1); \ t1 result; \ wasm_rt_memcpy(&result, &mem->data[mem->size - addr - sizeof(t1)], \ sizeof(t1)); \ wasm_asm("" ::"r"(result)); \ return (t3)(t2)result; \ } #define DEFINE_STORE(name, t1, t2) \ static inline void name(wasm_rt_memory_t* mem, u64 addr, t2 value) { \ MEMCHECK(mem, addr, t1); \ t1 wrapped = (t1)value; \ wasm_rt_memcpy(&mem->data[mem->size - addr - sizeof(t1)], &wrapped, \ sizeof(t1)); \ } #else static inline void load_data(void* dest, const void* src, size_t n) { memcpy(dest, src, n); } #define LOAD_DATA(m, o, i, s) \ do { \ RANGE_CHECK((&m), o, s); \ load_data(&(m.data[o]), i, s); \ } while (0) #define DEFINE_LOAD(name, t1, t2, t3) \ static inline t3 name(wasm_rt_memory_t* mem, u64 addr) { \ MEMCHECK(mem, addr, t1); \ t1 result; \ wasm_rt_memcpy(&result, &mem->data[addr], sizeof(t1)); \ wasm_asm("" ::"r"(result)); \ return (t3)(t2)result; \ } #define DEFINE_STORE(name, t1, t2) \ static inline void name(wasm_rt_memory_t* mem, u64 addr, t2 value) { \ MEMCHECK(mem, addr, t1); \ t1 wrapped = (t1)value; \ wasm_rt_memcpy(&mem->data[addr], &wrapped, sizeof(t1)); \ } #endif DEFINE_LOAD(i32_load, u32, u32, u32) DEFINE_LOAD(i64_load, u64, u64, u64) DEFINE_LOAD(f32_load, f32, f32, f32) DEFINE_LOAD(f64_load, f64, f64, f64) DEFINE_LOAD(i32_load8_s, s8, s32, u32) DEFINE_LOAD(i64_load8_s, s8, s64, u64) DEFINE_LOAD(i32_load8_u, u8, u32, u32) DEFINE_LOAD(i64_load8_u, u8, u64, u64) DEFINE_LOAD(i32_load16_s, s16, s32, u32) DEFINE_LOAD(i64_load16_s, s16, s64, u64) DEFINE_LOAD(i32_load16_u, u16, u32, u32) DEFINE_LOAD(i64_load16_u, u16, u64, u64) DEFINE_LOAD(i64_load32_s, s32, s64, u64) DEFINE_LOAD(i64_load32_u, u32, u64, u64) DEFINE_STORE(i32_store, u32, u32) DEFINE_STORE(i64_store, u64, u64) DEFINE_STORE(f32_store, f32, f32) DEFINE_STORE(f64_store, f64, f64) DEFINE_STORE(i32_store8, u8, u32) DEFINE_STORE(i32_store16, u16, u32) DEFINE_STORE(i64_store8, u8, u64) DEFINE_STORE(i64_store16, u16, u64) DEFINE_STORE(i64_store32, u32, u64) #if defined(_MSC_VER) // Adapted from // https://github.com/nemequ/portable-snippets/blob/master/builtin/builtin.h static inline int I64_CLZ(unsigned long long v) { unsigned long r = 0; #if defined(_M_AMD64) || defined(_M_ARM) if (_BitScanReverse64(&r, v)) { return 63 - r; } #else if (_BitScanReverse(&r, (unsigned long)(v >> 32))) { return 31 - r; } else if (_BitScanReverse(&r, (unsigned long)v)) { return 63 - r; } #endif return 64; } static inline int I32_CLZ(unsigned long v) { unsigned long r = 0; if (_BitScanReverse(&r, v)) { return 31 - r; } return 32; } static inline int I64_CTZ(unsigned long long v) { if (!v) { return 64; } unsigned long r = 0; #if defined(_M_AMD64) || defined(_M_ARM) _BitScanForward64(&r, v); return (int)r; #else if (_BitScanForward(&r, (unsigned int)(v))) { return (int)(r); } _BitScanForward(&r, (unsigned int)(v >> 32)); return (int)(r + 32); #endif } static inline int I32_CTZ(unsigned long v) { if (!v) { return 32; } unsigned long r = 0; _BitScanForward(&r, v); return (int)r; } #define POPCOUNT_DEFINE_PORTABLE(f_n, T) \ static inline u32 f_n(T x) { \ x = x - ((x >> 1) & (T) ~(T)0 / 3); \ x = (x & (T) ~(T)0 / 15 * 3) + ((x >> 2) & (T) ~(T)0 / 15 * 3); \ x = (x + (x >> 4)) & (T) ~(T)0 / 255 * 15; \ return (T)(x * ((T) ~(T)0 / 255)) >> (sizeof(T) - 1) * 8; \ } POPCOUNT_DEFINE_PORTABLE(I32_POPCNT, u32) POPCOUNT_DEFINE_PORTABLE(I64_POPCNT, u64) #undef POPCOUNT_DEFINE_PORTABLE #else #define I32_CLZ(x) ((x) ? __builtin_clz(x) : 32) #define I64_CLZ(x) ((x) ? __builtin_clzll(x) : 64) #define I32_CTZ(x) ((x) ? __builtin_ctz(x) : 32) #define I64_CTZ(x) ((x) ? __builtin_ctzll(x) : 64) #define I32_POPCNT(x) (__builtin_popcount(x)) #define I64_POPCNT(x) (__builtin_popcountll(x)) #endif #define DIV_S(ut, min, x, y) \ ((UNLIKELY((y) == 0)) \ ? TRAP(DIV_BY_ZERO) \ : (UNLIKELY((x) == min && (y) == -1)) ? TRAP(INT_OVERFLOW) \ : (ut)((x) / (y))) #define REM_S(ut, min, x, y) \ ((UNLIKELY((y) == 0)) \ ? TRAP(DIV_BY_ZERO) \ : (UNLIKELY((x) == min && (y) == -1)) ? 0 : (ut)((x) % (y))) #define I32_DIV_S(x, y) DIV_S(u32, INT32_MIN, (s32)x, (s32)y) #define I64_DIV_S(x, y) DIV_S(u64, INT64_MIN, (s64)x, (s64)y) #define I32_REM_S(x, y) REM_S(u32, INT32_MIN, (s32)x, (s32)y) #define I64_REM_S(x, y) REM_S(u64, INT64_MIN, (s64)x, (s64)y) #define DIVREM_U(op, x, y) \ ((UNLIKELY((y) == 0)) ? TRAP(DIV_BY_ZERO) : ((x)op(y))) #define DIV_U(x, y) DIVREM_U(/, x, y) #define REM_U(x, y) DIVREM_U(%, x, y) #define ROTL(x, y, mask) \ (((x) << ((y) & (mask))) | ((x) >> (((mask) - (y) + 1) & (mask)))) #define ROTR(x, y, mask) \ (((x) >> ((y) & (mask))) | ((x) << (((mask) - (y) + 1) & (mask)))) #define I32_ROTL(x, y) ROTL(x, y, 31) #define I64_ROTL(x, y) ROTL(x, y, 63) #define I32_ROTR(x, y) ROTR(x, y, 31) #define I64_ROTR(x, y) ROTR(x, y, 63) #define FMIN(x, y) \ ((UNLIKELY((x) != (x))) \ ? NAN \ : (UNLIKELY((y) != (y))) \ ? NAN \ : (UNLIKELY((x) == 0 && (y) == 0)) ? (signbit(x) ? x : y) \ : (x < y) ? x : y) #define FMAX(x, y) \ ((UNLIKELY((x) != (x))) \ ? NAN \ : (UNLIKELY((y) != (y))) \ ? NAN \ : (UNLIKELY((x) == 0 && (y) == 0)) ? (signbit(x) ? y : x) \ : (x > y) ? x : y) #define TRUNC_S(ut, st, ft, min, minop, max, x) \ ((UNLIKELY((x) != (x))) \ ? TRAP(INVALID_CONVERSION) \ : (UNLIKELY(!((x)minop(min) && (x) < (max)))) ? TRAP(INT_OVERFLOW) \ : (ut)(st)(x)) #define I32_TRUNC_S_F32(x) \ TRUNC_S(u32, s32, f32, (f32)INT32_MIN, >=, 2147483648.f, x) #define I64_TRUNC_S_F32(x) \ TRUNC_S(u64, s64, f32, (f32)INT64_MIN, >=, (f32)INT64_MAX, x) #define I32_TRUNC_S_F64(x) \ TRUNC_S(u32, s32, f64, -2147483649., >, 2147483648., x) #define I64_TRUNC_S_F64(x) \ TRUNC_S(u64, s64, f64, (f64)INT64_MIN, >=, (f64)INT64_MAX, x) #define TRUNC_U(ut, ft, max, x) \ ((UNLIKELY((x) != (x))) \ ? TRAP(INVALID_CONVERSION) \ : (UNLIKELY(!((x) > (ft)-1 && (x) < (max)))) ? TRAP(INT_OVERFLOW) \ : (ut)(x)) #define I32_TRUNC_U_F32(x) TRUNC_U(u32, f32, 4294967296.f, x) #define I64_TRUNC_U_F32(x) TRUNC_U(u64, f32, (f32)UINT64_MAX, x) #define I32_TRUNC_U_F64(x) TRUNC_U(u32, f64, 4294967296., x) #define I64_TRUNC_U_F64(x) TRUNC_U(u64, f64, (f64)UINT64_MAX, x) #define TRUNC_SAT_S(ut, st, ft, min, smin, minop, max, smax, x) \ ((UNLIKELY((x) != (x))) \ ? 0 \ : (UNLIKELY(!((x)minop(min)))) \ ? smin \ : (UNLIKELY(!((x) < (max)))) ? smax : (ut)(st)(x)) #define I32_TRUNC_SAT_S_F32(x) \ TRUNC_SAT_S(u32, s32, f32, (f32)INT32_MIN, INT32_MIN, >=, 2147483648.f, \ INT32_MAX, x) #define I64_TRUNC_SAT_S_F32(x) \ TRUNC_SAT_S(u64, s64, f32, (f32)INT64_MIN, INT64_MIN, >=, (f32)INT64_MAX, \ INT64_MAX, x) #define I32_TRUNC_SAT_S_F64(x) \ TRUNC_SAT_S(u32, s32, f64, -2147483649., INT32_MIN, >, 2147483648., \ INT32_MAX, x) #define I64_TRUNC_SAT_S_F64(x) \ TRUNC_SAT_S(u64, s64, f64, (f64)INT64_MIN, INT64_MIN, >=, (f64)INT64_MAX, \ INT64_MAX, x) #define TRUNC_SAT_U(ut, ft, max, smax, x) \ ((UNLIKELY((x) != (x))) ? 0 \ : (UNLIKELY(!((x) > (ft)-1))) \ ? 0 \ : (UNLIKELY(!((x) < (max)))) ? smax : (ut)(x)) #define I32_TRUNC_SAT_U_F32(x) \ TRUNC_SAT_U(u32, f32, 4294967296.f, UINT32_MAX, x) #define I64_TRUNC_SAT_U_F32(x) \ TRUNC_SAT_U(u64, f32, (f32)UINT64_MAX, UINT64_MAX, x) #define I32_TRUNC_SAT_U_F64(x) TRUNC_SAT_U(u32, f64, 4294967296., UINT32_MAX, x) #define I64_TRUNC_SAT_U_F64(x) \ TRUNC_SAT_U(u64, f64, (f64)UINT64_MAX, UINT64_MAX, x) #define DEFINE_REINTERPRET(name, t1, t2) \ static inline t2 name(t1 x) { \ t2 result; \ memcpy(&result, &x, sizeof(result)); \ return result; \ } DEFINE_REINTERPRET(f32_reinterpret_i32, u32, f32) DEFINE_REINTERPRET(i32_reinterpret_f32, f32, u32) DEFINE_REINTERPRET(f64_reinterpret_i64, u64, f64) DEFINE_REINTERPRET(i64_reinterpret_f64, f64, u64) static float quiet_nanf(float x) { uint32_t tmp; memcpy(&tmp, &x, 4); tmp |= 0x7fc00000lu; memcpy(&x, &tmp, 4); return x; } static double quiet_nan(double x) { uint64_t tmp; memcpy(&tmp, &x, 8); tmp |= 0x7ff8000000000000llu; memcpy(&x, &tmp, 8); return x; } static double wasm_quiet(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return x; } static float wasm_quietf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return x; } static double wasm_floor(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return floor(x); } static float wasm_floorf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return floorf(x); } static double wasm_ceil(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return ceil(x); } static float wasm_ceilf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return ceilf(x); } static double wasm_trunc(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return trunc(x); } static float wasm_truncf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return truncf(x); } static float wasm_nearbyintf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return nearbyintf(x); } static double wasm_nearbyint(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return nearbyint(x); } static float wasm_fabsf(float x) { if (UNLIKELY(isnan(x))) { uint32_t tmp; memcpy(&tmp, &x, 4); tmp = tmp & ~(1 << 31); memcpy(&x, &tmp, 4); return x; } return fabsf(x); } static double wasm_fabs(double x) { if (UNLIKELY(isnan(x))) { uint64_t tmp; memcpy(&tmp, &x, 8); tmp = tmp & ~(1ll << 63); memcpy(&x, &tmp, 8); return x; } return fabs(x); } static double wasm_sqrt(double x) { if (UNLIKELY(isnan(x))) { return quiet_nan(x); } return sqrt(x); } static float wasm_sqrtf(float x) { if (UNLIKELY(isnan(x))) { return quiet_nanf(x); } return sqrtf(x); } static inline void memory_fill(wasm_rt_memory_t* mem, u32 d, u32 val, u32 n) { RANGE_CHECK(mem, d, n); memset(mem->data + d, val, n); } static inline void memory_copy(wasm_rt_memory_t* dest, const wasm_rt_memory_t* src, u32 dest_addr, u32 src_addr, u32 n) { RANGE_CHECK(dest, dest_addr, n); RANGE_CHECK(src, src_addr, n); memmove(dest->data + dest_addr, src->data + src_addr, n); } static inline void memory_init(wasm_rt_memory_t* dest, const u8* src, u32 src_size, u32 dest_addr, u32 src_addr, u32 n) { if (UNLIKELY(src_addr + (uint64_t)n > src_size)) TRAP(OOB); LOAD_DATA((*dest), dest_addr, src + src_addr, n); } typedef struct { uint32_t func_type_index; wasm_rt_function_ptr_t func; size_t module_offset; } wasm_elem_segment_expr_t; static inline void funcref_table_init(wasm_rt_funcref_table_t* dest, const wasm_elem_segment_expr_t* src, u32 src_size, u32 dest_addr, u32 src_addr, u32 n, void* module_instance, const u32* func_types) { if (UNLIKELY(src_addr + (uint64_t)n > src_size)) TRAP(OOB); if (UNLIKELY(dest_addr + (uint64_t)n > dest->size)) TRAP(OOB); for (u32 i = 0; i < n; i++) { const wasm_elem_segment_expr_t* src_expr = &src[src_addr + i]; dest->data[dest_addr + i] = (wasm_rt_funcref_t){ func_types[src_expr->func_type_index], src_expr->func, (char*)module_instance + src_expr->module_offset}; } } // Currently we only support initializing externref tables with ref.null. static inline void externref_table_init(wasm_rt_externref_table_t* dest, const wasm_rt_externref_t* src, u32 src_size, u32 dest_addr, u32 src_addr, u32 n) { if (UNLIKELY(src_addr + (uint64_t)n > src_size)) TRAP(OOB); if (UNLIKELY(dest_addr + (uint64_t)n > dest->size)) TRAP(OOB); for (u32 i = 0; i < n; i++) { const wasm_rt_externref_t* src_expr = &src[src_addr + i]; dest->data[dest_addr + i] = *src_expr; } } #define DEFINE_TABLE_COPY(type) \ static inline void type##_table_copy(wasm_rt_##type##_table_t* dest, \ const wasm_rt_##type##_table_t* src, \ u32 dest_addr, u32 src_addr, u32 n) { \ if (UNLIKELY(dest_addr + (uint64_t)n > dest->size)) \ TRAP(OOB); \ if (UNLIKELY(src_addr + (uint64_t)n > src->size)) \ TRAP(OOB); \ \ memmove(dest->data + dest_addr, src->data + src_addr, \ n * sizeof(wasm_rt_##type##_t)); \ } DEFINE_TABLE_COPY(funcref) DEFINE_TABLE_COPY(externref) #define DEFINE_TABLE_GET(type) \ static inline wasm_rt_##type##_t type##_table_get( \ const wasm_rt_##type##_table_t* table, u32 i) { \ if (UNLIKELY(i >= table->size)) \ TRAP(OOB); \ return table->data[i]; \ } DEFINE_TABLE_GET(funcref) DEFINE_TABLE_GET(externref) #define DEFINE_TABLE_SET(type) \ static inline void type##_table_set(const wasm_rt_##type##_table_t* table, \ u32 i, const wasm_rt_##type##_t val) { \ if (UNLIKELY(i >= table->size)) \ TRAP(OOB); \ table->data[i] = val; \ } DEFINE_TABLE_SET(funcref) DEFINE_TABLE_SET(externref) #define DEFINE_TABLE_FILL(type) \ static inline void type##_table_fill(const wasm_rt_##type##_table_t* table, \ u32 d, const wasm_rt_##type##_t val, \ u32 n) { \ if (UNLIKELY((uint64_t)d + n > table->size)) \ TRAP(OOB); \ for (uint32_t i = d; i < d + n; i++) { \ table->data[i] = val; \ } \ } DEFINE_TABLE_FILL(funcref) DEFINE_TABLE_FILL(externref) static bool s_module_initialized = false; static u32 func_types[3]; static void init_func_types(void) { func_types[0] = wasm_rt_register_func_type(1, 0, WASM_RT_I32); func_types[1] = wasm_rt_register_func_type(2, 0, WASM_RT_I32, WASM_RT_I32); func_types[2] = wasm_rt_register_func_type(0, 0); } static void w2c__start(Z__instance_t*); static void w2c_f3(Z__instance_t*, u32); static void w2c_f4(Z__instance_t*, u32, u32); static void w2c_f5(Z__instance_t*, u32, u32); static void init_globals(Z__instance_t* instance) { instance->w2c_g0 = 2048u; instance->w2c___data_end = 2089u; instance->w2c___heap_base = 2096u; } static const u8 data_segment_data_w2c_d0[] = { 0x68, 0x65, 0x6c, 0x6c, 0x6f, 0x20, 0x6d, 0x61, 0x68, 0x69, 0x77, 0x61, 0x20, 0x77, 0x72, 0x69, 0x74, 0x74, 0x65, 0x6e, 0x20, 0x69, 0x6e, 0x20, 0x52, 0x75, 0x73, 0x74, 0x68, 0x65, 0x6c, 0x6c, 0x6f, 0x20, 0x6d, 0x61, 0x68, 0x69, 0x77, 0x61, 0x0a, }; static void init_memories(Z__instance_t* instance) { wasm_rt_allocate_memory(&instance->w2c_memory, 1, 65536); LOAD_DATA(instance->w2c_memory, 2048u, data_segment_data_w2c_d0, 41); } static void init_data_instances(Z__instance_t *instance) { } static void init_tables(Z__instance_t* instance) { wasm_rt_allocate_funcref_table(&instance->w2c_T0, 1, 1); } static void w2c__start(Z__instance_t* instance) { FUNC_PROLOGUE; u32 w2c_i0, w2c_i1; w2c_i0 = 2048u; w2c_i1 = 28u; w2c_f4(instance, w2c_i0, w2c_i1); w2c_L0: w2c_i0 = 900u; w2c_f3(instance, w2c_i0); w2c_i0 = 2076u; w2c_i1 = 12u; w2c_f5(instance, w2c_i0, w2c_i1); goto w2c_L0; FUNC_EPILOGUE; } static void w2c_f3(Z__instance_t* instance, u32 w2c_p0) { FUNC_PROLOGUE; u32 w2c_i0; w2c_i0 = w2c_p0; (*Z_arduinoZ_delay)(instance->Z_arduino_instance, w2c_i0); FUNC_EPILOGUE; } static void w2c_f4(Z__instance_t* instance, u32 w2c_p0, u32 w2c_p1) { FUNC_PROLOGUE; u32 w2c_i0, w2c_i1; w2c_i0 = w2c_p0; w2c_i1 = w2c_p1; (*Z_serialZ_print)(instance->Z_serial_instance, w2c_i0, w2c_i1); FUNC_EPILOGUE; } static void w2c_f5(Z__instance_t* instance, u32 w2c_p0, u32 w2c_p1) { FUNC_PROLOGUE; u32 w2c_i0, w2c_i1; w2c_i0 = w2c_p0; w2c_i1 = w2c_p1; (*Z_serialZ_print)(instance->Z_serial_instance, w2c_i0, w2c_i1); w2c_i0 = 2088u; w2c_i1 = 1u; (*Z_serialZ_print)(instance->Z_serial_instance, w2c_i0, w2c_i1); FUNC_EPILOGUE; } /* export: 'memory' */ wasm_rt_memory_t* Z_Z_memory(Z__instance_t* instance) { return &instance->w2c_memory; } /* export: '_start' */ void Z_Z__start(Z__instance_t* instance) { return w2c__start(instance); } /* export: '__data_end' */ u32* Z_Z___data_end(Z__instance_t* instance) { return &instance->w2c___data_end; } /* export: '__heap_base' */ u32* Z_Z___heap_base(Z__instance_t* instance) { return &instance->w2c___heap_base; } static void init_instance_import(Z__instance_t* instance, struct Z_arduino_instance_t* Z_arduino_instance, struct Z_serial_instance_t* Z_serial_instance){ instance->Z_arduino_instance = Z_arduino_instance; instance->Z_serial_instance = Z_serial_instance; } void Z__init_module(void) { assert(wasm_rt_is_initialized()); s_module_initialized = true; init_func_types(); } void Z__instantiate(Z__instance_t* instance, struct Z_arduino_instance_t* Z_arduino_instance, struct Z_serial_instance_t* Z_serial_instance) { assert(wasm_rt_is_initialized()); assert(s_module_initialized); init_instance_import(instance, Z_arduino_instance, Z_serial_instance); init_globals(instance); init_memories(instance); init_tables(instance); init_data_instances(instance); } void Z__free(Z__instance_t* instance) { wasm_rt_free_funcref_table(&instance->w2c_T0); wasm_rt_free_memory(&instance->w2c_memory); } ```

usuyuki commented 11 months ago

wasm-validate

verbose付けないと正常時は何も出ない

❯ wasm-validate helloworld.wasm -v
BeginModule(version: 1)
  BeginTypeSection(13)
    OnTypeCount(3)
    OnFuncType(index: 0, params: [i32], results: [])
    OnFuncType(index: 1, params: [i32, i32], results: [])
    OnFuncType(index: 2, params: [], results: [])
  EndTypeSection
  BeginImportSection(32)
    OnImportCount(2)
    OnImport(index: 0, kind: func, module: "arduino", field: "delay")
    OnImportFunc(import_index: 0, func_index: 0, sig_index: 0)
    OnImport(index: 1, kind: func, module: "serial", field: "print")
    OnImportFunc(import_index: 1, func_index: 1, sig_index: 1)
  EndImportSection
  BeginFunctionSection(5)
    OnFunctionCount(4)
    OnFunction(index: 2, sig_index: 2)
    OnFunction(index: 3, sig_index: 0)
    OnFunction(index: 4, sig_index: 1)
    OnFunction(index: 5, sig_index: 1)
  EndFunctionSection
  BeginTableSection(5)
    OnTableCount(1)
    OnTable(index: 0, elem_type: funcref, initial: 1, max: 1)
  EndTableSection
  BeginMemorySection(3)
    OnMemoryCount(1)
    OnMemory(index: 0, initial: 1)
  EndMemorySection
  BeginGlobalSection(19)
    OnGlobalCount(3)
    BeginGlobal(index: 0, type: i32, mutable: true)
    BeginGlobalInitExpr(0)
    OnI32ConstExpr(2048 (0x800))
    OnEndExpr
    EndGlobalInitExpr(0)
    EndGlobal(0)
    BeginGlobal(index: 1, type: i32, mutable: false)
    BeginGlobalInitExpr(1)
    OnI32ConstExpr(2089 (0x829))
    OnEndExpr
    EndGlobalInitExpr(1)
    EndGlobal(1)
    BeginGlobal(index: 2, type: i32, mutable: false)
    BeginGlobalInitExpr(2)
    OnI32ConstExpr(2096 (0x830))
    OnEndExpr
    EndGlobalInitExpr(2)
    EndGlobal(2)
  EndGlobalSection
  BeginExportSection(46)
    OnExportCount(4)
    OnExport(index: 0, kind: memory, item_index: 0, name: "memory")
    OnExport(index: 1, kind: func, item_index: 2, name: "_start")
    OnExport(index: 2, kind: global, item_index: 1, name: "__data_end")
    OnExport(index: 3, kind: global, item_index: 2, name: "__heap_base")
  EndExportSection
  BeginCodeSection(97)
    OnFunctionBodyCount(4)
    BeginFunctionBody(2, size:44)
    OnLocalDeclCount(0)
    OnI32ConstExpr(2048 (0x800))
    OnI32ConstExpr(28 (0x1c))
    OnCallExpr(func_index: 4)
    OnLoopExpr(sig: void)
    OnI32ConstExpr(900 (0x384))
    OnCallExpr(func_index: 3)
    OnI32ConstExpr(2076 (0x81c))
    OnI32ConstExpr(12 (0xc))
    OnCallExpr(func_index: 5)
    OnBrExpr(depth: 0)
    OnEndExpr
    OnEndExpr
    EndFunctionBody(2)
    BeginFunctionBody(3, size:10)
    OnLocalDeclCount(0)
    OnLocalGetExpr(index: 0)
    OnCallExpr(func_index: 0)
    OnEndExpr
    EndFunctionBody(3)
    BeginFunctionBody(4, size:12)
    OnLocalDeclCount(0)
    OnLocalGetExpr(index: 0)
    OnLocalGetExpr(index: 1)
    OnCallExpr(func_index: 1)
    OnEndExpr
    EndFunctionBody(4)
    BeginFunctionBody(5, size:26)
    OnLocalDeclCount(0)
    OnLocalGetExpr(index: 0)
    OnLocalGetExpr(index: 1)
    OnCallExpr(func_index: 1)
    OnI32ConstExpr(2088 (0x828))
    OnI32ConstExpr(1 (0x1))
    OnCallExpr(func_index: 1)
    OnEndExpr
    EndFunctionBody(5)
  EndCodeSection
  BeginDataSection(48)
    OnDataSegmentCount(1)
    BeginDataSegment(index: 0, memory_index: 0, flags: 0)
    BeginDataSegmentInitExpr(0)
    OnI32ConstExpr(2048 (0x800))
    OnEndExpr
    EndDataSegmentInitExpr(0)
    OnDataSegmentData(index:0, size:41)
    EndDataSegment(0)
  EndDataSection
EndModule

usuyuki commented 11 months ago

wast2json


❯ wast2json helloworld.wasm
helloworld.wasm:1:1: error: unexpected char
``` arduinodelayserialprintp...
^
helloworld.wasm:1:5: error: unexpected char
``` arduinodelayserialprintp...
    ^
helloworld.wasm:1:6: error: unexpected char
``` arduinodelayserialprintp...
     ^
helloworld.wasm:1:7: error: unexpected char
``` arduinodelayserialprintp...
      ^
helloworld.wasm:1:8: error: unexpected char
``` arduinodelayserialprintp...
       ^
helloworld.wasm:1:9: error: unexpected char
``` arduinodelayserialprintp...
        ^
helloworld.wasm:1:11: error: unexpected char
``` arduinodelayserialprintp...
          ^
helloworld.wasm:1:2: error: unexpected token "asm", expected a module field or a command.
``` arduinodelayserialprintp...
 ^^^
helloworld.wasm:1:12: error: unexpected token `, expected EOF.
``` arduinodelayserialprintp...

usuyuki commented 11 months ago

❯ ll
Permissions Size User    Date Modified Git Name
drwxr-xr-x     - usuyuki  4 12月 22:44  --  .cargo/
.rw-r--r--     7 usuyuki  4 12月 22:44  --  .gitignore
.rw-r--r--   259 usuyuki  8 12月 20:32  -I  Cargo.lock
.rw-r--r--   230 usuyuki  4 12月 22:44  --  Cargo.toml
.rwxr-xr-x   294 usuyuki  4 12月 22:44  --  helloworld.wasm*
.rw-r--r--  1.1k usuyuki  4 12月 22:44  --  helloworld.wat
.rw-r--r--   456 usuyuki  4 12月 22:44  --  README.md
drwxr-xr-x     - usuyuki  4 12月 22:44  --  src/
drwxr-xr-x     - usuyuki  8 12月 20:32  -I  target/

❯ wasm-strip helloworld.wasm

❯ ll
Permissions Size User    Date Modified Git Name
drwxr-xr-x     - usuyuki  4 12月 22:44  --  .cargo/
.rw-r--r--     7 usuyuki  4 12月 22:44  --  .gitignore
.rw-r--r--   259 usuyuki  8 12月 20:32  -I  Cargo.lock
.rw-r--r--   230 usuyuki  4 12月 22:44  --  Cargo.toml
.rwxr-xr-x   294 usuyuki 14 12月 10:21  --  helloworld.wasm*
.rw-r--r--  1.1k usuyuki  4 12月 22:44  --  helloworld.wat
.rw-r--r--   456 usuyuki  4 12月 22:44  --  README.md
drwxr-xr-x     - usuyuki  4 12月 22:44  --  src/
drwxr-xr-x     - usuyuki  8 12月 20:32  -I  target/

容量変わらない。(Rustで作ったwasmは最初から最適化されている説がある)

project-mahiwa / mahiwa-burner

[✨Feature]:wabtを実行して統計情報を出す #52

✨ 概要

なぜ必要

備考

wasm-objdump

wasm-interp

wasm-decompile

wat-desuger

wasm2c

wasm-validate

wast2json