Skip to content

Issues: ocaml-flambda/flambda-backend

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
118 Open 671 Closed
118 Open 671 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

optimized bounds-checks to eliminate some shifts flambda2 Prerequisite for, or part of, flambda2
#3680 opened Mar 11, 2025 by jvanburen Loading…
Fix bug in lazy pattern matching bug Something isn't working flambda2 Prerequisite for, or part of, flambda2 to upstream PR should be sent to upstream OCaml
#3647 opened Mar 3, 2025 by Gbury • Draft
1
Document Datalog's scheduling functions flambda2 Prerequisite for, or part of, flambda2
#3580 opened Feb 17, 2025 by bclement-ocp Loading…
removed unary negation from flambda flambda2 Prerequisite for, or part of, flambda2
#3572 opened Feb 12, 2025 by jvanburen Loading…
1
flambda2: Continuation shortcuts flambda2 Prerequisite for, or part of, flambda2
#3545 opened Feb 5, 2025 by bclement-ocp Loading…
1
20
flambda2-types: New n-way join algorithm flambda2 Prerequisite for, or part of, flambda2
#3538 opened Feb 4, 2025 by bclement-ocp Loading…
16
Unify scalar primitives backend cmm Cmm language / helpers changes flambda2 Prerequisite for, or part of, flambda2 lambda Lambda language changes middle end unboxed types
#3513 opened Jan 25, 2025 by jvanburen • Draft
1
Load code when printing it in objinfo flambda2 Prerequisite for, or part of, flambda2
#3510 opened Jan 24, 2025 by lukemaurer Loading…
[DRAFT] Continuation specialization, aka match-in-match flambda2 Prerequisite for, or part of, flambda2 match-in-match prerequisites, or part of, match-in-match
#3501 opened Jan 23, 2025 by Gbury • Draft
Add primitive types for unboxed small integers cmm Cmm language / helpers changes flambda2 Prerequisite for, or part of, flambda2 lambda Lambda language changes unboxed types
#3370 opened Dec 12, 2024 by jvanburen Loading…
15
Add Simplify_primitive_result.Resimplify flambda2 Prerequisite for, or part of, flambda2
#3364 opened Dec 11, 2024 by mshinwell Loading…
Static allocation / simplification for unboxed product arrays flambda2 Prerequisite for, or part of, flambda2 unboxed types
#3363 opened Dec 11, 2024 by mshinwell • Draft
13
Index lifted cont params by variables instead of custom indexes flambda2 Prerequisite for, or part of, flambda2 match-in-match prerequisites, or part of, match-in-match
#3303 opened Nov 22, 2024 by Gbury Loading…
Add replay history to match names between two downwards traversals flambda2 Prerequisite for, or part of, flambda2 match-in-match prerequisites, or part of, match-in-match
#3302 opened Nov 22, 2024 by Gbury Loading…
Improve join performance flambda2 Prerequisite for, or part of, flambda2
#3300 opened Nov 22, 2024 by bclement-ocp
@bclement-ocp
Performance tracking flambda2 Prerequisite for, or part of, flambda2 profiling Changes to system for profiling the performance of the compiler
#3299 opened Nov 22, 2024 by bclement-ocp
Add unique barriers for Pduprecord, Parraylength, Parrayrefu flambda2 Prerequisite for, or part of, flambda2 lambda Lambda language changes uniqueness
#3243 opened Nov 8, 2024 by anfelor • Draft
5
Apply flambda2 switch table optimization to naked numbers and symbols flambda2 Prerequisite for, or part of, flambda2
#3242 opened Nov 8, 2024 by mshinwell Loading…
1
Find and document code patterns that can and cannot be optimized flambda2 Prerequisite for, or part of, flambda2
#3220 opened Oct 31, 2024 by mshinwell
@bclement-ocp
New treatment of relational information in Flambda 2 types flambda2 Prerequisite for, or part of, flambda2
#3219 opened Oct 31, 2024 by mshinwell
@bclement-ocp
11
Better Continuation aliases flambda2 Prerequisite for, or part of, flambda2
#3210 opened Oct 31, 2024 by Gbury
1
@bclement-ocp
Add partial rebuilding option to ART + some associated refactoring flambda2 Prerequisite for, or part of, flambda2 match-in-match prerequisites, or part of, match-in-match
#3204 opened Oct 30, 2024 by Gbury • Draft
3
CSE join: canonicalise the primitives in both environments flambda2 Prerequisite for, or part of, flambda2
#3182 opened Oct 24, 2024 by lthls • Draft
1
3
Missed CSE opportunity flambda2 Prerequisite for, or part of, flambda2
#3181 opened Oct 24, 2024 by bclement-ocp
1
1
Refactoring of Flambda 2 array types flambda2 Prerequisite for, or part of, flambda2
#3130 opened Oct 10, 2024 by mshinwell Loading…
4
ProTip! Add no:assignee to see everything that’s not assigned.