Tail recursion elimination for GenC (#1275)#1626

Merged

vkuncak merged 32 commits intoepfl-lara:mainfrom KacperFKorban:genc-tailrec

Jan 10, 2025

+673-6

Commits on Jan 10, 2025

Scaffold for a genc tailrec phase

KacperFKorban
authored and
samuelchassot
committed
Detect tail recursive functions correctly

authored and
samuelchassot
committed
Draft implementation of local tailrec elimination

authored and
samuelchassot
committed
Fix tailrec phase for genc; fib works now

KacperFKorban
authored and
samuelchassot
committed
Remove debug from TailRecTransformer.scala

KacperFKorban
authored and
samuelchassot
committed
Implement continue

zhekai-jiang
authored and
samuelchassot
committed
Add bad example with tail recursive call in a loop

zhekai-jiang
authored and
samuelchassot
committed
Rename files and classes for test programs

zhekai-jiang
authored and
samuelchassot
committed
Fix new example

zhekai-jiang
authored and
samuelchassot
committed
Add labeled + goto; Implement jumping to label after tail call

KacperFKorban
authored and
samuelchassot
committed
Add value checks for tail recursive examples, add back the full GenCSuite

authored and
samuelchassot
committed
Support aliased tail recursive calls

zhekai-jiang
authored and
samuelchassot
committed
Change handling almost-tail-recursive functions to a simplification phase first

KacperFKorban
authored and
samuelchassot
committed
Add more tests for tailrec (with one for mutual recursion that is failing)

KacperFKorban
authored and
samuelchassot
committed
detect mutually recursive functions; fix mutual recursion test

KacperFKorban
authored and
samuelchassot
committed
Update the functions in the rest of the program when rewriting tailrec functions

KacperFKorban
authored and
samuelchassot
committed
Add a test that runs into stack overflow (segmentation fault) without tail recursion elimination

zhekai-jiang
authored and
samuelchassot
committed
Add a simple test to check if tail recursive calls are indeed replaced (not a "complete" test yet)

zhekai-jiang
authored and
samuelchassot
committed
Add test case with unit-type tail-recursive function

zhekai-jiang
authored and
samuelchassot
committed
Remove checks for mutual recursion

zhekai-jiang
authored and
samuelchassot
committed
Add back replacement of function calls

zhekai-jiang
authored and
samuelchassot
committed
For unit functions, put tail recursive calls in a return statement

zhekai-jiang
authored and
samuelchassot
committed
Rename phase

zhekai-jiang
authored and
samuelchassot
committed
Make the unit return heuristic handle more cases; copy over some tailrec tests to tailrec suite

KacperFKorban
authored and
samuelchassot
committed
Add one more Unit return test

KacperFKorban
authored and
samuelchassot
committed
Make test class name consistent with the slides

zhekai-jiang
authored and
samuelchassot
committed
Remove unused things

zhekai-jiang
authored and
samuelchassot
committed
Remove unused things

zhekai-jiang
authored and
samuelchassot
committed
Remove unused things

zhekai-jiang
authored and
samuelchassot
committed
Add return at the end of Unit functions

zhekai-jiang
authored and
samuelchassot
committed
Add measures in genc tailrec test cases, add empty statement after label in C code

zhekai-jiang
authored and
samuelchassot
committed
Merge branch 'main' into genc-tailrec
vkuncak
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Tail recursion elimination for GenC (#1275)#1626

Commits on Jan 10, 2025

Scaffold for a genc tailrec phase

Detect tail recursive functions correctly

Draft implementation of local tailrec elimination

Fix tailrec phase for genc; fib works now

Remove debug from TailRecTransformer.scala

Implement continue

Add bad example with tail recursive call in a loop

Rename files and classes for test programs

Fix new example

Add labeled + goto; Implement jumping to label after tail call

Add value checks for tail recursive examples, add back the full GenCSuite

Support aliased tail recursive calls

Change handling almost-tail-recursive functions to a simplification phase first

Add more tests for tailrec (with one for mutual recursion that is failing)

detect mutually recursive functions; fix mutual recursion test

Update the functions in the rest of the program when rewriting tailrec functions

Add a test that runs into stack overflow (segmentation fault) without tail recursion elimination

Add a simple test to check if tail recursive calls are indeed replaced (not a "complete" test yet)

Add test case with unit-type tail-recursive function

Remove checks for mutual recursion

Add back replacement of function calls

For unit functions, put tail recursive calls in a return statement

Rename phase

Make the unit return heuristic handle more cases; copy over some tailrec tests to tailrec suite

Add one more Unit return test

Make test class name consistent with the slides

Remove unused things

Remove unused things

Remove unused things

Add return at the end of Unit functions

Add measures in genc tailrec test cases, add empty statement after label in C code

Merge branch 'main' into genc-tailrec