forked from AbleOS/holey-bytes
Very quick and dirty labels.
I wanna sleep now, so... will fix later™
This commit is contained in:
parent
48353db26f
commit
2a08362b52
10
Cargo.lock
generated
10
Cargo.lock
generated
|
@ -49,6 +49,7 @@ name = "hbasm"
|
||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"hbbytecode",
|
"hbbytecode",
|
||||||
|
"lasso",
|
||||||
"logos",
|
"logos",
|
||||||
"paste",
|
"paste",
|
||||||
]
|
]
|
||||||
|
@ -67,6 +68,15 @@ dependencies = [
|
||||||
"static_assertions",
|
"static_assertions",
|
||||||
]
|
]
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "lasso"
|
||||||
|
version = "0.7.2"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "4644821e1c3d7a560fe13d842d13f587c07348a1a05d3a797152d41c90c56df2"
|
||||||
|
dependencies = [
|
||||||
|
"hashbrown",
|
||||||
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "log"
|
name = "log"
|
||||||
version = "0.4.17"
|
version = "0.4.17"
|
||||||
|
|
|
@ -5,6 +5,7 @@ edition = "2021"
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
hbbytecode = { path = "../hbbytecode" }
|
hbbytecode = { path = "../hbbytecode" }
|
||||||
|
lasso = "0.7"
|
||||||
paste = "1.0"
|
paste = "1.0"
|
||||||
|
|
||||||
[dependencies.logos]
|
[dependencies.logos]
|
||||||
|
|
|
@ -1,16 +1,18 @@
|
||||||
|
use std::collections::{HashMap, HashSet};
|
||||||
|
|
||||||
|
use lasso::Key;
|
||||||
|
|
||||||
use {
|
use {
|
||||||
|
lasso::{Rodeo, Spur},
|
||||||
logos::{Lexer, Logos, Span},
|
logos::{Lexer, Logos, Span},
|
||||||
std::{
|
std::fmt::{Display, Formatter},
|
||||||
fmt::{Display, Formatter},
|
|
||||||
ops::Range,
|
|
||||||
str::FromStr,
|
|
||||||
},
|
|
||||||
};
|
};
|
||||||
|
|
||||||
macro_rules! tokendef {
|
macro_rules! tokendef {
|
||||||
($($opcode:literal),* $(,)?) => {
|
($($opcode:literal),* $(,)?) => {
|
||||||
paste::paste! {
|
paste::paste! {
|
||||||
#[derive(Clone, Copy, Debug, PartialEq, Eq, Logos)]
|
#[derive(Clone, Copy, Debug, PartialEq, Eq, Logos)]
|
||||||
|
#[logos(extras = Rodeo)]
|
||||||
#[logos(skip r"[ \t\f]+")]
|
#[logos(skip r"[ \t\f]+")]
|
||||||
pub enum Token {
|
pub enum Token {
|
||||||
$(#[token($opcode, |_| hbbytecode::opcode::[<$opcode:upper>])])*
|
$(#[token($opcode, |_| hbbytecode::opcode::[<$opcode:upper>])])*
|
||||||
|
@ -32,9 +34,18 @@ macro_rules! tokendef {
|
||||||
},
|
},
|
||||||
)] Register(u8),
|
)] Register(u8),
|
||||||
|
|
||||||
|
#[regex(
|
||||||
|
r"\p{XID_Start}\p{XID_Continue}*:",
|
||||||
|
|lexer| lexer.extras.get_or_intern(&lexer.slice()[..lexer.slice().len() - 1]),
|
||||||
|
)] Label(Spur),
|
||||||
|
|
||||||
|
#[regex(
|
||||||
|
r"\p{XID_Start}\p{XID_Continue}*",
|
||||||
|
|lexer| lexer.extras.get_or_intern(lexer.slice()),
|
||||||
|
)] Symbol(Spur),
|
||||||
|
|
||||||
#[token("\n")]
|
#[token("\n")]
|
||||||
#[token(";")] ISep,
|
#[token(";")] ISep,
|
||||||
|
|
||||||
#[token(",")] PSep,
|
#[token(",")] PSep,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -82,6 +93,8 @@ pub fn assembly(code: &str, buf: &mut Vec<u8>) -> Result<(), Error> {
|
||||||
struct Assembler<'a> {
|
struct Assembler<'a> {
|
||||||
lexer: Lexer<'a, Token>,
|
lexer: Lexer<'a, Token>,
|
||||||
buf: &'a mut Vec<u8>,
|
buf: &'a mut Vec<u8>,
|
||||||
|
lblmap: HashMap<Spur, u64>,
|
||||||
|
subset: HashSet<usize>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'a> Assembler<'a> {
|
impl<'a> Assembler<'a> {
|
||||||
|
@ -114,6 +127,9 @@ pub fn assembly(code: &str, buf: &mut Vec<u8>) -> Result<(), Error> {
|
||||||
Err(e) => return Err(e),
|
Err(e) => return Err(e),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Some(Ok(Token::Label(lbl))) => {
|
||||||
|
self.lblmap.insert(lbl, self.buf.len() as u64 + 1);
|
||||||
|
}
|
||||||
Some(Ok(_)) => return Err(ErrorKind::UnexpectedToken),
|
Some(Ok(_)) => return Err(ErrorKind::UnexpectedToken),
|
||||||
Some(Err(())) => return Err(ErrorKind::InvalidToken),
|
Some(Err(())) => return Err(ErrorKind::InvalidToken),
|
||||||
None => return Ok(()),
|
None => return Ok(()),
|
||||||
|
@ -141,10 +157,19 @@ pub fn assembly(code: &str, buf: &mut Vec<u8>) -> Result<(), Error> {
|
||||||
}
|
}
|
||||||
|
|
||||||
fn ri(&mut self) -> Result<(), ErrorKind> {
|
fn ri(&mut self) -> Result<(), ErrorKind> {
|
||||||
expect_matches!(self, Token::Register(r0), Token::PSep, Token::Integer(r1),);
|
expect_matches!(self, Token::Register(r0), Token::PSep, imm @ (Token::Integer(_) | Token::Symbol(_)));
|
||||||
|
|
||||||
self.buf.push(r0);
|
self.buf.push(r0);
|
||||||
self.buf.extend(r1.to_le_bytes());
|
let imm = match imm {
|
||||||
|
Token::Integer(n) => n.to_le_bytes(),
|
||||||
|
Token::Symbol(s) => {
|
||||||
|
self.subset.insert(self.buf.len() - 1);
|
||||||
|
s.into_usize().to_le_bytes()
|
||||||
|
}
|
||||||
|
_ => unreachable!(),
|
||||||
|
};
|
||||||
|
|
||||||
|
self.buf.extend(imm);
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -155,27 +180,49 @@ pub fn assembly(code: &str, buf: &mut Vec<u8>) -> Result<(), Error> {
|
||||||
Token::PSep,
|
Token::PSep,
|
||||||
Token::Register(r1),
|
Token::Register(r1),
|
||||||
Token::PSep,
|
Token::PSep,
|
||||||
Token::Integer(imm),
|
imm @ (Token::Integer(_) | Token::Symbol(_)),
|
||||||
);
|
);
|
||||||
self.buf.extend([r0, r1]);
|
self.buf.extend([r0, r1]);
|
||||||
self.buf.extend(imm.to_le_bytes());
|
let imm = match imm {
|
||||||
Ok(())
|
Token::Integer(n) => n.to_le_bytes(),
|
||||||
|
Token::Symbol(s) => {
|
||||||
|
self.subset.insert(self.buf.len() - 1);
|
||||||
|
(s.into_inner().get() as usize).to_le_bytes()
|
||||||
}
|
}
|
||||||
|
_ => unreachable!(),
|
||||||
|
};
|
||||||
|
|
||||||
fn i(&mut self) -> Result<(), ErrorKind> {
|
self.buf.extend(imm);
|
||||||
expect_matches!(self, Token::Integer(imm),);
|
|
||||||
self.buf.extend(imm.to_le_bytes());
|
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
let mut asm = Assembler {
|
let mut asm = Assembler {
|
||||||
lexer: Token::lexer(code),
|
lexer: Token::lexer(code),
|
||||||
|
lblmap: Default::default(),
|
||||||
|
subset: Default::default(),
|
||||||
buf,
|
buf,
|
||||||
};
|
};
|
||||||
|
|
||||||
asm.assemble().map_err(|kind| Error {
|
asm.assemble().map_err(|kind| Error {
|
||||||
kind,
|
kind,
|
||||||
span: asm.lexer.span(),
|
span: asm.lexer.span(),
|
||||||
})
|
})?;
|
||||||
|
|
||||||
|
for sub in asm.subset {
|
||||||
|
asm.lblmap[&Spur::try_from_usize(usize::from_le_bytes(
|
||||||
|
asm.buf[sub..sub + core::mem::size_of::<usize>()]
|
||||||
|
.try_into()
|
||||||
|
.expect("Expected location"),
|
||||||
|
))
|
||||||
|
.expect("Expected valid intern key")]
|
||||||
|
.to_le_bytes()
|
||||||
|
.iter()
|
||||||
|
.enumerate()
|
||||||
|
.for_each(|(i, b)| {
|
||||||
|
asm.buf[sub + i] = *b;
|
||||||
|
});
|
||||||
|
}
|
||||||
|
|
||||||
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue