2024-07-02 07:49:05 -05:00
|
|
|
use {
|
2024-07-08 00:22:53 -05:00
|
|
|
self::reg::{RET_ADDR, STACK_PTR, ZERO},
|
2024-07-02 07:49:05 -05:00
|
|
|
crate::{
|
|
|
|
ident::{self, Ident},
|
|
|
|
instrs::{self, *},
|
|
|
|
lexer::TokenKind,
|
|
|
|
log,
|
2024-07-08 00:22:53 -05:00
|
|
|
parser::{self, find_symbol, idfl, CtorField, Expr, ExprRef, FileId, Pos},
|
2024-07-02 07:49:05 -05:00
|
|
|
HashMap,
|
|
|
|
},
|
2024-07-19 05:00:55 -05:00
|
|
|
core::panic,
|
2024-07-02 07:49:05 -05:00
|
|
|
std::{ops::Range, rc::Rc},
|
2024-05-17 12:53:59 -05:00
|
|
|
};
|
2024-05-12 04:52:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
type Offset = u32;
|
|
|
|
type Size = u32;
|
2024-07-08 11:08:58 -05:00
|
|
|
type ArrayLen = u32;
|
2024-05-12 04:52:58 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn load_value(ptr: *const u8, size: u32) -> u64 {
|
|
|
|
let mut dst = [0u8; 8];
|
|
|
|
dst[..size as usize].copy_from_slice(unsafe { std::slice::from_raw_parts(ptr, size as usize) });
|
|
|
|
u64::from_ne_bytes(dst)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ensure_loaded(value: CtValue, derefed: bool, size: u32) -> u64 {
|
|
|
|
if derefed {
|
|
|
|
load_value(value.0 as *const u8, size)
|
|
|
|
} else {
|
|
|
|
value.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
mod stack {
|
2024-07-08 00:22:53 -05:00
|
|
|
use {
|
|
|
|
super::{Offset, Size},
|
|
|
|
std::num::NonZeroU32,
|
|
|
|
};
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Debug, PartialEq, Eq)]
|
|
|
|
pub struct Id(NonZeroU32);
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Id {
|
|
|
|
fn index(&self) -> usize {
|
|
|
|
(self.0.get() as usize - 1) & !(1 << 31)
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn repr(&self) -> u32 {
|
|
|
|
self.0.get()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn as_ref(&self) -> Self {
|
|
|
|
Self(unsafe { NonZeroU32::new_unchecked(self.0.get() | 1 << 31) })
|
|
|
|
}
|
2024-05-12 04:52:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn is_ref(&self) -> bool {
|
|
|
|
self.0.get() & (1 << 31) != 0
|
|
|
|
}
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Drop for Id {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
if !std::thread::panicking() && !self.is_ref() {
|
|
|
|
unreachable!("stack id leaked: {:?}", self.0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2024-05-14 08:03:36 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(PartialEq)]
|
|
|
|
struct Meta {
|
2024-07-08 00:22:53 -05:00
|
|
|
size: Size,
|
2024-06-23 02:09:33 -05:00
|
|
|
offset: Offset,
|
2024-07-08 00:22:53 -05:00
|
|
|
rc: u32,
|
2024-05-14 08:03:36 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
pub struct Alloc {
|
|
|
|
height: Size,
|
|
|
|
pub max_height: Size,
|
|
|
|
meta: Vec<Meta>,
|
2024-05-14 08:03:36 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Alloc {
|
|
|
|
pub fn allocate(&mut self, size: Size) -> Id {
|
2024-07-08 00:22:53 -05:00
|
|
|
self.meta.push(Meta { size, offset: 0, rc: 1 });
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
self.height += size;
|
|
|
|
self.max_height = self.max_height.max(self.height);
|
|
|
|
|
|
|
|
Id(unsafe { NonZeroU32::new_unchecked(self.meta.len() as u32) })
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn free(&mut self, id: Id) {
|
|
|
|
if id.is_ref() {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
let meta = &mut self.meta[id.index()];
|
|
|
|
std::mem::forget(id);
|
|
|
|
meta.rc -= 1;
|
|
|
|
if meta.rc != 0 {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
meta.offset = self.height;
|
|
|
|
self.height -= meta.size;
|
|
|
|
}
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
pub fn dup_id(&mut self, id: &Id) -> Id {
|
|
|
|
if id.is_ref() {
|
|
|
|
return id.as_ref();
|
|
|
|
}
|
|
|
|
|
|
|
|
self.meta[id.index()].rc += 1;
|
|
|
|
Id(id.0)
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn finalize_leaked(&mut self) {
|
|
|
|
for meta in self.meta.iter_mut().filter(|m| m.rc > 0) {
|
|
|
|
meta.offset = self.height;
|
|
|
|
self.height -= meta.size;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn clear(&mut self) {
|
|
|
|
self.height = 0;
|
|
|
|
self.max_height = 0;
|
|
|
|
self.meta.clear();
|
|
|
|
}
|
2024-05-14 08:03:36 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn final_offset(&self, id: u32, extra_offset: Offset) -> Offset {
|
|
|
|
debug_assert_ne!(id, 0);
|
|
|
|
(self.max_height - self.meta[(id as usize - 1) & !(1 << 31)].offset) + extra_offset
|
|
|
|
}
|
2024-05-14 08:03:36 -05:00
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
mod reg {
|
|
|
|
pub const STACK_PTR: Reg = 254;
|
|
|
|
pub const ZERO: Reg = 0;
|
|
|
|
pub const RET: Reg = 1;
|
|
|
|
pub const RET_ADDR: Reg = 31;
|
|
|
|
|
|
|
|
type Reg = u8;
|
|
|
|
|
|
|
|
#[derive(Default, Debug, PartialEq, Eq)]
|
|
|
|
pub struct Id(Reg, bool);
|
|
|
|
|
|
|
|
impl Id {
|
|
|
|
pub const RET: Self = Id(RET, false);
|
|
|
|
|
|
|
|
pub fn get(&self) -> Reg {
|
|
|
|
self.0
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn as_ref(&self) -> Self {
|
|
|
|
Self(self.0, false)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_ref(&self) -> bool {
|
|
|
|
!self.1
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl From<u8> for Id {
|
|
|
|
fn from(value: u8) -> Self {
|
|
|
|
Self(value, false)
|
|
|
|
}
|
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Drop for Id {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
if !std::thread::panicking() && self.1 {
|
|
|
|
unreachable!("reg id leaked: {:?}", self.0);
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default, PartialEq, Eq)]
|
|
|
|
pub struct Alloc {
|
2024-07-08 00:22:53 -05:00
|
|
|
free: Vec<Reg>,
|
2024-06-23 02:09:33 -05:00
|
|
|
max_used: Reg,
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Alloc {
|
|
|
|
pub fn init(&mut self) {
|
|
|
|
self.free.clear();
|
|
|
|
self.free.extend((32..=253).rev());
|
|
|
|
self.max_used = RET_ADDR;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn allocate(&mut self) -> Id {
|
|
|
|
let reg = self.free.pop().expect("TODO: we need to spill");
|
|
|
|
self.max_used = self.max_used.max(reg);
|
|
|
|
Id(reg, true)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn free(&mut self, reg: Id) {
|
|
|
|
if reg.1 {
|
|
|
|
self.free.push(reg.0);
|
|
|
|
std::mem::forget(reg);
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn pushed_size(&self) -> usize {
|
|
|
|
((self.max_used as usize).saturating_sub(RET_ADDR as usize) + 1) * 8
|
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub mod ty {
|
2024-07-08 00:22:53 -05:00
|
|
|
use {
|
|
|
|
crate::{
|
2024-07-08 11:08:58 -05:00
|
|
|
codegen::ArrayLen,
|
2024-07-08 00:22:53 -05:00
|
|
|
lexer::TokenKind,
|
|
|
|
parser::{self, Expr},
|
|
|
|
},
|
|
|
|
std::{num::NonZeroU32, ops::Range},
|
2024-06-23 02:09:33 -05:00
|
|
|
};
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub type Builtin = u32;
|
|
|
|
pub type Struct = u32;
|
|
|
|
pub type Ptr = u32;
|
|
|
|
pub type Func = u32;
|
|
|
|
pub type Global = u32;
|
|
|
|
pub type Module = u32;
|
2024-06-24 10:26:00 -05:00
|
|
|
pub type Param = u32;
|
2024-07-08 11:08:58 -05:00
|
|
|
pub type Slice = u32;
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
pub struct Tuple(pub u32);
|
|
|
|
|
|
|
|
impl Tuple {
|
|
|
|
const LEN_BITS: u32 = 5;
|
|
|
|
const LEN_MASK: usize = Self::MAX_LEN - 1;
|
2024-07-08 00:22:53 -05:00
|
|
|
const MAX_LEN: usize = 1 << Self::LEN_BITS;
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
pub fn new(pos: usize, len: usize) -> Option<Self> {
|
|
|
|
if len >= Self::MAX_LEN {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
Some(Self((pos << Self::LEN_BITS | len) as u32))
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn view(self, slice: &[Id]) -> &[Id] {
|
2024-06-24 10:26:00 -05:00
|
|
|
&slice[self.0 as usize >> Self::LEN_BITS..][..self.len()]
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn range(self) -> Range<usize> {
|
|
|
|
let start = self.0 as usize >> Self::LEN_BITS;
|
|
|
|
start..start + self.len()
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn len(self) -> usize {
|
|
|
|
self.0 as usize & Self::LEN_MASK
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_empty(self) -> bool {
|
|
|
|
self.0 == 0
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn empty() -> Self {
|
|
|
|
Self(0)
|
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
|
|
|
|
pub fn repr(&self) -> u32 {
|
|
|
|
self.0
|
|
|
|
}
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug)]
|
|
|
|
pub struct Id(NonZeroU32);
|
|
|
|
|
|
|
|
impl Default for Id {
|
|
|
|
fn default() -> Self {
|
|
|
|
Self(unsafe { NonZeroU32::new_unchecked(UNDECLARED) })
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Id {
|
|
|
|
pub const fn from_bt(bt: u32) -> Self {
|
|
|
|
Self(unsafe { NonZeroU32::new_unchecked(bt) })
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_signed(self) -> bool {
|
|
|
|
(I8..=INT).contains(&self.repr())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_unsigned(self) -> bool {
|
|
|
|
(U8..=UINT).contains(&self.repr())
|
|
|
|
}
|
|
|
|
|
2024-07-07 05:15:48 -05:00
|
|
|
pub fn is_integer(self) -> bool {
|
|
|
|
(U8..=INT).contains(&self.repr())
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn strip_pointer(self) -> Self {
|
|
|
|
match self.expand() {
|
2024-06-24 10:26:00 -05:00
|
|
|
Kind::Ptr(_) => Kind::Builtin(UINT).compress(),
|
2024-06-23 02:09:33 -05:00
|
|
|
_ => self,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_pointer(self) -> bool {
|
|
|
|
matches!(Kind::from_ty(self), Kind::Ptr(_))
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn try_upcast(self, ob: Self) -> Option<Self> {
|
|
|
|
let (oa, ob) = (Self(self.0.min(ob.0)), Self(self.0.max(ob.0)));
|
|
|
|
let (a, b) = (oa.strip_pointer(), ob.strip_pointer());
|
|
|
|
Some(match () {
|
|
|
|
_ if oa == ob => oa,
|
2024-07-19 05:00:55 -05:00
|
|
|
_ if oa.is_pointer() && ob.is_pointer() => return None,
|
2024-06-23 02:09:33 -05:00
|
|
|
_ if a.is_signed() && b.is_signed() || a.is_unsigned() && b.is_unsigned() => ob,
|
|
|
|
_ if a.is_unsigned() && b.is_signed() && a.repr() - U8 < b.repr() - I8 => ob,
|
2024-07-07 05:15:48 -05:00
|
|
|
_ if oa.is_integer() && ob.is_pointer() => ob,
|
2024-06-23 02:09:33 -05:00
|
|
|
_ => return None,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn expand(self) -> Kind {
|
|
|
|
Kind::from_ty(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub const fn repr(self) -> u32 {
|
|
|
|
self.0.get()
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
impl From<u64> for Id {
|
|
|
|
fn from(id: u64) -> Self {
|
|
|
|
Self(unsafe { NonZeroU32::new_unchecked(id as _) })
|
2024-06-24 10:26:00 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl From<u32> for Id {
|
|
|
|
fn from(id: u32) -> Self {
|
2024-06-24 10:26:00 -05:00
|
|
|
Kind::Builtin(id).compress()
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
|
2024-05-20 07:11:58 -05:00
|
|
|
const fn array_to_lower_case<const N: usize>(array: [u8; N]) -> [u8; N] {
|
|
|
|
let mut result = [0; N];
|
|
|
|
let mut i = 0;
|
|
|
|
while i < N {
|
|
|
|
result[i] = array[i].to_ascii_lowercase();
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
result
|
|
|
|
}
|
|
|
|
// const string to lower case
|
|
|
|
|
2024-05-11 15:22:08 -05:00
|
|
|
macro_rules! builtin_type {
|
2024-05-20 07:11:58 -05:00
|
|
|
($($name:ident;)*) => {
|
2024-06-23 02:09:33 -05:00
|
|
|
$(pub const $name: Builtin = ${index(0)} + 1;)*
|
2024-05-20 07:11:58 -05:00
|
|
|
|
|
|
|
mod __lc_names {
|
|
|
|
use super::*;
|
|
|
|
$(pub const $name: &[u8] = &array_to_lower_case(unsafe {
|
|
|
|
*(stringify!($name).as_ptr() as *const [u8; stringify!($name).len()]) });)*
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn from_str(name: &str) -> Option<Builtin> {
|
2024-05-20 07:11:58 -05:00
|
|
|
match name.as_bytes() {
|
|
|
|
$(__lc_names::$name => Some($name),)*
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn to_str(ty: Builtin) -> &'static str {
|
2024-05-20 07:11:58 -05:00
|
|
|
match ty {
|
2024-06-23 02:09:33 -05:00
|
|
|
$($name => unsafe { std::str::from_utf8_unchecked(__lc_names::$name) },)*
|
2024-05-20 07:11:58 -05:00
|
|
|
v => unreachable!("invalid type: {}", v),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
2024-05-11 15:22:08 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
builtin_type! {
|
2024-05-19 11:20:42 -05:00
|
|
|
UNDECLARED;
|
2024-05-12 07:56:59 -05:00
|
|
|
NEVER;
|
2024-05-13 08:24:48 -05:00
|
|
|
VOID;
|
2024-05-20 07:11:58 -05:00
|
|
|
TYPE;
|
2024-05-13 08:24:48 -05:00
|
|
|
BOOL;
|
2024-05-12 15:40:28 -05:00
|
|
|
U8;
|
2024-05-13 06:36:29 -05:00
|
|
|
U16;
|
|
|
|
U32;
|
|
|
|
UINT;
|
2024-05-13 08:24:48 -05:00
|
|
|
I8;
|
|
|
|
I16;
|
|
|
|
I32;
|
|
|
|
INT;
|
2024-05-11 15:22:08 -05:00
|
|
|
}
|
2024-05-13 06:36:29 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
macro_rules! type_kind {
|
|
|
|
($(#[$meta:meta])* $vis:vis enum $name:ident {$( $variant:ident, )*}) => {
|
|
|
|
$(#[$meta])*
|
|
|
|
$vis enum $name {
|
|
|
|
$($variant($variant),)*
|
|
|
|
}
|
|
|
|
|
|
|
|
impl $name {
|
|
|
|
const FLAG_BITS: u32 = (${count($variant)} as u32).next_power_of_two().ilog2();
|
|
|
|
const FLAG_OFFSET: u32 = std::mem::size_of::<Id>() as u32 * 8 - Self::FLAG_BITS;
|
|
|
|
const INDEX_MASK: u32 = (1 << (32 - Self::FLAG_BITS)) - 1;
|
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
$vis fn from_ty(ty: Id) -> Self {
|
2024-06-23 02:09:33 -05:00
|
|
|
let (flag, index) = (ty.repr() >> Self::FLAG_OFFSET, ty.repr() & Self::INDEX_MASK);
|
|
|
|
match flag {
|
|
|
|
$(${index(0)} => Self::$variant(index),)*
|
2024-07-06 16:02:04 -05:00
|
|
|
i => unreachable!("{i}"),
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
$vis const fn compress(self) -> Id {
|
|
|
|
let (index, flag) = match self {
|
|
|
|
$(Self::$variant(index) => (index, ${index(0)}),)*
|
|
|
|
};
|
|
|
|
Id(unsafe { NonZeroU32::new_unchecked((flag << Self::FLAG_OFFSET) | index) })
|
|
|
|
}
|
2024-05-13 06:36:29 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
$vis const fn inner(self) -> u32 {
|
|
|
|
match self {
|
|
|
|
$(Self::$variant(index) => index,)*
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
2024-05-13 06:36:29 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
type_kind! {
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
|
|
pub enum Kind {
|
|
|
|
Builtin,
|
|
|
|
Struct,
|
|
|
|
Ptr,
|
|
|
|
Func,
|
|
|
|
Global,
|
|
|
|
Module,
|
2024-07-08 11:08:58 -05:00
|
|
|
Slice,
|
2024-05-13 06:36:29 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Default for Kind {
|
|
|
|
fn default() -> Self {
|
|
|
|
Self::Builtin(UNDECLARED)
|
|
|
|
}
|
2024-05-13 07:23:19 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub struct Display<'a> {
|
2024-07-08 00:22:53 -05:00
|
|
|
tys: &'a super::Types,
|
2024-06-23 02:09:33 -05:00
|
|
|
files: &'a [parser::Ast],
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: Id,
|
2024-05-13 06:36:29 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl<'a> Display<'a> {
|
|
|
|
pub(super) fn new(tys: &'a super::Types, files: &'a [parser::Ast], ty: Id) -> Self {
|
|
|
|
Self { tys, files, ty }
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn rety(&self, ty: Id) -> Self {
|
|
|
|
Self::new(self.tys, self.files, ty)
|
|
|
|
}
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl<'a> std::fmt::Display for Display<'a> {
|
|
|
|
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
|
|
use Kind as TK;
|
|
|
|
match TK::from_ty(self.ty) {
|
|
|
|
TK::Module(idx) => write!(f, "module{}", idx),
|
|
|
|
TK::Builtin(ty) => write!(f, "{}", to_str(ty)),
|
|
|
|
TK::Ptr(ty) => {
|
|
|
|
write!(f, "^{}", self.rety(self.tys.ptrs[ty as usize].base))
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
_ if let Some((key, _)) = self
|
|
|
|
.tys
|
|
|
|
.syms
|
|
|
|
.iter()
|
2024-07-08 11:08:58 -05:00
|
|
|
.find(|(sym, &ty)| sym.file < self.files.len() as u32 && ty == self.ty)
|
2024-06-23 02:09:33 -05:00
|
|
|
&& let Some(name) = self.files[key.file as usize].exprs().iter().find_map(
|
|
|
|
|expr| match expr {
|
|
|
|
Expr::BinOp {
|
|
|
|
left: &Expr::Ident { name, id, .. },
|
|
|
|
op: TokenKind::Decl,
|
|
|
|
..
|
|
|
|
} if id == key.ident => Some(name),
|
|
|
|
_ => None,
|
|
|
|
},
|
|
|
|
) =>
|
|
|
|
{
|
|
|
|
write!(f, "{name}")
|
|
|
|
}
|
|
|
|
TK::Struct(idx) => {
|
|
|
|
let record = &self.tys.structs[idx as usize];
|
|
|
|
write!(f, "{{")?;
|
|
|
|
for (i, &super::Field { ref name, ty }) in record.fields.iter().enumerate() {
|
|
|
|
if i != 0 {
|
|
|
|
write!(f, ", ")?;
|
|
|
|
}
|
|
|
|
write!(f, "{name}: {}", self.rety(ty))?;
|
|
|
|
}
|
|
|
|
write!(f, "}}")
|
|
|
|
}
|
|
|
|
TK::Func(idx) => write!(f, "fn{idx}"),
|
|
|
|
TK::Global(idx) => write!(f, "global{idx}"),
|
2024-07-08 11:08:58 -05:00
|
|
|
TK::Slice(idx) => {
|
|
|
|
let array = self.tys.arrays[idx as usize];
|
|
|
|
match array.len {
|
|
|
|
ArrayLen::MAX => write!(f, "[{}]", self.rety(array.ty)),
|
|
|
|
len => write!(f, "[{}; {len}]", self.rety(array.ty)),
|
|
|
|
}
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Clone, Copy, Debug)]
|
|
|
|
struct Reloc {
|
2024-07-08 00:22:53 -05:00
|
|
|
offset: Offset,
|
2024-06-23 02:09:33 -05:00
|
|
|
sub_offset: u8,
|
2024-07-08 00:22:53 -05:00
|
|
|
width: u8,
|
2024-07-06 16:02:04 -05:00
|
|
|
#[cfg(debug_assertions)]
|
2024-07-08 00:22:53 -05:00
|
|
|
shifted: bool,
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-05-12 04:52:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Reloc {
|
|
|
|
fn new(offset: u32, sub_offset: u8, width: u8) -> Self {
|
|
|
|
Self {
|
|
|
|
offset,
|
|
|
|
sub_offset,
|
|
|
|
width,
|
2024-07-06 16:02:04 -05:00
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
shifted: false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn shifted(offset: u32, sub_offset: u8, width: u8) -> Self {
|
|
|
|
Self {
|
|
|
|
offset,
|
|
|
|
sub_offset,
|
|
|
|
width,
|
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
shifted: true,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn apply_stack_offset(&self, code: &mut [u8], stack: &stack::Alloc) {
|
2024-06-24 10:26:00 -05:00
|
|
|
let bytes = &code[self.offset as usize + self.sub_offset as usize..][..self.width as usize];
|
2024-06-23 02:09:33 -05:00
|
|
|
let (id, off) = Self::unpack_srel(u64::from_ne_bytes(bytes.try_into().unwrap()));
|
|
|
|
self.write_offset(code, stack.final_offset(id, off) as i64);
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn pack_srel(id: &stack::Id, off: u32) -> u64 {
|
|
|
|
((id.repr() as u64) << 32) | (off as u64)
|
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn unpack_srel(id: u64) -> (u32, u32) {
|
|
|
|
((id >> 32) as u32, id as u32)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn apply_jump(&self, code: &mut [u8], to: u32) {
|
|
|
|
let offset = to as i64 - self.offset as i64;
|
|
|
|
self.write_offset(code, offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn write_offset(&self, code: &mut [u8], offset: i64) {
|
2024-07-06 16:02:04 -05:00
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
assert!(self.shifted);
|
2024-06-23 02:09:33 -05:00
|
|
|
let bytes = offset.to_ne_bytes();
|
2024-07-06 16:02:04 -05:00
|
|
|
let slice = &mut code[self.offset as usize + self.sub_offset as usize..];
|
|
|
|
slice[..self.width as usize].copy_from_slice(&bytes[..self.width as usize]);
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Value {
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: ty::Id,
|
2024-06-23 02:09:33 -05:00
|
|
|
loc: Loc,
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Value {
|
|
|
|
fn new(ty: impl Into<ty::Id>, loc: impl Into<Loc>) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { ty: ty.into(), loc: loc.into() }
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn void() -> Self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self { ty: ty::VOID.into(), loc: Loc::ct(0) }
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn imm(value: u64) -> Self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self { ty: ty::UINT.into(), loc: Loc::ct(value) }
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn ty(ty: ty::Id) -> Self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self { ty: ty::TYPE.into(), loc: Loc::ct(ty.repr() as u64) }
|
2024-05-13 06:36:29 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
enum LocCow<'a> {
|
|
|
|
Ref(&'a Loc),
|
|
|
|
Owned(Loc),
|
|
|
|
}
|
2024-05-13 06:36:29 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl<'a> LocCow<'a> {
|
|
|
|
fn as_ref(&self) -> &Loc {
|
|
|
|
match self {
|
|
|
|
Self::Ref(value) => value,
|
|
|
|
Self::Owned(value) => value,
|
2024-05-13 06:36:29 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl<'a> From<&'a Loc> for LocCow<'a> {
|
|
|
|
fn from(value: &'a Loc) -> Self {
|
|
|
|
Self::Ref(value)
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl<'a> From<Loc> for LocCow<'a> {
|
|
|
|
fn from(value: Loc) -> Self {
|
|
|
|
Self::Owned(value)
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
#[repr(packed)]
|
|
|
|
#[derive(Debug, PartialEq, Eq, Clone, Copy)]
|
|
|
|
struct CtValue(u64);
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Debug, PartialEq, Eq)]
|
2024-07-19 05:00:55 -05:00
|
|
|
enum Loc {
|
2024-07-08 00:22:53 -05:00
|
|
|
Rt { derefed: bool, reg: reg::Id, stack: Option<stack::Id>, offset: Offset },
|
2024-07-19 05:00:55 -05:00
|
|
|
Ct { derefed: bool, value: CtValue },
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Loc {
|
|
|
|
fn stack(stack: stack::Id) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self::Rt { stack: Some(stack), reg: reg::STACK_PTR.into(), derefed: true, offset: 0 }
|
2024-05-10 15:54:12 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn reg(reg: impl Into<reg::Id>) -> Self {
|
|
|
|
let reg = reg.into();
|
|
|
|
assert!(reg.get() != 0);
|
2024-07-08 00:22:53 -05:00
|
|
|
Self::Rt { derefed: false, reg, stack: None, offset: 0 }
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn ct(value: u64) -> Self {
|
|
|
|
Self::Ct { value: CtValue(value), derefed: false }
|
2024-07-06 16:02:04 -05:00
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn ct_ptr(value: u64) -> Self {
|
|
|
|
Self::Ct { value: CtValue(value), derefed: true }
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn ty(ty: ty::Id) -> Self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self::ct(ty.repr() as _)
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn offset(mut self, offset: u32) -> Self {
|
|
|
|
match &mut self {
|
|
|
|
Self::Rt { offset: off, .. } => *off += offset,
|
2024-07-19 05:00:55 -05:00
|
|
|
Self::Ct { derefed: false, value } => value.0 += offset as u64,
|
2024-06-23 02:09:33 -05:00
|
|
|
_ => unreachable!("offseting constant"),
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
self
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn as_ref(&self) -> Self {
|
|
|
|
match *self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Loc::Rt { derefed, ref reg, ref stack, offset } => Loc::Rt {
|
2024-06-23 02:09:33 -05:00
|
|
|
derefed,
|
|
|
|
reg: reg.as_ref(),
|
|
|
|
stack: stack.as_ref().map(stack::Id::as_ref),
|
|
|
|
offset,
|
|
|
|
},
|
2024-07-19 05:00:55 -05:00
|
|
|
Loc::Ct { value, derefed } => Self::Ct { derefed, value },
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn into_derefed(mut self) -> Self {
|
|
|
|
match &mut self {
|
|
|
|
Self::Rt { derefed, .. } => *derefed = true,
|
2024-06-24 10:26:00 -05:00
|
|
|
val => unreachable!("{val:?}"),
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
self
|
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn assert_valid(&self) {
|
|
|
|
assert!(!matches!(self, Self::Rt { reg, .. } if reg.get() == 0));
|
2024-05-16 05:42:11 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn take_owned(&mut self) -> Option<Self> {
|
|
|
|
if self.is_ref() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
Some(std::mem::replace(self, self.as_ref()))
|
2024-05-10 08:29:11 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn is_ref(&self) -> bool {
|
|
|
|
matches!(self, Self::Rt { reg, stack, .. } if reg.is_ref() && stack.as_ref().map_or(true, stack::Id::is_ref))
|
2024-05-10 08:29:11 -05:00
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
|
|
|
|
fn to_ty(&self) -> Option<ty::Id> {
|
|
|
|
match *self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self::Ct { derefed: false, value } => Some(ty::Id::from(value.0)),
|
|
|
|
Self::Ct { derefed: true, value } => {
|
|
|
|
Some(unsafe { std::ptr::read(value.0 as *const u8 as _) })
|
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
Self::Rt { .. } => None,
|
|
|
|
}
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl From<reg::Id> for Loc {
|
|
|
|
fn from(reg: reg::Id) -> Self {
|
|
|
|
Loc::reg(reg)
|
2024-05-10 08:29:11 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-12 13:10:50 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Default for Loc {
|
|
|
|
fn default() -> Self {
|
2024-07-19 05:00:55 -05:00
|
|
|
Self::ct(0)
|
2024-05-12 13:10:50 -05:00
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
}
|
2024-05-09 11:16:01 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Loop {
|
2024-07-08 00:22:53 -05:00
|
|
|
var_count: u32,
|
|
|
|
offset: u32,
|
2024-06-23 02:09:33 -05:00
|
|
|
reloc_base: u32,
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
struct Variable {
|
2024-07-08 00:22:53 -05:00
|
|
|
id: Ident,
|
2024-05-12 04:52:58 -05:00
|
|
|
value: Value,
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
struct ItemCtx {
|
2024-07-08 00:22:53 -05:00
|
|
|
file: FileId,
|
|
|
|
id: ty::Kind,
|
2024-07-19 05:00:55 -05:00
|
|
|
ret: Option<ty::Id>,
|
2024-06-23 02:09:33 -05:00
|
|
|
ret_reg: reg::Id,
|
|
|
|
|
|
|
|
task_base: usize,
|
2024-07-08 00:22:53 -05:00
|
|
|
snap: Snapshot,
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
stack: stack::Alloc,
|
2024-07-08 00:22:53 -05:00
|
|
|
regs: reg::Alloc,
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
stack_relocs: Vec<Reloc>,
|
2024-07-08 00:22:53 -05:00
|
|
|
ret_relocs: Vec<Reloc>,
|
|
|
|
loop_relocs: Vec<Reloc>,
|
|
|
|
loops: Vec<Loop>,
|
|
|
|
vars: Vec<Variable>,
|
2024-05-11 09:04:13 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl ItemCtx {
|
2024-07-08 00:22:53 -05:00
|
|
|
pub fn dup_loc(&mut self, loc: &Loc) -> Loc {
|
|
|
|
match *loc {
|
|
|
|
Loc::Rt { derefed, ref reg, ref stack, offset } => Loc::Rt {
|
|
|
|
reg: reg.as_ref(),
|
|
|
|
derefed,
|
|
|
|
stack: stack.as_ref().map(|s| self.stack.dup_id(s)),
|
|
|
|
offset,
|
|
|
|
},
|
2024-07-19 05:00:55 -05:00
|
|
|
ref loc => loc.as_ref(),
|
2024-07-08 00:22:53 -05:00
|
|
|
}
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
fn finalize(&mut self, output: &mut Output) {
|
2024-07-06 16:02:04 -05:00
|
|
|
let len = output.code.len() as Offset;
|
|
|
|
let base = self.snap.code as Offset;
|
2024-07-08 00:22:53 -05:00
|
|
|
for reloc in output.reloc_iter_mut(&self.snap).chain(&mut self.ret_relocs) {
|
2024-07-06 16:02:04 -05:00
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
{
|
|
|
|
if std::mem::replace(&mut reloc.shifted, true) {
|
|
|
|
panic!("reloc visited twice");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
reloc.offset += base;
|
|
|
|
debug_assert!(reloc.offset < len);
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.stack.finalize_leaked();
|
|
|
|
for rel in self.stack_relocs.drain(..) {
|
2024-07-06 16:02:04 -05:00
|
|
|
rel.apply_stack_offset(&mut output.code[base as usize..], &self.stack)
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
for rel in self.ret_relocs.drain(..) {
|
2024-07-06 16:02:04 -05:00
|
|
|
rel.apply_jump(&mut output.code, len);
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.finalize_frame(output);
|
|
|
|
self.stack.clear();
|
2024-05-12 15:40:28 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
debug_assert!(self.loops.is_empty());
|
|
|
|
debug_assert!(self.loop_relocs.is_empty());
|
|
|
|
debug_assert!(self.vars.is_empty());
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn finalize_frame(&mut self, output: &mut Output) {
|
|
|
|
let mut cursor = self.snap.code;
|
|
|
|
let mut allocate = |size| (cursor += size, cursor).1;
|
|
|
|
|
|
|
|
let pushed = self.regs.pushed_size() as i64;
|
|
|
|
let stack = self.stack.max_height as i64;
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let mut exmpl = Output::default();
|
|
|
|
exmpl.emit_prelude();
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
debug_assert_eq!(exmpl.code.as_slice(), &output.code[self.snap.code..][..exmpl.code.len()],);
|
2024-06-24 10:26:00 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
write_reloc(&mut output.code, allocate(3), -(pushed + stack), 8);
|
|
|
|
write_reloc(&mut output.code, allocate(8 + 3), stack, 8);
|
|
|
|
write_reloc(&mut output.code, allocate(8), pushed, 2);
|
|
|
|
|
|
|
|
output.emit(ld(RET_ADDR, STACK_PTR, stack as _, pushed as _));
|
|
|
|
output.emit(addi64(STACK_PTR, STACK_PTR, (pushed + stack) as _));
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn free_loc(&mut self, src: impl Into<LocCow>) {
|
|
|
|
if let LocCow::Owned(Loc::Rt { reg, stack, .. }) = src.into() {
|
|
|
|
self.regs.free(reg);
|
|
|
|
if let Some(stack) = stack {
|
|
|
|
self.stack.free(stack);
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
}
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn write_reloc(doce: &mut [u8], offset: usize, value: i64, size: u16) {
|
|
|
|
let value = value.to_ne_bytes();
|
|
|
|
doce[offset..offset + size as usize].copy_from_slice(&value[..size as usize]);
|
2024-05-15 07:36:38 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(PartialEq, Eq, Hash)]
|
|
|
|
struct SymKey {
|
2024-07-08 00:22:53 -05:00
|
|
|
file: u32,
|
2024-06-23 02:09:33 -05:00
|
|
|
ident: u32,
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl SymKey {
|
|
|
|
pub fn pointer_to(ty: ty::Id) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { file: u32::MAX, ident: ty.repr() }
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
struct Sig {
|
|
|
|
args: ty::Tuple,
|
2024-07-08 00:22:53 -05:00
|
|
|
ret: ty::Id,
|
2024-06-24 10:26:00 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
struct Func {
|
2024-07-08 00:22:53 -05:00
|
|
|
file: FileId,
|
|
|
|
expr: ExprRef,
|
|
|
|
sig: Option<Sig>,
|
2024-06-23 02:09:33 -05:00
|
|
|
offset: Offset,
|
|
|
|
}
|
2024-05-12 16:19:45 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Global {
|
|
|
|
offset: Offset,
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: ty::Id,
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-15 07:36:38 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Field {
|
|
|
|
name: Rc<str>,
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: ty::Id,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Struct {
|
|
|
|
fields: Rc<[Field]>,
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Ptr {
|
|
|
|
base: ty::Id,
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct ParamAlloc(Range<u8>);
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl ParamAlloc {
|
|
|
|
pub fn next(&mut self) -> u8 {
|
|
|
|
self.0.next().expect("too many paramteters")
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn next_wide(&mut self) -> u8 {
|
|
|
|
(self.next(), self.next()).0
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
struct Array {
|
|
|
|
ty: ty::Id,
|
|
|
|
len: ArrayLen,
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
struct Types {
|
|
|
|
syms: HashMap<SymKey, ty::Id>,
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
funcs: Vec<Func>,
|
|
|
|
args: Vec<ty::Id>,
|
2024-06-23 02:09:33 -05:00
|
|
|
globals: Vec<Global>,
|
|
|
|
structs: Vec<Struct>,
|
2024-07-08 00:22:53 -05:00
|
|
|
ptrs: Vec<Ptr>,
|
2024-07-08 11:08:58 -05:00
|
|
|
arrays: Vec<Array>,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Types {
|
|
|
|
fn parama(&self, ret: impl Into<ty::Id>) -> ParamAlloc {
|
|
|
|
ParamAlloc(2 + (9..=16).contains(&self.size_of(ret.into())) as u8..12)
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-12 16:45:28 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
fn offset_of(&self, idx: ty::Struct, field: &str) -> Option<(Offset, ty::Id)> {
|
2024-06-23 02:09:33 -05:00
|
|
|
let record = &self.structs[idx as usize];
|
2024-07-08 00:22:53 -05:00
|
|
|
let until = record.fields.iter().position(|f| f.name.as_ref() == field)?;
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut offset = 0;
|
|
|
|
for &Field { ty, .. } in &record.fields[..until] {
|
|
|
|
offset = Self::align_up(offset, self.align_of(ty));
|
|
|
|
offset += self.size_of(ty);
|
|
|
|
}
|
|
|
|
Some((offset, record.fields[until].ty))
|
|
|
|
}
|
2024-05-12 16:19:45 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn make_ptr(&mut self, base: ty::Id) -> ty::Id {
|
|
|
|
ty::Kind::Ptr(self.make_ptr_low(base)).compress()
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn make_ptr_low(&mut self, base: ty::Id) -> ty::Ptr {
|
|
|
|
let id = SymKey::pointer_to(base);
|
2024-05-12 16:45:28 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.syms
|
|
|
|
.entry(id)
|
|
|
|
.or_insert_with(|| {
|
|
|
|
self.ptrs.push(Ptr { base });
|
|
|
|
ty::Kind::Ptr(self.ptrs.len() as u32 - 1).compress()
|
|
|
|
})
|
|
|
|
.expand()
|
|
|
|
.inner()
|
|
|
|
}
|
2024-05-12 16:45:28 -05:00
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
fn make_array(&mut self, ty: ty::Id, len: ArrayLen) -> ty::Id {
|
|
|
|
ty::Kind::Slice(self.make_array_low(ty, len)).compress()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn make_array_low(&mut self, ty: ty::Id, len: ArrayLen) -> ty::Slice {
|
|
|
|
let id = SymKey {
|
|
|
|
file: match len {
|
|
|
|
ArrayLen::MAX => ArrayLen::MAX - 1,
|
|
|
|
len => ArrayLen::MAX - len - 2,
|
|
|
|
},
|
|
|
|
ident: ty.repr(),
|
|
|
|
};
|
|
|
|
|
|
|
|
self.syms
|
|
|
|
.entry(id)
|
|
|
|
.or_insert_with(|| {
|
|
|
|
self.arrays.push(Array { ty, len });
|
|
|
|
ty::Kind::Slice(self.arrays.len() as u32 - 1).compress()
|
|
|
|
})
|
|
|
|
.expand()
|
|
|
|
.inner()
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn align_up(value: Size, align: Size) -> Size {
|
|
|
|
(value + align - 1) & !(align - 1)
|
|
|
|
}
|
2024-05-12 16:45:28 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn size_of(&self, ty: ty::Id) -> Size {
|
|
|
|
match ty.expand() {
|
|
|
|
ty::Kind::Ptr(_) => 8,
|
|
|
|
ty::Kind::Builtin(ty::VOID) => 0,
|
|
|
|
ty::Kind::Builtin(ty::NEVER) => unreachable!(),
|
|
|
|
ty::Kind::Builtin(ty::INT | ty::UINT) => 8,
|
|
|
|
ty::Kind::Builtin(ty::I32 | ty::U32 | ty::TYPE) => 4,
|
|
|
|
ty::Kind::Builtin(ty::I16 | ty::U16) => 2,
|
|
|
|
ty::Kind::Builtin(ty::I8 | ty::U8 | ty::BOOL) => 1,
|
2024-07-08 11:08:58 -05:00
|
|
|
ty::Kind::Slice(arr) => {
|
|
|
|
let arr = &self.arrays[arr as usize];
|
|
|
|
match arr.len {
|
|
|
|
0 => 0,
|
|
|
|
ArrayLen::MAX => 16,
|
|
|
|
len => self.size_of(arr.ty) * len,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ty::Kind::Struct(stru) => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut offset = 0u32;
|
2024-07-08 11:08:58 -05:00
|
|
|
let record = &self.structs[stru as usize];
|
2024-06-23 02:09:33 -05:00
|
|
|
for &Field { ty, .. } in record.fields.iter() {
|
|
|
|
let align = self.align_of(ty);
|
|
|
|
offset = Self::align_up(offset, align);
|
|
|
|
offset += self.size_of(ty);
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
offset
|
2024-05-12 16:45:28 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
ty => unimplemented!("size_of: {:?}", ty),
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn align_of(&self, ty: ty::Id) -> Size {
|
|
|
|
match ty.expand() {
|
2024-07-08 11:08:58 -05:00
|
|
|
ty::Kind::Struct(stru) => self.structs[stru as usize]
|
2024-05-12 15:40:28 -05:00
|
|
|
.fields
|
|
|
|
.iter()
|
2024-06-23 02:09:33 -05:00
|
|
|
.map(|&Field { ty, .. }| self.align_of(ty))
|
2024-05-12 15:40:28 -05:00
|
|
|
.max()
|
|
|
|
.unwrap(),
|
2024-07-08 11:08:58 -05:00
|
|
|
ty::Kind::Slice(arr) => {
|
|
|
|
let arr = &self.arrays[arr as usize];
|
|
|
|
match arr.len {
|
|
|
|
ArrayLen::MAX => 8,
|
|
|
|
_ => self.align_of(arr.ty),
|
|
|
|
}
|
|
|
|
}
|
2024-05-12 15:40:28 -05:00
|
|
|
_ => self.size_of(ty).max(1),
|
|
|
|
}
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-12 15:40:28 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
mod task {
|
|
|
|
use super::Offset;
|
|
|
|
|
|
|
|
pub fn unpack(offset: Offset) -> Result<Offset, usize> {
|
|
|
|
if offset >> 31 != 0 {
|
|
|
|
Err((offset & !(1 << 31)) as usize)
|
|
|
|
} else {
|
|
|
|
Ok(offset)
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn id(index: usize) -> Offset {
|
|
|
|
1 << 31 | index as u32
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-12 15:40:28 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct FTask {
|
|
|
|
file: FileId,
|
2024-07-08 00:22:53 -05:00
|
|
|
id: ty::Func,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
#[derive(Default, Clone, Copy, PartialEq, Eq, Debug)]
|
2024-06-23 02:09:33 -05:00
|
|
|
pub struct Snapshot {
|
2024-07-08 00:22:53 -05:00
|
|
|
code: usize,
|
2024-07-07 06:42:48 -05:00
|
|
|
string_data: usize,
|
2024-07-08 00:22:53 -05:00
|
|
|
funcs: usize,
|
|
|
|
globals: usize,
|
|
|
|
strings: usize,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
struct Output {
|
2024-07-08 00:22:53 -05:00
|
|
|
code: Vec<u8>,
|
2024-07-07 06:42:48 -05:00
|
|
|
string_data: Vec<u8>,
|
2024-07-08 00:22:53 -05:00
|
|
|
funcs: Vec<(ty::Func, Reloc)>,
|
|
|
|
globals: Vec<(ty::Global, Reloc)>,
|
|
|
|
strings: Vec<StringReloc>,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Output {
|
2024-06-23 06:55:48 -05:00
|
|
|
fn emit_addi(&mut self, dest: u8, op: u8, delta: u64) {
|
2024-06-23 02:09:33 -05:00
|
|
|
if delta == 0 {
|
|
|
|
if dest != op {
|
|
|
|
self.emit(cp(dest, op));
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
return;
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 06:55:48 -05:00
|
|
|
self.emit(addi64(dest, op, delta));
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn emit(&mut self, (len, instr): (usize, [u8; instrs::MAX_SIZE])) {
|
2024-07-06 16:02:04 -05:00
|
|
|
let name = instrs::NAMES[instr[0] as usize];
|
|
|
|
log::dbg!(
|
|
|
|
"{:08x}: {}: {}",
|
|
|
|
self.code.len(),
|
|
|
|
name,
|
2024-07-08 00:22:53 -05:00
|
|
|
instr.iter().take(len).skip(1).map(|b| format!("{:02x}", b)).collect::<String>()
|
2024-07-06 16:02:04 -05:00
|
|
|
);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.code.extend_from_slice(&instr[..len]);
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn emit_prelude(&mut self) {
|
|
|
|
self.emit(instrs::addi64(STACK_PTR, STACK_PTR, 0));
|
|
|
|
self.emit(instrs::st(RET_ADDR, STACK_PTR, 0, 0));
|
2024-05-14 08:03:36 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn emit_entry_prelude(&mut self) {
|
|
|
|
self.emit(jal(RET_ADDR, reg::ZERO, 0));
|
|
|
|
self.emit(tx());
|
|
|
|
}
|
|
|
|
|
2024-07-02 07:49:05 -05:00
|
|
|
fn reloc_iter_mut(&mut self, snap: &Snapshot) -> impl Iterator<Item = &mut Reloc> {
|
|
|
|
self.globals[snap.globals..]
|
|
|
|
.iter_mut()
|
|
|
|
.chain(&mut self.funcs[snap.funcs..])
|
|
|
|
.map(|(_, rel)| rel)
|
2024-07-08 00:22:53 -05:00
|
|
|
.chain(self.strings[snap.strings..].iter_mut().map(|rl| &mut rl.reloc))
|
2024-07-02 07:49:05 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
2024-07-02 07:49:05 -05:00
|
|
|
fn append(&mut self, val: &mut Self) {
|
|
|
|
val.pop(self, &Snapshot::default());
|
2024-05-14 08:03:36 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn pop(&mut self, stash: &mut Self, snap: &Snapshot) {
|
2024-07-06 16:02:04 -05:00
|
|
|
let init_code = stash.code.len();
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
stash.code.extend(self.code.drain(snap.code..));
|
2024-07-08 00:22:53 -05:00
|
|
|
stash.string_data.extend(self.string_data.drain(snap.string_data..));
|
|
|
|
stash.funcs.extend(self.funcs.drain(snap.funcs..).inspect(|(_, rel)| {
|
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
assert!(!rel.shifted);
|
|
|
|
debug_assert!(
|
|
|
|
rel.offset as usize + init_code < stash.code.len(),
|
|
|
|
"{} {} {}",
|
|
|
|
rel.offset,
|
|
|
|
init_code,
|
|
|
|
stash.code.len()
|
|
|
|
)
|
|
|
|
}));
|
|
|
|
stash.globals.extend(self.globals.drain(snap.globals..).inspect(|(_, rel)| {
|
|
|
|
log::dbg!(
|
|
|
|
"reloc: {rel:?} {init_code} {} {} {}",
|
|
|
|
stash.code.len(),
|
|
|
|
self.code.len(),
|
|
|
|
snap.code
|
|
|
|
);
|
|
|
|
debug_assert!(rel.offset as usize + init_code < stash.code.len())
|
|
|
|
}));
|
|
|
|
stash.strings.extend(self.strings.drain(snap.strings..).inspect(|str| {
|
|
|
|
debug_assert!(str.reloc.offset as usize + init_code < stash.code.len())
|
|
|
|
}));
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn trunc(&mut self, snap: &Snapshot) {
|
|
|
|
self.code.truncate(snap.code);
|
2024-07-07 06:42:48 -05:00
|
|
|
self.string_data.truncate(snap.string_data);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.globals.truncate(snap.globals);
|
|
|
|
self.funcs.truncate(snap.funcs);
|
2024-07-02 07:49:05 -05:00
|
|
|
self.strings.truncate(snap.strings);
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn write_trap(&mut self, kind: trap::Trap) {
|
|
|
|
self.emit(eca());
|
|
|
|
self.code.extend(kind.as_slice());
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn snap(&mut self) -> Snapshot {
|
|
|
|
Snapshot {
|
2024-07-08 00:22:53 -05:00
|
|
|
code: self.code.len(),
|
2024-07-07 06:42:48 -05:00
|
|
|
string_data: self.string_data.len(),
|
2024-07-08 00:22:53 -05:00
|
|
|
funcs: self.funcs.len(),
|
|
|
|
globals: self.globals.len(),
|
|
|
|
strings: self.strings.len(),
|
2024-05-11 09:04:13 -05:00
|
|
|
}
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default, Debug)]
|
|
|
|
struct Ctx {
|
|
|
|
loc: Option<Loc>,
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: Option<ty::Id>,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Ctx {
|
|
|
|
pub fn with_loc(self, loc: Loc) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { loc: Some(loc), ..self }
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn with_ty(self, ty: impl Into<ty::Id>) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { ty: Some(ty.into()), ..self }
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn into_value(self) -> Option<Value> {
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty: self.ty.unwrap(), loc: self.loc? })
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl From<Value> for Ctx {
|
|
|
|
fn from(value: Value) -> Self {
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { loc: Some(value.loc), ty: Some(value.ty) }
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
struct Pool {
|
2024-07-08 00:22:53 -05:00
|
|
|
cis: Vec<ItemCtx>,
|
|
|
|
outputs: Vec<Output>,
|
2024-06-24 10:26:00 -05:00
|
|
|
arg_locs: Vec<Loc>,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
pub struct LoggedMem {
|
|
|
|
pub mem: hbvm::mem::HostMemory,
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl hbvm::mem::Memory for LoggedMem {
|
|
|
|
unsafe fn load(
|
|
|
|
&mut self,
|
|
|
|
addr: hbvm::mem::Address,
|
|
|
|
target: *mut u8,
|
|
|
|
count: usize,
|
|
|
|
) -> Result<(), hbvm::mem::LoadError> {
|
|
|
|
log::dbg!(
|
|
|
|
"load: {:x} {:?}",
|
|
|
|
addr.get(),
|
|
|
|
core::slice::from_raw_parts(addr.get() as *const u8, count)
|
|
|
|
.iter()
|
|
|
|
.rev()
|
|
|
|
.map(|&b| format!("{b:02x}"))
|
|
|
|
.collect::<String>()
|
|
|
|
);
|
|
|
|
self.mem.load(addr, target, count)
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
unsafe fn store(
|
|
|
|
&mut self,
|
|
|
|
addr: hbvm::mem::Address,
|
|
|
|
source: *const u8,
|
|
|
|
count: usize,
|
|
|
|
) -> Result<(), hbvm::mem::StoreError> {
|
|
|
|
log::dbg!(
|
|
|
|
"store: {:x} {:?}",
|
|
|
|
addr.get(),
|
|
|
|
core::slice::from_raw_parts(source, count)
|
|
|
|
.iter()
|
|
|
|
.rev()
|
|
|
|
.map(|&b| format!("{b:02x}"))
|
|
|
|
.collect::<String>()
|
|
|
|
);
|
|
|
|
self.mem.store(addr, source, count)
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
unsafe fn prog_read<T: Copy>(&mut self, addr: hbvm::mem::Address) -> T {
|
|
|
|
log::dbg!(
|
|
|
|
"read-typed: {:x} {} {:?}",
|
|
|
|
addr.get(),
|
|
|
|
std::any::type_name::<T>(),
|
|
|
|
if core::mem::size_of::<T>() == 1
|
|
|
|
&& let Some(nm) =
|
|
|
|
instrs::NAMES.get(std::ptr::read(addr.get() as *const u8) as usize)
|
|
|
|
{
|
|
|
|
nm.to_string()
|
|
|
|
} else {
|
|
|
|
core::slice::from_raw_parts(addr.get() as *const u8, core::mem::size_of::<T>())
|
|
|
|
.iter()
|
|
|
|
.map(|&b| format!("{:02x}", b))
|
|
|
|
.collect::<String>()
|
2024-06-01 13:30:07 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
);
|
|
|
|
self.mem.prog_read(addr)
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
const VM_STACK_SIZE: usize = 1024 * 1024 * 2;
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
struct Comptime {
|
2024-07-08 00:22:53 -05:00
|
|
|
vm: hbvm::Vm<LoggedMem, 0>,
|
2024-06-23 02:09:33 -05:00
|
|
|
_stack: Box<[u8; VM_STACK_SIZE]>,
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Default for Comptime {
|
|
|
|
fn default() -> Self {
|
|
|
|
let mut stack = Box::<[u8; VM_STACK_SIZE]>::new_uninit();
|
|
|
|
let mut vm = hbvm::Vm::default();
|
|
|
|
let ptr = unsafe { stack.as_mut_ptr().cast::<u8>().add(VM_STACK_SIZE) as u64 };
|
|
|
|
log::dbg!("stack_ptr: {:x}", ptr);
|
|
|
|
vm.write_reg(STACK_PTR, ptr);
|
2024-07-08 00:22:53 -05:00
|
|
|
Self { vm, _stack: unsafe { stack.assume_init() } }
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-12 04:52:58 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
mod trap {
|
|
|
|
use {
|
|
|
|
super::ty,
|
|
|
|
crate::parser::{ExprRef, FileId},
|
|
|
|
};
|
|
|
|
|
|
|
|
macro_rules! gen_trap {
|
|
|
|
(
|
|
|
|
#[derive(Trap)]
|
|
|
|
$vis:vis enum $name:ident {
|
|
|
|
$($variant:ident {
|
|
|
|
$($fname:ident: $fty:ty,)*
|
|
|
|
},)*
|
|
|
|
}
|
|
|
|
) => {
|
|
|
|
#[repr(u8)]
|
|
|
|
$vis enum $name {
|
|
|
|
$($variant($variant),)*
|
|
|
|
}
|
|
|
|
|
|
|
|
impl $name {
|
|
|
|
$vis fn size(&self) -> usize {
|
|
|
|
1 + match self {
|
|
|
|
$(Self::$variant(_) => std::mem::size_of::<$variant>(),)*
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
$(
|
|
|
|
#[repr(packed)]
|
|
|
|
$vis struct $variant {
|
|
|
|
$($vis $fname: $fty,)*
|
|
|
|
}
|
|
|
|
)*
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
gen_trap! {
|
|
|
|
#[derive(Trap)]
|
|
|
|
pub enum Trap {
|
|
|
|
MakeStruct {
|
|
|
|
file: FileId,
|
|
|
|
struct_expr: ExprRef,
|
|
|
|
},
|
|
|
|
MomizedCall {
|
|
|
|
func: ty::Func,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Trap {
|
|
|
|
pub fn as_slice(&self) -> &[u8] {
|
|
|
|
unsafe { std::slice::from_raw_parts(self as *const _ as _, self.size()) }
|
|
|
|
}
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
|
2024-07-02 07:49:05 -05:00
|
|
|
struct StringReloc {
|
2024-07-08 00:22:53 -05:00
|
|
|
reloc: Reloc,
|
|
|
|
range: std::ops::Range<u32>,
|
2024-07-07 06:42:48 -05:00
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
shifted: bool,
|
2024-07-02 07:49:05 -05:00
|
|
|
}
|
2024-07-06 16:02:04 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
pub struct Codegen {
|
2024-07-07 06:42:48 -05:00
|
|
|
pub files: Vec<parser::Ast>,
|
2024-07-08 00:22:53 -05:00
|
|
|
tasks: Vec<Option<FTask>>,
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
tys: Types,
|
|
|
|
ci: ItemCtx,
|
2024-06-23 02:09:33 -05:00
|
|
|
output: Output,
|
2024-07-08 00:22:53 -05:00
|
|
|
pool: Pool,
|
|
|
|
ct: Comptime,
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
impl Codegen {
|
|
|
|
pub fn generate(&mut self) {
|
|
|
|
self.output.emit_entry_prelude();
|
|
|
|
self.find_or_declare(0, 0, Err("main"), "");
|
2024-06-24 10:26:00 -05:00
|
|
|
self.complete_call_graph_low();
|
2024-06-23 02:09:33 -05:00
|
|
|
self.link();
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
pub fn dump(mut self, out: &mut impl std::io::Write) -> std::io::Result<()> {
|
2024-07-06 16:02:04 -05:00
|
|
|
let reloc = Reloc::shifted(0, 3, 4);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.funcs.push((0, reloc));
|
|
|
|
self.link();
|
|
|
|
out.write_all(&self.output.code)
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn expr(&mut self, expr: &Expr) -> Option<Value> {
|
|
|
|
self.expr_ctx(expr, Ctx::default())
|
|
|
|
}
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn build_struct(&mut self, fields: &[(&str, Expr)]) -> ty::Struct {
|
|
|
|
let fields = fields
|
|
|
|
.iter()
|
2024-07-08 00:22:53 -05:00
|
|
|
.map(|&(name, ty)| Field { name: name.into(), ty: self.ty(&ty) })
|
2024-06-23 02:09:33 -05:00
|
|
|
.collect();
|
|
|
|
self.tys.structs.push(Struct { fields });
|
|
|
|
self.tys.structs.len() as u32 - 1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn expr_ctx(&mut self, expr: &Expr, mut ctx: Ctx) -> Option<Value> {
|
|
|
|
use {Expr as E, TokenKind as T};
|
2024-05-13 04:05:35 -05:00
|
|
|
let value = match *expr {
|
2024-06-23 02:09:33 -05:00
|
|
|
E::Mod { id, .. } => Some(Value::ty(ty::Kind::Module(id).compress())),
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Struct { fields, captured, .. } => {
|
2024-05-20 07:11:58 -05:00
|
|
|
if captured.is_empty() {
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value::ty(ty::Kind::Struct(self.build_struct(fields)).compress()))
|
2024-05-20 07:11:58 -05:00
|
|
|
} else {
|
|
|
|
let values = captured
|
|
|
|
.iter()
|
2024-07-08 00:22:53 -05:00
|
|
|
.map(|&id| E::Ident { pos: 0, id, name: "booodab", index: u16::MAX })
|
2024-05-20 07:11:58 -05:00
|
|
|
.map(|expr| self.expr(&expr))
|
|
|
|
.collect::<Option<Vec<_>>>()?;
|
2024-07-08 00:22:53 -05:00
|
|
|
let values_size =
|
|
|
|
values.iter().map(|value| 4 + self.tys.size_of(value.ty)).sum::<Size>();
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let stack = self.ci.stack.allocate(values_size);
|
|
|
|
let mut ptr = Loc::stack(stack.as_ref());
|
2024-05-20 07:11:58 -05:00
|
|
|
for value in values {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.store_sized(Loc::ty(value.ty), &ptr, 4);
|
|
|
|
ptr = ptr.offset(4);
|
|
|
|
let size = self.tys.size_of(value.ty);
|
|
|
|
self.store_sized(value.loc, &ptr, size);
|
|
|
|
ptr = ptr.offset(size);
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 06:55:48 -05:00
|
|
|
self.stack_offset(2, STACK_PTR, Some(&stack), 0);
|
2024-06-23 02:09:33 -05:00
|
|
|
let val = self.eca(
|
2024-07-19 05:00:55 -05:00
|
|
|
trap::Trap::MakeStruct(trap::MakeStruct {
|
|
|
|
file: self.ci.file,
|
|
|
|
struct_expr: ExprRef::new(expr),
|
|
|
|
}),
|
2024-06-23 02:09:33 -05:00
|
|
|
ty::TYPE,
|
2024-05-20 07:11:58 -05:00
|
|
|
);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.free_loc(Loc::stack(stack));
|
|
|
|
Some(val)
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
|
|
|
}
|
2024-07-08 11:08:58 -05:00
|
|
|
E::Slice { size, item, .. } => {
|
|
|
|
let ty = self.ty(item);
|
|
|
|
let len = size.map_or(ArrayLen::MAX, |expr| self.eval_const(expr, ty::U32) as _);
|
|
|
|
Some(Value::ty(self.tys.make_array(ty, len)))
|
|
|
|
}
|
|
|
|
E::Index { base, index } => {
|
|
|
|
// TODO: we need to check if index is in bounds on debug builds
|
|
|
|
|
|
|
|
let mut base_val = self.expr(base)?;
|
|
|
|
base_val.loc = self.make_loc_owned(base_val.loc, base_val.ty);
|
|
|
|
let index_val = self.expr(index)?;
|
|
|
|
_ = self.assert_ty(index.pos(), index_val.ty, ty::INT.into());
|
|
|
|
|
|
|
|
if let ty::Kind::Ptr(ty) = base_val.ty.expand() {
|
|
|
|
base_val.ty = self.tys.ptrs[ty as usize].base;
|
|
|
|
base_val.loc = base_val.loc.into_derefed();
|
|
|
|
}
|
|
|
|
|
|
|
|
match base_val.ty.expand() {
|
|
|
|
ty::Kind::Slice(arr) => {
|
|
|
|
let ty = self.tys.arrays[arr as usize].ty;
|
|
|
|
let item_size = self.tys.size_of(ty);
|
|
|
|
|
|
|
|
let Loc::Rt { derefed: true, ref mut reg, ref stack, offset } =
|
|
|
|
base_val.loc
|
|
|
|
else {
|
|
|
|
unreachable!()
|
|
|
|
};
|
|
|
|
|
|
|
|
if reg.is_ref() {
|
|
|
|
let new_reg = self.ci.regs.allocate();
|
|
|
|
self.stack_offset(new_reg.get(), reg.get(), stack.as_ref(), offset);
|
|
|
|
*reg = new_reg;
|
|
|
|
} else {
|
|
|
|
self.stack_offset(reg.get(), reg.get(), stack.as_ref(), offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
let idx = self.loc_to_reg(index_val.loc, 8);
|
|
|
|
|
|
|
|
self.output.emit(muli64(idx.get(), idx.get(), item_size as _));
|
|
|
|
self.output.emit(add64(reg.get(), reg.get(), idx.get()));
|
|
|
|
self.ci.regs.free(idx);
|
|
|
|
|
|
|
|
Some(Value::new(ty, base_val.loc))
|
|
|
|
}
|
|
|
|
_ => self.report(
|
|
|
|
base.pos(),
|
|
|
|
format_args!(
|
|
|
|
"compiler did not (yet) learn how to index into '{}'",
|
|
|
|
self.ty_display(base_val.ty)
|
|
|
|
),
|
|
|
|
),
|
|
|
|
}
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::UnOp { op: T::Xor, val, .. } => {
|
2024-05-20 07:11:58 -05:00
|
|
|
let val = self.ty(val);
|
2024-06-23 02:09:33 -05:00
|
|
|
Some(Value::ty(self.tys.make_ptr(val)))
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "TypeOf", args: [expr], .. } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let snap = self.output.snap();
|
|
|
|
let value = self.expr(expr).unwrap();
|
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
self.output.trunc(&snap);
|
|
|
|
Some(Value::ty(value.ty))
|
2024-05-20 07:11:58 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "eca", args: [ret_ty, args @ ..], .. } => {
|
2024-05-16 09:50:29 -05:00
|
|
|
let ty = self.ty(ret_ty);
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut parama = self.tys.parama(ty);
|
2024-06-24 10:26:00 -05:00
|
|
|
let base = self.pool.arg_locs.len();
|
2024-05-14 16:07:32 -05:00
|
|
|
for arg in args {
|
|
|
|
let arg = self.expr(arg)?;
|
|
|
|
self.pass_arg(&arg, &mut parama);
|
2024-06-24 10:26:00 -05:00
|
|
|
self.pool.arg_locs.push(arg.loc);
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
for value in self.pool.arg_locs.drain(base..) {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.free_loc(value);
|
|
|
|
}
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let loc = self.alloc_ret(ty, ctx);
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(eca());
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.load_ret(ty, &loc);
|
2024-05-14 16:07:32 -05:00
|
|
|
|
|
|
|
return Some(Value { ty, loc });
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "sizeof", args: [ty], .. } => {
|
2024-05-14 16:07:32 -05:00
|
|
|
let ty = self.ty(ty);
|
2024-06-23 02:09:33 -05:00
|
|
|
return Some(Value::imm(self.tys.size_of(ty) as _));
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "alignof", args: [ty], .. } => {
|
2024-05-14 16:07:32 -05:00
|
|
|
let ty = self.ty(ty);
|
2024-06-23 02:09:33 -05:00
|
|
|
return Some(Value::imm(self.tys.align_of(ty) as _));
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "intcast", args: [val], .. } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let Some(ty) = ctx.ty else {
|
2024-05-14 16:07:32 -05:00
|
|
|
self.report(
|
|
|
|
expr.pos(),
|
|
|
|
"type to cast to is unknown, use `@as(<type>, <expr>)`",
|
|
|
|
);
|
|
|
|
};
|
|
|
|
let mut val = self.expr(val)?;
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let from_size = self.tys.size_of(val.ty);
|
|
|
|
let to_size = self.tys.size_of(ty);
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if from_size < to_size && val.ty.is_signed() {
|
2024-05-14 16:07:32 -05:00
|
|
|
let reg = self.loc_to_reg(val.loc, from_size);
|
2024-06-23 02:09:33 -05:00
|
|
|
let op = [sxt8, sxt16, sxt32][from_size.ilog2() as usize];
|
|
|
|
self.output.emit(op(reg.get(), reg.get()));
|
|
|
|
val.loc = Loc::reg(reg);
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
Some(Value { ty, loc: val.loc })
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "bitcast", args: [val], .. } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let Some(ty) = ctx.ty else {
|
2024-05-14 16:07:32 -05:00
|
|
|
self.report(
|
|
|
|
expr.pos(),
|
|
|
|
"type to cast to is unknown, use `@as(<type>, <expr>)`",
|
|
|
|
);
|
|
|
|
};
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let size = self.tys.size_of(ty);
|
2024-05-14 16:07:32 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
ctx.ty = None;
|
2024-05-14 16:07:32 -05:00
|
|
|
|
|
|
|
let val = self.expr_ctx(val, ctx)?;
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if self.tys.size_of(val.ty) != size {
|
2024-05-14 16:07:32 -05:00
|
|
|
self.report(
|
|
|
|
expr.pos(),
|
|
|
|
format_args!(
|
|
|
|
"cannot bitcast {} to {} (different sizes: {} != {size})",
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ty_display(val.ty),
|
|
|
|
self.ty_display(ty),
|
|
|
|
self.tys.size_of(val.ty),
|
2024-05-14 16:07:32 -05:00
|
|
|
),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
debug_assert_eq!(
|
|
|
|
self.tys.align_of(val.ty),
|
|
|
|
self.tys.align_of(ty),
|
|
|
|
"TODO: might need stack relocation"
|
|
|
|
);
|
2024-05-14 16:07:32 -05:00
|
|
|
|
|
|
|
return Some(Value { ty, loc: val.loc });
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Directive { name: "as", args: [ty, val], .. } => {
|
2024-05-14 16:07:32 -05:00
|
|
|
let ty = self.ty(ty);
|
2024-06-23 02:09:33 -05:00
|
|
|
ctx.ty = Some(ty);
|
2024-05-14 16:07:32 -05:00
|
|
|
return self.expr_ctx(val, ctx);
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Bool { value, .. } => {
|
2024-07-19 05:00:55 -05:00
|
|
|
Some(Value { ty: ty::BOOL.into(), loc: Loc::ct(value as u64) })
|
2024-07-08 00:22:53 -05:00
|
|
|
}
|
2024-07-02 07:49:05 -05:00
|
|
|
E::String { pos, mut literal } => {
|
|
|
|
literal = literal.trim_matches('"');
|
|
|
|
|
|
|
|
if !literal.ends_with("\\0") {
|
|
|
|
self.report(pos, "string literal must end with null byte (for now)");
|
|
|
|
}
|
|
|
|
|
|
|
|
let report = |s: &Codegen, bytes: &std::str::Bytes, message| {
|
|
|
|
s.report(pos + (literal.len() - bytes.len()) as u32 - 1, message)
|
|
|
|
};
|
|
|
|
|
2024-07-07 06:42:48 -05:00
|
|
|
let start = self.output.string_data.len();
|
|
|
|
|
2024-07-02 07:49:05 -05:00
|
|
|
let decode_braces = |s: &mut Codegen, bytes: &mut std::str::Bytes| {
|
|
|
|
while let Some(b) = bytes.next()
|
|
|
|
&& b != b'}'
|
|
|
|
{
|
|
|
|
let c = bytes
|
|
|
|
.next()
|
|
|
|
.unwrap_or_else(|| report(s, bytes, "incomplete escape sequence"));
|
|
|
|
let decode = |s: &Codegen, b: u8| match b {
|
|
|
|
b'0'..=b'9' => b - b'0',
|
|
|
|
b'a'..=b'f' => b - b'a' + 10,
|
|
|
|
b'A'..=b'F' => b - b'A' + 10,
|
|
|
|
_ => report(s, bytes, "expected hex digit or '}'"),
|
|
|
|
};
|
2024-07-07 06:42:48 -05:00
|
|
|
s.output.string_data.push(decode(s, b) << 4 | decode(s, c));
|
2024-07-02 07:49:05 -05:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut bytes = literal.bytes();
|
|
|
|
while let Some(b) = bytes.next() {
|
|
|
|
if b != b'\\' {
|
2024-07-07 06:42:48 -05:00
|
|
|
self.output.string_data.push(b);
|
2024-07-02 07:49:05 -05:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
let b = match bytes
|
|
|
|
.next()
|
|
|
|
.unwrap_or_else(|| report(self, &bytes, "incomplete escape sequence"))
|
|
|
|
{
|
|
|
|
b'n' => b'\n',
|
|
|
|
b'r' => b'\r',
|
|
|
|
b't' => b'\t',
|
|
|
|
b'\\' => b'\\',
|
|
|
|
b'\'' => b'\'',
|
|
|
|
b'"' => b'"',
|
|
|
|
b'0' => b'\0',
|
|
|
|
b'{' => {
|
|
|
|
decode_braces(self, &mut bytes);
|
|
|
|
continue;
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
_ => report(self, &bytes, "unknown escape sequence, expected [nrt\\\"'{0]"),
|
2024-07-02 07:49:05 -05:00
|
|
|
};
|
2024-07-07 06:42:48 -05:00
|
|
|
self.output.string_data.push(b);
|
2024-07-02 07:49:05 -05:00
|
|
|
}
|
|
|
|
|
2024-07-07 06:42:48 -05:00
|
|
|
let range = start as _..self.output.string_data.len() as _;
|
|
|
|
let reloc = Reloc::new(self.local_offset() as _, 3, 4);
|
|
|
|
self.output.strings.push(StringReloc {
|
|
|
|
reloc,
|
|
|
|
range,
|
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
shifted: false,
|
|
|
|
});
|
2024-07-02 07:49:05 -05:00
|
|
|
let reg = self.ci.regs.allocate();
|
|
|
|
self.output.emit(instrs::lra(reg.get(), 0, 0));
|
|
|
|
Some(Value::new(self.tys.make_ptr(ty::U8.into()), reg))
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Ctor { pos, ty, fields, .. } => {
|
2024-07-08 11:08:58 -05:00
|
|
|
let (ty, loc) = self.prepare_struct_ctor(pos, ctx, ty, fields.len());
|
|
|
|
|
|
|
|
let ty::Kind::Struct(stru) = ty.expand() else {
|
|
|
|
self.report(
|
|
|
|
pos,
|
|
|
|
"our current technology does not (yet) allow\
|
|
|
|
us to construct '{}' with struct constructor",
|
|
|
|
);
|
|
|
|
};
|
2024-07-08 00:22:53 -05:00
|
|
|
for &CtorField { pos, name, ref value, .. } in fields {
|
2024-07-08 11:08:58 -05:00
|
|
|
let Some((offset, ty)) = self.tys.offset_of(stru, name) else {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.report(pos, format_args!("field not found: {name:?}"));
|
|
|
|
};
|
|
|
|
let loc = loc.as_ref().offset(offset);
|
2024-07-08 00:22:53 -05:00
|
|
|
let value = self.expr_ctx(value, Ctx::default().with_loc(loc).with_ty(ty))?;
|
2024-07-07 12:16:15 -05:00
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
}
|
|
|
|
return Some(Value { ty, loc });
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Tupl { pos, ty, fields, .. } => {
|
2024-07-08 11:08:58 -05:00
|
|
|
let (ty, loc) = self.prepare_struct_ctor(pos, ctx, ty, fields.len());
|
|
|
|
|
|
|
|
match ty.expand() {
|
|
|
|
ty::Kind::Struct(stru) => {
|
|
|
|
let mut offset = 0;
|
|
|
|
let sfields = self.tys.structs[stru as usize].fields.clone();
|
|
|
|
for (sfield, field) in sfields.iter().zip(fields) {
|
|
|
|
let loc = loc.as_ref().offset(offset);
|
|
|
|
let ctx = Ctx::default().with_loc(loc).with_ty(sfield.ty);
|
|
|
|
let value = self.expr_ctx(field, ctx)?;
|
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
offset += self.tys.size_of(sfield.ty);
|
|
|
|
offset = Types::align_up(offset, self.tys.align_of(sfield.ty));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ty::Kind::Slice(arr) => {
|
|
|
|
let arr = &self.tys.arrays[arr as usize];
|
|
|
|
let item_size = self.tys.size_of(arr.ty);
|
|
|
|
for (i, value) in fields.iter().enumerate() {
|
|
|
|
let loc = loc.as_ref().offset(i as u32 * item_size);
|
|
|
|
let value =
|
|
|
|
self.expr_ctx(value, Ctx::default().with_loc(loc).with_ty(ty))?;
|
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => self.report(
|
|
|
|
pos,
|
|
|
|
format_args!(
|
|
|
|
"compiler does not (yet) know how to initialize\
|
|
|
|
'{}' with tuple constructor",
|
|
|
|
self.ty_display(ty)
|
|
|
|
),
|
|
|
|
),
|
2024-05-12 06:13:36 -05:00
|
|
|
}
|
2024-05-13 04:05:35 -05:00
|
|
|
|
|
|
|
return Some(Value { ty, loc });
|
2024-05-12 06:13:36 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Field { target, name: field } => {
|
2024-07-06 16:02:04 -05:00
|
|
|
let checkpoint = self.local_snap();
|
2024-05-13 04:05:35 -05:00
|
|
|
let mut tal = self.expr(target)?;
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
if let ty::Kind::Ptr(ty) = tal.ty.expand() {
|
|
|
|
tal.ty = self.tys.ptrs[ty as usize].base;
|
|
|
|
tal.loc = tal.loc.into_derefed();
|
2024-05-12 15:40:28 -05:00
|
|
|
}
|
2024-06-01 13:30:07 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
match tal.ty.expand() {
|
|
|
|
ty::Kind::Struct(idx) => {
|
2024-07-08 00:22:53 -05:00
|
|
|
let Some((offset, ty)) = self.tys.offset_of(idx, field) else {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.report(target.pos(), format_args!("field not found: {field:?}"));
|
|
|
|
};
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty, loc: tal.loc.offset(offset) })
|
2024-06-01 13:30:07 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
ty::Kind::Builtin(ty::TYPE) => {
|
2024-07-06 16:02:04 -05:00
|
|
|
self.ci.free_loc(tal.loc);
|
|
|
|
self.pop_local_snap(checkpoint);
|
2024-06-23 02:09:33 -05:00
|
|
|
match ty::Kind::from_ty(self.ty(target)) {
|
2024-07-07 07:52:31 -05:00
|
|
|
ty::Kind::Module(idx) => {
|
|
|
|
match self.find_or_declare(target.pos(), idx, Err(field), "") {
|
|
|
|
ty::Kind::Global(idx) => self.handle_global(idx),
|
|
|
|
e => Some(Value::ty(e.compress())),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ty::Kind::Global(idx) => self.handle_global(idx),
|
2024-07-06 16:02:04 -05:00
|
|
|
e => unimplemented!("{e:?}"),
|
2024-06-01 13:30:07 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
smh => self.report(
|
|
|
|
target.pos(),
|
|
|
|
format_args!("the field operation is not supported: {smh:?}"),
|
|
|
|
),
|
|
|
|
}
|
2024-05-12 06:13:36 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::UnOp { op: T::Band, val, pos } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut val = self.expr(val)?;
|
2024-07-08 00:22:53 -05:00
|
|
|
let Loc::Rt { derefed: drfd @ true, reg, stack, offset } = &mut val.loc else {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.report(
|
2024-05-12 16:19:45 -05:00
|
|
|
pos,
|
2024-06-23 02:09:33 -05:00
|
|
|
format_args!(
|
|
|
|
"cant take pointer of {} ({:?})",
|
|
|
|
self.ty_display(val.ty),
|
|
|
|
val.loc
|
|
|
|
),
|
|
|
|
);
|
2024-05-13 04:05:35 -05:00
|
|
|
};
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
*drfd = false;
|
|
|
|
let offset = std::mem::take(offset) as _;
|
|
|
|
if reg.is_ref() {
|
|
|
|
let new_reg = self.ci.regs.allocate();
|
2024-06-23 06:55:48 -05:00
|
|
|
self.stack_offset(new_reg.get(), reg.get(), stack.as_ref(), offset);
|
2024-06-23 02:09:33 -05:00
|
|
|
*reg = new_reg;
|
|
|
|
} else {
|
2024-06-23 06:55:48 -05:00
|
|
|
self.stack_offset(reg.get(), reg.get(), stack.as_ref(), offset);
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: we might be able to track this but it will be pain
|
|
|
|
std::mem::forget(stack.take());
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty: self.tys.make_ptr(val.ty), loc: val.loc })
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::UnOp { op: T::Mul, val, pos } => {
|
2024-05-13 04:05:35 -05:00
|
|
|
let val = self.expr(val)?;
|
2024-06-23 02:09:33 -05:00
|
|
|
match val.ty.expand() {
|
|
|
|
ty::Kind::Ptr(ty) => Some(Value {
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: self.tys.ptrs[ty as usize].base,
|
2024-06-23 02:09:33 -05:00
|
|
|
loc: Loc::reg(self.loc_to_reg(val.loc, self.tys.size_of(val.ty)))
|
|
|
|
.into_derefed(),
|
2024-05-12 04:52:58 -05:00
|
|
|
}),
|
2024-05-12 16:19:45 -05:00
|
|
|
_ => self.report(
|
|
|
|
pos,
|
2024-06-23 02:09:33 -05:00
|
|
|
format_args!("expected pointer, got {}", self.ty_display(val.ty)),
|
2024-05-12 16:19:45 -05:00
|
|
|
),
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
E::BinOp { left, op: T::Decl, right } if self.has_ct(left) => {
|
|
|
|
let slot_base = self.ct.vm.read_reg(reg::STACK_PTR).0;
|
|
|
|
let (cnt, ty) = self.eval_const_low(right, None);
|
|
|
|
if self.assign_ct_pattern(left, ty, cnt as _) {
|
|
|
|
self.ct.vm.write_reg(reg::STACK_PTR, slot_base);
|
|
|
|
}
|
|
|
|
Some(Value::void())
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::BinOp { left, op: T::Decl, right } => {
|
|
|
|
let value = self.expr(right)?;
|
|
|
|
self.assign_pattern(left, value)
|
2024-05-11 15:22:08 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::Call { func: fast, args, .. } => {
|
2024-07-06 16:02:04 -05:00
|
|
|
log::dbg!("call {fast}");
|
2024-06-24 10:26:00 -05:00
|
|
|
let func_ty = self.ty(fast);
|
2024-07-19 05:00:55 -05:00
|
|
|
let ty::Kind::Func(mut func) = func_ty.expand() else {
|
2024-06-24 10:26:00 -05:00
|
|
|
self.report(fast.pos(), "can't call this, maybe in the future");
|
2024-05-19 11:20:42 -05:00
|
|
|
};
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
let fuc = self.tys.funcs[func as usize];
|
|
|
|
let ast = self.files[fuc.file as usize].clone();
|
2024-07-08 00:22:53 -05:00
|
|
|
let E::BinOp { right: &E::Closure { args: cargs, ret, .. }, .. } =
|
2024-07-19 05:00:55 -05:00
|
|
|
fuc.expr.get(&ast).unwrap()
|
2024-06-24 10:26:00 -05:00
|
|
|
else {
|
|
|
|
unreachable!();
|
|
|
|
};
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
let sig = if let Some(sig) = fuc.sig {
|
2024-06-24 10:26:00 -05:00
|
|
|
sig
|
|
|
|
} else {
|
|
|
|
let scope = self.ci.vars.len();
|
|
|
|
let arg_base = self.tys.args.len();
|
|
|
|
|
|
|
|
for (arg, carg) in args.iter().zip(cargs) {
|
|
|
|
let ty = self.ty(&carg.ty);
|
|
|
|
log::dbg!("arg: {}", self.ty_display(ty));
|
|
|
|
self.tys.args.push(ty);
|
|
|
|
let sym = parser::find_symbol(&ast.symbols, carg.id);
|
|
|
|
let loc = if sym.flags & idfl::COMPTIME == 0 {
|
|
|
|
// FIXME: could fuck us
|
|
|
|
Loc::default()
|
|
|
|
} else {
|
|
|
|
debug_assert_eq!(
|
|
|
|
ty,
|
|
|
|
ty::TYPE.into(),
|
|
|
|
"TODO: we dont support anything except type generics"
|
|
|
|
);
|
|
|
|
let arg = self.expr_ctx(arg, Ctx::default().with_ty(ty))?;
|
|
|
|
self.tys.args.push(arg.loc.to_ty().unwrap());
|
|
|
|
arg.loc
|
|
|
|
};
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
self.ci.vars.push(Variable { id: carg.id, value: Value { ty, loc } });
|
2024-06-24 10:26:00 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let args = self.pack_args(expr.pos(), arg_base);
|
|
|
|
let ret = self.ty(ret);
|
|
|
|
self.ci.vars.truncate(scope);
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
let sym = SymKey {
|
|
|
|
file: !args.repr(),
|
|
|
|
ident: ty::Kind::Func(func).compress().repr(),
|
|
|
|
};
|
2024-06-24 10:26:00 -05:00
|
|
|
let ct = || {
|
|
|
|
let func_id = self.tys.funcs.len();
|
|
|
|
self.tys.funcs.push(Func {
|
2024-07-19 05:00:55 -05:00
|
|
|
file: fuc.file,
|
2024-06-24 10:26:00 -05:00
|
|
|
offset: task::id(func_id),
|
2024-07-08 00:22:53 -05:00
|
|
|
sig: Some(Sig { args, ret }),
|
2024-07-19 05:00:55 -05:00
|
|
|
expr: fuc.expr,
|
2024-06-24 10:26:00 -05:00
|
|
|
});
|
|
|
|
|
|
|
|
self.tasks.push(Some(FTask {
|
|
|
|
// FIXME: this will fuck us
|
|
|
|
file: self.ci.file,
|
2024-07-08 00:22:53 -05:00
|
|
|
id: func_id as _,
|
2024-06-24 10:26:00 -05:00
|
|
|
}));
|
|
|
|
|
|
|
|
ty::Kind::Func(func_id as _).compress()
|
|
|
|
};
|
2024-07-19 05:00:55 -05:00
|
|
|
func = self.tys.syms.entry(sym).or_insert_with(ct).expand().inner();
|
2024-06-24 10:26:00 -05:00
|
|
|
|
|
|
|
Sig { args, ret }
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut parama = self.tys.parama(sig.ret);
|
2024-05-14 05:17:39 -05:00
|
|
|
let mut values = Vec::with_capacity(args.len());
|
2024-06-24 10:26:00 -05:00
|
|
|
let mut sig_args = sig.args.range();
|
2024-07-19 05:00:55 -05:00
|
|
|
let mut should_momize = !args.is_empty() && sig.ret == ty::Id::from(ty::TYPE);
|
2024-06-24 10:26:00 -05:00
|
|
|
for (arg, carg) in args.iter().zip(cargs) {
|
|
|
|
let ty = self.tys.args[sig_args.next().unwrap()];
|
|
|
|
let sym = parser::find_symbol(&ast.symbols, carg.id);
|
|
|
|
if sym.flags & idfl::COMPTIME != 0 {
|
|
|
|
sig_args.next().unwrap();
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
// TODO: pass the arg as dest
|
2024-06-24 10:26:00 -05:00
|
|
|
let varg = self.expr_ctx(arg, Ctx::default().with_ty(ty))?;
|
|
|
|
self.pass_arg(&varg, &mut parama);
|
|
|
|
values.push(varg.loc);
|
2024-07-19 05:00:55 -05:00
|
|
|
should_momize = false;
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
for value in values {
|
|
|
|
self.ci.free_loc(value);
|
|
|
|
}
|
2024-05-13 02:38:33 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
log::dbg!("call ctx: {ctx:?}");
|
2024-05-13 02:38:33 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let loc = self.alloc_ret(sig.ret, ctx);
|
2024-07-06 16:02:04 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if should_momize {
|
|
|
|
self.output.write_trap(trap::Trap::MomizedCall(trap::MomizedCall { func }));
|
|
|
|
}
|
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
let reloc = Reloc::new(self.local_offset(), 3, 4);
|
2024-07-19 05:00:55 -05:00
|
|
|
self.output.funcs.push((func, reloc));
|
2024-07-06 16:02:04 -05:00
|
|
|
self.output.emit(jal(RET_ADDR, ZERO, 0));
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if should_momize {
|
|
|
|
self.output.emit(tx());
|
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
self.load_ret(sig.ret, &loc);
|
|
|
|
return Some(Value { ty: sig.ret, loc });
|
2024-05-11 09:04:13 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
E::Ident { id, .. } if ident::is_null(id) => Some(Value::ty(id.into())),
|
2024-05-19 11:20:42 -05:00
|
|
|
E::Ident { id, index, .. }
|
2024-07-08 00:22:53 -05:00
|
|
|
if let Some((var_index, var)) =
|
|
|
|
self.ci.vars.iter_mut().enumerate().find(|(_, v)| v.id == id) =>
|
2024-05-19 11:20:42 -05:00
|
|
|
{
|
2024-06-23 02:09:33 -05:00
|
|
|
let sym = parser::find_symbol(&self.files[self.ci.file as usize].symbols, id);
|
2024-07-02 07:49:05 -05:00
|
|
|
let loc = match idfl::index(sym.flags) == index
|
2024-07-08 00:22:53 -05:00
|
|
|
&& !self.ci.loops.last().is_some_and(|l| l.var_count > var_index as u32)
|
2024-05-14 07:01:40 -05:00
|
|
|
{
|
2024-07-02 07:49:05 -05:00
|
|
|
true => std::mem::take(&mut var.value.loc),
|
2024-06-23 02:09:33 -05:00
|
|
|
false => var.value.loc.as_ref(),
|
2024-05-14 05:17:39 -05:00
|
|
|
};
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty: self.ci.vars[var_index].value.ty, loc })
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
E::Ident { id, name, .. } => match self
|
|
|
|
.tys
|
|
|
|
.syms
|
2024-07-08 00:22:53 -05:00
|
|
|
.get(&SymKey { ident: id, file: self.ci.file })
|
2024-05-20 07:11:58 -05:00
|
|
|
.copied()
|
2024-06-23 02:09:33 -05:00
|
|
|
.map(ty::Kind::from_ty)
|
|
|
|
.unwrap_or_else(|| self.find_or_declare(ident::pos(id), self.ci.file, Ok(id), name))
|
2024-05-20 07:11:58 -05:00
|
|
|
{
|
2024-06-23 02:09:33 -05:00
|
|
|
ty::Kind::Global(id) => self.handle_global(id),
|
|
|
|
tk => Some(Value::ty(tk.compress())),
|
2024-05-20 07:11:58 -05:00
|
|
|
},
|
2024-07-19 05:00:55 -05:00
|
|
|
E::Return { pos, val, .. } => {
|
2024-05-10 14:33:42 -05:00
|
|
|
if let Some(val) = val {
|
2024-07-19 05:00:55 -05:00
|
|
|
let size = self.ci.ret.map_or(17, |ty| self.tys.size_of(ty));
|
2024-05-14 05:17:39 -05:00
|
|
|
let loc = match size {
|
2024-06-23 02:09:33 -05:00
|
|
|
0 => Loc::default(),
|
|
|
|
1..=16 => Loc::reg(1),
|
|
|
|
_ => Loc::reg(self.ci.ret_reg.as_ref()).into_derefed(),
|
2024-05-14 05:17:39 -05:00
|
|
|
};
|
2024-07-19 05:00:55 -05:00
|
|
|
let ty = self.expr_ctx(val, Ctx { ty: self.ci.ret, loc: Some(loc) })?.ty;
|
|
|
|
match self.ci.ret {
|
|
|
|
None => self.ci.ret = Some(ty),
|
|
|
|
Some(ret) => _ = self.assert_ty(pos, ty, ret),
|
|
|
|
}
|
2024-05-10 14:33:42 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
self.ci.ret_relocs.push(Reloc::new(self.local_offset(), 1, 4));
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jmp(0));
|
2024-05-10 14:33:42 -05:00
|
|
|
None
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
E::Block { stmts, .. } => {
|
2024-05-09 16:41:59 -05:00
|
|
|
for stmt in stmts {
|
2024-05-14 08:03:36 -05:00
|
|
|
self.expr(stmt)?;
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
Some(Value::void())
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
E::Number { value, .. } => Some(Value {
|
2024-07-08 00:22:53 -05:00
|
|
|
ty: ctx.ty.map(ty::Id::strip_pointer).unwrap_or(ty::INT.into()),
|
2024-07-19 05:00:55 -05:00
|
|
|
loc: Loc::ct(value),
|
2024-05-10 14:33:42 -05:00
|
|
|
}),
|
2024-07-08 00:22:53 -05:00
|
|
|
E::If { cond, then, else_, .. } => {
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("if-cond");
|
2024-06-23 02:09:33 -05:00
|
|
|
let cond = self.expr_ctx(cond, Ctx::default().with_ty(ty::BOOL))?;
|
2024-06-23 06:55:48 -05:00
|
|
|
let reg = self.loc_to_reg(&cond.loc, 1);
|
2024-06-24 10:26:00 -05:00
|
|
|
let jump_offset = self.local_offset();
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jeq(reg.get(), 0, 0));
|
2024-06-23 06:55:48 -05:00
|
|
|
self.ci.free_loc(cond.loc);
|
2024-05-11 10:05:22 -05:00
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("if-then");
|
2024-05-13 04:05:35 -05:00
|
|
|
let then_unreachable = self.expr(then).is_none();
|
2024-05-12 07:56:59 -05:00
|
|
|
let mut else_unreachable = false;
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let mut jump = self.local_offset() as i64 - jump_offset as i64;
|
2024-05-11 11:16:27 -05:00
|
|
|
|
|
|
|
if let Some(else_) = else_ {
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("if-else");
|
2024-06-24 10:26:00 -05:00
|
|
|
let else_jump_offset = self.local_offset();
|
2024-05-12 07:56:59 -05:00
|
|
|
if !then_unreachable {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jmp(0));
|
2024-06-24 10:26:00 -05:00
|
|
|
jump = self.local_offset() as i64 - jump_offset as i64;
|
2024-05-12 07:56:59 -05:00
|
|
|
}
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-05-13 04:05:35 -05:00
|
|
|
else_unreachable = self.expr(else_).is_none();
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-05-12 07:56:59 -05:00
|
|
|
if !then_unreachable {
|
2024-06-24 10:26:00 -05:00
|
|
|
let jump = self.local_offset() as i64 - else_jump_offset as i64;
|
2024-05-12 07:56:59 -05:00
|
|
|
log::dbg!("if-else-jump: {}", jump);
|
2024-06-24 10:26:00 -05:00
|
|
|
write_reloc(self.local_code(), else_jump_offset as usize + 1, jump, 4);
|
2024-05-12 07:56:59 -05:00
|
|
|
}
|
2024-05-11 11:16:27 -05:00
|
|
|
}
|
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("if-then-jump: {}", jump);
|
2024-06-24 10:26:00 -05:00
|
|
|
write_reloc(self.local_code(), jump_offset as usize + 3, jump, 2);
|
2024-05-12 07:56:59 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
(!then_unreachable || !else_unreachable).then_some(Value::void())
|
2024-05-11 10:05:22 -05:00
|
|
|
}
|
2024-05-12 07:56:59 -05:00
|
|
|
E::Loop { body, .. } => 'a: {
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("loop");
|
2024-05-16 09:50:29 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let loop_start = self.local_offset();
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.loops.push(Loop {
|
2024-07-08 00:22:53 -05:00
|
|
|
var_count: self.ci.vars.len() as _,
|
|
|
|
offset: loop_start,
|
2024-06-23 02:09:33 -05:00
|
|
|
reloc_base: self.ci.loop_relocs.len() as u32,
|
2024-05-11 11:16:27 -05:00
|
|
|
});
|
2024-05-13 04:05:35 -05:00
|
|
|
let body_unreachable = self.expr(body).is_none();
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
log::dbg!("loop-end");
|
2024-05-12 07:56:59 -05:00
|
|
|
if !body_unreachable {
|
2024-06-24 10:26:00 -05:00
|
|
|
let loop_end = self.local_offset();
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jmp(loop_start as i32 - loop_end as i32));
|
2024-05-12 07:56:59 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let loop_end = self.local_offset();
|
2024-05-11 11:16:27 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let loopa = self.ci.loops.pop().unwrap();
|
|
|
|
let is_unreachable = loopa.reloc_base == self.ci.loop_relocs.len() as u32;
|
|
|
|
for reloc in self.ci.loop_relocs.drain(loopa.reloc_base as usize..) {
|
|
|
|
reloc.apply_jump(&mut self.output.code[self.ci.snap.code..], loop_end);
|
2024-05-11 11:16:27 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let mut vars = std::mem::take(&mut self.ci.vars);
|
|
|
|
for var in vars.drain(loopa.var_count as usize..) {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.free_loc(var.value.loc);
|
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
self.ci.vars = vars;
|
2024-05-14 07:01:40 -05:00
|
|
|
|
2024-05-12 07:56:59 -05:00
|
|
|
if is_unreachable {
|
|
|
|
log::dbg!("infinite loop");
|
|
|
|
break 'a None;
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
Some(Value::void())
|
2024-05-11 11:16:27 -05:00
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
E::Break { .. } => {
|
2024-07-08 00:22:53 -05:00
|
|
|
self.ci.loop_relocs.push(Reloc::shifted(self.local_offset(), 1, 4));
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jmp(0));
|
2024-05-11 11:16:27 -05:00
|
|
|
None
|
|
|
|
}
|
2024-05-11 15:22:08 -05:00
|
|
|
E::Continue { .. } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let loop_ = self.ci.loops.last().unwrap();
|
2024-06-24 10:26:00 -05:00
|
|
|
let offset = self.local_offset();
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(jmp(loop_.offset as i32 - offset as i32));
|
2024-05-11 11:16:27 -05:00
|
|
|
None
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::BinOp { left, op: op @ (T::And | T::Or), right } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let lhs = self.expr_ctx(left, Ctx::default().with_ty(ty::BOOL))?;
|
2024-05-15 04:10:20 -05:00
|
|
|
let lhs = self.loc_to_reg(lhs.loc, 1);
|
2024-06-23 02:09:33 -05:00
|
|
|
let jump_offset = self.output.code.len() + 3;
|
|
|
|
let op = if op == T::And { jeq } else { jne };
|
|
|
|
self.output.emit(op(lhs.get(), 0, 0));
|
2024-05-15 04:10:20 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if let Some(rhs) = self.expr_ctx(right, Ctx::default().with_ty(ty::BOOL)) {
|
2024-05-15 04:10:20 -05:00
|
|
|
let rhs = self.loc_to_reg(rhs.loc, 1);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(cp(lhs.get(), rhs.get()));
|
2024-05-15 04:10:20 -05:00
|
|
|
}
|
2024-05-13 06:36:29 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let jump = self.output.code.len() as i64 - jump_offset as i64;
|
|
|
|
write_reloc(&mut self.output.code, jump_offset, jump, 2);
|
2024-05-15 04:10:20 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty: ty::BOOL.into(), loc: Loc::reg(lhs) })
|
2024-05-15 04:10:20 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
E::BinOp { left, op, right } if op != T::Decl => 'ops: {
|
2024-05-13 08:24:48 -05:00
|
|
|
let left = self.expr(left)?;
|
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
if op == T::Assign {
|
2024-06-23 02:09:33 -05:00
|
|
|
let value = self.expr_ctx(right, Ctx::from(left)).unwrap();
|
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
return Some(Value::void());
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
2024-05-10 15:54:12 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if let ty::Kind::Struct(_) = left.ty.expand() {
|
|
|
|
let right = self.expr_ctx(right, Ctx::default().with_ty(left.ty))?;
|
2024-05-14 05:17:39 -05:00
|
|
|
_ = self.assert_ty(expr.pos(), left.ty, right.ty);
|
|
|
|
return self.struct_op(op, left.ty, ctx, left.loc, right.loc);
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let lsize = self.tys.size_of(left.ty);
|
2024-05-16 06:29:16 -05:00
|
|
|
|
2024-06-23 06:55:48 -05:00
|
|
|
let lhs = self.loc_to_reg(left.loc, lsize);
|
2024-06-24 10:26:00 -05:00
|
|
|
log::dbg!("{expr}");
|
2024-06-23 02:09:33 -05:00
|
|
|
let right = self.expr_ctx(right, Ctx::default().with_ty(left.ty))?;
|
|
|
|
let rsize = self.tys.size_of(right.ty);
|
2024-05-13 06:36:29 -05:00
|
|
|
|
|
|
|
let ty = self.assert_ty(expr.pos(), left.ty, right.ty);
|
2024-06-23 02:09:33 -05:00
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
let signed = ty.is_signed();
|
2024-05-13 07:23:19 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if let Loc::Ct { value: CtValue(mut imm), derefed } = right.loc
|
2024-05-16 06:32:04 -05:00
|
|
|
&& let Some(oper) = Self::imm_math_op(op, signed, size)
|
2024-05-16 06:29:16 -05:00
|
|
|
{
|
2024-07-19 05:00:55 -05:00
|
|
|
if derefed {
|
|
|
|
let mut dst = [0u8; 8];
|
|
|
|
dst[..size as usize].copy_from_slice(unsafe {
|
|
|
|
std::slice::from_raw_parts(imm as _, rsize as usize)
|
|
|
|
});
|
|
|
|
imm = u64::from_ne_bytes(dst);
|
|
|
|
}
|
2024-05-16 06:32:04 -05:00
|
|
|
if matches!(op, T::Add | T::Sub)
|
2024-06-23 02:09:33 -05:00
|
|
|
&& let ty::Kind::Ptr(ty) = ty::Kind::from_ty(ty)
|
2024-05-16 06:32:04 -05:00
|
|
|
{
|
2024-06-23 02:09:33 -05:00
|
|
|
let size = self.tys.size_of(self.tys.ptrs[ty as usize].base);
|
|
|
|
imm *= size as u64;
|
2024-05-16 06:29:16 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(oper(lhs.get(), lhs.get(), imm));
|
|
|
|
break 'ops Some(Value::new(ty, lhs));
|
2024-05-16 06:29:16 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
let rhs = self.loc_to_reg(right.loc, rsize);
|
|
|
|
|
2024-05-15 03:37:39 -05:00
|
|
|
if matches!(op, T::Add | T::Sub) {
|
2024-05-13 08:24:48 -05:00
|
|
|
let min_size = lsize.min(rsize);
|
2024-06-23 02:09:33 -05:00
|
|
|
if ty.is_signed() && min_size < size {
|
|
|
|
let operand = if lsize < rsize { lhs.get() } else { rhs.get() };
|
|
|
|
let op = [sxt8, sxt16, sxt32][min_size.ilog2() as usize];
|
|
|
|
self.output.emit(op(operand, operand));
|
2024-05-13 08:24:48 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if left.ty.is_pointer() ^ right.ty.is_pointer() {
|
|
|
|
let (offset, ty) = if left.ty.is_pointer() {
|
|
|
|
(rhs.get(), left.ty)
|
2024-05-13 08:24:48 -05:00
|
|
|
} else {
|
2024-06-23 02:09:33 -05:00
|
|
|
(lhs.get(), right.ty)
|
2024-05-13 08:24:48 -05:00
|
|
|
};
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
let ty::Kind::Ptr(ty) = ty.expand() else { unreachable!() };
|
2024-05-13 08:24:48 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let size = self.tys.size_of(self.tys.ptrs[ty as usize].base);
|
|
|
|
self.output.emit(muli64(offset, offset, size as _));
|
2024-05-13 08:24:48 -05:00
|
|
|
}
|
2024-05-13 07:23:19 -05:00
|
|
|
}
|
|
|
|
|
2024-05-14 05:17:39 -05:00
|
|
|
if let Some(op) = Self::math_op(op, signed, size) {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(op(lhs.get(), lhs.get(), rhs.get()));
|
|
|
|
self.ci.regs.free(rhs);
|
|
|
|
break 'ops Some(Value::new(ty, lhs));
|
2024-05-13 07:23:19 -05:00
|
|
|
}
|
2024-05-13 06:36:29 -05:00
|
|
|
|
2024-05-13 08:24:48 -05:00
|
|
|
'cmp: {
|
|
|
|
let against = match op {
|
2024-05-19 11:20:42 -05:00
|
|
|
T::Le | T::Gt => 1,
|
2024-05-13 08:24:48 -05:00
|
|
|
T::Ne | T::Eq => 0,
|
2024-05-19 11:20:42 -05:00
|
|
|
T::Ge | T::Lt => (-1i64) as _,
|
2024-05-13 08:24:48 -05:00
|
|
|
_ => break 'cmp,
|
|
|
|
};
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let op_fn = if signed { cmps } else { cmpu };
|
|
|
|
self.output.emit(op_fn(lhs.get(), lhs.get(), rhs.get()));
|
|
|
|
self.output.emit(cmpui(lhs.get(), lhs.get(), against));
|
2024-05-13 08:24:48 -05:00
|
|
|
if matches!(op, T::Eq | T::Lt | T::Gt) {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(not(lhs.get(), lhs.get()));
|
2024-05-11 11:16:27 -05:00
|
|
|
}
|
2024-05-10 15:54:12 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.regs.free(rhs);
|
|
|
|
break 'ops Some(Value::new(ty::BOOL, lhs));
|
2024-05-13 08:24:48 -05:00
|
|
|
}
|
2024-05-10 15:54:12 -05:00
|
|
|
|
2024-05-13 08:24:48 -05:00
|
|
|
unimplemented!("{:#?}", op)
|
2024-05-10 15:54:12 -05:00
|
|
|
}
|
2024-06-25 12:55:25 -05:00
|
|
|
E::Comment { .. } => Some(Value::void()),
|
2024-07-19 05:00:55 -05:00
|
|
|
ref ast => self.report_unhandled_ast(ast, "expression"),
|
2024-05-13 04:05:35 -05:00
|
|
|
}?;
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if let Some(ty) = ctx.ty {
|
|
|
|
_ = self.assert_ty(expr.pos(), value.ty, ty);
|
|
|
|
}
|
|
|
|
|
|
|
|
Some(match ctx.loc {
|
|
|
|
Some(dest) => {
|
|
|
|
let ty = ctx.ty.unwrap_or(value.ty);
|
|
|
|
self.store_typed(value.loc, dest, ty);
|
2024-07-19 05:00:55 -05:00
|
|
|
Value { ty, loc: Loc::ct(0) }
|
2024-05-14 16:07:32 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
None => value,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn has_ct(&self, expr: &Expr) -> bool {
|
|
|
|
expr.has_ct(&self.cfile().symbols)
|
|
|
|
}
|
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
fn eval_const(&mut self, expr: &Expr, ty: impl Into<ty::Id>) -> u64 {
|
2024-07-19 05:00:55 -05:00
|
|
|
self.eval_const_low(expr, Some(ty.into())).0
|
|
|
|
}
|
|
|
|
|
|
|
|
fn eval_const_low(&mut self, expr: &Expr, mut ty: Option<ty::Id>) -> (u64, ty::Id) {
|
2024-07-08 11:08:58 -05:00
|
|
|
let mut ci = ItemCtx {
|
|
|
|
file: self.ci.file,
|
|
|
|
id: self.ci.id,
|
2024-07-19 05:00:55 -05:00
|
|
|
ret: ty,
|
2024-07-08 11:08:58 -05:00
|
|
|
..self.pool.cis.pop().unwrap_or_default()
|
|
|
|
};
|
|
|
|
ci.vars.append(&mut self.ci.vars);
|
|
|
|
|
|
|
|
let loc = self.ct_eval(ci, |s, prev| {
|
|
|
|
s.output.emit_prelude();
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if s.ci.ret.map_or(true, |r| s.tys.size_of(r) > 16) {
|
|
|
|
let reg = s.ci.regs.allocate();
|
|
|
|
s.output.emit(instrs::cp(reg.get(), 1));
|
|
|
|
s.ci.ret_reg = reg;
|
|
|
|
};
|
|
|
|
|
|
|
|
let ctx = Ctx { loc: None, ty: s.ci.ret };
|
|
|
|
if s.expr_ctx(&Expr::Return { pos: 0, val: Some(expr) }, ctx).is_some() {
|
2024-07-08 11:08:58 -05:00
|
|
|
s.report(expr.pos(), "we fucked up");
|
|
|
|
};
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
ty = s.ci.ret;
|
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
let stash = s.complete_call_graph();
|
|
|
|
|
|
|
|
s.push_stash(stash);
|
|
|
|
|
|
|
|
s.dunp_imported_fns();
|
|
|
|
|
|
|
|
prev.vars.append(&mut s.ci.vars);
|
|
|
|
s.ci.finalize(&mut s.output);
|
|
|
|
s.output.emit(tx());
|
|
|
|
|
|
|
|
Ok(1)
|
|
|
|
});
|
|
|
|
|
|
|
|
match loc {
|
2024-07-19 05:00:55 -05:00
|
|
|
Ok(i) | Err(i) => {
|
|
|
|
(self.ct.vm.read_reg(i).cast::<u64>(), ty.expect("you have died (in brahmaputra)"))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn assign_ct_pattern(&mut self, pat: &Expr, ty: ty::Id, offset: *mut u8) -> bool {
|
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
match *pat {
|
|
|
|
Expr::Ident { id, .. }
|
|
|
|
if find_symbol(&self.cfile().symbols, id).flags & idfl::REFERENCED == 0
|
|
|
|
&& size <= 8 =>
|
|
|
|
{
|
|
|
|
let loc = Loc::ct(load_value(offset, size));
|
|
|
|
self.ci.vars.push(Variable { id, value: Value { ty, loc } });
|
|
|
|
true
|
|
|
|
}
|
|
|
|
Expr::Ident { id, .. } => {
|
|
|
|
let var = Variable { id, value: Value { ty, loc: Loc::ct_ptr(offset as _) } };
|
|
|
|
self.ci.vars.push(var);
|
|
|
|
false
|
|
|
|
}
|
|
|
|
ref pat => self.report_unhandled_ast(pat, "comptime pattern"),
|
2024-07-08 11:08:58 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
fn assign_pattern(&mut self, pat: &Expr, right: Value) -> Option<Value> {
|
|
|
|
match *pat {
|
|
|
|
Expr::Ident { id, .. } => {
|
|
|
|
let mut loc = self.make_loc_owned(right.loc, right.ty);
|
|
|
|
let sym = parser::find_symbol(&self.cfile().symbols, id);
|
|
|
|
if sym.flags & idfl::REFERENCED != 0 {
|
|
|
|
loc = self.spill(loc, self.tys.size_of(right.ty));
|
|
|
|
}
|
|
|
|
self.ci.vars.push(Variable { id, value: Value { ty: right.ty, loc } });
|
|
|
|
}
|
|
|
|
Expr::Ctor { pos, fields, .. } => {
|
|
|
|
let ty::Kind::Struct(idx) = right.ty.expand() else {
|
|
|
|
self.report(pos, "can't use struct destruct on non struct value (TODO: shold work with modules)");
|
|
|
|
};
|
|
|
|
|
|
|
|
for &CtorField { pos, name, ref value } in fields {
|
|
|
|
let Some((offset, ty)) = self.tys.offset_of(idx, name) else {
|
|
|
|
self.report(pos, format_args!("field not found: {name:?}"));
|
|
|
|
};
|
|
|
|
let loc = self.ci.dup_loc(&right.loc).offset(offset);
|
|
|
|
self.assign_pattern(value, Value::new(ty, loc));
|
|
|
|
}
|
|
|
|
|
|
|
|
self.ci.free_loc(right.loc);
|
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
ref pat => self.report_unhandled_ast(pat, "pattern"),
|
2024-07-08 00:22:53 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
Some(Value::void())
|
|
|
|
}
|
|
|
|
|
2024-07-07 12:16:15 -05:00
|
|
|
fn prepare_struct_ctor(
|
|
|
|
&mut self,
|
|
|
|
pos: Pos,
|
|
|
|
ctx: Ctx,
|
|
|
|
ty: Option<&Expr>,
|
|
|
|
field_len: usize,
|
2024-07-08 11:08:58 -05:00
|
|
|
) -> (ty::Id, Loc) {
|
|
|
|
let Some(mut ty) = ty.map(|ty| self.ty(ty)).or(ctx.ty) else {
|
2024-07-07 12:16:15 -05:00
|
|
|
self.report(pos, "expected type, (it cannot be inferred)");
|
|
|
|
};
|
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
match ty.expand() {
|
|
|
|
ty::Kind::Struct(stru) => {
|
|
|
|
let field_count = self.tys.structs[stru as usize].fields.len();
|
|
|
|
if field_count != field_len {
|
|
|
|
self.report(
|
|
|
|
pos,
|
|
|
|
format_args!("expected {field_count} fields, got {field_len}"),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ty::Kind::Slice(arr) => {
|
|
|
|
let arr = &self.tys.arrays[arr as usize];
|
|
|
|
if arr.len == ArrayLen::MAX {
|
|
|
|
ty = self.tys.make_array(arr.ty, field_len as _);
|
|
|
|
} else if arr.len != field_len as u32 {
|
|
|
|
self.report(
|
|
|
|
pos,
|
|
|
|
format_args!(
|
|
|
|
"literal has {} elements, but explicit array type has {} elements",
|
|
|
|
arr.len, field_len
|
|
|
|
),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => self.report(pos, "expected expression to evaluate to struct (or array maybe)"),
|
2024-07-07 12:16:15 -05:00
|
|
|
}
|
|
|
|
|
2024-07-08 11:08:58 -05:00
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
let loc = ctx.loc.unwrap_or_else(|| Loc::stack(self.ci.stack.allocate(size)));
|
|
|
|
(ty, loc)
|
2024-07-07 12:16:15 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn struct_op(
|
|
|
|
&mut self,
|
|
|
|
op: TokenKind,
|
|
|
|
ty: ty::Id,
|
|
|
|
ctx: Ctx,
|
|
|
|
left: Loc,
|
|
|
|
mut right: Loc,
|
|
|
|
) -> Option<Value> {
|
|
|
|
if let ty::Kind::Struct(stuct) = ty.expand() {
|
|
|
|
let loc = ctx
|
|
|
|
.loc
|
|
|
|
.or_else(|| right.take_owned())
|
|
|
|
.unwrap_or_else(|| Loc::stack(self.ci.stack.allocate(self.tys.size_of(ty))));
|
|
|
|
let mut offset = 0;
|
|
|
|
for &Field { ty, .. } in self.tys.structs[stuct as usize].fields.clone().iter() {
|
|
|
|
offset = Types::align_up(offset, self.tys.align_of(ty));
|
|
|
|
let size = self.tys.size_of(ty);
|
2024-07-08 00:22:53 -05:00
|
|
|
let ctx = Ctx::from(Value { ty, loc: loc.as_ref().offset(offset) });
|
2024-06-23 02:09:33 -05:00
|
|
|
let left = left.as_ref().offset(offset);
|
|
|
|
let right = right.as_ref().offset(offset);
|
|
|
|
let value = self.struct_op(op, ty, ctx, left, right)?;
|
|
|
|
self.ci.free_loc(value.loc);
|
|
|
|
offset += size;
|
|
|
|
}
|
|
|
|
|
|
|
|
self.ci.free_loc(left);
|
|
|
|
self.ci.free_loc(right);
|
|
|
|
|
|
|
|
return Some(Value { ty, loc });
|
|
|
|
}
|
|
|
|
|
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
let signed = ty.is_signed();
|
|
|
|
let lhs = self.loc_to_reg(left, size);
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if let Loc::Ct { value, derefed: false } = right
|
2024-06-23 02:09:33 -05:00
|
|
|
&& let Some(op) = Self::imm_math_op(op, signed, size)
|
|
|
|
{
|
2024-07-19 05:00:55 -05:00
|
|
|
self.output.emit(op(lhs.get(), lhs.get(), value.0));
|
2024-06-23 02:09:33 -05:00
|
|
|
return Some(if let Some(value) = ctx.into_value() {
|
|
|
|
self.store_typed(Loc::reg(lhs.as_ref()), value.loc, value.ty);
|
|
|
|
Value::void()
|
|
|
|
} else {
|
2024-07-08 00:22:53 -05:00
|
|
|
Value { ty, loc: Loc::reg(lhs) }
|
2024-06-23 02:09:33 -05:00
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
let rhs = self.loc_to_reg(right, size);
|
|
|
|
|
|
|
|
if let Some(op) = Self::math_op(op, signed, size) {
|
|
|
|
self.output.emit(op(lhs.get(), lhs.get(), rhs.get()));
|
|
|
|
self.ci.regs.free(rhs);
|
|
|
|
return if let Some(value) = ctx.into_value() {
|
|
|
|
self.store_typed(Loc::reg(lhs), value.loc, value.ty);
|
|
|
|
Some(Value::void())
|
|
|
|
} else {
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty, loc: Loc::reg(lhs) })
|
2024-06-23 02:09:33 -05:00
|
|
|
};
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
unimplemented!("{:#?}", op)
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[allow(clippy::type_complexity)]
|
2024-05-14 05:17:39 -05:00
|
|
|
fn math_op(
|
2024-06-23 02:09:33 -05:00
|
|
|
op: TokenKind,
|
2024-05-14 05:17:39 -05:00
|
|
|
signed: bool,
|
2024-06-23 02:09:33 -05:00
|
|
|
size: u32,
|
2024-05-14 05:17:39 -05:00
|
|
|
) -> Option<fn(u8, u8, u8) -> (usize, [u8; instrs::MAX_SIZE])> {
|
2024-06-23 02:09:33 -05:00
|
|
|
use TokenKind as T;
|
2024-05-15 04:10:20 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
macro_rules! div { ($($op:ident),*) => {[$(|a, b, c| $op(a, ZERO, b, c)),*]}; }
|
|
|
|
macro_rules! rem { ($($op:ident),*) => {[$(|a, b, c| $op(ZERO, a, b, c)),*]}; }
|
2024-05-15 04:10:20 -05:00
|
|
|
|
|
|
|
let ops = match op {
|
2024-06-23 02:09:33 -05:00
|
|
|
T::Add => [add8, add16, add32, add64],
|
|
|
|
T::Sub => [sub8, sub16, sub32, sub64],
|
|
|
|
T::Mul => [mul8, mul16, mul32, mul64],
|
2024-05-15 04:10:20 -05:00
|
|
|
T::Div if signed => div!(dirs8, dirs16, dirs32, dirs64),
|
|
|
|
T::Div => div!(diru8, diru16, diru32, diru64),
|
|
|
|
T::Mod if signed => rem!(dirs8, dirs16, dirs32, dirs64),
|
|
|
|
T::Mod => rem!(diru8, diru16, diru32, diru64),
|
2024-06-23 02:09:33 -05:00
|
|
|
T::Band => return Some(and),
|
|
|
|
T::Bor => return Some(or),
|
|
|
|
T::Xor => return Some(xor),
|
|
|
|
T::Shl => [slu8, slu16, slu32, slu64],
|
|
|
|
T::Shr if signed => [srs8, srs16, srs32, srs64],
|
|
|
|
T::Shr => [sru8, sru16, sru32, sru64],
|
2024-05-15 04:10:20 -05:00
|
|
|
_ => return None,
|
|
|
|
};
|
|
|
|
|
|
|
|
Some(ops[size.ilog2() as usize])
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[allow(clippy::type_complexity)]
|
2024-05-16 06:29:16 -05:00
|
|
|
fn imm_math_op(
|
2024-06-23 02:09:33 -05:00
|
|
|
op: TokenKind,
|
2024-05-16 06:29:16 -05:00
|
|
|
signed: bool,
|
2024-06-23 02:09:33 -05:00
|
|
|
size: u32,
|
2024-05-16 06:29:16 -05:00
|
|
|
) -> Option<fn(u8, u8, u64) -> (usize, [u8; instrs::MAX_SIZE])> {
|
2024-06-23 02:09:33 -05:00
|
|
|
use TokenKind as T;
|
2024-05-16 06:29:16 -05:00
|
|
|
|
|
|
|
macro_rules! def_op {
|
|
|
|
($name:ident |$a:ident, $b:ident, $c:ident| $($tt:tt)*) => {
|
|
|
|
macro_rules! $name {
|
|
|
|
($$($$op:ident),*) => {
|
|
|
|
[$$(
|
2024-06-23 02:09:33 -05:00
|
|
|
|$a, $b, $c: u64| $$op($($tt)*),
|
2024-05-16 06:29:16 -05:00
|
|
|
)*]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
def_op!(basic_op | a, b, c | a, b, c as _);
|
|
|
|
def_op!(sub_op | a, b, c | b, a, c.wrapping_neg() as _);
|
|
|
|
|
|
|
|
let ops = match op {
|
|
|
|
T::Add => basic_op!(addi8, addi16, addi32, addi64),
|
2024-05-16 06:32:04 -05:00
|
|
|
T::Sub => sub_op!(addi8, addi16, addi32, addi64),
|
2024-05-16 06:29:16 -05:00
|
|
|
T::Mul => basic_op!(muli8, muli16, muli32, muli64),
|
2024-06-23 02:09:33 -05:00
|
|
|
T::Band => return Some(andi),
|
|
|
|
T::Bor => return Some(ori),
|
|
|
|
T::Xor => return Some(xori),
|
2024-05-16 06:32:04 -05:00
|
|
|
T::Shr if signed => basic_op!(srui8, srui16, srui32, srui64),
|
|
|
|
T::Shr => basic_op!(srui8, srui16, srui32, srui64),
|
|
|
|
T::Shl => basic_op!(slui8, slui16, slui32, slui64),
|
2024-05-16 06:29:16 -05:00
|
|
|
_ => return None,
|
|
|
|
};
|
|
|
|
|
|
|
|
Some(ops[size.ilog2() as usize])
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn handle_global(&mut self, id: ty::Global) -> Option<Value> {
|
|
|
|
let ptr = self.ci.regs.allocate();
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
let reloc = Reloc::new(self.local_offset(), 3, 4);
|
2024-06-23 02:09:33 -05:00
|
|
|
let global = &mut self.tys.globals[id as usize];
|
|
|
|
self.output.globals.push((id, reloc));
|
2024-07-06 16:02:04 -05:00
|
|
|
log::dbg!("{}", self.output.globals.len() - self.ci.snap.globals);
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.emit(instrs::lra(ptr.get(), 0, 0));
|
2024-05-16 06:29:16 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
Some(Value { ty: global.ty, loc: Loc::reg(ptr).into_derefed() })
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn spill(&mut self, loc: Loc, size: Size) -> Loc {
|
|
|
|
let stack = Loc::stack(self.ci.stack.allocate(size));
|
|
|
|
self.store_sized(loc, &stack, size);
|
|
|
|
stack
|
|
|
|
}
|
|
|
|
|
|
|
|
fn make_loc_owned(&mut self, loc: Loc, ty: ty::Id) -> Loc {
|
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
match size {
|
|
|
|
0 => Loc::default(),
|
|
|
|
1..=8 => Loc::reg(self.loc_to_reg(loc, size)),
|
|
|
|
_ if loc.is_ref() => {
|
|
|
|
let new_loc = Loc::stack(self.ci.stack.allocate(size));
|
|
|
|
self.store_sized(loc, &new_loc, size);
|
|
|
|
new_loc
|
|
|
|
}
|
|
|
|
_ => loc,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
#[must_use]
|
|
|
|
fn complete_call_graph(&mut self) -> Output {
|
|
|
|
let stash = self.pop_stash();
|
|
|
|
self.complete_call_graph_low();
|
2024-07-07 06:42:48 -05:00
|
|
|
|
|
|
|
self.ci.snap = self.output.snap();
|
2024-06-24 10:26:00 -05:00
|
|
|
stash
|
|
|
|
}
|
|
|
|
|
|
|
|
fn complete_call_graph_low(&mut self) {
|
2024-06-23 02:09:33 -05:00
|
|
|
while self.ci.task_base < self.tasks.len()
|
|
|
|
&& let Some(task_slot) = self.tasks.pop()
|
2024-05-16 06:29:16 -05:00
|
|
|
{
|
2024-06-23 02:09:33 -05:00
|
|
|
let Some(task) = task_slot else { continue };
|
|
|
|
self.handle_task(task);
|
2024-05-16 06:29:16 -05:00
|
|
|
}
|
2024-07-07 06:42:48 -05:00
|
|
|
|
|
|
|
let base = self.output.code.len() as u32;
|
|
|
|
let prev_data_len = self.output.string_data.len();
|
|
|
|
self.output.code.append(&mut self.output.string_data);
|
|
|
|
for srel in self.output.strings.iter_mut() {
|
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
{
|
|
|
|
if std::mem::replace(&mut srel.shifted, true) {
|
|
|
|
panic!("str reloc visited twice");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
debug_assert!(srel.range.end <= prev_data_len as u32);
|
|
|
|
debug_assert!(srel.range.start <= srel.range.end);
|
|
|
|
srel.range.start += base;
|
|
|
|
srel.range.end += base;
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-16 06:29:16 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn handle_task(&mut self, FTask { file, id }: FTask) {
|
2024-06-23 02:09:33 -05:00
|
|
|
let func = self.tys.funcs[id as usize];
|
2024-06-24 10:26:00 -05:00
|
|
|
let sig = func.sig.unwrap();
|
|
|
|
let ast = self.files[file as usize].clone();
|
|
|
|
let expr = func.expr.get(&ast).unwrap();
|
2024-07-19 05:00:55 -05:00
|
|
|
let ct_stack_base = self.ct.vm.read_reg(reg::STACK_PTR).0;
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let repl = ItemCtx {
|
|
|
|
file,
|
|
|
|
id: ty::Kind::Func(id),
|
2024-07-19 05:00:55 -05:00
|
|
|
ret: Some(sig.ret),
|
2024-06-23 02:09:33 -05:00
|
|
|
..self.pool.cis.pop().unwrap_or_default()
|
|
|
|
};
|
|
|
|
let prev_ci = std::mem::replace(&mut self.ci, repl);
|
|
|
|
self.ci.regs.init();
|
|
|
|
self.ci.snap = self.output.snap();
|
|
|
|
|
|
|
|
let Expr::BinOp {
|
|
|
|
left: Expr::Ident { name, .. },
|
|
|
|
op: TokenKind::Decl,
|
|
|
|
right: &Expr::Closure { body, args, .. },
|
|
|
|
} = expr
|
|
|
|
else {
|
|
|
|
unreachable!("{expr}")
|
|
|
|
};
|
|
|
|
|
|
|
|
log::dbg!("fn: {}", name);
|
|
|
|
|
|
|
|
self.output.emit_prelude();
|
|
|
|
|
|
|
|
log::dbg!("fn-args");
|
2024-07-19 05:00:55 -05:00
|
|
|
let mut parama = self.tys.parama(sig.ret);
|
2024-06-24 10:26:00 -05:00
|
|
|
let mut sig_args = sig.args.range();
|
|
|
|
for arg in args.iter() {
|
|
|
|
let ty = self.tys.args[sig_args.next().unwrap()];
|
2024-06-23 02:09:33 -05:00
|
|
|
let sym = parser::find_symbol(&ast.symbols, arg.id);
|
2024-06-24 10:26:00 -05:00
|
|
|
let loc = match sym.flags & idfl::COMPTIME != 0 {
|
|
|
|
true => Loc::ty(self.tys.args[sig_args.next().unwrap()]),
|
|
|
|
false => self.load_arg(sym.flags, ty, &mut parama),
|
|
|
|
};
|
2024-07-08 00:22:53 -05:00
|
|
|
self.ci.vars.push(Variable { id: arg.id, value: Value { ty, loc } });
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
if self.tys.size_of(sig.ret) > 16 {
|
2024-06-23 02:09:33 -05:00
|
|
|
let reg = self.ci.regs.allocate();
|
|
|
|
self.output.emit(instrs::cp(reg.get(), 1));
|
|
|
|
self.ci.ret_reg = reg;
|
|
|
|
} else {
|
|
|
|
self.ci.ret_reg = reg::Id::RET;
|
|
|
|
}
|
|
|
|
|
|
|
|
log::dbg!("fn-body");
|
|
|
|
if self.expr(body).is_some() {
|
|
|
|
self.report(body.pos(), "expected all paths in the fucntion to return");
|
|
|
|
}
|
|
|
|
|
|
|
|
for vars in self.ci.vars.drain(..).collect::<Vec<_>>() {
|
|
|
|
self.ci.free_loc(vars.value.loc);
|
|
|
|
}
|
|
|
|
|
|
|
|
log::dbg!("fn-prelude, stack: {:x}", self.ci.stack.max_height);
|
|
|
|
|
|
|
|
log::dbg!("fn-relocs");
|
|
|
|
self.ci.finalize(&mut self.output);
|
|
|
|
self.output.emit(jala(ZERO, RET_ADDR, 0));
|
|
|
|
self.ci.regs.free(std::mem::take(&mut self.ci.ret_reg));
|
|
|
|
self.tys.funcs[id as usize].offset = self.ci.snap.code as Offset;
|
|
|
|
self.pool.cis.push(std::mem::replace(&mut self.ci, prev_ci));
|
2024-07-19 05:00:55 -05:00
|
|
|
self.ct.vm.write_reg(reg::STACK_PTR, ct_stack_base);
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn load_arg(&mut self, flags: parser::IdentFlags, ty: ty::Id, parama: &mut ParamAlloc) -> Loc {
|
|
|
|
let size = self.tys.size_of(ty) as Size;
|
2024-06-25 12:55:25 -05:00
|
|
|
if size == 0 {
|
|
|
|
return Loc::default();
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
let (src, dst) = match size {
|
|
|
|
0 => (Loc::default(), Loc::default()),
|
|
|
|
..=8 if flags & idfl::REFERENCED == 0 => {
|
|
|
|
(Loc::reg(parama.next()), Loc::reg(self.ci.regs.allocate()))
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
1..=8 => (Loc::reg(parama.next()), Loc::stack(self.ci.stack.allocate(size))),
|
|
|
|
9..=16 => (Loc::reg(parama.next_wide()), Loc::stack(self.ci.stack.allocate(size))),
|
2024-06-23 02:09:33 -05:00
|
|
|
_ if flags & (idfl::MUTABLE | idfl::REFERENCED) == 0 => {
|
|
|
|
let ptr = parama.next();
|
|
|
|
let reg = self.ci.regs.allocate();
|
|
|
|
self.output.emit(instrs::cp(reg.get(), ptr));
|
|
|
|
return Loc::reg(reg).into_derefed();
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
_ => (Loc::reg(parama.next()).into_derefed(), Loc::stack(self.ci.stack.allocate(size))),
|
2024-06-23 02:09:33 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
self.store_sized(src, &dst, size);
|
|
|
|
dst
|
|
|
|
}
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn eca(&mut self, trap: trap::Trap, ret: impl Into<ty::Id>) -> Value {
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.write_trap(trap);
|
2024-07-08 00:22:53 -05:00
|
|
|
Value { ty: ret.into(), loc: Loc::reg(1) }
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn alloc_ret(&mut self, ret: ty::Id, ctx: Ctx) -> Loc {
|
|
|
|
let size = self.tys.size_of(ret);
|
2024-05-12 13:10:50 -05:00
|
|
|
match size {
|
2024-06-23 02:09:33 -05:00
|
|
|
0 => Loc::default(),
|
|
|
|
1..=8 => Loc::reg(1),
|
|
|
|
9..=16 => Loc::stack(self.ci.stack.allocate(size)),
|
|
|
|
_ => {
|
2024-07-08 00:22:53 -05:00
|
|
|
let loc = ctx.loc.unwrap_or_else(|| Loc::stack(self.ci.stack.allocate(size)));
|
|
|
|
let Loc::Rt { reg, stack, offset, .. } = &loc else {
|
2024-06-24 10:45:58 -05:00
|
|
|
todo!("old man with the beard looks at the sky scared");
|
|
|
|
};
|
|
|
|
self.stack_offset(1, reg.get(), stack.as_ref(), *offset);
|
|
|
|
loc
|
2024-05-12 04:52:58 -05:00
|
|
|
}
|
2024-05-11 05:51:32 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:26:03 -05:00
|
|
|
fn loc_to_reg(&mut self, loc: impl Into<LocCow>, size: Size) -> reg::Id {
|
|
|
|
match loc.into() {
|
2024-07-08 00:22:53 -05:00
|
|
|
LocCow::Owned(Loc::Rt { derefed: false, mut reg, offset, stack }) => {
|
2024-06-23 02:09:33 -05:00
|
|
|
debug_assert!(stack.is_none(), "TODO");
|
|
|
|
assert_eq!(offset, 0, "TODO");
|
|
|
|
if reg.is_ref() {
|
|
|
|
let new_reg = self.ci.regs.allocate();
|
|
|
|
self.output.emit(cp(new_reg.get(), reg.get()));
|
|
|
|
reg = new_reg;
|
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
reg
|
|
|
|
}
|
2024-07-08 00:22:53 -05:00
|
|
|
LocCow::Ref(&Loc::Rt { derefed: false, ref reg, offset, ref stack }) => {
|
2024-06-23 02:26:03 -05:00
|
|
|
debug_assert!(stack.is_none(), "TODO");
|
|
|
|
assert_eq!(offset, 0, "TODO");
|
|
|
|
reg.as_ref()
|
|
|
|
}
|
2024-06-23 06:55:48 -05:00
|
|
|
loc => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let reg = self.ci.regs.allocate();
|
|
|
|
self.store_sized(loc, Loc::reg(reg.as_ref()), size);
|
|
|
|
reg
|
2024-05-12 13:10:50 -05:00
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn load_ret(&mut self, ty: ty::Id, loc: &Loc) {
|
|
|
|
let size = self.tys.size_of(ty);
|
|
|
|
if let 1..=16 = size {
|
|
|
|
self.store_sized(Loc::reg(1), loc, size);
|
|
|
|
}
|
|
|
|
}
|
2024-06-01 13:30:07 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn pass_arg(&mut self, value: &Value, parama: &mut ParamAlloc) {
|
|
|
|
self.pass_arg_low(&value.loc, self.tys.size_of(value.ty), parama)
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn pass_arg_low(&mut self, loc: &Loc, size: Size, parama: &mut ParamAlloc) {
|
|
|
|
if size > 16 {
|
2024-07-08 00:22:53 -05:00
|
|
|
let Loc::Rt { reg, stack, offset, .. } = loc else { unreachable!() };
|
2024-06-23 06:55:48 -05:00
|
|
|
self.stack_offset(parama.next(), reg.get(), stack.as_ref(), *offset as _);
|
2024-06-23 02:09:33 -05:00
|
|
|
return;
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let dst = match size {
|
|
|
|
0 => return,
|
|
|
|
9..=16 => Loc::reg(parama.next_wide()),
|
|
|
|
_ => Loc::reg(parama.next()),
|
|
|
|
};
|
|
|
|
|
|
|
|
self.store_sized(loc, dst, size);
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn store_typed(&mut self, src: impl Into<LocCow>, dst: impl Into<LocCow>, ty: ty::Id) {
|
|
|
|
self.store_sized(src, dst, self.tys.size_of(ty) as _)
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn store_sized(&mut self, src: impl Into<LocCow>, dst: impl Into<LocCow>, size: Size) {
|
|
|
|
self.store_sized_low(src.into(), dst.into(), size);
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn store_sized_low(&mut self, src: LocCow, dst: LocCow, size: Size) {
|
|
|
|
macro_rules! lpat {
|
|
|
|
($der:literal, $reg:ident, $off:pat, $sta:pat) => {
|
|
|
|
&Loc::Rt { derefed: $der, reg: ref $reg, offset: $off, stack: $sta }
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2024-06-25 12:55:25 -05:00
|
|
|
if size == 0 {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
src.as_ref().assert_valid();
|
|
|
|
dst.as_ref().assert_valid();
|
|
|
|
|
|
|
|
match (src.as_ref(), dst.as_ref()) {
|
2024-07-19 05:00:55 -05:00
|
|
|
(&Loc::Ct { value, derefed }, lpat!(true, reg, off, ref sta)) => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let ct = self.ci.regs.allocate();
|
2024-07-19 05:00:55 -05:00
|
|
|
self.output.emit(li64(ct.get(), ensure_loaded(value, derefed, size)));
|
2024-06-23 02:09:33 -05:00
|
|
|
let off = self.opt_stack_reloc(sta.as_ref(), off, 3);
|
|
|
|
self.output.emit(st(ct.get(), reg.get(), off, size as _));
|
|
|
|
self.ci.regs.free(ct);
|
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
(&Loc::Ct { value, derefed }, lpat!(false, reg, 0, None)) => {
|
|
|
|
self.output.emit(li64(reg.get(), ensure_loaded(value, derefed, size)))
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
(&Loc::Ct { value, derefed }, lpat!(false, reg, 8, None))
|
|
|
|
if reg.get() == 1 && size == 8 =>
|
|
|
|
{
|
|
|
|
self.output.emit(li64(reg.get() + 1, ensure_loaded(value, derefed, size)));
|
2024-07-18 10:55:55 -05:00
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
(&Loc::Ct { value, derefed }, lpat!(false, reg, off, None)) if reg.get() == 1 => {
|
2024-07-18 10:55:55 -05:00
|
|
|
let freg = reg.get() + (off / 8) as u8;
|
|
|
|
let mask = !(((1u64 << (8 * size)) - 1) << (8 * (off % 8)));
|
|
|
|
self.output.emit(andi(freg, freg, mask));
|
2024-07-19 05:00:55 -05:00
|
|
|
let value = ensure_loaded(value, derefed, size) << (8 * (off % 8));
|
2024-07-18 10:55:55 -05:00
|
|
|
self.output.emit(ori(freg, freg, value));
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
(lpat!(true, src, soff, ref ssta), lpat!(true, dst, doff, ref dsta)) => {
|
|
|
|
// TODO: some oportuinies to ellit more optimal code
|
|
|
|
let src_off = self.ci.regs.allocate();
|
|
|
|
let dst_off = self.ci.regs.allocate();
|
2024-06-23 06:55:48 -05:00
|
|
|
self.stack_offset(src_off.get(), src.get(), ssta.as_ref(), soff);
|
|
|
|
self.stack_offset(dst_off.get(), dst.get(), dsta.as_ref(), doff);
|
2024-07-08 00:22:53 -05:00
|
|
|
self.output.emit(bmc(src_off.get(), dst_off.get(), size as _));
|
2024-06-23 02:09:33 -05:00
|
|
|
self.ci.regs.free(src_off);
|
|
|
|
self.ci.regs.free(dst_off);
|
|
|
|
}
|
|
|
|
(lpat!(false, src, 0, None), lpat!(false, dst, 0, None)) => {
|
|
|
|
if src != dst {
|
|
|
|
self.output.emit(cp(dst.get(), src.get()));
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
(lpat!(true, src, soff, ref ssta), lpat!(false, dst, 0, None)) => {
|
|
|
|
if size < 8 {
|
|
|
|
self.output.emit(cp(dst.get(), 0));
|
|
|
|
}
|
|
|
|
let off = self.opt_stack_reloc(ssta.as_ref(), soff, 3);
|
|
|
|
self.output.emit(ld(dst.get(), src.get(), off, size as _));
|
|
|
|
}
|
|
|
|
(lpat!(false, src, 0, None), lpat!(true, dst, doff, ref dsta)) => {
|
|
|
|
let off = self.opt_stack_reloc(dsta.as_ref(), doff, 3);
|
|
|
|
self.output.emit(st(src.get(), dst.get(), off, size as _))
|
|
|
|
}
|
|
|
|
(a, b) => unreachable!("{a:?} {b:?}"),
|
|
|
|
}
|
|
|
|
|
|
|
|
self.ci.free_loc(src);
|
|
|
|
self.ci.free_loc(dst);
|
|
|
|
}
|
|
|
|
|
2024-06-23 06:55:48 -05:00
|
|
|
fn stack_offset(&mut self, dst: u8, op: u8, stack: Option<&stack::Id>, off: Offset) {
|
2024-06-23 02:09:33 -05:00
|
|
|
let Some(stack) = stack else {
|
2024-06-23 06:55:48 -05:00
|
|
|
self.output.emit_addi(dst, op, off as _);
|
2024-06-23 02:09:33 -05:00
|
|
|
return;
|
2024-05-20 07:11:58 -05:00
|
|
|
};
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
let off = self.stack_reloc(stack, off, 3);
|
|
|
|
self.output.emit(addi64(dst, op, off));
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn opt_stack_reloc(&mut self, stack: Option<&stack::Id>, off: Offset, sub_offset: u8) -> u64 {
|
2024-07-08 00:22:53 -05:00
|
|
|
stack.map(|s| self.stack_reloc(s, off, sub_offset)).unwrap_or(off as _)
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn stack_reloc(&mut self, stack: &stack::Id, off: Offset, sub_offset: u8) -> u64 {
|
2024-06-23 02:09:33 -05:00
|
|
|
log::dbg!("whaaaaatahack: {:b}", stack.repr());
|
2024-06-24 10:26:00 -05:00
|
|
|
let offset = self.local_offset();
|
2024-07-08 00:22:53 -05:00
|
|
|
self.ci.stack_relocs.push(Reloc::shifted(offset, sub_offset, 8));
|
2024-06-23 02:09:33 -05:00
|
|
|
Reloc::pack_srel(stack, off)
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn link(&mut self) {
|
|
|
|
// FIXME: this will cause problems relating snapshots
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.funcs.retain(|&(f, rel)| {
|
2024-06-24 10:26:00 -05:00
|
|
|
_ = task::unpack(self.tys.funcs[f as usize].offset)
|
|
|
|
.map(|off| rel.apply_jump(&mut self.output.code, off));
|
|
|
|
true
|
2024-06-23 02:09:33 -05:00
|
|
|
});
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
self.output.globals.retain(|&(g, rel)| {
|
2024-06-24 10:26:00 -05:00
|
|
|
_ = task::unpack(self.tys.globals[g as usize].offset)
|
|
|
|
.map(|off| rel.apply_jump(&mut self.output.code, off));
|
|
|
|
true
|
2024-07-02 07:49:05 -05:00
|
|
|
});
|
|
|
|
|
2024-07-07 05:15:48 -05:00
|
|
|
//self.compress_strings();
|
2024-07-02 07:49:05 -05:00
|
|
|
for srel in self.output.strings.drain(..) {
|
2024-07-07 06:42:48 -05:00
|
|
|
#[cfg(debug_assertions)]
|
|
|
|
assert!(srel.shifted);
|
2024-07-08 00:22:53 -05:00
|
|
|
srel.reloc.apply_jump(&mut self.output.code, srel.range.start);
|
2024-07-02 07:49:05 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-07-07 05:15:48 -05:00
|
|
|
//fn compress_strings(&mut self) {
|
|
|
|
// // FIXME: we can go faster
|
|
|
|
// self.output
|
|
|
|
// .strings
|
|
|
|
// .sort_by(|a, b| self.string_data[b.range()].cmp(&self.string_data[a.range()]));
|
|
|
|
|
|
|
|
// let mut cursor = 0;
|
|
|
|
// let mut anchor = 0;
|
|
|
|
// for i in 1..self.output.strings.len() {
|
|
|
|
// let [a, b] = self.output.strings.get_many_mut([anchor, i]).unwrap();
|
|
|
|
// if self.string_data[a.range()].ends_with(&self.string_data[b.range()]) {
|
|
|
|
// b.range.end = a.range.end;
|
|
|
|
// b.range.start = a.range.end - (b.range.end - b.range.start);
|
|
|
|
// } else {
|
|
|
|
// self.string_data.copy_within(a.range(), cursor);
|
|
|
|
// cursor += a.range.len();
|
|
|
|
// anchor = i;
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
|
|
|
|
// if !self.output.strings.is_empty() {
|
|
|
|
// let a = &self.output.strings[anchor];
|
|
|
|
// self.string_data.copy_within(a.range(), cursor);
|
|
|
|
// cursor += a.range.len();
|
|
|
|
// }
|
|
|
|
|
|
|
|
// self.string_data.truncate(cursor)
|
|
|
|
//}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
// TODO: sometimes its better to do this in bulk
|
2024-06-23 02:09:33 -05:00
|
|
|
fn ty(&mut self, expr: &Expr) -> ty::Id {
|
2024-07-19 05:00:55 -05:00
|
|
|
ty::Id::from(self.eval_const(expr, ty::TYPE))
|
2024-05-12 06:13:36 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn handle_ecall(&mut self) {
|
2024-07-19 05:00:55 -05:00
|
|
|
let trap = unsafe { &*(self.ct.vm.pc.get() as *const trap::Trap) };
|
|
|
|
self.ct.vm.pc = self.ct.vm.pc.wrapping_add(trap.size());
|
2024-06-23 02:09:33 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
let mut extra_jump = 0;
|
|
|
|
let mut local_pc = (self.ct.vm.pc.get() as usize - self.output.code.as_ptr() as usize)
|
2024-07-07 12:16:15 -05:00
|
|
|
.checked_sub(self.ci.snap.code);
|
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
match *trap {
|
|
|
|
trap::Trap::MakeStruct(trap::MakeStruct { file, struct_expr }) => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let cfile = self.files[file as usize].clone();
|
2024-07-08 00:22:53 -05:00
|
|
|
let &Expr::Struct { fields, captured, .. } = struct_expr.get(&cfile).unwrap()
|
2024-06-23 02:09:33 -05:00
|
|
|
else {
|
|
|
|
unreachable!()
|
|
|
|
};
|
2024-05-12 13:10:50 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let prev_len = self.ci.vars.len();
|
2024-05-12 13:10:50 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut values = self.ct.vm.read_reg(2).0 as *const u8;
|
|
|
|
for &id in captured {
|
|
|
|
let ty: ty::Id = unsafe { std::ptr::read_unaligned(values.cast()) };
|
|
|
|
unsafe { values = values.add(4) };
|
|
|
|
let size = self.tys.size_of(ty) as usize;
|
|
|
|
let mut imm = [0u8; 8];
|
|
|
|
assert!(size <= imm.len(), "TODO");
|
|
|
|
unsafe { std::ptr::copy_nonoverlapping(values, imm.as_mut_ptr(), size) };
|
|
|
|
self.ci.vars.push(Variable {
|
|
|
|
id,
|
2024-07-19 05:00:55 -05:00
|
|
|
value: Value::new(ty, Loc::ct(u64::from_ne_bytes(imm))),
|
2024-06-23 02:09:33 -05:00
|
|
|
});
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
|
|
|
let stru = ty::Kind::Struct(self.build_struct(fields)).compress();
|
|
|
|
self.ci.vars.truncate(prev_len);
|
|
|
|
self.ct.vm.write_reg(1, stru.repr() as u64);
|
2024-05-12 13:10:50 -05:00
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
trap::Trap::MomizedCall(trap::MomizedCall { func }) => {
|
|
|
|
let sym = SymKey { file: u32::MAX, ident: ty::Kind::Func(func).compress().repr() };
|
|
|
|
if let Some(&ty) = self.tys.syms.get(&sym) {
|
|
|
|
self.ct.vm.write_reg(1, ty.repr());
|
|
|
|
extra_jump = jal(0, 0, 0).0 + tx().0;
|
|
|
|
} else {
|
|
|
|
local_pc = None;
|
|
|
|
self.run_vm();
|
|
|
|
self.tys.syms.insert(sym, self.ct.vm.read_reg(1).0.into());
|
|
|
|
}
|
|
|
|
}
|
2024-05-12 13:10:50 -05:00
|
|
|
}
|
2024-07-07 11:21:07 -05:00
|
|
|
|
|
|
|
if let Some(lpc) = local_pc {
|
2024-07-07 12:16:15 -05:00
|
|
|
let offset = lpc + self.ci.snap.code + self.output.code.as_ptr() as usize;
|
2024-07-07 11:21:07 -05:00
|
|
|
self.ct.vm.pc = hbvm::mem::Address::new(offset as _);
|
|
|
|
}
|
2024-07-19 05:00:55 -05:00
|
|
|
self.ct.vm.pc += extra_jump;
|
2024-05-12 13:10:50 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn find_or_declare(
|
|
|
|
&mut self,
|
|
|
|
pos: Pos,
|
|
|
|
file: FileId,
|
|
|
|
name: Result<Ident, &str>,
|
|
|
|
lit_name: &str,
|
|
|
|
) -> ty::Kind {
|
|
|
|
log::dbg!("find_or_declare: {lit_name}");
|
|
|
|
let f = self.files[file as usize].clone();
|
|
|
|
let Some((expr, ident)) = f.find_decl(name) else {
|
|
|
|
match name {
|
|
|
|
Ok(_) => self.report(pos, format_args!("undefined indentifier: {lit_name}")),
|
|
|
|
Err("main") => self.report(pos, format_args!("missing main function: {f}")),
|
|
|
|
Err(name) => unimplemented!("somehow we did not handle: {name:?}"),
|
2024-05-12 06:13:36 -05:00
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
};
|
2024-05-12 16:19:45 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
if let Some(existing) = self.tys.syms.get(&SymKey { file, ident }) {
|
|
|
|
if let ty::Kind::Func(id) = existing.expand()
|
|
|
|
&& let func = &mut self.tys.funcs[id as usize]
|
|
|
|
&& let Err(idx) = task::unpack(func.offset)
|
|
|
|
{
|
|
|
|
func.offset = task::id(self.tasks.len());
|
|
|
|
let task = self.tasks[idx].take();
|
|
|
|
self.tasks.push(task);
|
|
|
|
}
|
|
|
|
return existing.expand();
|
2024-05-12 16:45:28 -05:00
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let sym = match expr {
|
|
|
|
Expr::BinOp {
|
|
|
|
left: &Expr::Ident { .. },
|
|
|
|
op: TokenKind::Decl,
|
|
|
|
right: &Expr::Closure { pos, args, ret, .. },
|
|
|
|
} => {
|
|
|
|
let id = self.tys.funcs.len() as _;
|
|
|
|
let func = Func {
|
2024-07-06 16:02:04 -05:00
|
|
|
file,
|
2024-06-23 02:09:33 -05:00
|
|
|
offset: task::id(self.tasks.len()),
|
2024-07-06 16:02:04 -05:00
|
|
|
sig: 'b: {
|
2024-06-24 10:26:00 -05:00
|
|
|
let arg_base = self.tys.args.len();
|
2024-06-23 02:09:33 -05:00
|
|
|
for arg in args {
|
2024-06-24 10:26:00 -05:00
|
|
|
let sym = find_symbol(&self.files[file as usize].symbols, arg.id);
|
|
|
|
if sym.flags & idfl::COMPTIME != 0 {
|
|
|
|
self.tys.args.truncate(arg_base);
|
|
|
|
break 'b None;
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
let ty = self.ty(&arg.ty);
|
|
|
|
self.tys.args.push(ty);
|
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
|
|
|
|
self.tasks.push(Some(FTask { file, id }));
|
|
|
|
|
|
|
|
let args = self.pack_args(pos, arg_base);
|
|
|
|
let ret = self.ty(ret);
|
|
|
|
Some(Sig { args, ret })
|
2024-06-23 02:09:33 -05:00
|
|
|
},
|
2024-07-06 16:02:04 -05:00
|
|
|
expr: ExprRef::new(expr),
|
2024-05-14 16:07:32 -05:00
|
|
|
};
|
2024-06-23 02:09:33 -05:00
|
|
|
self.tys.funcs.push(func);
|
2024-06-24 10:26:00 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
ty::Kind::Func(id)
|
|
|
|
}
|
|
|
|
Expr::BinOp {
|
|
|
|
left: &Expr::Ident { .. },
|
|
|
|
op: TokenKind::Decl,
|
|
|
|
right: Expr::Struct { fields, .. },
|
|
|
|
} => ty::Kind::Struct(self.build_struct(fields)),
|
2024-07-08 00:22:53 -05:00
|
|
|
Expr::BinOp { left, op: TokenKind::Decl, right } => {
|
2024-06-23 02:09:33 -05:00
|
|
|
let gid = self.tys.globals.len() as ty::Global;
|
2024-07-08 00:22:53 -05:00
|
|
|
self.tys.globals.push(Global { offset: u32::MAX, ty: Default::default() });
|
2024-05-16 09:50:29 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let ci = ItemCtx {
|
|
|
|
file,
|
|
|
|
id: ty::Kind::Global(gid),
|
|
|
|
..self.pool.cis.pop().unwrap_or_default()
|
|
|
|
};
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
_ = left.find_pattern_path(ident, right, |expr| {
|
|
|
|
self.tys.globals[gid as usize] =
|
|
|
|
self.ct_eval(ci, |s, _| Ok::<_, !>(s.generate_global(expr))).into_ok();
|
|
|
|
});
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
ty::Kind::Global(gid)
|
|
|
|
}
|
|
|
|
e => unimplemented!("{e:#?}"),
|
|
|
|
};
|
|
|
|
self.tys.syms.insert(SymKey { ident, file }, sym.compress());
|
|
|
|
sym
|
|
|
|
}
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn generate_global(&mut self, expr: &Expr) -> Global {
|
|
|
|
self.output.emit_prelude();
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let ret = self.ci.regs.allocate();
|
|
|
|
self.output.emit(instrs::cp(ret.get(), 1));
|
|
|
|
self.ci.task_base = self.tasks.len();
|
|
|
|
|
|
|
|
let ctx = Ctx::default().with_loc(Loc::reg(ret).into_derefed());
|
|
|
|
let Some(ret) = self.expr_ctx(expr, ctx) else {
|
|
|
|
self.report(expr.pos(), "expression is not reachable");
|
|
|
|
};
|
2024-05-20 07:11:58 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let stash = self.complete_call_graph();
|
2024-05-12 07:56:59 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let offset = self.ci.snap.code;
|
|
|
|
self.ci.snap.code += self.tys.size_of(ret.ty) as usize;
|
|
|
|
self.output.code.resize(self.ci.snap.code, 0);
|
2024-06-12 09:29:41 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
self.push_stash(stash);
|
2024-05-13 04:05:35 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
self.ci.finalize(&mut self.output);
|
|
|
|
self.output.emit(tx());
|
2024-05-13 04:05:35 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let ret_loc = unsafe { self.output.code.as_mut_ptr().add(offset) };
|
|
|
|
self.ct.vm.write_reg(1, ret_loc as u64);
|
2024-05-14 05:17:39 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
Global { ty: ret.ty, offset: offset as _ }
|
2024-06-24 10:26:00 -05:00
|
|
|
}
|
|
|
|
|
2024-07-07 11:21:07 -05:00
|
|
|
fn dunp_imported_fns(&mut self) {
|
|
|
|
for &(f, _) in &self.output.funcs[self.ci.snap.funcs..] {
|
|
|
|
let fnball = self.tys.funcs[f as usize];
|
|
|
|
let file = self.files[fnball.file as usize].clone();
|
|
|
|
let expr = fnball.expr.get(&file).unwrap();
|
|
|
|
log::dbg!("{expr}");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn pop_stash(&mut self) -> Output {
|
|
|
|
let mut stash = self.pool.outputs.pop().unwrap_or_default();
|
|
|
|
self.output.pop(&mut stash, &self.ci.snap);
|
|
|
|
stash
|
|
|
|
}
|
|
|
|
|
|
|
|
fn push_stash(&mut self, mut stash: Output) {
|
|
|
|
self.output.append(&mut stash);
|
|
|
|
self.pool.outputs.push(stash);
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn ct_eval<T, E>(
|
|
|
|
&mut self,
|
|
|
|
ci: ItemCtx,
|
|
|
|
compile: impl FnOnce(&mut Self, &mut ItemCtx) -> Result<T, E>,
|
|
|
|
) -> Result<T, E> {
|
2024-07-06 16:02:04 -05:00
|
|
|
log::dbg!("eval");
|
2024-06-24 10:26:00 -05:00
|
|
|
let stash = self.pop_stash();
|
|
|
|
|
|
|
|
let mut prev_ci = std::mem::replace(&mut self.ci, ci);
|
|
|
|
self.ci.snap = self.output.snap();
|
2024-07-06 16:02:04 -05:00
|
|
|
debug_assert_eq!(self.ci.snap, prev_ci.snap);
|
2024-06-24 10:26:00 -05:00
|
|
|
self.ci.task_base = self.tasks.len();
|
|
|
|
self.ci.regs.init();
|
2024-06-23 02:09:33 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
let ret = compile(self, &mut prev_ci);
|
2024-07-19 05:00:55 -05:00
|
|
|
let mut rr = std::mem::take(&mut self.ci.ret_reg);
|
|
|
|
let is_on_stack = !rr.is_ref();
|
|
|
|
if !rr.is_ref() {
|
|
|
|
self.output.emit(instrs::cp(1, rr.get()));
|
|
|
|
let rref = rr.as_ref();
|
|
|
|
self.ci.regs.free(std::mem::replace(&mut rr, rref));
|
|
|
|
}
|
2024-06-23 02:09:33 -05:00
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
if ret.is_ok() {
|
2024-07-19 05:00:55 -05:00
|
|
|
if is_on_stack {
|
|
|
|
let size =
|
|
|
|
self.tys.size_of(self.ci.ret.expect("you have died (colaterall fuck up)"));
|
|
|
|
let slot = self.ct.vm.read_reg(reg::STACK_PTR).0;
|
|
|
|
self.ct.vm.write_reg(reg::STACK_PTR, slot.wrapping_add(size as _));
|
|
|
|
self.ct.vm.write_reg(1, slot);
|
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
self.link();
|
2024-07-08 00:22:53 -05:00
|
|
|
self.output.trunc(&Snapshot { code: self.output.code.len(), ..self.ci.snap });
|
2024-07-06 16:02:04 -05:00
|
|
|
log::dbg!("{} {}", self.output.code.len(), self.ci.snap.code);
|
2024-06-24 10:26:00 -05:00
|
|
|
let entry = &mut self.output.code[self.ci.snap.code] as *mut _ as _;
|
2024-07-06 16:02:04 -05:00
|
|
|
let prev_pc = std::mem::replace(&mut self.ct.vm.pc, hbvm::mem::Address::new(entry));
|
2024-07-19 05:00:55 -05:00
|
|
|
self.run_vm();
|
2024-07-06 16:02:04 -05:00
|
|
|
self.ct.vm.pc = prev_pc;
|
2024-06-24 10:26:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
self.output.trunc(&self.ci.snap);
|
|
|
|
self.pool.cis.push(std::mem::replace(&mut self.ci, prev_ci));
|
|
|
|
self.ci.snap = self.output.snap();
|
2024-07-06 16:02:04 -05:00
|
|
|
debug_assert_eq!(self.pool.cis.last().unwrap().snap, self.ci.snap);
|
2024-06-24 10:26:00 -05:00
|
|
|
self.push_stash(stash);
|
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
log::dbg!("eval-end");
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
ret
|
2024-05-13 04:05:35 -05:00
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn run_vm(&mut self) {
|
|
|
|
loop {
|
|
|
|
match self.ct.vm.run().unwrap() {
|
|
|
|
hbvm::VmRunOk::End => break,
|
|
|
|
hbvm::VmRunOk::Timer => unreachable!(),
|
|
|
|
hbvm::VmRunOk::Ecall => self.handle_ecall(),
|
|
|
|
hbvm::VmRunOk::Breakpoint => unreachable!(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn ty_display(&self, ty: ty::Id) -> ty::Display {
|
|
|
|
ty::Display::new(&self.tys, &self.files, ty)
|
|
|
|
}
|
2024-05-11 09:04:13 -05:00
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
#[must_use]
|
2024-07-19 05:00:55 -05:00
|
|
|
#[track_caller]
|
2024-06-23 02:09:33 -05:00
|
|
|
fn assert_ty(&self, pos: Pos, ty: ty::Id, expected: ty::Id) -> ty::Id {
|
|
|
|
if let Some(res) = ty.try_upcast(expected) {
|
|
|
|
res
|
|
|
|
} else {
|
|
|
|
let ty = self.ty_display(ty);
|
|
|
|
let expected = self.ty_display(expected);
|
2024-06-24 10:26:00 -05:00
|
|
|
self.report(pos, format_args!("expected {expected}, got {ty}"));
|
2024-06-23 02:09:33 -05:00
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-17 12:53:59 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
fn report_log(&self, pos: Pos, msg: impl std::fmt::Display) {
|
2024-06-23 02:09:33 -05:00
|
|
|
let (line, col) = self.cfile().nlines.line_col(pos);
|
|
|
|
println!("{}:{}:{}: {}", self.cfile().path, line, col, msg);
|
2024-07-19 05:00:55 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[track_caller]
|
|
|
|
fn report(&self, pos: Pos, msg: impl std::fmt::Display) -> ! {
|
|
|
|
self.report_log(pos, msg);
|
2024-06-23 02:09:33 -05:00
|
|
|
unreachable!();
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-07-19 05:00:55 -05:00
|
|
|
#[track_caller]
|
|
|
|
fn report_unhandled_ast(&self, ast: &Expr, hint: &str) -> ! {
|
|
|
|
self.report(
|
|
|
|
ast.pos(),
|
|
|
|
format_args!(
|
2024-07-19 05:52:11 -05:00
|
|
|
"compiler does not (yet) know how to handle ({hint}):\n\
|
2024-07-19 05:00:55 -05:00
|
|
|
{ast:}\n\
|
|
|
|
info for weak people:\n\
|
|
|
|
{ast:#?}"
|
|
|
|
),
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
fn cfile(&self) -> &parser::Ast {
|
|
|
|
&self.files[self.ci.file as usize]
|
2024-05-10 08:29:11 -05:00
|
|
|
}
|
2024-06-24 10:26:00 -05:00
|
|
|
|
|
|
|
fn local_code(&mut self) -> &mut [u8] {
|
|
|
|
&mut self.output.code[self.ci.snap.code..]
|
|
|
|
}
|
|
|
|
|
|
|
|
fn local_offset(&self) -> u32 {
|
|
|
|
(self.output.code.len() - self.ci.snap.code) as u32
|
|
|
|
}
|
|
|
|
|
2024-07-06 16:02:04 -05:00
|
|
|
fn local_snap(&self) -> Snapshot {
|
|
|
|
Snapshot {
|
2024-07-08 00:22:53 -05:00
|
|
|
code: self.output.code.len() - self.ci.snap.code,
|
2024-07-07 06:42:48 -05:00
|
|
|
string_data: self.output.string_data.len() - self.ci.snap.string_data,
|
2024-07-08 00:22:53 -05:00
|
|
|
funcs: self.output.funcs.len() - self.ci.snap.funcs,
|
|
|
|
globals: self.output.globals.len() - self.ci.snap.globals,
|
|
|
|
strings: self.output.strings.len() - self.ci.snap.strings,
|
2024-07-06 16:02:04 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn pop_local_snap(&mut self, snap: Snapshot) {
|
|
|
|
self.output.code.truncate(snap.code + self.ci.snap.code);
|
2024-07-08 00:22:53 -05:00
|
|
|
self.output.string_data.truncate(snap.string_data + self.ci.snap.string_data);
|
2024-07-06 16:02:04 -05:00
|
|
|
self.output.funcs.truncate(snap.funcs + self.ci.snap.funcs);
|
2024-07-08 00:22:53 -05:00
|
|
|
self.output.globals.truncate(snap.globals + self.ci.snap.globals);
|
|
|
|
self.output.strings.truncate(snap.strings + self.ci.snap.strings);
|
2024-07-06 16:02:04 -05:00
|
|
|
}
|
|
|
|
|
2024-06-24 10:26:00 -05:00
|
|
|
fn pack_args(&mut self, pos: Pos, arg_base: usize) -> ty::Tuple {
|
|
|
|
let needle = &self.tys.args[arg_base..];
|
|
|
|
if needle.is_empty() {
|
|
|
|
return ty::Tuple::empty();
|
|
|
|
}
|
|
|
|
let len = needle.len();
|
|
|
|
// FIXME: maybe later when this becomes a bottleneck we use more
|
|
|
|
// efficient search (SIMD?, indexing?)
|
2024-07-08 00:22:53 -05:00
|
|
|
let sp = self.tys.args.windows(needle.len()).position(|val| val == needle).unwrap();
|
2024-06-24 10:26:00 -05:00
|
|
|
self.tys.args.truncate((sp + needle.len()).max(arg_base));
|
|
|
|
ty::Tuple::new(sp, len)
|
|
|
|
.unwrap_or_else(|| self.report(pos, "amount of arguments not supported"))
|
|
|
|
}
|
2024-05-19 11:20:42 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2024-07-08 00:22:53 -05:00
|
|
|
use {
|
|
|
|
super::parser,
|
2024-07-08 04:00:35 -05:00
|
|
|
crate::{codegen::LoggedMem, log, parser::FileId},
|
|
|
|
std::io,
|
2024-07-08 00:22:53 -05:00
|
|
|
};
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-06-15 03:37:50 -05:00
|
|
|
const README: &str = include_str!("../README.md");
|
|
|
|
|
|
|
|
fn generate(ident: &'static str, input: &'static str, output: &mut String) {
|
|
|
|
fn find_block(mut input: &'static str, test_name: &'static str) -> &'static str {
|
|
|
|
const CASE_PREFIX: &str = "#### ";
|
|
|
|
const CASE_SUFFIX: &str = "\n```hb";
|
|
|
|
loop {
|
|
|
|
let Some(pos) = input.find(CASE_PREFIX) else {
|
|
|
|
unreachable!("test {test_name} not found");
|
|
|
|
};
|
|
|
|
|
|
|
|
input = unsafe { input.get_unchecked(pos + CASE_PREFIX.len()..) };
|
|
|
|
if !input.starts_with(test_name) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
input = unsafe { input.get_unchecked(test_name.len()..) };
|
|
|
|
if !input.starts_with(CASE_SUFFIX) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
input = unsafe { input.get_unchecked(CASE_SUFFIX.len()..) };
|
|
|
|
|
|
|
|
let end = input.find("```").unwrap_or(input.len());
|
|
|
|
break unsafe { input.get_unchecked(..end) };
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let input = find_block(input, ident);
|
|
|
|
|
2024-07-08 04:00:35 -05:00
|
|
|
let mut module_map = Vec::new();
|
|
|
|
let mut last_start = 0;
|
|
|
|
let mut last_module_name = "test";
|
|
|
|
for (i, m) in input.match_indices("// in module: ") {
|
|
|
|
module_map.push((last_module_name, &input[last_start..i]));
|
|
|
|
let (module_name, _) = input[i + m.len()..].split_once('\n').unwrap();
|
|
|
|
last_module_name = module_name;
|
|
|
|
last_start = i + m.len() + module_name.len() + 1;
|
|
|
|
}
|
|
|
|
module_map.push((last_module_name, &input[last_start..]));
|
|
|
|
|
|
|
|
let loader = |path: &str, _: &str| {
|
|
|
|
module_map
|
|
|
|
.iter()
|
|
|
|
.position(|&(name, _)| name == path)
|
|
|
|
.map(|i| i as FileId)
|
|
|
|
.ok_or(io::Error::from(io::ErrorKind::NotFound))
|
|
|
|
};
|
|
|
|
|
2024-06-23 02:09:33 -05:00
|
|
|
let mut codegen = super::Codegen {
|
2024-07-08 04:00:35 -05:00
|
|
|
files: module_map
|
|
|
|
.iter()
|
|
|
|
.map(|&(path, content)| parser::Ast::new(path, content, &loader))
|
|
|
|
.collect(),
|
2024-06-23 02:09:33 -05:00
|
|
|
..Default::default()
|
|
|
|
};
|
2024-05-19 11:20:42 -05:00
|
|
|
codegen.generate();
|
2024-05-10 14:33:42 -05:00
|
|
|
let mut out = Vec::new();
|
|
|
|
codegen.dump(&mut out).unwrap();
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-07-07 06:42:48 -05:00
|
|
|
log::dbg!("code: {}", String::from_utf8_lossy(&out));
|
|
|
|
|
2024-05-10 14:33:42 -05:00
|
|
|
use std::fmt::Write;
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-05-12 04:52:58 -05:00
|
|
|
let mut stack = [0_u64; 128];
|
2024-05-10 14:33:42 -05:00
|
|
|
|
|
|
|
let mut vm = unsafe {
|
2024-05-19 11:20:42 -05:00
|
|
|
hbvm::Vm::<_, 0>::new(
|
2024-05-20 07:11:58 -05:00
|
|
|
LoggedMem::default(),
|
2024-05-19 11:20:42 -05:00
|
|
|
hbvm::mem::Address::new(out.as_ptr() as u64),
|
|
|
|
)
|
2024-05-10 14:33:42 -05:00
|
|
|
};
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-07-08 00:22:53 -05:00
|
|
|
vm.write_reg(super::STACK_PTR, unsafe { stack.as_mut_ptr().add(stack.len()) } as u64);
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-05-10 14:33:42 -05:00
|
|
|
let stat = loop {
|
|
|
|
match vm.run() {
|
|
|
|
Ok(hbvm::VmRunOk::End) => break Ok(()),
|
2024-06-24 10:26:00 -05:00
|
|
|
Ok(hbvm::VmRunOk::Ecall) => match vm.read_reg(2).0 {
|
|
|
|
1 => writeln!(output, "ev: Ecall").unwrap(), // compatibility with a test
|
|
|
|
69 => {
|
|
|
|
let [size, align] = [vm.read_reg(3).0 as usize, vm.read_reg(4).0 as usize];
|
|
|
|
let layout = std::alloc::Layout::from_size_align(size, align).unwrap();
|
|
|
|
let ptr = unsafe { std::alloc::alloc(layout) };
|
|
|
|
vm.write_reg(1, ptr as u64);
|
|
|
|
}
|
|
|
|
96 => {
|
|
|
|
let [ptr, size, align] = [
|
|
|
|
vm.read_reg(3).0 as usize,
|
|
|
|
vm.read_reg(4).0 as usize,
|
|
|
|
vm.read_reg(5).0 as usize,
|
|
|
|
];
|
|
|
|
|
|
|
|
let layout = std::alloc::Layout::from_size_align(size, align).unwrap();
|
|
|
|
unsafe { std::alloc::dealloc(ptr as *mut u8, layout) };
|
|
|
|
}
|
|
|
|
unknown => unreachable!("unknown ecall: {unknown:?}"),
|
|
|
|
},
|
2024-05-10 14:33:42 -05:00
|
|
|
Ok(ev) => writeln!(output, "ev: {:?}", ev).unwrap(),
|
|
|
|
Err(e) => break Err(e),
|
|
|
|
}
|
|
|
|
};
|
2024-05-10 08:29:11 -05:00
|
|
|
|
2024-05-12 15:40:28 -05:00
|
|
|
writeln!(output, "code size: {}", out.len()).unwrap();
|
2024-05-11 09:04:13 -05:00
|
|
|
writeln!(output, "ret: {:?}", vm.read_reg(1).0).unwrap();
|
2024-05-10 14:33:42 -05:00
|
|
|
writeln!(output, "status: {:?}", stat).unwrap();
|
2024-06-01 13:30:07 -05:00
|
|
|
log::inf!("input lenght: {}", input.len());
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
|
2024-05-09 16:41:59 -05:00
|
|
|
crate::run_tests! { generate:
|
2024-06-15 03:37:50 -05:00
|
|
|
arithmetic => README;
|
|
|
|
variables => README;
|
|
|
|
functions => README;
|
2024-06-25 12:55:25 -05:00
|
|
|
comments => README;
|
2024-06-15 03:37:50 -05:00
|
|
|
if_statements => README;
|
|
|
|
loops => README;
|
|
|
|
fb_driver => README;
|
|
|
|
pointers => README;
|
|
|
|
structs => README;
|
|
|
|
different_types => README;
|
|
|
|
struct_operators => README;
|
|
|
|
directives => README;
|
|
|
|
global_variables => README;
|
|
|
|
generic_types => README;
|
2024-06-24 10:26:00 -05:00
|
|
|
generic_functions => README;
|
2024-07-02 07:49:05 -05:00
|
|
|
c_strings => README;
|
2024-07-08 04:00:35 -05:00
|
|
|
struct_patterns => README;
|
2024-07-08 11:08:58 -05:00
|
|
|
arrays => README;
|
2024-07-18 10:55:55 -05:00
|
|
|
struct_return_from_module_function => README;
|
2024-07-19 05:00:55 -05:00
|
|
|
comptime_pointers => README;
|
2024-05-09 11:16:01 -05:00
|
|
|
}
|
|
|
|
}
|