code002lover/Wasynth
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Improve constant expression generation

Browse Source
This commit is contained in:
Rerumu 2021-11-28 06:46:15 -05:00
parent 16ce3eca98
commit 7f0158ef00
1 changed files with 15 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
wasm/src/backend/translator/data.rs
View File

@ -51,18 +51,23 @@ fn gen_nil_array(name: &str, len: usize, w: &mut dyn Write) -> Result<()> {
} }
pub fn gen_expression(code: &[Instruction], w: &mut dyn Write) -> Result<()> { pub fn gen_expression(code: &[Instruction], w: &mut dyn Write) -> Result<()> {
assert!(code.len() == 2); // FIXME: Badly generated WASM will produce the wrong constant.
for inst in code {
let result = match *inst {
Instruction::I32Const(v) => write!(w, "{} ", v),
Instruction::I64Const(v) => write!(w, "{} ", v),
Instruction::F32Const(v) => write!(w, "{} ", f32::from_bits(v)),
Instruction::F64Const(v) => write!(w, "{} ", f64::from_bits(v)),
Instruction::GetGlobal(i) => write!(w, "GLOBAL_LIST[{}].value ", i),
_ => {
continue;
}
};
let inst = code.first().unwrap(); return result;
match *inst {
Instruction::I32Const(v) => write!(w, "{} ", v),
Instruction::I64Const(v) => write!(w, "{} ", v),
Instruction::F32Const(v) => write!(w, "{} ", f32::from_bits(v)),
Instruction::F64Const(v) => write!(w, "{} ", f64::from_bits(v)),
Instruction::GetGlobal(i) => write!(w, "GLOBAL_LIST[{}].value ", i),
_ => unreachable!(),
} }
unreachable!();
} }
pub struct Module<'a> { pub struct Module<'a> {