CHatingPython
a1e43576cc
This commit does not work and I am so down I don't even bother committing to conventional commits until I fix this mess.
746 lines
25 KiB
C++
746 lines
25 KiB
C++
#ifndef FURVM_THING_HPP
|
|
#define FURVM_THING_HPP
|
|
|
|
#include "furlang/arena.hpp"
|
|
#include "furlang/utility/hash.hpp"
|
|
#include "furvm/exceptions.hpp"
|
|
#include "furvm/fwd.hpp"
|
|
#include "furvm/thing_allocator.hpp" // IWYU pragma: keep
|
|
|
|
#include <algorithm>
|
|
#include <cstddef>
|
|
#include <cstring>
|
|
#include <functional>
|
|
#include <limits>
|
|
#include <new>
|
|
#include <stdexcept>
|
|
#include <type_traits>
|
|
#include <unordered_map>
|
|
#include <utility>
|
|
|
|
namespace furvm {
|
|
|
|
struct thing_type {
|
|
using s8 = std::int8_t;
|
|
using s16 = std::int16_t;
|
|
using s32 = std::int32_t;
|
|
using s64 = std::int64_t;
|
|
using u8 = std::uint8_t;
|
|
using u16 = std::uint16_t;
|
|
using u32 = std::uint32_t;
|
|
using u64 = std::uint64_t;
|
|
|
|
struct array {
|
|
thing_type* type;
|
|
std::size_t size;
|
|
};
|
|
|
|
enum type { // NOLINT
|
|
S8 = 0,
|
|
S16,
|
|
S32,
|
|
S64,
|
|
U8,
|
|
U16,
|
|
U32,
|
|
U64,
|
|
Ptr,
|
|
Ref,
|
|
Array,
|
|
|
|
Count,
|
|
} type;
|
|
union value {
|
|
std::nullptr_t null = nullptr;
|
|
thing_type* typeRef;
|
|
array array;
|
|
|
|
value() = default;
|
|
|
|
value(thing_type* type)
|
|
: typeRef(type) {}
|
|
|
|
value(thing_type* type, std::size_t size)
|
|
: array({}) {
|
|
array.type = type;
|
|
array.size = size;
|
|
}
|
|
} value;
|
|
|
|
static constexpr thing_type_id INVALID_ID = std::numeric_limits<thing_type_id>::max();
|
|
|
|
thing_type_id id = INVALID_ID;
|
|
|
|
bool operator==(const thing_type& other) const {
|
|
if (type != other.type) return false;
|
|
switch (type) {
|
|
case S8:
|
|
case S16:
|
|
case S32:
|
|
case S64:
|
|
case U8:
|
|
case U16:
|
|
case U32:
|
|
case U64: return true;
|
|
case Ptr:
|
|
case Ref: return *value.typeRef == *other.value.typeRef;
|
|
case Array: return *value.array.type == *other.value.array.type && value.array.size == other.value.array.size;
|
|
case Count: break;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
bool operator!=(const thing_type& other) const { return !this->operator==(other); }
|
|
|
|
static bool is_primitive(enum type type) {
|
|
switch (type) {
|
|
case S8:
|
|
case S16:
|
|
case S32:
|
|
case S64:
|
|
case U8:
|
|
case U16:
|
|
case U32:
|
|
case U64: return true;
|
|
case Ptr:
|
|
case Ref:
|
|
case Array: return false;
|
|
case Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
|
|
static std::size_t primitive_size(enum type type) {
|
|
switch (type) {
|
|
case thing_type::S8: return sizeof(s8);
|
|
case thing_type::S16: return sizeof(s16);
|
|
case thing_type::S32: return sizeof(s32);
|
|
case thing_type::S64: return sizeof(s64);
|
|
case thing_type::U8: return sizeof(u8);
|
|
case thing_type::U16: return sizeof(u16);
|
|
case thing_type::U32: return sizeof(u32);
|
|
case thing_type::U64: return sizeof(u64);
|
|
case Ptr:
|
|
case Ref:
|
|
case Array: return 0;
|
|
case Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
};
|
|
|
|
namespace detail {
|
|
|
|
struct thing_type_hash {
|
|
std::size_t operator()(const thing_type& type) const {
|
|
std::size_t seed = std::hash<decltype(type.type)>{}(type.type);
|
|
switch (type.type) {
|
|
case thing_type::S8:
|
|
case thing_type::S16:
|
|
case thing_type::S32:
|
|
case thing_type::S64:
|
|
case thing_type::U8:
|
|
case thing_type::U16:
|
|
case thing_type::U32:
|
|
case thing_type::U64: return seed;
|
|
case thing_type::Ptr:
|
|
case thing_type::Ref: return furlang::utility::hash_combine(seed, thing_type_hash{}(*type.value.typeRef));
|
|
case thing_type::Array:
|
|
seed = furlang::utility::hash_combine(seed, thing_type_hash{}(*type.value.array.type));
|
|
seed = furlang::utility::hash_combine(seed,
|
|
std::hash<decltype(type.value.array.size)>{}(type.value.array.size));
|
|
return seed;
|
|
case thing_type::Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
};
|
|
|
|
} // namespace detail
|
|
|
|
class thing_type_store {
|
|
public:
|
|
thing_type* insert(thing_type& type) {
|
|
if (auto it = m_typeMap.find(type); it != m_typeMap.end()) return m_map[type.id = it->second];
|
|
if (type.id == thing_type::INVALID_ID) type.id = m_counter++;
|
|
|
|
thing_type* ptr = m_arena.allocate<thing_type>(type);
|
|
m_map[type.id] = ptr;
|
|
m_typeMap[type] = type.id;
|
|
return ptr;
|
|
}
|
|
|
|
thing_type* insert(const thing_type& type) {
|
|
if (auto it = m_typeMap.find(type); it != m_typeMap.end()) return m_map[it->second];
|
|
|
|
thing_type_id id = m_counter++;
|
|
thing_type* ptr = m_arena.allocate<thing_type>(type);
|
|
m_map[id] = ptr;
|
|
m_typeMap[type] = id;
|
|
return ptr;
|
|
}
|
|
|
|
thing_type* at(thing_type_id id) const {
|
|
if (auto it = m_map.find(id); it != m_map.end()) return it->second;
|
|
return nullptr;
|
|
}
|
|
private:
|
|
furlang::arena m_arena;
|
|
std::unordered_map<thing_type_id, thing_type*> m_map;
|
|
std::unordered_map<thing_type, thing_type_id, detail::thing_type_hash> m_typeMap;
|
|
thing_type_id m_counter = 0;
|
|
};
|
|
|
|
template <template <typename> typename Allocator>
|
|
class thing final {
|
|
friend class executor;
|
|
public:
|
|
using allocator_type = Allocator<std::byte>; /**< Allocator type. */
|
|
public:
|
|
union array {
|
|
std::byte flat[];
|
|
struct {
|
|
std::size_t size;
|
|
std::byte* data;
|
|
} dynamic;
|
|
};
|
|
public:
|
|
/**
|
|
* @brief Constructs a thing.
|
|
*
|
|
* @param type Thing type.
|
|
* @param allocator Allocator for the thing's data.
|
|
*/
|
|
thing(const thing_type& type, const allocator_type& allocator = {})
|
|
: m_type(type), m_size(compute_size(type)), m_allocator(allocator) {
|
|
if (m_type.type == thing_type::Ref) return;
|
|
// TODO: Account for alignment
|
|
m_data = m_allocator.allocate(m_size);
|
|
std::memset(m_data, 0, m_size);
|
|
}
|
|
|
|
/**
|
|
* @brief Destructs a thing.
|
|
*/
|
|
~thing() {
|
|
if (m_type.type != thing_type::Ref && m_data != nullptr && m_size > 0) m_allocator.deallocate(m_data, m_size);
|
|
}
|
|
|
|
/**
|
|
* @brief Move constructor.
|
|
*/
|
|
thing(thing&& other) noexcept
|
|
: m_type(other.m_type), m_data(other.m_data), m_size(other.m_size), m_allocator(std::move(other.m_allocator)) {
|
|
other.m_type.type = thing_type::Count;
|
|
other.m_data = nullptr;
|
|
other.m_size = 0;
|
|
}
|
|
|
|
/**
|
|
* @brief Move constructor.
|
|
*/
|
|
thing& operator=(thing&& other) noexcept {
|
|
if (this == &other) return *this;
|
|
m_type = other.m_type;
|
|
m_data = other.m_data;
|
|
m_allocator = std::move(other.m_allocator);
|
|
other.m_type.type = thing_type::Count;
|
|
other.m_data = nullptr;
|
|
other.m_size = 0;
|
|
return *this;
|
|
}
|
|
|
|
thing(const thing&) = delete;
|
|
thing& operator=(const thing&) = delete;
|
|
public:
|
|
/**
|
|
* @brief Returns a clone of the thing.
|
|
*
|
|
* @return A clone of this thing.
|
|
*/
|
|
thing clone() const {
|
|
thing res(m_type, m_allocator);
|
|
switch (m_type.type) {
|
|
case thing_type::S8:
|
|
case thing_type::S16:
|
|
case thing_type::S32:
|
|
case thing_type::S64:
|
|
case thing_type::U8:
|
|
case thing_type::U16:
|
|
case thing_type::U32:
|
|
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::Ref: throw std::runtime_error("cannot clone references");
|
|
case thing_type::Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
public:
|
|
/**
|
|
* @brief Returns the thing's type.
|
|
*
|
|
* @return The type.
|
|
*/
|
|
constexpr thing_type type() const { return m_type; }
|
|
|
|
/**
|
|
* @brief Returns the thing's true type.
|
|
*
|
|
* If the thing is a reference, returns the referenced type.
|
|
*
|
|
* @return The true type.
|
|
*/
|
|
constexpr thing_type true_type() const { return (m_type.type == thing_type::Ref) ? *m_type.value.typeRef : m_type; }
|
|
|
|
/**
|
|
* @brief Checks if the thing is of a specified type.
|
|
*
|
|
* Compares the true type.
|
|
*
|
|
* @param type Type to compare.
|
|
* @return true if the types match.
|
|
*/
|
|
constexpr bool is(enum thing_type::type type) const { return true_type().type == type; }
|
|
public:
|
|
/**
|
|
* @brief Returns a raw data pointer.
|
|
*
|
|
* @return The data pointer.
|
|
*/
|
|
void* raw() { return m_data; }
|
|
|
|
/**
|
|
* @brief Returns a raw data pointer.
|
|
*
|
|
* @return The data pointer.
|
|
*/
|
|
const void* raw() const { return m_data; }
|
|
public:
|
|
/**
|
|
* @brief Returns the thing's value.
|
|
*
|
|
* @return The value.
|
|
*/
|
|
template <typename T>
|
|
T& get() {
|
|
if (compute_size_na(m_type) != sizeof(T)) throw bad_thing_access();
|
|
return *std::launder(reinterpret_cast<T*>(m_data));
|
|
}
|
|
|
|
/**
|
|
* @brief Returns the thing's value.
|
|
*
|
|
* @return The value.
|
|
*/
|
|
template <typename T>
|
|
const T& get() const {
|
|
if (compute_size_na(m_type) != sizeof(T)) throw bad_thing_access();
|
|
return *std::launder(reinterpret_cast<const T*>(m_data));
|
|
}
|
|
public:
|
|
/**
|
|
* @brief Returns a sum of two things.
|
|
*
|
|
* @param rhs Thing to sum with this thing (right-hand-side).
|
|
* @return The sum.
|
|
*/
|
|
thing add(const thing& rhs) const { return binary_op(rhs, std::plus<>{}); }
|
|
|
|
/**
|
|
* @brief Returns a difference of two things.
|
|
*
|
|
* @param rhs Thing to subtract from this thing (right-hand-side).
|
|
* @return The sum.
|
|
*/
|
|
thing sub(const thing& rhs) const { return binary_op(rhs, std::minus<>{}); }
|
|
|
|
/**
|
|
* @brief Returns a product of two things.
|
|
*
|
|
* @param rhs Thing to multiply with this thing (right-hand-side).
|
|
* @return The product.
|
|
*/
|
|
thing mul(const thing& rhs) const { return binary_op(rhs, std::multiplies<>{}); }
|
|
|
|
/**
|
|
* @brief Returns a quotient of two things.
|
|
*
|
|
* @param rhs Thing to divide this thing by (right-hand-side).
|
|
* @return The quotient.
|
|
*/
|
|
thing div(const thing& rhs) const { return binary_op(rhs, std::divides<>{}); }
|
|
|
|
/**
|
|
* @brief Returns a remainder of two things.
|
|
*
|
|
* @param rhs Thing to divide this thing by (right-hand-side).
|
|
* @return The remainder.
|
|
*/
|
|
thing mod(const thing& rhs) const { return binary_op(rhs, std::modulus<>{}); }
|
|
|
|
/**
|
|
* @brief Compares two things for equality.
|
|
*
|
|
* @param rhs Thing to compare this thing with (right-hand-side).
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing equals(const thing& rhs) const { return binary_op(rhs, std::equal_to<>{}); }
|
|
|
|
/**
|
|
* @brief Compares two things for inequality.
|
|
*
|
|
* @param rhs Thing to compare this thing with (right-hand-side).
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing not_equals(const thing& rhs) const { return binary_op(rhs, std::not_equal_to<>{}); }
|
|
|
|
/**
|
|
* @brief Compares if this thing is less than an another thing.
|
|
*
|
|
* @param rhs The another thing.
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing less_than(const thing& rhs) const { return binary_op(rhs, std::less<>{}); }
|
|
|
|
/**
|
|
* @brief Compares if this thing is greater than an another thing.
|
|
*
|
|
* @param rhs The another thing.
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing greater_than(const thing& rhs) const { return binary_op(rhs, std::greater<>{}); }
|
|
|
|
/**
|
|
* @brief Compares if this thing is less than or equal to an another thing.
|
|
*
|
|
* @param rhs The another thing.
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing less_equals(const thing& rhs) const { return binary_op(rhs, std::less_equal<>{}); }
|
|
|
|
/**
|
|
* @brief Compares if this thing is greater than or equal to an another thing.
|
|
*
|
|
* @param rhs The another thing.
|
|
* @return A boolean result of the comparison in a thing form.
|
|
*/
|
|
thing greater_equals(const thing& rhs) const { return binary_op(rhs, std::greater_equal<>{}); }
|
|
public:
|
|
/**
|
|
* @brief Returns a largest integer value of the thing.
|
|
*
|
|
* @return The integer value.
|
|
*/
|
|
thing_type::s64 integer() const {
|
|
switch (true_type().type) {
|
|
case thing_type::S8: return get<thing_type::s8>();
|
|
case thing_type::S16: return get<thing_type::s16>();
|
|
case thing_type::S32: return get<thing_type::s32>();
|
|
case thing_type::S64: return get<thing_type::s64>();
|
|
case thing_type::U8: return get<thing_type::u8>();
|
|
case thing_type::U16: return get<thing_type::u16>();
|
|
case thing_type::U32: return get<thing_type::u32>();
|
|
case thing_type::U64: return get<thing_type::u64>();
|
|
default: throw std::runtime_error("unreachable");
|
|
}
|
|
}
|
|
|
|
void resize(thing_type::u64 newSize) {
|
|
if (!is(thing_type::Array)) throw bad_thing_access();
|
|
if (true_type().value.array.size > 0) throw std::runtime_error("cannot resize a static array");
|
|
|
|
auto& array = get<union array>();
|
|
if (newSize < 0 || newSize == array.dynamic.size) return;
|
|
std::size_t innerSize = compute_size_na(*true_type().value.array.type);
|
|
std::byte* newData = new std::byte[innerSize * newSize];
|
|
std::memcpy(newData,
|
|
array.dynamic.data,
|
|
innerSize * std::min(static_cast<thing_type::u64>(array.dynamic.size), newSize));
|
|
array.dynamic.size = newSize;
|
|
delete[] array.dynamic.data;
|
|
array.dynamic.data = newData;
|
|
}
|
|
|
|
thing at(thing_type::u64 index) const {
|
|
if (!is(thing_type::Array)) throw bad_thing_access();
|
|
|
|
std::size_t elementSize = compute_size_na(*m_type.value.array.type);
|
|
if (m_type.value.array.size == 0) {
|
|
auto& array = get<union array>();
|
|
if (index < 0 || index >= array.dynamic.size) throw std::out_of_range("index out of range");
|
|
thing ref = { { thing_type::Ref, m_type.value.array.type }, m_allocator };
|
|
ref.m_data = array.dynamic.data + (index * elementSize);
|
|
return ref;
|
|
}
|
|
|
|
std::byte* data = reinterpret_cast<array*>(m_data)->flat;
|
|
if (index < 0 || index >= m_type.value.array.size) throw std::out_of_range("index out of range");
|
|
thing ref = { { thing_type::Ref, m_type.value.array.type }, m_allocator };
|
|
ref.m_data = data + (index * elementSize);
|
|
return ref;
|
|
}
|
|
|
|
thing_type::u64 length() const {
|
|
if (!is(thing_type::Array)) throw bad_thing_access();
|
|
return true_type().value.array.size == 0 ? get<array>().dynamic.size : true_type().value.array.size;
|
|
}
|
|
|
|
template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
|
|
T cast_to() const {
|
|
return visit_primitive([](auto value) { return static_cast<T>(value); });
|
|
}
|
|
|
|
/**
|
|
* @brief Changes reference thing's referenced thing.
|
|
*
|
|
* Yes.
|
|
*
|
|
* @param thing Thing.
|
|
*/
|
|
void reference(const thing& thing) {
|
|
if (m_type.type != thing_type::Ref || *m_type.value.typeRef != thing.type()) throw bad_thing_access();
|
|
m_data = thing.m_data;
|
|
}
|
|
|
|
/**
|
|
* @brief Self-explainatory.
|
|
*
|
|
* TODO: Document
|
|
*/
|
|
void assign(thing&& thing) {
|
|
class thing rhs = std::move(thing);
|
|
if (true_type() != rhs.true_type()) throw std::runtime_error("thing type mismatch");
|
|
// TODO: Move this to another function
|
|
switch (true_type().type) {
|
|
case thing_type::S8:
|
|
case thing_type::S16:
|
|
case thing_type::S32:
|
|
case thing_type::S64:
|
|
case thing_type::U8:
|
|
case thing_type::U16:
|
|
case thing_type::U32:
|
|
case thing_type::U64: std::memcpy(m_data, rhs.m_data, m_size); return;
|
|
case thing_type::Ptr:
|
|
case thing_type::Ref:
|
|
case thing_type::Array: throw std::runtime_error("unimplemented");
|
|
case thing_type::Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
private:
|
|
static void copy_list(const thing_type& arrayType, array& dst, const array& src) {
|
|
if (arrayType.type != thing_type::Array || arrayType.value.array.type == nullptr)
|
|
throw std::runtime_error("invalid type");
|
|
|
|
const auto& innerType = *arrayType.value.array.type;
|
|
std::size_t elementSize = compute_size_na(innerType);
|
|
|
|
std::byte* data = nullptr;
|
|
const std::byte* srcData = nullptr;
|
|
std::size_t size = 0;
|
|
if (arrayType.value.array.size == 0) {
|
|
size = dst.dynamic.size = src.dynamic.size;
|
|
if (dst.dynamic.size < 0) {
|
|
dst.dynamic.data = nullptr;
|
|
return;
|
|
}
|
|
|
|
srcData = src.dynamic.data;
|
|
data = dst.dynamic.data = new std::byte[dst.dynamic.size];
|
|
} else {
|
|
data = dst.flat;
|
|
srcData = src.flat;
|
|
size = arrayType.value.array.size;
|
|
}
|
|
|
|
switch (innerType.type) {
|
|
case thing_type::S8:
|
|
case thing_type::S16:
|
|
case thing_type::S32:
|
|
case thing_type::S64:
|
|
case thing_type::U8:
|
|
case thing_type::U16:
|
|
case thing_type::U32:
|
|
case thing_type::U64:
|
|
case thing_type::Ptr:
|
|
case thing_type::Ref: std::memcpy(dst.flat, src.flat, size); return;
|
|
case thing_type::Array:
|
|
for (std::size_t i = 0; i < size; ++i) {
|
|
copy_list(*innerType.value.array.type,
|
|
*std::launder(reinterpret_cast<array*>(data + (i * elementSize))),
|
|
*std::launder(reinterpret_cast<const array*>(srcData + (i * elementSize))));
|
|
}
|
|
return;
|
|
case thing_type::Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
private:
|
|
static std::size_t compute_size_na(const thing_type& type) {
|
|
switch (type.type) {
|
|
case thing_type::S8: return sizeof(thing_type::s8);
|
|
case thing_type::S16: return sizeof(thing_type::s16);
|
|
case thing_type::S32: return sizeof(thing_type::s32);
|
|
case thing_type::S64: return sizeof(thing_type::s64);
|
|
case thing_type::U8: return sizeof(thing_type::u8);
|
|
case thing_type::U16: return sizeof(thing_type::u16);
|
|
case thing_type::U32: return sizeof(thing_type::u32);
|
|
case thing_type::U64: return sizeof(thing_type::u64);
|
|
case thing_type::Ptr: return sizeof(void*);
|
|
case thing_type::Ref: return compute_size_na(*type.value.typeRef);
|
|
case thing_type::Array:
|
|
return type.value.array.size == 0 ? sizeof(array)
|
|
: compute_size_na(*type.value.array.type) * type.value.array.size;
|
|
case thing_type::Count: break;
|
|
}
|
|
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
|
|
// NOTE: Align to 4 bytes
|
|
static std::size_t compute_size(const thing_type& type) { return (compute_size_na(type) + 3) & ~3; }
|
|
private:
|
|
template <typename Func>
|
|
decltype(auto) visit_primitive(Func&& func) const {
|
|
switch (true_type().type) {
|
|
case thing_type::S8: return std::forward<Func>(func)(get<thing_type::s8>());
|
|
case thing_type::S16: return std::forward<Func>(func)(get<thing_type::s16>());
|
|
case thing_type::S32: return std::forward<Func>(func)(get<thing_type::s32>());
|
|
case thing_type::S64: return std::forward<Func>(func)(get<thing_type::s64>());
|
|
case thing_type::U8: return std::forward<Func>(func)(get<thing_type::u8>());
|
|
case thing_type::U16: return std::forward<Func>(func)(get<thing_type::u16>());
|
|
case thing_type::U32: return std::forward<Func>(func)(get<thing_type::u32>());
|
|
case thing_type::U64: return std::forward<Func>(func)(get<thing_type::u64>());
|
|
default: throw bad_thing_access();
|
|
}
|
|
}
|
|
|
|
template <typename Op>
|
|
thing binary_op(const thing& rhs, const Op& op) const {
|
|
if (thing_type::is_primitive(true_type().type) && thing_type::is_primitive(true_type().type)) {
|
|
static constexpr enum thing_type::type promotions[8 * 8] = {
|
|
// S8
|
|
thing_type::S8,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::S64,
|
|
thing_type::S16,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::U64,
|
|
// S16
|
|
thing_type::S16,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::S64,
|
|
thing_type::S16,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::U64,
|
|
// S32
|
|
thing_type::S32,
|
|
thing_type::S32,
|
|
thing_type::S32,
|
|
thing_type::S64,
|
|
thing_type::S32,
|
|
thing_type::S32,
|
|
thing_type::U32,
|
|
thing_type::U64,
|
|
// S64
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::S64,
|
|
thing_type::U64,
|
|
// U8
|
|
thing_type::S16,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::S64,
|
|
thing_type::U8,
|
|
thing_type::U16,
|
|
thing_type::U32,
|
|
thing_type::U64,
|
|
// U16
|
|
thing_type::S16,
|
|
thing_type::S16,
|
|
thing_type::S32,
|
|
thing_type::S64,
|
|
thing_type::U16,
|
|
thing_type::U16,
|
|
thing_type::U32,
|
|
thing_type::U64,
|
|
// U32
|
|
thing_type::S32,
|
|
thing_type::S32,
|
|
thing_type::U32,
|
|
thing_type::S64,
|
|
thing_type::U32,
|
|
thing_type::U32,
|
|
thing_type::U32,
|
|
thing_type::U64,
|
|
// U64
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
thing_type::U64,
|
|
};
|
|
|
|
enum thing_type::type resultType = promotions[true_type().type + (rhs.true_type().type * 8)];
|
|
|
|
thing res = { thing_type{ resultType }, m_allocator };
|
|
switch (resultType) {
|
|
case thing_type::S8:
|
|
res.get<thing_type::s8>() = Op{}(cast_to<thing_type::s8>(), rhs.cast_to<thing_type::s8>());
|
|
return res;
|
|
case thing_type::S16:
|
|
res.get<thing_type::s16>() = Op{}(cast_to<thing_type::s16>(), rhs.cast_to<thing_type::s16>());
|
|
return res;
|
|
case thing_type::S32:
|
|
res.get<thing_type::s32>() = Op{}(cast_to<thing_type::s32>(), rhs.cast_to<thing_type::s32>());
|
|
return res;
|
|
case thing_type::S64:
|
|
res.get<thing_type::s64>() = Op{}(cast_to<thing_type::s64>(), rhs.cast_to<thing_type::s64>());
|
|
return res;
|
|
case thing_type::U8:
|
|
res.get<thing_type::u8>() = Op{}(cast_to<thing_type::u8>(), rhs.cast_to<thing_type::u8>());
|
|
return res;
|
|
case thing_type::U16:
|
|
res.get<thing_type::u16>() = Op{}(cast_to<thing_type::u16>(), rhs.cast_to<thing_type::u16>());
|
|
return res;
|
|
case thing_type::U32:
|
|
res.get<thing_type::u32>() = Op{}(cast_to<thing_type::u32>(), rhs.cast_to<thing_type::u32>());
|
|
return res;
|
|
case thing_type::U64:
|
|
res.get<thing_type::u64>() = Op{}(cast_to<thing_type::u64>(), rhs.cast_to<thing_type::u64>());
|
|
return res;
|
|
case thing_type::Ptr: // TODO: Pointer arithmetics
|
|
case thing_type::Ref:
|
|
case thing_type::Array:
|
|
case thing_type::Count: break;
|
|
}
|
|
throw std::runtime_error("unreachable");
|
|
}
|
|
|
|
throw std::runtime_error("unexpected operation");
|
|
}
|
|
private:
|
|
thing_type m_type;
|
|
std::size_t m_size;
|
|
std::byte* m_data;
|
|
|
|
allocator_type m_allocator;
|
|
};
|
|
|
|
} // namespace furvm
|
|
|
|
#endif // FURVM_THING_HPP
|