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

Add unimplemented messages

Browse Source
This commit is contained in:
Rerumu 2023-06-23 15:42:09 -04:00
parent 4bd5fb8d43
commit 4bcfbf5054
2 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
codegen/luajit/src/translator.rs
View File

@ -151,7 +151,9 @@ fn write_global_list(wasm: &Module, type_info: &TypeInfo, w: &mut dyn Write) ->
fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> { fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> {
for element in list { for element in list {
let ElementKind::Active { table_index: index, offset_expr: init } = element.kind else { unreachable!() }; let ElementKind::Active { table_index: index, offset_expr: init } = element.kind else {
unimplemented!("passive elements not supported")
};
writeln!(w, "\tdo")?; writeln!(w, "\tdo")?;
writeln!(w, "\t\tlocal target = TABLE_LIST[{index}].data")?; writeln!(w, "\t\tlocal target = TABLE_LIST[{index}].data")?;
@ -187,7 +189,7 @@ fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write)
fn write_data_list(list: &[Data], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> { fn write_data_list(list: &[Data], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> {
for data in list { for data in list {
let (index, init) = match data.kind { let (index, init) = match data.kind {
DataKind::Passive => unimplemented!(), DataKind::Passive => unimplemented!("passive data not supported"),
DataKind::Active { DataKind::Active {
memory_index, memory_index,
offset_expr, offset_expr,

6
codegen/luau/src/translator.rs
View File

@ -151,7 +151,9 @@ fn write_global_list(wasm: &Module, type_info: &TypeInfo, w: &mut dyn Write) ->
fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> { fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> {
for element in list { for element in list {
let ElementKind::Active { table_index: index, offset_expr: init } = element.kind else { unreachable!() }; let ElementKind::Active { table_index: index, offset_expr: init } = element.kind else {
unimplemented!("passive elements not supported")
};
writeln!(w, "\tdo")?; writeln!(w, "\tdo")?;
writeln!(w, "\t\tlocal target = TABLE_LIST[{index}].data")?; writeln!(w, "\t\tlocal target = TABLE_LIST[{index}].data")?;
@ -188,7 +190,7 @@ fn write_element_list(list: &[Element], type_info: &TypeInfo, w: &mut dyn Write)
fn write_data_list(list: &[Data], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> { fn write_data_list(list: &[Data], type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> {
for data in list { for data in list {
let (index, init) = match data.kind { let (index, init) = match data.kind {
DataKind::Passive => unimplemented!(), DataKind::Passive => unimplemented!("passive data not supported"),
DataKind::Active { DataKind::Active {
memory_index, memory_index,
offset_expr, offset_expr,