diff options
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 |