AbleOS/holey-bytes
3
3
Fork 5
Code Issues 2 Pull requests Packages Projects Releases Wiki Activity

we assumed unary operands are at leas 4bytes bit

Browse source
This commit is contained in:
Jakub Doka 2024-11-11 23:17:13 +01:00
parent ce2f7d2059
commit 7cac9382ad
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
lang/src/son/hbvm.rs
View file

@ -564,27 +564,27 @@ impl TokenKind {
} }
fn unop(&self, dst: ty::Id, src: ty::Id) -> Option<fn(u8, u8) -> EncodedInstr> { fn unop(&self, dst: ty::Id, src: ty::Id) -> Option<fn(u8, u8) -> EncodedInstr> {
let src_idx = src.simple_size().unwrap().ilog2() as usize - 2; let src_idx = src.simple_size().unwrap().ilog2() as usize;
Some(match self { Some(match self {
Self::Sub => [ Self::Sub => [
|a, b| sub8(a, 0, b), |a, b| sub8(a, reg::ZERO, b),
|a, b| sub16(a, 0, b), |a, b| sub16(a, reg::ZERO, b),
|a, b| sub32(a, 0, b), |a, b| sub32(a, reg::ZERO, b),
|a, b| sub64(a, 0, b), |a, b| sub64(a, reg::ZERO, b),
][src.simple_size().unwrap().ilog2() as usize], ][src_idx],
Self::Not => instrs::not, Self::Not => instrs::not,
Self::Float if dst.is_float() && src.is_integer() => { Self::Float if dst.is_float() && src.is_integer() => {
debug_assert_matches!( debug_assert_matches!(
(dst.simple_size(), src.simple_size()), (dst.simple_size(), src.simple_size()),
(Some(4 | 8), Some(8)) (Some(4 | 8), Some(8))
); );
[instrs::itf32, instrs::itf64][src_idx] [instrs::itf32, instrs::itf64][src_idx - 2]
} }
Self::Number if src.is_float() && dst.is_integer() => { Self::Number if src.is_float() && dst.is_integer() => {
[|a, b| instrs::fti32(a, b, 1), |a, b| instrs::fti64(a, b, 1)][src_idx] [|a, b| instrs::fti32(a, b, 1), |a, b| instrs::fti64(a, b, 1)][src_idx - 2]
} }
Self::Float if dst.is_float() && src.is_float() => { Self::Float if dst.is_float() && src.is_float() => {
[instrs::fc32t64, |a, b| instrs::fc64t32(a, b, 1)][src_idx] [instrs::fc32t64, |a, b| instrs::fc64t32(a, b, 1)][src_idx - 2]
} }
_ => return None, _ => return None,
}) })