mirror of
https://github.com/nunuhara/xsystem4.git
synced 2026-10-06 22:08:19 +03:00
Nunuhara Cabbage
f1cc9082b3
Store them in vm.c. The ain structure should not contain data that wasn't in the ain file on disk.
140 lines
3.2 KiB
C
140 lines
3.2 KiB
C
/* Copyright (C) 2019 Nunuhara Cabbage <nunuhara@haniwa.technology>
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program; if not, see <http://gnu.org/licenses/>.
|
|
*/
|
|
|
|
#ifndef SYSTEM4_VM_H
|
|
#define SYSTEM4_VM_H
|
|
|
|
#include <stdbool.h>
|
|
#include <stdint.h>
|
|
#include "system4.h"
|
|
|
|
struct ain;
|
|
enum ain_data_type;
|
|
struct page;
|
|
struct string;
|
|
|
|
// Non-heap values. Stored in pages and on the stack.
|
|
union vm_value {
|
|
int32_t i;
|
|
int64_t li;
|
|
float f;
|
|
// HLL only
|
|
void *ref;
|
|
int *iref;
|
|
float *fref;
|
|
};
|
|
|
|
struct static_hll_function {
|
|
char *name;
|
|
union vm_value (*fun)(union vm_value *_args);
|
|
};
|
|
|
|
struct static_library {
|
|
char *name;
|
|
struct static_hll_function **functions;
|
|
};
|
|
|
|
struct ain *ain;
|
|
|
|
union vm_value *stack;
|
|
int32_t stack_ptr;
|
|
|
|
static inline union vm_value _vm_id(union vm_value v)
|
|
{
|
|
return v;
|
|
}
|
|
|
|
static inline union vm_value vm_int(int32_t v)
|
|
{
|
|
return (union vm_value) { .i = v };
|
|
}
|
|
|
|
static inline union vm_value vm_long(int64_t v)
|
|
{
|
|
return (union vm_value) { .li = v };
|
|
}
|
|
|
|
static inline union vm_value vm_bool(bool b)
|
|
{
|
|
return (union vm_value) { .i = !!b };
|
|
}
|
|
|
|
static inline union vm_value vm_float(float v)
|
|
{
|
|
return (union vm_value) { .f = v };
|
|
}
|
|
|
|
#define vm_value_cast(v) _Generic((v), \
|
|
union vm_value: _vm_id, \
|
|
int32_t: vm_int, \
|
|
int64_t: vm_long, \
|
|
bool: vm_bool, \
|
|
float: vm_float)(v)
|
|
|
|
static inline void stack_set_value(int n, union vm_value v)
|
|
{
|
|
stack[stack_ptr - (1 + n)] = v;
|
|
}
|
|
|
|
static inline void stack_push_value(union vm_value v)
|
|
{
|
|
stack[stack_ptr++] = v;
|
|
}
|
|
|
|
// Set the Nth value from the top of the stack to V.
|
|
#define stack_set(n, v) (stack_set_value((n), vm_value_cast(v)))
|
|
#define stack_push(v) (stack_push_value(vm_value_cast(v)))
|
|
union vm_value stack_pop(void);
|
|
|
|
union vm_value global_get(int varno);
|
|
void global_set(int varno, union vm_value val);
|
|
struct page *local_page(void);
|
|
|
|
int vm_string_ref(struct string *s);
|
|
int vm_copy_page(struct page *page);
|
|
union vm_value vm_copy(union vm_value v, enum ain_data_type type);
|
|
|
|
void vm_execute_ain(struct ain *program);
|
|
void vm_call(int fno, int struct_page);
|
|
int vm_time(void);
|
|
|
|
void vm_stack_trace(void);
|
|
noreturn void _vm_error(const char *fmt, ...);
|
|
noreturn void vm_exit(int code);
|
|
|
|
#define VM_ERROR(fmt, ...) \
|
|
_vm_error("*ERROR*(%s:%s:%d): " fmt "\n", __FILE__, __func__, __LINE__, ##__VA_ARGS__)
|
|
|
|
#ifdef VM_PRIVATE
|
|
|
|
struct function_call {
|
|
int32_t fno;
|
|
uint32_t return_address;
|
|
int32_t page_slot;
|
|
int32_t struct_page;
|
|
};
|
|
|
|
struct function_call call_stack[4096];
|
|
int32_t call_stack_ptr;
|
|
|
|
size_t instr_ptr;
|
|
|
|
int vm_save_image(const char *key, const char *path);
|
|
void vm_load_image(const char *key, const char *path);
|
|
|
|
#endif /* VM_PRIVATE */
|
|
#endif /* SYSTEM4_VM_H */
|