wasm2c: simplify handling of templated code (#1940)

Store templated wasm2c code as .h/.c; build templates on demand

2 files changed, 0 insertions, 356 deletions

diff --git a/src/prebuilt/wasm2c.include.c b/src/prebuilt/wasm2c.include.c
deleted file mode 100644
index 85ac55cb..00000000
--- a/src/prebuilt/wasm2c.include.c
+++ /dev/null
@@ -1,324 +0,0 @@
-/* Generated from 'wasm2c.c.tmpl' by wasm2c_tmpl.py, do not edit! */
-const char SECTION_NAME(includes)[] =
-"/* Automatically generated by wasm2c */\n"
-"#include <math.h>\n"
-"#include <string.h>\n"
-;
-
-const char SECTION_NAME(declarations)[] =
-"\n"
-"#define TRAP(x) (wasm_rt_trap(WASM_RT_TRAP_##x), 0)\n"
-"\n"
-"#if WASM_RT_MEMCHECK_SIGNAL_HANDLER\n"
-"#define FUNC_PROLOGUE\n"
-"\n"
-"#define FUNC_EPILOGUE\n"
-"#else\n"
-"#define FUNC_PROLOGUE                                            \\\n"
-"  if (++wasm_rt_call_stack_depth > WASM_RT_MAX_CALL_STACK_DEPTH) \\\n"
-"    TRAP(EXHAUSTION);\n"
-"\n"
-"#define FUNC_EPILOGUE --wasm_rt_call_stack_depth\n"
-"#endif\n"
-"\n"
-"#define UNREACHABLE TRAP(UNREACHABLE)\n"
-"\n"
-"#define CALL_INDIRECT(table, t, ft, x, ...)             \\\n"
-"  (LIKELY((x) < table.size && table.data[x].func &&     \\\n"
-"          table.data[x].func_type == func_types[ft]) || \\\n"
-"       TRAP(CALL_INDIRECT),                             \\\n"
-"   ((t)table.data[x].func)(__VA_ARGS__))\n"
-"\n"
-"#define RANGE_CHECK(mem, offset, len)               \\\n"
-"  if (UNLIKELY(offset + (uint64_t)len > mem->size)) \\\n"
-"    TRAP(OOB);\n"
-"\n"
-"#if WASM_RT_MEMCHECK_SIGNAL_HANDLER\n"
-"#define MEMCHECK(mem, a, t)\n"
-"#else\n"
-"#define MEMCHECK(mem, a, t) RANGE_CHECK(mem, a, sizeof(t))\n"
-"#endif\n"
-"\n"
-"#if WABT_BIG_ENDIAN\n"
-"static inline void load_data(void* dest, const void* src, size_t n) {\n"
-"  size_t i = 0;\n"
-"  u8* dest_chars = dest;\n"
-"  memcpy(dest, src, n);\n"
-"  for (i = 0; i < (n >> 1); i++) {\n"
-"    u8 cursor = dest_chars[i];\n"
-"    dest_chars[i] = dest_chars[n - i - 1];\n"
-"    dest_chars[n - i - 1] = cursor;\n"
-"  }\n"
-"}\n"
-"#define LOAD_DATA(m, o, i, s)                   \\\n"
-"  do {                                          \\\n"
-"    RANGE_CHECK((&m), m.size - o - s, s);       \\\n"
-"    load_data(&(m.data[m.size - o - s]), i, s); \\\n"
-"  } while (0)\n"
-"#define DEFINE_LOAD(name, t1, t2, t3)                                  \\\n"
-"  static inline t3 name(wasm_rt_memory_t* mem, u64 addr) {             \\\n"
-"    MEMCHECK(mem, addr, t1);                                           \\\n"
-"    t1 result;                                                         \\\n"
-"    wasm_rt_memcpy(&result, &mem->data[mem->size - addr - sizeof(t1)], \\\n"
-"                   sizeof(t1));                                        \\\n"
-"    return (t3)(t2)result;                                             \\\n"
-"  }\n"
-"\n"
-"#define DEFINE_STORE(name, t1, t2)                                      \\\n"
-"  static inline void name(wasm_rt_memory_t* mem, u64 addr, t2 value) {  \\\n"
-"    MEMCHECK(mem, addr, t1);                                            \\\n"
-"    t1 wrapped = (t1)value;                                             \\\n"
-"    wasm_rt_memcpy(&mem->data[mem->size - addr - sizeof(t1)], &wrapped, \\\n"
-"                   sizeof(t1));                                         \\\n"
-"  }\n"
-"#else\n"
-"static inline void load_data(void* dest, const void* src, size_t n) {\n"
-"  memcpy(dest, src, n);\n"
-"}\n"
-"#define LOAD_DATA(m, o, i, s)      \\\n"
-"  do {                             \\\n"
-"    RANGE_CHECK((&m), o, s);       \\\n"
-"    load_data(&(m.data[o]), i, s); \\\n"
-"  } while (0)\n"
-"#define DEFINE_LOAD(name, t1, t2, t3)                      \\\n"
-"  static inline t3 name(wasm_rt_memory_t* mem, u64 addr) { \\\n"
-"    MEMCHECK(mem, addr, t1);                               \\\n"
-"    t1 result;                                             \\\n"
-"    wasm_rt_memcpy(&result, &mem->data[addr], sizeof(t1)); \\\n"
-"    return (t3)(t2)result;                                 \\\n"
-"  }\n"
-"\n"
-"#define DEFINE_STORE(name, t1, t2)                                     \\\n"
-"  static inline void name(wasm_rt_memory_t* mem, u64 addr, t2 value) { \\\n"
-"    MEMCHECK(mem, addr, t1);                                           \\\n"
-"    t1 wrapped = (t1)value;                                            \\\n"
-"    wasm_rt_memcpy(&mem->data[addr], &wrapped, sizeof(t1));            \\\n"
-"  }\n"
-"#endif\n"
-"\n"
-"DEFINE_LOAD(i32_load, u32, u32, u32)\n"
-"DEFINE_LOAD(i64_load, u64, u64, u64)\n"
-"DEFINE_LOAD(f32_load, f32, f32, f32)\n"
-"DEFINE_LOAD(f64_load, f64, f64, f64)\n"
-"DEFINE_LOAD(i32_load8_s, s8, s32, u32)\n"
-"DEFINE_LOAD(i64_load8_s, s8, s64, u64)\n"
-"DEFINE_LOAD(i32_load8_u, u8, u32, u32)\n"
-"DEFINE_LOAD(i64_load8_u, u8, u64, u64)\n"
-"DEFINE_LOAD(i32_load16_s, s16, s32, u32)\n"
-"DEFINE_LOAD(i64_load16_s, s16, s64, u64)\n"
-"DEFINE_LOAD(i32_load16_u, u16, u32, u32)\n"
-"DEFINE_LOAD(i64_load16_u, u16, u64, u64)\n"
-"DEFINE_LOAD(i64_load32_s, s32, s64, u64)\n"
-"DEFINE_LOAD(i64_load32_u, u32, u64, u64)\n"
-"DEFINE_STORE(i32_store, u32, u32)\n"
-"DEFINE_STORE(i64_store, u64, u64)\n"
-"DEFINE_STORE(f32_store, f32, f32)\n"
-"DEFINE_STORE(f64_store, f64, f64)\n"
-"DEFINE_STORE(i32_store8, u8, u32)\n"
-"DEFINE_STORE(i32_store16, u16, u32)\n"
-"DEFINE_STORE(i64_store8, u8, u64)\n"
-"DEFINE_STORE(i64_store16, u16, u64)\n"
-"DEFINE_STORE(i64_store32, u32, u64)\n"
-"\n"
-"#if defined(_MSC_VER)\n"
-"\n"
-"#include <intrin.h>\n"
-"\n"
-"// Adapted from\n"
-"// https://github.com/nemequ/portable-snippets/blob/master/builtin/builtin.h\n"
-"\n"
-"static inline int I64_CLZ(unsigned long long v) {\n"
-"  unsigned long r = 0;\n"
-"#if defined(_M_AMD64) || defined(_M_ARM)\n"
-"  if (_BitScanReverse64(&r, v)) {\n"
-"    return 63 - r;\n"
-"  }\n"
-"#else\n"
-"  if (_BitScanReverse(&r, (unsigned long)(v >> 32))) {\n"
-"    return 31 - r;\n"
-"  } else if (_BitScanReverse(&r, (unsigned long)v)) {\n"
-"    return 63 - r;\n"
-"  }\n"
-"#endif\n"
-"  return 64;\n"
-"}\n"
-"\n"
-"static inline int I32_CLZ(unsigned long v) {\n"
-"  unsigned long r = 0;\n"
-"  if (_BitScanReverse(&r, v)) {\n"
-"    return 31 - r;\n"
-"  }\n"
-"  return 32;\n"
-"}\n"
-"\n"
-"static inline int I64_CTZ(unsigned long long v) {\n"
-"  if (!v) {\n"
-"    return 64;\n"
-"  }\n"
-"  unsigned long r = 0;\n"
-"#if defined(_M_AMD64) || defined(_M_ARM)\n"
-"  _BitScanForward64(&r, v);\n"
-"  return (int)r;\n"
-"#else\n"
-"  if (_BitScanForward(&r, (unsigned int)(v))) {\n"
-"    return (int)(r);\n"
-"  }\n"
-"\n"
-"  _BitScanForward(&r, (unsigned int)(v >> 32));\n"
-"  return (int)(r + 32);\n"
-"#endif\n"
-"}\n"
-"\n"
-"static inline int I32_CTZ(unsigned long v) {\n"
-"  if (!v) {\n"
-"    return 32;\n"
-"  }\n"
-"  unsigned long r = 0;\n"
-"  _BitScanForward(&r, v);\n"
-"  return (int)r;\n"
-"}\n"
-"\n"
-"#define POPCOUNT_DEFINE_PORTABLE(f_n, T)                            \\\n"
-"  static inline u32 f_n(T x) {                                      \\\n"
-"    x = x - ((x >> 1) & (T) ~(T)0 / 3);                             \\\n"
-"    x = (x & (T) ~(T)0 / 15 * 3) + ((x >> 2) & (T) ~(T)0 / 15 * 3); \\\n"
-"    x = (x + (x >> 4)) & (T) ~(T)0 / 255 * 15;                      \\\n"
-"    return (T)(x * ((T) ~(T)0 / 255)) >> (sizeof(T) - 1) * 8;       \\\n"
-"  }\n"
-"\n"
-"POPCOUNT_DEFINE_PORTABLE(I32_POPCNT, u32)\n"
-"POPCOUNT_DEFINE_PORTABLE(I64_POPCNT, u64)\n"
-"\n"
-"#undef POPCOUNT_DEFINE_PORTABLE\n"
-"\n"
-"#else\n"
-"\n"
-"#define I32_CLZ(x) ((x) ? __builtin_clz(x) : 32)\n"
-"#define I64_CLZ(x) ((x) ? __builtin_clzll(x) : 64)\n"
-"#define I32_CTZ(x) ((x) ? __builtin_ctz(x) : 32)\n"
-"#define I64_CTZ(x) ((x) ? __builtin_ctzll(x) : 64)\n"
-"#define I32_POPCNT(x) (__builtin_popcount(x))\n"
-"#define I64_POPCNT(x) (__builtin_popcountll(x))\n"
-"\n"
-"#endif\n"
-"\n"
-"#define DIV_S(ut, min, x, y)                                      \\\n"
-"  ((UNLIKELY((y) == 0))                                           \\\n"
-"       ? TRAP(DIV_BY_ZERO)                                        \\\n"
-"       : (UNLIKELY((x) == min && (y) == -1)) ? TRAP(INT_OVERFLOW) \\\n"
-"                                             : (ut)((x) / (y)))\n"
-"\n"
-"#define REM_S(ut, min, x, y) \\\n"
-"  ((UNLIKELY((y) == 0))      \\\n"
-"       ? TRAP(DIV_BY_ZERO)   \\\n"
-"       : (UNLIKELY((x) == min && (y) == -1)) ? 0 : (ut)((x) % (y)))\n"
-"\n"
-"#define I32_DIV_S(x, y) DIV_S(u32, INT32_MIN, (s32)x, (s32)y)\n"
-"#define I64_DIV_S(x, y) DIV_S(u64, INT64_MIN, (s64)x, (s64)y)\n"
-"#define I32_REM_S(x, y) REM_S(u32, INT32_MIN, (s32)x, (s32)y)\n"
-"#define I64_REM_S(x, y) REM_S(u64, INT64_MIN, (s64)x, (s64)y)\n"
-"\n"
-"#define DIVREM_U(op, x, y) \\\n"
-"  ((UNLIKELY((y) == 0)) ? TRAP(DIV_BY_ZERO) : ((x)op(y)))\n"
-"\n"
-"#define DIV_U(x, y) DIVREM_U(/, x, y)\n"
-"#define REM_U(x, y) DIVREM_U(%, x, y)\n"
-"\n"
-"#define ROTL(x, y, mask) \\\n"
-"  (((x) << ((y) & (mask))) | ((x) >> (((mask) - (y) + 1) & (mask))))\n"
-"#define ROTR(x, y, mask) \\\n"
-"  (((x) >> ((y) & (mask))) | ((x) << (((mask) - (y) + 1) & (mask))))\n"
-"\n"
-"#define I32_ROTL(x, y) ROTL(x, y, 31)\n"
-"#define I64_ROTL(x, y) ROTL(x, y, 63)\n"
-"#define I32_ROTR(x, y) ROTR(x, y, 31)\n"
-"#define I64_ROTR(x, y) ROTR(x, y, 63)\n"
-"\n"
-"#define FMIN(x, y)                                                     \\\n"
-"  ((UNLIKELY((x) != (x)))                                              \\\n"
-"       ? NAN                                                           \\\n"
-"       : (UNLIKELY((y) != (y)))                                        \\\n"
-"             ? NAN                                                     \\\n"
-"             : (UNLIKELY((x) == 0 && (y) == 0)) ? (signbit(x) ? x : y) \\\n"
-"                                                : (x < y) ? x : y)\n"
-"\n"
-"#define FMAX(x, y)                                                     \\\n"
-"  ((UNLIKELY((x) != (x)))                                              \\\n"
-"       ? NAN                                                           \\\n"
-"       : (UNLIKELY((y) != (y)))                                        \\\n"
-"             ? NAN                                                     \\\n"
-"             : (UNLIKELY((x) == 0 && (y) == 0)) ? (signbit(x) ? y : x) \\\n"
-"                                                : (x > y) ? x : y)\n"
-"\n"
-"#define TRUNC_S(ut, st, ft, min, minop, max, x)                           \\\n"
-"  ((UNLIKELY((x) != (x)))                                                 \\\n"
-"       ? TRAP(INVALID_CONVERSION)                                         \\\n"
-"       : (UNLIKELY(!((x)minop(min) && (x) < (max)))) ? TRAP(INT_OVERFLOW) \\\n"
-"                                                     : (ut)(st)(x))\n"
-"\n"
-"#define I32_TRUNC_S_F32(x) \\\n"
-"  TRUNC_S(u32, s32, f32, (f32)INT32_MIN, >=, 2147483648.f, x)\n"
-"#define I64_TRUNC_S_F32(x) \\\n"
-"  TRUNC_S(u64, s64, f32, (f32)INT64_MIN, >=, (f32)INT64_MAX, x)\n"
-"#define I32_TRUNC_S_F64(x) \\\n"
-"  TRUNC_S(u32, s32, f64, -2147483649., >, 2147483648., x)\n"
-"#define I64_TRUNC_S_F64(x) \\\n"
-"  TRUNC_S(u64, s64, f64, (f64)INT64_MIN, >=, (f64)INT64_MAX, x)\n"
-"\n"
-"#define TRUNC_U(ut, ft, max, x)                                          \\\n"
-"  ((UNLIKELY((x) != (x)))                                                \\\n"
-"       ? TRAP(INVALID_CONVERSION)                                        \\\n"
-"       : (UNLIKELY(!((x) > (ft)-1 && (x) < (max)))) ? TRAP(INT_OVERFLOW) \\\n"
-"                                                    : (ut)(x))\n"
-"\n"
-"#define I32_TRUNC_U_F32(x) TRUNC_U(u32, f32, 4294967296.f, x)\n"
-"#define I64_TRUNC_U_F32(x) TRUNC_U(u64, f32, (f32)UINT64_MAX, x)\n"
-"#define I32_TRUNC_U_F64(x) TRUNC_U(u32, f64, 4294967296., x)\n"
-"#define I64_TRUNC_U_F64(x) TRUNC_U(u64, f64, (f64)UINT64_MAX, x)\n"
-"\n"
-"#define TRUNC_SAT_S(ut, st, ft, min, smin, minop, max, smax, x) \\\n"
-"  ((UNLIKELY((x) != (x)))                                       \\\n"
-"       ? 0                                                      \\\n"
-"       : (UNLIKELY(!((x)minop(min))))                           \\\n"
-"             ? smin                                             \\\n"
-"             : (UNLIKELY(!((x) < (max)))) ? smax : (ut)(st)(x))\n"
-"\n"
-"#define I32_TRUNC_SAT_S_F32(x)                                            \\\n"
-"  TRUNC_SAT_S(u32, s32, f32, (f32)INT32_MIN, INT32_MIN, >=, 2147483648.f, \\\n"
-"              INT32_MAX, x)\n"
-"#define I64_TRUNC_SAT_S_F32(x)                                              \\\n"
-"  TRUNC_SAT_S(u64, s64, f32, (f32)INT64_MIN, INT64_MIN, >=, (f32)INT64_MAX, \\\n"
-"              INT64_MAX, x)\n"
-"#define I32_TRUNC_SAT_S_F64(x)                                        \\\n"
-"  TRUNC_SAT_S(u32, s32, f64, -2147483649., INT32_MIN, >, 2147483648., \\\n"
-"              INT32_MAX, x)\n"
-"#define I64_TRUNC_SAT_S_F64(x)                                              \\\n"
-"  TRUNC_SAT_S(u64, s64, f64, (f64)INT64_MIN, INT64_MIN, >=, (f64)INT64_MAX, \\\n"
-"              INT64_MAX, x)\n"
-"\n"
-"#define TRUNC_SAT_U(ut, ft, max, smax, x)               \\\n"
-"  ((UNLIKELY((x) != (x))) ? 0                           \\\n"
-"                          : (UNLIKELY(!((x) > (ft)-1))) \\\n"
-"                                ? 0                     \\\n"
-"                                : (UNLIKELY(!((x) < (max)))) ? smax : (ut)(x))\n"
-"\n"
-"#define I32_TRUNC_SAT_U_F32(x) \\\n"
-"  TRUNC_SAT_U(u32, f32, 4294967296.f, UINT32_MAX, x)\n"
-"#define I64_TRUNC_SAT_U_F32(x) \\\n"
-"  TRUNC_SAT_U(u64, f32, (f32)UINT64_MAX, UINT64_MAX, x)\n"
-"#define I32_TRUNC_SAT_U_F64(x) TRUNC_SAT_U(u32, f64, 4294967296., UINT32_MAX, x)\n"
-"#define I64_TRUNC_SAT_U_F64(x) \\\n"
-"  TRUNC_SAT_U(u64, f64, (f64)UINT64_MAX, UINT64_MAX, x)\n"
-"\n"
-"#define DEFINE_REINTERPRET(name, t1, t2) \\\n"
-"  static inline t2 name(t1 x) {          \\\n"
-"    t2 result;                           \\\n"
-"    memcpy(&result, &x, sizeof(result)); \\\n"
-"    return result;                       \\\n"
-"  }\n"
-"\n"
-"DEFINE_REINTERPRET(f32_reinterpret_i32, u32, f32)\n"
-"DEFINE_REINTERPRET(i32_reinterpret_f32, f32, u32)\n"
-"DEFINE_REINTERPRET(f64_reinterpret_i64, u64, f64)\n"
-"DEFINE_REINTERPRET(i64_reinterpret_f64, f64, u64)\n"
-;
diff --git a/src/prebuilt/wasm2c.include.h b/src/prebuilt/wasm2c.include.h
deleted file mode 100644
index d1f300b3..00000000
--- a/src/prebuilt/wasm2c.include.h
+++ /dev/null
@@ -1,32 +0,0 @@
-/* Generated from 'wasm2c.h.tmpl' by wasm2c_tmpl.py, do not edit! */
-const char SECTION_NAME(top)[] =
-"#include <stdint.h>\n"
-"\n"
-"#include \"wasm-rt.h\"\n"
-"\n"
-"/* TODO(binji): only use stdint.h types in header */\n"
-"#ifndef WASM_RT_CORE_TYPES_DEFINED\n"
-"#define WASM_RT_CORE_TYPES_DEFINED\n"
-"typedef uint8_t u8;\n"
-"typedef int8_t s8;\n"
-"typedef uint16_t u16;\n"
-"typedef int16_t s16;\n"
-"typedef uint32_t u32;\n"
-"typedef int32_t s32;\n"
-"typedef uint64_t u64;\n"
-"typedef int64_t s64;\n"
-"typedef float f32;\n"
-"typedef double f64;\n"
-"#endif\n"
-"\n"
-"#ifdef __cplusplus\n"
-"extern \"C\" {\n"
-"#endif\n"
-;
-
-const char SECTION_NAME(bottom)[] =
-"\n"
-"#ifdef __cplusplus\n"
-"}\n"
-"#endif\n"
-;