Rewritten closure conversion + lifting - #179

Draft

Hugobros3 wants to merge 66 commits into

refactor/lifting

Commits on Aug 6, 2025

cherry-picked changes from abandonned PR https://github.com/AnyDSL/thorin/pull/138
Hugobros3
committed
7773d52

Commits on Aug 8, 2025

Commits on Aug 12, 2025

refactor how the spir-v backend deals with jumps
Hugobros3
committed
b6689c5
simplify codegen_prepare
Hugobros3
committed
edfd566
revive 2023 closure conversion rewrite
Hugobros3
committed
daf783b
scoped_dump: deal with nom types properly
Hugobros3
committed
a34b5f8
dramatically simplify lifting
Hugobros3
committed
7830371
improved closure demoting (lift2cff)
Hugobros3
committed
c9c0415
lift: fix interactions with intrinsics, in particular Match
Hugobros3
committed
605b530
emitter: queue all reachable bodied continuations
Hugobros3
committed
d9b2021
deal more robustly with closure self params
Hugobros3
committed
7e7369c

Commits on Aug 13, 2025

Commits on Aug 14, 2025

lift: turn return objects into closures so they can be captured properly
Hugobros3
committed
bf7713c
simplify calls to closures without self params
Hugobros3
committed
e1a727c
c: start emitting captured returns
Hugobros3
committed
2fa48eb
refactor the C backend to match the spir-v one wrt emit_jump
Hugobros3
committed
17706a6
allow capture_ret to also capture inlined return points
Hugobros3
committed
4188559
warn where setjmp is required
Hugobros3
committed
a0643d7
eta reduction fixes
Hugobros3
committed
95aba44
generalise demote_closures
Hugobros3
committed
912a7df
implemented a scanning analysis before lifting
Hugobros3
committed
aabd46c
tuned cascading CC analysis
Hugobros3
committed
aea689b
c: fix incorrect BB param names
Hugobros3
committed
2a59129
c: fix numerical limits for c99
Hugobros3
committed
7201cb7
c: emit closure longjmp wrappers
Hugobros3
committed
c8df43a
hacks for scheduling unreachable blocks
Hugobros3
committed
c5dd191

Commits on Aug 15, 2025

Commits on Aug 17, 2025

demote_closures: robustly handle inside/outside of closures
Hugobros3
committed
8ee290f
fix eliminate_params
Hugobros3
committed
7c089c4
allow eliminate_tail_rec to create higher-order params before cff
Hugobros3
committed
e2b84e3
lift: fix param names being forgotten
Hugobros3
committed
1d83791
lift: use a vector of free vars in the analysis results
Hugobros3
committed
d65ccef
lift: eliminate todo queue, recursion is handled
Hugobros3
committed
1e31990
lift: handle accelerator intrinsics again
Hugobros3
committed
cfe9abb

Commits on Aug 19, 2025

fix runtime calls
Hugobros3
committed
aa2d608

Commits on Aug 20, 2025

made smart scheduler cope with unreachable BB cases
Hugobros3
committed
7e17e89

Commits on Aug 29, 2025

limit eta-reduction to only apply to continuations
Hugobros3
committed
f9e36ae
lift: wrap non-convertible continuations in dummy closures
Hugobros3
committed
66d37d6
scoped_dump: print filters
Hugobros3
committed
bc901c9

Commits on Sep 3, 2025

Small bugfix in C backend for CUDA target.
m-kurtenacker
committed
12eb474

Commits on Sep 25, 2025

Commits on Sep 26, 2025

implement spirv printf
Hugobros3
committed
76b7def
Fixed small issues in previous commit.
m-kurtenacker
committed
d84a460
fixes for printf
Hugobros3
committed
be85ad9

Commits on Sep 29, 2025

fix bb emission order
Hugobros3
committed
7f2122c

Commits on Sep 30, 2025

runtime: allow passing plain pointers to kernels
Hugobros3
committed
561adad

Commits on Oct 1, 2025

spirv: fix scheduling issue when emitting workarround cast
Hugobros3
committed
ceca8da

Commits on Oct 4, 2025

Commits on Oct 6, 2025

fix codegen on OpenCL
Hugobros3
committed
013cc05