New normalizer - #1127

Draft

b-studios wants to merge 146 commits into

mainfrom

new-normalizer

Commits on Nov 27, 2025

Add check for normal form

b-studios
authored and
timsueberkrueb
committed
d739e00
WIP add first draft of new normalizer

b-studios
authored and
timsueberkrueb
committed
c91f531
Start supporting recursive local functions and reset and shift

b-studios
authored and
timsueberkrueb
committed
372c047
WIP fix a few bugs

b-studios
authored and
timsueberkrueb
committed
b3e92f0
WIP bargs for direct app

b-studios
authored and
timsueberkrueb
committed
e90094e
WIP support resume and avoid eta-redexes

b-studios
authored and
timsueberkrueb
committed
a0b7474
WIP before proper shift

b-studios
authored and
timsueberkrueb
committed
6466381
Start preparing for iterated CPS

b-studios
authored and
timsueberkrueb
committed
c3c7c58
Add jump and reorganize a bit

b-studios
authored and
timsueberkrueb
committed
945c826
Introduce closures

b-studios
authored and
timsueberkrueb
committed
fd59e67
Rename Stack to Frame

b-studios
authored and
timsueberkrueb
committed
ca63185
Reify stacks

b-studios
authored and
timsueberkrueb
committed
f91bef0
Notes from the meeting

b-studios
authored and
timsueberkrueb
committed
763ca4f
Draft inline and joinpoints

b-studios
authored and
timsueberkrueb
committed
3862bcb
Avoid trivial continuations again

b-studios
authored and
timsueberkrueb
committed
e379d02
Experiment with inlining strategies

b-studios
authored and
timsueberkrueb
committed
6caa47b
Capture the continuation statically

b-studios
authored and
timsueberkrueb
committed
a0ecb85
WIP

b-studios
authored and
timsueberkrueb
committed
3cd1e21
Update comments

b-studios
authored and
timsueberkrueb
committed
ab34284
Implement box/unbox in new normalizer
timsueberkrueb
committed
0fa7753
Import effekt.core.Pure
timsueberkrueb
committed
2f1000e
Second try to un-confuse Scala
timsueberkrueb
committed
6c7845e
Add two test cases for normalizing boxes
timsueberkrueb
committed
b916e6c
Fix copy-pasted doc comment
timsueberkrueb
committed
7389fef
Add test case for neutral unbox
timsueberkrueb
committed
dfaa230
Properly implement unbox handling
timsueberkrueb
committed
99c4203
Collapse Box again
timsueberkrueb
committed
5ec0c04
add TODOs for regions and mutable state

dvdvgt
authored and
timsueberkrueb
committed
202a0ea
fix ImpureApp

dvdvgt
authored and
timsueberkrueb
committed
4c0d42b
Fix tests
timsueberkrueb
committed
6a9b7eb
progress on local state

dvdvgt
authored and
timsueberkrueb
committed
853302c
Add simple test case for mutable variables
timsueberkrueb
committed
e5ec970
Throw proper errors in impossible cases
timsueberkrueb
committed
41de27d
Throw proper error in impossible case
timsueberkrueb
committed
1cc680d
Add test for mutating peano Nats
timsueberkrueb
committed
cf1eef6
Work on normalizing state
timsueberkrueb
committed
74071b5
Add test case for passing mutable var to id
timsueberkrueb
committed
044010e
Add test case for tracked mutation
timsueberkrueb
committed
c207585
Implement neutral put
timsueberkrueb
committed
ac047de
Fix unbox
timsueberkrueb
committed
f36d297
Correct test name
timsueberkrueb
committed
4ba304b
Add failing test case
timsueberkrueb
committed
1bb6918
Fix captures when embedding recursive bindings
timsueberkrueb
committed
f8e8613
add some more tests

dvdvgt
authored and
timsueberkrueb
committed
6dab62f
try fixing recursive calls with captures

dvdvgt
authored and
timsueberkrueb
committed
1d615a6
normalize twice for recursive functions

dvdvgt
authored and
timsueberkrueb
committed
9e8fb04
fix evaluateRecursive

dvdvgt
authored and
timsueberkrueb
committed
21d1b41
fix pretty printer

dvdvgt
authored and
timsueberkrueb
committed
0fc8be1
add comment about region desugaring

dvdvgt
authored and
timsueberkrueb
committed
eb7fecb
add idea about fixing reification stack over-approximation

dvdvgt
authored and
timsueberkrueb
committed
c15d413
naively implement region normalization

dvdvgt
authored and
timsueberkrueb
committed
a4ee492
don't reify regions if unneeded

dvdvgt
authored and
timsueberkrueb
committed
3266782
fix var pretty printer

dvdvgt
authored and
timsueberkrueb
committed
c1ce5e6
add comment to evaluate(Stmt)

dvdvgt
authored and
timsueberkrueb
committed
76b1927
refactor

dvdvgt
authored and
timsueberkrueb
committed
80ce8fe
try to eta-expand closures when embedding

dvdvgt
authored and
timsueberkrueb
committed
6238994
try fixing eta-expansion

dvdvgt
authored and
timsueberkrueb
committed
603501a
Fix looking up top-level vals
timsueberkrueb
committed
f5e7ec5
Add test case for @dvdvgt's fix
timsueberkrueb
committed
84a7c37
Fix typo
timsueberkrueb
committed
99e31f1
fix region alloc bug

dvdvgt
authored and
timsueberkrueb
committed
7f23c7f
use capture information when eta-expanding

dvdvgt
authored and
timsueberkrueb
committed
ff4e60d
simplify Region stack: don't store initial Addr

