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

wasm backend struggles

Browse source
This commit is contained in:
Folkert 2023-06-18 21:14:25 +02:00
parent 9c85fb90d3
commit 51f3752c94
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
7 changed files with 262 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

13
crates/compiler/mono/src/tail_recursion.rs
View file

@ -420,16 +420,20 @@ where
return false;
}
has_cons_in_tail_position(&proc.body, proc.name)
has_cons_in_tail_position(&proc.body, proc.name, None)
}
fn has_cons_in_tail_position(initial_stmt: &Stmt<'_>, function_name: LambdaName) -> bool {
fn has_cons_in_tail_position(
initial_stmt: &Stmt<'_>,
function_name: LambdaName,
initial_recursive_call: Option<Symbol>,
) -> bool {
// we are looking for code of the form
//
// let x = Tag a b c
// ret x
let mut stack = vec![(None, initial_stmt)];
let mut stack = vec![(initial_recursive_call, initial_stmt)];
while let Some((recursive_call, stmt)) = stack.pop() {
match stmt {
@ -674,7 +678,7 @@ impl<'a> TrmcEnv<'a> {
Stmt::Let(symbol, expr, layout, next) => {
if self.recursive_call.is_none() {
if let Some(call) = Self::is_recursive_expr(expr, self.function_name) {
if has_cons_in_tail_position(next, self.function_name) {
if has_cons_in_tail_position(next, self.function_name, Some(*symbol)) {
self.recursive_call = Some((*symbol, call));
return self.walk_stmt(env, next);
}
@ -682,6 +686,7 @@ impl<'a> TrmcEnv<'a> {
}
if let Some(cons_info) = Self::is_terminal_constructor(stmt) {
dbg!(&cons_info, &self.recursive_call);
match &self.recursive_call {
None => {
// this control flow path did not encounter a recursive call. Just