@@ -18,6 +18,10 @@
|
|||||||
namespace furvm {
|
namespace furvm {
|
||||||
|
|
||||||
struct mod_type {
|
struct mod_type {
|
||||||
|
struct ptr {
|
||||||
|
mod_type_id typeId;
|
||||||
|
};
|
||||||
|
|
||||||
struct array {
|
struct array {
|
||||||
mod_type_id typeId;
|
mod_type_id typeId;
|
||||||
std::size_t size;
|
std::size_t size;
|
||||||
@@ -37,6 +41,7 @@ struct mod_type {
|
|||||||
U16,
|
U16,
|
||||||
U32,
|
U32,
|
||||||
U64,
|
U64,
|
||||||
|
Ptr,
|
||||||
Array,
|
Array,
|
||||||
|
|
||||||
Import,
|
Import,
|
||||||
@@ -44,11 +49,17 @@ struct mod_type {
|
|||||||
} type;
|
} type;
|
||||||
union value {
|
union value {
|
||||||
std::nullptr_t null = nullptr;
|
std::nullptr_t null = nullptr;
|
||||||
|
ptr ptr;
|
||||||
array array;
|
array array;
|
||||||
imprt imprt;
|
imprt imprt;
|
||||||
|
|
||||||
value() = default;
|
value() = default;
|
||||||
|
|
||||||
|
value(mod_type_id id)
|
||||||
|
: ptr({}) {
|
||||||
|
ptr.typeId = id;
|
||||||
|
}
|
||||||
|
|
||||||
value(mod_type_id id, std::size_t size)
|
value(mod_type_id id, std::size_t size)
|
||||||
: array({}) {
|
: array({}) {
|
||||||
array.typeId = id;
|
array.typeId = id;
|
||||||
|
|||||||
@@ -30,6 +30,10 @@ struct thing_type {
|
|||||||
using u32 = std::uint32_t;
|
using u32 = std::uint32_t;
|
||||||
using u64 = std::uint64_t;
|
using u64 = std::uint64_t;
|
||||||
|
|
||||||
|
struct ptr {
|
||||||
|
thing_type* type;
|
||||||
|
};
|
||||||
|
|
||||||
struct array {
|
struct array {
|
||||||
thing_type* type;
|
thing_type* type;
|
||||||
std::size_t size;
|
std::size_t size;
|
||||||
@@ -44,16 +48,23 @@ struct thing_type {
|
|||||||
U16,
|
U16,
|
||||||
U32,
|
U32,
|
||||||
U64,
|
U64,
|
||||||
|
Ptr,
|
||||||
Array,
|
Array,
|
||||||
|
|
||||||
Count,
|
Count,
|
||||||
} type;
|
} type;
|
||||||
union value {
|
union value {
|
||||||
std::nullptr_t null = nullptr;
|
std::nullptr_t null = nullptr;
|
||||||
|
ptr ptr;
|
||||||
array array;
|
array array;
|
||||||
|
|
||||||
value() = default;
|
value() = default;
|
||||||
|
|
||||||
|
value(thing_type* type)
|
||||||
|
: ptr({}) {
|
||||||
|
ptr.type = type;
|
||||||
|
}
|
||||||
|
|
||||||
value(thing_type* type, std::size_t size)
|
value(thing_type* type, std::size_t size)
|
||||||
: array({}) {
|
: array({}) {
|
||||||
array.type = type;
|
array.type = type;
|
||||||
@@ -76,6 +87,7 @@ struct thing_type {
|
|||||||
case U16:
|
case U16:
|
||||||
case U32:
|
case U32:
|
||||||
case U64: return true;
|
case U64: return true;
|
||||||
|
case Ptr: return *value.ptr.type == *other.value.ptr.type;
|
||||||
case Array: return *value.array.type == *other.value.array.type && value.array.size == other.value.array.size;
|
case Array: return *value.array.type == *other.value.array.type && value.array.size == other.value.array.size;
|
||||||
case Count: break;
|
case Count: break;
|
||||||
}
|
}
|
||||||
@@ -94,10 +106,11 @@ struct thing_type {
|
|||||||
case U16:
|
case U16:
|
||||||
case U32:
|
case U32:
|
||||||
case U64: return true;
|
case U64: return true;
|
||||||
case Array:
|
case Ptr:
|
||||||
|
case Array: return false;
|
||||||
case Count: break;
|
case Count: break;
|
||||||
}
|
}
|
||||||
return false;
|
throw std::runtime_error("unreachable");
|
||||||
}
|
}
|
||||||
|
|
||||||
static std::size_t primitive_size(enum type type) {
|
static std::size_t primitive_size(enum type type) {
|
||||||
@@ -110,10 +123,11 @@ struct thing_type {
|
|||||||
case thing_type::U16: return sizeof(u16);
|
case thing_type::U16: return sizeof(u16);
|
||||||
case thing_type::U32: return sizeof(u32);
|
case thing_type::U32: return sizeof(u32);
|
||||||
case thing_type::U64: return sizeof(u64);
|
case thing_type::U64: return sizeof(u64);
|
||||||
case Array:
|
case Ptr:
|
||||||
|
case Array: return 0;
|
||||||
case Count: break;
|
case Count: break;
|
||||||
}
|
}
|
||||||
return 0;
|
throw std::runtime_error("unreachable");
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
@@ -131,6 +145,7 @@ struct thing_type_hash {
|
|||||||
case thing_type::U16:
|
case thing_type::U16:
|
||||||
case thing_type::U32:
|
case thing_type::U32:
|
||||||
case thing_type::U64: return seed;
|
case thing_type::U64: return seed;
|
||||||
|
case thing_type::Ptr: return furlang::utility::hash_combine(seed, thing_type_hash{}(*type.value.ptr.type));
|
||||||
case thing_type::Array:
|
case thing_type::Array:
|
||||||
seed = furlang::utility::hash_combine(seed, thing_type_hash{}(*type.value.array.type));
|
seed = furlang::utility::hash_combine(seed, thing_type_hash{}(*type.value.array.type));
|
||||||
seed = furlang::utility::hash_combine(seed,
|
seed = furlang::utility::hash_combine(seed,
|
||||||
@@ -245,7 +260,8 @@ public:
|
|||||||
case thing_type::U8:
|
case thing_type::U8:
|
||||||
case thing_type::U16:
|
case thing_type::U16:
|
||||||
case thing_type::U32:
|
case thing_type::U32:
|
||||||
case thing_type::U64: std::memcpy(res.m_data, m_data, m_size); return std::move(res);
|
case thing_type::U64:
|
||||||
|
case thing_type::Ptr: std::memcpy(res.m_data, m_data, m_size); return std::move(res);
|
||||||
case thing_type::Array: copy_list(m_type, res.get<array>(), get<array>()); return std::move(res);
|
case thing_type::Array: copy_list(m_type, res.get<array>(), get<array>()); return std::move(res);
|
||||||
case thing_type::Count: break;
|
case thing_type::Count: break;
|
||||||
}
|
}
|
||||||
@@ -480,7 +496,8 @@ private:
|
|||||||
case thing_type::U8:
|
case thing_type::U8:
|
||||||
case thing_type::U16:
|
case thing_type::U16:
|
||||||
case thing_type::U32:
|
case thing_type::U32:
|
||||||
case thing_type::U64: std::memcpy(dst.flat, src.flat, size); return;
|
case thing_type::U64:
|
||||||
|
case thing_type::Ptr: std::memcpy(dst.flat, src.flat, size); return;
|
||||||
case thing_type::Array:
|
case thing_type::Array:
|
||||||
for (std::size_t i = 0; i < size; ++i) {
|
for (std::size_t i = 0; i < size; ++i) {
|
||||||
copy_list(*innerType.value.array.type,
|
copy_list(*innerType.value.array.type,
|
||||||
@@ -503,6 +520,7 @@ private:
|
|||||||
case thing_type::U16: return sizeof(thing_type::u16);
|
case thing_type::U16: return sizeof(thing_type::u16);
|
||||||
case thing_type::U32: return sizeof(thing_type::u32);
|
case thing_type::U32: return sizeof(thing_type::u32);
|
||||||
case thing_type::U64: return sizeof(thing_type::u64);
|
case thing_type::U64: return sizeof(thing_type::u64);
|
||||||
|
case thing_type::Ptr: return sizeof(void*);
|
||||||
case thing_type::Array:
|
case thing_type::Array:
|
||||||
return type.value.array.size == 0 ? sizeof(array)
|
return type.value.array.size == 0 ? sizeof(array)
|
||||||
: compute_size_na(*type.value.array.type) * type.value.array.size;
|
: compute_size_na(*type.value.array.type) * type.value.array.size;
|
||||||
@@ -639,6 +657,7 @@ private:
|
|||||||
case thing_type::U64:
|
case thing_type::U64:
|
||||||
res.get<thing_type::u64>() = Op{}(cast_to<thing_type::u64>(), rhs.cast_to<thing_type::u64>());
|
res.get<thing_type::u64>() = Op{}(cast_to<thing_type::u64>(), rhs.cast_to<thing_type::u64>());
|
||||||
return res;
|
return res;
|
||||||
|
case thing_type::Ptr: // TODO: Pointer arithmetics
|
||||||
case thing_type::Array:
|
case thing_type::Array:
|
||||||
case thing_type::Count: break;
|
case thing_type::Count: break;
|
||||||
}
|
}
|
||||||
|
|||||||
+7
-12
@@ -29,6 +29,7 @@ thing_type executor::thing_type_impl(mod_h mod, mod_type type) const {
|
|||||||
case thing_type::U16:
|
case thing_type::U16:
|
||||||
case thing_type::U32:
|
case thing_type::U32:
|
||||||
case thing_type::U64: return { static_cast<enum thing_type::type>(type.type) };
|
case thing_type::U64: return { static_cast<enum thing_type::type>(type.type) };
|
||||||
|
case thing_type::Ptr: return { thing_type::Ptr, thing_type(mod, *mod->type_at(type.value.ptr.typeId)) };
|
||||||
case thing_type::Array: {
|
case thing_type::Array: {
|
||||||
return { static_cast<enum thing_type::type>(type.type),
|
return { static_cast<enum thing_type::type>(type.type),
|
||||||
{ thing_type(mod, *mod->type_at(type.value.array.typeId)), type.value.array.size } };
|
{ thing_type(mod, *mod->type_at(type.value.array.typeId)), type.value.array.size } };
|
||||||
@@ -222,18 +223,11 @@ void executor::step() {
|
|||||||
push_thing(lhs->greater_equals(*rhs));
|
push_thing(lhs->greater_equals(*rhs));
|
||||||
} break;
|
} break;
|
||||||
case instruction_t::Pointerof: {
|
case instruction_t::Pointerof: {
|
||||||
// auto thing = pop_thing();
|
auto thing = pop_thing();
|
||||||
// auto ptr = push_thing(
|
auto ptr =
|
||||||
//{ (struct thing_type){ thing_type::Primitive, { sizeof(std::uintptr_t) } }, m_context->thing_alloc() });
|
push_thing({ (struct thing_type){ thing_type::Ptr, m_context->thing_type_store().at(thing->type().id) },
|
||||||
// switch (thing->type().type) {
|
m_context->thing_alloc() });
|
||||||
// case thing_type::Primitive: ptr->get<std::uintptr_t>() = reinterpret_cast<std::uintptr_t>(thing->raw());
|
ptr->get<void*>() = thing->raw();
|
||||||
// break; case thing_type::Array: ptr->get<std::uintptr_t>() = reinterpret_cast<std::uintptr_t>(
|
|
||||||
// thing->type().value.array.size == 0 ? thing->get<furvm::thing<>::array>().dynamic.data
|
|
||||||
//: thing->get<furvm::thing<>::array>().flat);
|
|
||||||
// break;
|
|
||||||
// case thing_type::Count: throw std::runtime_error("unreachable");
|
|
||||||
// }
|
|
||||||
throw std::runtime_error("unimplemented"); // TODO: Implement
|
|
||||||
} break;
|
} break;
|
||||||
case instruction_t::Sizeof: {
|
case instruction_t::Sizeof: {
|
||||||
auto thing = pop_thing();
|
auto thing = pop_thing();
|
||||||
@@ -249,6 +243,7 @@ void executor::step() {
|
|||||||
case thing_type::U64:
|
case thing_type::U64:
|
||||||
size->get<thing_type::u64>() = static_cast<thing_type::u64>(thing_type::primitive_size(thing->type().type));
|
size->get<thing_type::u64>() = static_cast<thing_type::u64>(thing_type::primitive_size(thing->type().type));
|
||||||
break;
|
break;
|
||||||
|
case thing_type::Ptr: size->get<thing_type::u64>() = static_cast<thing_type::u64>(sizeof(void*)); break;
|
||||||
case thing_type::Array:
|
case thing_type::Array:
|
||||||
size->get<thing_type::u64>() = static_cast<thing_type::u64>(
|
size->get<thing_type::u64>() = static_cast<thing_type::u64>(
|
||||||
(thing->type().value.array.size == 0) ? thing->get<furvm::thing<>::array>().dynamic.size
|
(thing->type().value.array.size == 0) ? thing->get<furvm::thing<>::array>().dynamic.size
|
||||||
|
|||||||
+1
-1
@@ -58,7 +58,7 @@ int main(int argc, char** argv) {
|
|||||||
0,
|
0,
|
||||||
0,
|
0,
|
||||||
0,
|
0,
|
||||||
static_cast<furvm::byte>(furvm::instruction_t::Reference),
|
static_cast<furvm::byte>(furvm::instruction_t::Pointerof),
|
||||||
static_cast<furvm::byte>(furvm::instruction_t::Call),
|
static_cast<furvm::byte>(furvm::instruction_t::Call),
|
||||||
1,
|
1,
|
||||||
0,
|
0,
|
||||||
|
|||||||
@@ -34,6 +34,7 @@ std::ostream& mod::serialize(std::ostream& os) const {
|
|||||||
case mod_type::U16:
|
case mod_type::U16:
|
||||||
case mod_type::U32:
|
case mod_type::U32:
|
||||||
case mod_type::U64: break;
|
case mod_type::U64: break;
|
||||||
|
case mod_type::Ptr: detail::serialize(os, type.value.ptr.typeId); break;
|
||||||
case mod_type::Array: {
|
case mod_type::Array: {
|
||||||
detail::serialize(os, type.value.array.typeId);
|
detail::serialize(os, type.value.array.typeId);
|
||||||
detail::serialize(os, type.value.array.size);
|
detail::serialize(os, type.value.array.size);
|
||||||
@@ -115,6 +116,11 @@ mod mod::load(std::istream& is) {
|
|||||||
case mod_type::U16:
|
case mod_type::U16:
|
||||||
case mod_type::U32:
|
case mod_type::U32:
|
||||||
case mod_type::U64: break;
|
case mod_type::U64: break;
|
||||||
|
case mod_type::Ptr: {
|
||||||
|
mod_type_id typeId = 0;
|
||||||
|
detail::load(is, typeId);
|
||||||
|
mod.emplace_type(id, typeId).dispatch();
|
||||||
|
} break;
|
||||||
case mod_type::Array: {
|
case mod_type::Array: {
|
||||||
mod_type_id typeId = 0;
|
mod_type_id typeId = 0;
|
||||||
detail::load(is, typeId);
|
detail::load(is, typeId);
|
||||||
|
|||||||
Reference in New Issue
Block a user