language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 07:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge remote-tracking branch 'origin/trunk' into gen-dev/remove-results

Browse source
This commit is contained in:
Brendan Hansknecht 2021-11-27 16:57:00 -08:00
commit 55f0329e5c
5 changed files with 59 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

39
compiler/gen_dev/src/lib.rs
View file

@ -232,7 +232,13 @@ where
self.load_literal_symbols(arguments);
self.build_fn_call(sym, fn_name, arguments, arg_layouts, ret_layout)
} else {
unimplemented!("the function, {:?}, is not yet implemented", func_sym)
self.build_inline_builtin(
sym,
*func_sym,
arguments,
arg_layouts,
ret_layout,
)
}
}
@ -452,6 +458,37 @@ where
}
}
// inlines simple builtin functions that do not map directly to a low level
fn build_inline_builtin(
&mut self,
sym: &Symbol,
func_sym: Symbol,
args: &'a [Symbol],
arg_layouts: &[Layout<'a>],
ret_layout: &Layout<'a>,
) {
self.load_literal_symbols(args);
match func_sym {
Symbol::NUM_IS_ZERO => {
debug_assert_eq!(
1,
args.len(),
"NumIsZero: expected to have exactly one argument"
);
debug_assert_eq!(
Layout::Builtin(Builtin::Bool),
*ret_layout,
"NumIsZero: expected to have return layout of type Bool"
);
self.load_literal(&Symbol::DEV_TMP, &Literal::Int(0));
self.build_eq(sym, &args[0], &Symbol::DEV_TMP, &arg_layouts[0]);
self.free_symbol(&Symbol::DEV_TMP)
}
_ => unimplemented!("the function, {:?}, is not yet implemented", func_sym),
}
}
/// build_fn_call creates a call site for a function.
/// This includes dealing with things like saving regs and propagating the returned value.
fn build_fn_call(