Skip to content
Title
Labels
Linked pull requests
Assignees
Status
ETA
Notes
1
Improved compilation of match-in-match
#926
flambda2
GburyGbury
Coding
Depends on #2413
2
Implement Unbox_free_vars_of_closures
#1416
flambda2
EkdohibsEkdohibs
Coding
Depends on #1797
3
New treatment of relational information in Flambda 2 types
#3219
flambda2
bclement-ocpbclement-ocp
Coding
4
Failure of mutable unboxing in conjunction with a for-loop
#2123
flambda2
#2132
#2782
GburyGbury
In review
Part 2 (fixing Data_flow for symbols and constants) now in review
5
Find and document code patterns that can and cannot be optimized
#3220
flambda2
bclement-ocpbclement-ocp
Coding
6
Function specialization
#1525
flambda2 upstreaming
mshinwellmshinwell
Coding
Q3/4 2024. Only when attributes are provided and for certain cases in the first instance. First hack in progress
7
RFC for backend exception handling
#1799
flambda2 upstreaming
lthlslthls
Coding
4 options: original push/poptrap patch, delayed patch, change of calling convention, go back to try-with
8
Unboxed variants (from the front end)
#958
unboxed types
Todo
Maybe add a proper variant matching expression to Lambda for this
9
Attribute to check that loopification has happened
#2757
flambda2
EkdohibsEkdohibs
Open
10
Symbol projections from symbol projections
#2896
flambda2
EkdohibsEkdohibs
Open
See issue 2867
11
Code size adjustments for Switch
#1489
flambda2
#724
GburyGbury
Coding
12
Adjustments of sharing to improve unboxing
#2283
flambda2
#2257
mshinwellmshinwell
Coding
With Vincent but Mark will coordinate the work
13
Fix parameter/return unboxing in the presence of locals
#2412
flambda2
Todo
As per Leo's suggestion
14
Calls to cold functions should make the surrounding continuation cold
#1807
flambda2
Todo
15
Mark paths ending in exceptions as cold
#1892
flambda2Stale
Open
Might be bad for hot paths not using raise_notrace when they should be?
Current work · Flambda 2