#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