dvdvgt
authored and
timsueberkrueb
committed
f8f1ca7
extract eta-expansion into function

dvdvgt
authored and
timsueberkrueb
committed
ebf8135
Split cparams off bparams when embedding interface instances
timsueberkrueb
committed
6016942
fix targs

dvdvgt
authored and
timsueberkrueb
committed
7fe6e75
Make type of Closure.environment more precise
timsueberkrueb
committed
06595c9
refactor etaExpand to make it more readable

dvdvgt
authored and
timsueberkrueb
committed
750c0a6
etaExpand -> etaExpandToBlockLit
timsueberkrueb
committed
f128858
Extract etaExpandToOperation
timsueberkrueb
committed
2556084
add comment about evaluate of Box being wrong currently

dvdvgt
authored and
timsueberkrueb
committed
7119c7b
fix toplevelEnv in run

dvdvgt
authored and
timsueberkrueb
committed
efb1536
Improve TODO
timsueberkrueb
committed
d70d8e6
Provide types for async externs
timsueberkrueb
committed
6733ee7
fix async top-level defs

dvdvgt
authored and
timsueberkrueb
committed
2b949fa
fix escape analysis for Boxes

dvdvgt
authored and
timsueberkrueb
committed
b754eeb
fix Stack.Var reification

dvdvgt
authored and
timsueberkrueb
committed
affa610
Remove redundant init value tracking
timsueberkrueb
committed
7cf8ed7
fix region reification

dvdvgt
authored and
timsueberkrueb
committed
d202bdd
some comments

dvdvgt
authored and
timsueberkrueb
committed
2da5d4c
fully reactivate VM tests

dvdvgt
authored and
timsueberkrueb
committed
94d7a59
don't assertNormal for now (broken due to missing inlining)

dvdvgt
authored and
timsueberkrueb
committed
3396014
fix bindings of top-level defs

dvdvgt
authored and
timsueberkrueb
committed
dac43b2
reifyKnown if call is pure

dvdvgt
authored and
timsueberkrueb
committed
1ed7966
fix error in get and put for regions

dvdvgt
authored and
timsueberkrueb
committed
a1ec539
also check environment to determine whether App is pure

dvdvgt
authored and
timsueberkrueb
committed
e6ee9ea
Rip out previous attempt at inlining
timsueberkrueb
committed
324e056
delete Computation.Inline

dvdvgt
authored and
timsueberkrueb
committed
6ffc203
add very basic inliner

dvdvgt
authored and
timsueberkrueb
committed
801626e
get inliner to work

dvdvgt
authored and
timsueberkrueb
committed
353b2dd
always inline jumps

dvdvgt
authored and
timsueberkrueb
committed
e192604
fix renaming when inlining

dvdvgt
authored and
timsueberkrueb
committed
f146898
integrate inliner into optimization pipeline

dvdvgt
authored and
timsueberkrueb
committed
d22117e
first step in separating free variable computation from dynamic capture computation

dvdvgt
authored and
timsueberkrueb
committed
ed0b260
fix resume function

dvdvgt
authored and
timsueberkrueb
committed
9f25839
use dynamic capture for deciding whether to use reifyKnown

dvdvgt
authored and
timsueberkrueb
committed
990f6a9
run Normalizer, Inliner, Normalizer

dvdvgt
authored and
timsueberkrueb
committed
d5aa04f
use old optimization pipeline with new-normalizer

dvdvgt
authored and
timsueberkrueb
committed
f78d528
Implement something like dependent specialization for repeated matches on the same scrutinee

b-studios
authored and
timsueberkrueb
committed
e5458db
bind variables so that they can be used as bargs

dvdvgt
authored and
timsueberkrueb
committed
4f83aeb
fix pretty printing of Def with ImpureApp

dvdvgt
authored and
timsueberkrueb
committed
b2e567a
fix inlining of toplevel functions

dvdvgt
authored and
timsueberkrueb
committed
f5ffb0a
try to inline method calls

dvdvgt
authored and
timsueberkrueb
committed
3b60b4c
Implement initial support for builtins evaluation
timsueberkrueb
committed
f162c04
optimize linear usage of cont. in match

dvdvgt
authored and
timsueberkrueb
committed
a871e7b
experiment with inlining policy

dvdvgt
authored and
timsueberkrueb
committed
bc00c8d
remove DirectStyle opt. from opt. pipeline

dvdvgt
authored and
timsueberkrueb
committed
5be2cb0
Initial algebraic simplification for integers

timsueberkrueb
and
b-studios
committed
94c2126
Make doc comment more precise
timsueberkrueb
committed
b325eb9
Add further builtin integer operations from vm builtins
timsueberkrueb
committed
5794b86
Split up NewNormalizer into submodules
timsueberkrueb
committed
34c0937
Improve comments
timsueberkrueb
committed
ce03f5d
Support more builtin simplification on literals
timsueberkrueb
committed
73a8580
Lowercase integer theory object
timsueberkrueb
committed
88d0516
Add initial theory of strings
timsueberkrueb
committed
0a6b44a
Fix compilation
timsueberkrueb
committed
1236029
Fix most NewNormalizerTests
timsueberkrueb
committed
5e846c4
Add test case for compile-time string concat
timsueberkrueb
committed
f8256b6

Commits on Dec 1, 2025

Uh oh!

Commits

Commits on Nov 27, 2025

Commits on Dec 1, 2025

Commits on Dec 2, 2025

Commits on Dec 3, 2025

Commits on Dec 4, 2025

Commits on Dec 8, 2025

Commits on Dec 9, 2025

Commits on Dec 10, 2025

Commits on Dec 16, 2025