vm.h

#ifndef VM_H
#define VM_H

typedef struct {
    enum { INT, STR } type;
    union {
        int vint;
        char *vstr;
    } value;
} vm_value;

#define VM_HANDLER_ARGS vm_value *op1, vm_value *op2, vm_value *result
typedef void (*vm_handler)(VM_HANDLER_ARGS);

typedef struct {
    enum { CONST, TEMP } type;
    union {
        int id;
    } value;
} vm_operand;

typedef struct {
    int opcode;
    vm_operand op1;
    vm_operand op2;
    int result;
} vm_inst;

typedef struct __vm_label {
    int to;
    char *str;
    struct __vm_label *next;
} vm_label;

typedef struct {
    int opcode;
    vm_handler handler;
} vm_opcode_impl;

#define VM_T(_op) _op->type
#define VM_INT(_op) _op->value.vint
#define VM_UINT(_op) ((unsigned int) _op->value.vint)

typedef struct __vm_env vm_env;

typedef struct __vm_seg_info vm_seg_info;

vm_env *vm_new();
void vm_free(vm_env *);

int vm_find_label(vm_env *env, const char *label_name);
void vm_make_label(vm_env *env, const char *label_name, int insts_count);

size_t vm_add_const(vm_env *, int, void *);
size_t vm_add_inst(vm_env *, vm_inst);

void vm_hook_opcode_handler(vm_env *, int, vm_handler);

void vm_run(vm_env *env);

#endif /* VM_H */