mirror of
https://github.com/zer0condition/GoodmansKernel/
synced 2026-08-19 01:14:35 +00:00
zer0condition
26 lines
638 B
C
26 lines
638 B
C
//
|
|
// m3_validate.h
|
|
//
|
|
// Pre-pass WebAssembly bytecode validator using the spec's type-checking algorithm.
|
|
// Runs before compilation to catch type errors early.
|
|
//
|
|
|
|
#ifndef m3_validate_h
|
|
#define m3_validate_h
|
|
|
|
#include "m3_core.h"
|
|
#include "m3_compile.h"
|
|
#include "m3_env.h"
|
|
|
|
d_m3BeginExternC
|
|
|
|
// Validate a function's bytecode before compilation.
|
|
// Performs full type-checking per the WebAssembly spec algorithm:
|
|
// operand type stack + control stack with polymorphic handling.
|
|
// Returns m3Err_none on success or a validation error.
|
|
M3Result ValidateFunction (IM3Function i_function);
|
|
|
|
d_m3EndExternC
|
|
|
|
#endif // m3_validate_h
|