language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Use native instructions for NotEq in Wasm

Browse source
This commit is contained in:
Brian Carroll 2021-12-19 21:15:02 +00:00
parent e0ffaca3df
commit f59e0e249b
1 changed files with 20 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

31
compiler/gen_wasm/src/backend.rs
View file

@ -1027,11 +1027,7 @@ impl<'a> WasmBackend<'a> {
use LowLevel::*; use LowLevel::*;
match lowlevel { match lowlevel {
Eq => self.build_eq(arguments, return_sym, return_layout, storage), Eq | NotEq => self.build_eq(lowlevel, arguments, return_sym, return_layout, storage),
NotEq => {
self.build_eq(arguments, return_sym, return_layout, storage);
self.code_builder.i32_eqz();
}
PtrCast => { PtrCast => {
// Don't want Zig calling convention when casting pointers. // Don't want Zig calling convention when casting pointers.
self.storage.load_symbols(&mut self.code_builder, arguments); self.storage.load_symbols(&mut self.code_builder, arguments);
@ -1076,6 +1072,7 @@ impl<'a> WasmBackend<'a> {
fn build_eq( fn build_eq(
&mut self, &mut self,
lowlevel: LowLevel,
arguments: &'a [Symbol], arguments: &'a [Symbol],
return_sym: Symbol, return_sym: Symbol,
return_layout: WasmLayout, return_layout: WasmLayout,
@ -1085,11 +1082,20 @@ impl<'a> WasmBackend<'a> {
match self.storage.get(&arguments[0]).to_owned() { match self.storage.get(&arguments[0]).to_owned() {
VirtualMachineStack { value_type, .. } | Local { value_type, .. } => { VirtualMachineStack { value_type, .. } | Local { value_type, .. } => {
self.storage.load_symbols(&mut self.code_builder, arguments); self.storage.load_symbols(&mut self.code_builder, arguments);
match value_type { match lowlevel {
ValueType::I32 => self.code_builder.i32_eq(), LowLevel::Eq => match value_type {
ValueType::I64 => self.code_builder.i64_eq(), ValueType::I32 => self.code_builder.i32_eq(),
ValueType::F32 => self.code_builder.f32_eq(), ValueType::I64 => self.code_builder.i64_eq(),
ValueType::F64 => self.code_builder.f64_eq(), ValueType::F32 => self.code_builder.f32_eq(),
ValueType::F64 => self.code_builder.f64_eq(),
},
LowLevel::NotEq => match value_type {
ValueType::I32 => self.code_builder.i32_ne(),
ValueType::I64 => self.code_builder.i64_ne(),
ValueType::F32 => self.code_builder.f32_ne(),
ValueType::F64 => self.code_builder.f64_ne(),
},
_ => internal_error!("Low-level op {:?} handled in the wrong place", lowlevel),
} }
} }
StackMemory { StackMemory {
@ -1109,7 +1115,10 @@ impl<'a> WasmBackend<'a> {
return_sym, return_sym,
return_layout, return_layout,
storage, storage,
) );
if matches!(lowlevel, LowLevel::NotEq) {
self.code_builder.i32_eqz();
}
} }
} }
}; };