diff options
| author | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-11-26 22:43:30 +0100 |
|---|---|---|
| committer | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-12-29 23:36:21 +0100 |
| commit | 52c18e60929b64285d4bb333f87482d954c9b2e0 (patch) | |
| tree | 836ab3a01d160f45cda4f5a28522fc0bf471011c /private_include/ops.h | |
| download | nanowasm-52c18e60929b64285d4bb333f87482d954c9b2e0.tar.gz | |
First commitfirst-step
Diffstat (limited to 'private_include/ops.h')
| -rw-r--r-- | private_include/ops.h | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/private_include/ops.h b/private_include/ops.h new file mode 100644 index 0000000..ed8bd20 --- /dev/null +++ b/private_include/ops.h @@ -0,0 +1,59 @@ +#ifndef OPS_H +#define OPS_H + +#include <interp.h> +#include <stdio.h> + +int op_unreachable(struct interp *i); +int op_nop(struct interp *i); +int op_block(struct interp *i); +int op_loop(struct interp *i); +int op_if(struct interp *i); +int op_else(struct interp *i); +int op_end(struct interp *i); +int op_br(struct interp *i); +int op_br_if(struct interp *i); +int op_br_table(struct interp *i); +int op_return(struct interp *i); +int op_call(struct interp *i); +int op_call_indirect(struct interp *i); +int op_get_local(struct interp *i); +int op_set_local(struct interp *i); +int op_tee_local(struct interp *i); +int op_get_global(struct interp *i); +int op_set_global(struct interp *i); +int op_i32_load(struct interp *i); +int op_i32_store(struct interp *i); +int op_i32_const(struct interp *i); +int op_i64_const(struct interp *i); +int op_f32_const(struct interp *i); +int op_f64_const(struct interp *i); +int op_i32_sub(struct interp *i); + +int check_unreachable(FILE *f); +int check_nop(FILE *f); +int check_block(FILE *f); +int check_loop(FILE *f); +int check_if(FILE *f); +int check_else(FILE *f); +int check_end(FILE *f); +int check_br(FILE *f); +int check_br_if(FILE *f); +int check_br_table(FILE *f); +int check_return(FILE *f); +int check_call(FILE *f); +int check_call_indirect(FILE *f); +int check_get_local(FILE *f); +int check_set_local(FILE *f); +int check_tee_local(FILE *f); +int check_get_global(FILE *f); +int check_set_global(FILE *f); +int check_i32_load(FILE *f); +int check_i32_store(FILE *f); +int check_i32_const(FILE *f); +int check_i64_const(FILE *f); +int check_f32_const(FILE *f); +int check_f64_const(FILE *f); +int check_i32_sub(FILE *f); + +#endif |