summaryrefslogtreecommitdiff
path: root/src/c-writer.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/c-writer.cc')
-rw-r--r--src/c-writer.cc247
1 files changed, 6 insertions, 241 deletions
diff --git a/src/c-writer.cc b/src/c-writer.cc
index 64b6f539..2d10dc81 100644
--- a/src/c-writer.cc
+++ b/src/c-writer.cc
@@ -384,248 +384,13 @@ static const char* s_global_symbols[] = {
};
-static const char s_header_top[] =
- R"(
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-#ifndef WASM_RT_INCLUDED_
-#define WASM_RT_INCLUDED_
-
-#include <stdint.h>
-
-#ifndef WASM_RT_MAX_CALL_STACK_DEPTH
-#define WASM_RT_MAX_CALL_STACK_DEPTH 500
-#endif
-
-#ifndef WASM_RT_MODULE_PREFIX
-#define WASM_RT_MODULE_PREFIX
-#endif
-
-#define WASM_RT_PASTE_(x, y) x ## y
-#define WASM_RT_PASTE(x, y) WASM_RT_PASTE_(x, y)
-#define WASM_RT_ADD_PREFIX(x) WASM_RT_PASTE(WASM_RT_MODULE_PREFIX, x)
-
-#define WASM_RT_DEFINE_EXTERNAL(decl, target) decl = &target;
-
-/* TODO(binji): only use stdint.h types in header */
-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;
-
-typedef enum {
- WASM_RT_TRAP_NONE,
- WASM_RT_TRAP_OOB,
- WASM_RT_TRAP_INT_OVERFLOW,
- WASM_RT_TRAP_DIV_BY_ZERO,
- WASM_RT_TRAP_INVALID_CONVERSION,
- WASM_RT_TRAP_UNREACHABLE,
- WASM_RT_TRAP_CALL_INDIRECT,
- WASM_RT_TRAP_EXHAUSTION,
-} wasm_rt_trap_t;
-
-typedef enum {
- WASM_RT_I32,
- WASM_RT_I64,
- WASM_RT_F32,
- WASM_RT_F64,
-} wasm_rt_type_t;
-
-typedef void (*wasm_rt_anyfunc_t)(void);
-
-typedef struct {
- uint32_t func_type;
- wasm_rt_anyfunc_t func;
-} wasm_rt_elem_t;
-
-typedef struct {
- uint8_t* data;
- uint32_t pages, max_pages;
- uint32_t size;
-} wasm_rt_memory_t;
-
-typedef struct {
- wasm_rt_elem_t* data;
- uint32_t max_size;
- uint32_t size;
-} wasm_rt_table_t;
-
-extern void wasm_rt_trap(wasm_rt_trap_t) __attribute__((noreturn));
-extern uint32_t wasm_rt_register_func_type(uint32_t params, uint32_t results, ...);
-extern void wasm_rt_allocate_memory(wasm_rt_memory_t*, uint32_t initial_pages, uint32_t max_pages);
-extern uint32_t wasm_rt_grow_memory(wasm_rt_memory_t*, uint32_t pages);
-extern void wasm_rt_allocate_table(wasm_rt_table_t*, uint32_t elements, uint32_t max_elements);
-extern uint32_t wasm_rt_call_stack_depth;
-
-#endif /* WASM_RT_INCLUDED_ */
-
-extern void WASM_RT_ADD_PREFIX(init)(void);
-)";
-
-static const char s_header_bottom[] = R"(
-#ifdef __cplusplus
-}
-#endif
-)";
-
-static const char s_source_includes[] = R"(#include <assert.h>
-#include <math.h>
-#include <stdlib.h>
-#include <string.h>
-)";
-
-static const char s_source_declarations[] = R"(
-#define UNLIKELY(x) __builtin_expect(!!(x), 0)
-#define LIKELY(x) __builtin_expect(!!(x), 1)
-
-#define TRAP(x) (wasm_rt_trap(WASM_RT_TRAP_##x), 0)
-
-#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
-
-#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]) \
- ? ((t)table.data[x].func)(__VA_ARGS__) \
- : TRAP(CALL_INDIRECT))
-
-#define MEMCHECK(mem, a, t) \
- if (UNLIKELY((a) + sizeof(t) > mem->size)) TRAP(OOB)
-
-#define DEFINE_LOAD(name, t1, t2, t3) \
- static inline t3 name(wasm_rt_memory_t* mem, u64 addr) { \
- MEMCHECK(mem, addr, t1); \
- t1 result; \
- memcpy(&result, &mem->data[addr], sizeof(t1)); \
- 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; \
- memcpy(&mem->data[addr], &wrapped, sizeof(t1)); \
- }
-
-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);
-
-#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))
-
-#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, max, maxop, x) \
- ((UNLIKELY((x) != (x))) ? TRAP(INVALID_CONVERSION) \
- : (UNLIKELY((x) < (ft)(min) || (x) maxop (ft)(max))) ? TRAP(INT_OVERFLOW) \
- : (ut)(st)(x))
-
-#define I32_TRUNC_S_F32(x) TRUNC_S(u32, s32, f32, INT32_MIN, INT32_MAX, >=, x)
-#define I64_TRUNC_S_F32(x) TRUNC_S(u64, s64, f32, INT64_MIN, INT64_MAX, >=, x)
-#define I32_TRUNC_S_F64(x) TRUNC_S(u32, s32, f64, INT32_MIN, INT32_MAX, >, x)
-#define I64_TRUNC_S_F64(x) TRUNC_S(u64, s64, f64, INT64_MIN, INT64_MAX, >=, x)
-
-#define TRUNC_U(ut, ft, max, maxop, x) \
- ((UNLIKELY((x) != (x))) ? TRAP(INVALID_CONVERSION) \
- : (UNLIKELY((x) <= (ft)-1 || (x) maxop (ft)(max))) ? TRAP(INT_OVERFLOW) \
- : (ut)(x))
-
-#define I32_TRUNC_U_F32(x) TRUNC_U(u32, f32, UINT32_MAX, >=, x)
-#define I64_TRUNC_U_F32(x) TRUNC_U(u64, f32, UINT64_MAX, >=, x)
-#define I32_TRUNC_U_F64(x) TRUNC_U(u32, f64, UINT32_MAX, >, x)
-#define I64_TRUNC_U_F64(x) TRUNC_U(u64, f64, 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 SECTION_NAME(x) s_header_##x
+#include "src/prebuilt/wasm2c.include.h"
+#undef SECTION_NAME
-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)
-)";
+#define SECTION_NAME(x) s_source_##x
+#include "src/prebuilt/wasm2c.include.c"
+#undef SECTION_NAME
size_t CWriter::MarkTypeStack() const {
return type_stack_.size();
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-29 19:06:17 +0000