wasm.h

#ifndef WASM_H_GENERATED_
#define WASM_H_GENERATED_
#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);

/* import: 'env' '__extjs_93b9872dc3d816765ab0e68585457a4b8d33560b' */
extern u32 (*Z_envZ___extjs_93b9872dc3d816765ab0e68585457a4b8d33560bZ_ii)(u32);
/* import: 'env' '__extjs_ff5103e6cc179d13b4c7a785bdce2708fd559fc0' */
extern u32 (*Z_envZ___extjs_ff5103e6cc179d13b4c7a785bdce2708fd559fc0Z_ii)(u32);
/* import: 'env' '__extjs_72fc447820458c720c68d0d8e078ede631edd723' */
extern u32 (*Z_envZ___extjs_72fc447820458c720c68d0d8e078ede631edd723Z_iiii)(u32, u32, u32);
/* import: 'env' '__extjs_db0226ae1bbecd407e9880ee28ddc70fc3322d9c' */
extern u32 (*Z_envZ___extjs_db0226ae1bbecd407e9880ee28ddc70fc3322d9cZ_ii)(u32);
/* import: 'env' '__extjs_dc2fd915bd92f9e9c6a3bd15174f1414eee3dbaf' */
extern u32 (*Z_envZ___extjs_dc2fd915bd92f9e9c6a3bd15174f1414eee3dbafZ_iv)(void);
/* import: 'env' '__extjs_9f22d4ca7bc938409787341b7db181f8dd41e6df' */
extern u32 (*Z_envZ___extjs_9f22d4ca7bc938409787341b7db181f8dd41e6dfZ_ii)(u32);
/* import: 'env' '__extjs_80d6d56760c65e49b7be8b6b01c1ea861b046bf0' */
extern u32 (*Z_envZ___extjs_80d6d56760c65e49b7be8b6b01c1ea861b046bf0Z_ii)(u32);
/* import: 'env' '__extjs_8b7b1f5eaf1493b2194834f765bc30a8a8954d15' */
extern u32 (*Z_envZ___extjs_8b7b1f5eaf1493b2194834f765bc30a8a8954d15Z_iii)(u32, u32);
/* import: 'env' '__extjs_97495987af1720d8a9a923fa4683a7b683e3acd6' */
extern u32 (*Z_envZ___extjs_97495987af1720d8a9a923fa4683a7b683e3acd6Z_iii)(u32, u32);
/* import: 'env' '__web_on_grow' */
extern void (*Z_envZ___web_on_growZ_vv)(void);

/* export: 'main' */
extern u32 (*WASM_RT_ADD_PREFIX(Z_mainZ_iii))(u32, u32);
/* export: '__web_malloc' */
extern u32 (*WASM_RT_ADD_PREFIX(Z___web_mallocZ_ii))(u32);
/* export: '__web_free' */
extern void (*WASM_RT_ADD_PREFIX(Z___web_freeZ_vii))(u32, u32);
/* export: '__web_table' */
extern wasm_rt_table_t (*WASM_RT_ADD_PREFIX(Z___web_table));
/* export: 'memory' */
extern wasm_rt_memory_t (*WASM_RT_ADD_PREFIX(Z_memory));
#ifdef __cplusplus
}
#endif

#endif  /* WASM_H_GENERATED_ */