ocaml-flambda / flambda-backend

The Flambda backend project for OCaml

ocaml-flambda/flambda-backend Issues

Backend refactoring
Updated a month ago
Unbox_free_vars_of_closures - hackish version in Simplify
Updated a month ago
Static allocation for mixed blocks
Updated a month ago
Fix join problem discovered via PR2628
Updated a month ago
Better scoping for `[@@@ocaml.flambda_o3]`
Updated 2 months ago1
Generate better code for `Obj.is_block`
Updated 3 months ago
Code generation for unboxed computations
Updated 3 months ago1
Track mixed blocks in Flambda 2 types
Updated 3 months ago
Generate branch free code for some simple variant matches
Updated 3 months ago1
Op_debuginfo patch to stop DWARF information loss from To_cmm substitutions
Updated 3 months ago
Try to improve code sequence at the end of loops
Updated 3 months ago
Implement Strmatch for flambda2
Updated 3 months ago
Suboptimal code generation for shared match arms
Updated 3 months ago
Track intervals to allow simplification of repeated bounds checks
Updated 4 months ago1
Build instructions in HACKING.adoc fail with Menhir-related errors
Closed 4 months ago3
Continuation lifting
Updated 4 months ago
Fix parameter/return unboxing in the presence of locals
Updated 4 months ago
Handling of bottom equations
Updated 4 months ago
Always-inlined annotated function does not get inlined in OClassic
Updated 5 months ago1
Problem with Indirect_known_arity instead of direct calls in partial application wrappers
Updated 5 months ago1
Prim_poly primitives can't allocate locally
Updated 5 months ago
Code generation does not use information such as commutativity
Updated 5 months ago1
Investigate testsuite/tests/asmcomp/optargs.ml
Updated 5 months ago
Adjustments of sharing to improve unboxing
Updated 5 months ago2
Optimise certain pattern matching into equality
Updated 6 months ago3
Optimise certain pattern matching into identity
Updated 6 months ago1
Push integer boxing allocation down through conditional branches
Updated 6 months ago1
Failure of mutable unboxing in conjunction with a for-loop
Updated 6 months ago4
bad folding of non-constant arithmetic into array indexing
Closed 6 months ago2
Check whether with need to improve the handling of "polling" back edges
Updated 7 months ago
Remove dependency on Clambda for structured constant types
Updated 7 months ago
Propagate effects and coeffects of primitives through flamdba2
Closed 7 months ago
Optimize `(x mod pow2) = 0`
Updated 7 months ago4
Add a peephole optimization engine in Flambda2
Updated 7 months ago
Check for Bottom systematically
Updated 7 months ago
Identity switch optimisation fails to trigger in some cases
Updated 7 months ago
poor code generation for boolean negation in conditions of if statements
Closed 8 months ago
Front end does not describe variants involving mutable fields as variants in Lambda.value_kind
Updated 8 months ago
Track mutability of records on a per-field basis
Updated 8 months ago
Track bigarrays, so they can be specialised after inlining
Updated 8 months ago
Track nontermination of functions when result types are disabled
Updated 8 months ago
New strategy for handling try-regions
Closed 8 months ago
Problems with optional argument wrappers not being inlined
Updated 9 months ago
Fix %obj_size and %obj_field to include the opaqueness
Updated 9 months ago
Discuss compatibility of blocks and arrays
Updated 9 months ago
Track whether a function never returns normally in Code_metadata
Updated 9 months ago
Apply expressions without callees
Updated 9 months ago
Dataflow analysis ignores coercions
Updated 9 months ago
Remove unneeded closure allocations
Updated 10 months ago
Review CPS conversion code again
Updated 10 months ago