Skip to content

Issues: ocaml-flambda/flambda-backend

Beta
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

250 Open 81 Closed
250 Open 81 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

Equality via pattern-matching compiles to slow code flambda2 Prerequisite for, or part of, flambda2
#3914 opened Apr 22, 2025 by jvanburen
unsafe indexing by unboxed nativeint (and bigger) explicitly truncates the index when it shouldn't bug Something isn't working cmm Cmm language / helpers changes flambda2 Prerequisite for, or part of, flambda2
#3889 opened Apr 17, 2025 by jvanburen
@jvanburen
unboxed int64 -> int conversion is slow cmm Cmm language / helpers changes
#3888 opened Apr 17, 2025 by jvanburen
@jvanburen
rotate registers in regalloc on cfg: backend
#3719 opened Mar 20, 2025 by gretay-js
@xclerc
Audit uses of bind together with int_array_ref and other peephole-sensitive functions
#3718 opened Mar 20, 2025 by Gbury
@Gbury
2
check that we correctly sign-extend values that we write
#3638 opened Feb 27, 2025 by jvanburen
Elusive arm64+greedy bug
#3574 opened Feb 13, 2025 by xclerc
2
Cmm optimization is bad cmm Cmm language / helpers changes middle end
#3484 opened Jan 16, 2025 by jvanburen
@mshinwell @jvanburen
Selection logic can miss optimisations due to non-simple subexpressions
#3480 opened Jan 16, 2025 by lpw25
Redundant zero-extension when bswap follows load backend
#3345 opened Dec 5, 2024 by dvulakh
Redundant zero-extension when converting an int16 load to an int32# backend
#3344 opened Dec 5, 2024 by dvulakh
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
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
Missed CSE opportunity flambda2 Prerequisite for, or part of, flambda2
#3181 opened Oct 24, 2024 by bclement-ocp
1
1
OCAMLRUNPARAM=v=4096 is overloaded runtime
#3158 opened Oct 18, 2024 by lpw25
@stedolan
1
Error when printing types with -rectypes
#3133 opened Oct 10, 2024 by samsa1
3
Useless reloads between calls backend
#3102 opened Oct 2, 2024 by xclerc
@xclerc
Constraints are not handled symmetrically by jkind inference in type declarations typing
#2993 opened Aug 29, 2024 by jbachurski
Emission of unnecessary jumps backend cfg
#2929 opened Aug 15, 2024 by xclerc
Think more about inlining heuristics in classic mode flambda2 Prerequisite for, or part of, flambda2
#2916 opened Aug 12, 2024 by mshinwell
Symbol projections from symbol projections flambda2 Prerequisite for, or part of, flambda2
#2896 opened Aug 6, 2024 by mshinwell
@Ekdohibs
Assertion failure because we don't handle polymorphic parameters in collect_unknown_apply_args typing
#2891 opened Aug 5, 2024 by lpw25
ProTip! Adding no:label will show everything without a label.