Search results

check that we correctly sign-extend values that we write

Status: Open.

#3638 In ocaml-flambda/flambda-backend;

· jvanburen opened on Feb 27, 2025

Elusive arm64+greedy bug

Status: Open.

#3574 In ocaml-flambda/flambda-backend;

· xclerc opened on Feb 13, 2025

Cmm optimization is bad

cmmCmm language / helpers changesCmm language / helpers changes

middle end

Status: Open.

#3484 In ocaml-flambda/flambda-backend;

· jvanburen opened on Jan 16, 2025

Selection logic can miss optimisations due to non-simple subexpressions

Status: Open.

#3480 In ocaml-flambda/flambda-backend;

· lpw25 opened on Jan 16, 2025

Redundant zero-extension when bswap follows load

backend

Status: Open.

#3345 In ocaml-flambda/flambda-backend;

· dvulakh opened on Dec 5, 2024

Redundant zero-extension when converting an int16 load to an int32#

backend

Status: Open.

#3344 In ocaml-flambda/flambda-backend;

· dvulakh opened on Dec 5, 2024

Improve join performance

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

Status: Open.

#3300 In ocaml-flambda/flambda-backend;

· bclement-ocp opened on Nov 22, 2024

Performance tracking

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

profilingChanges to system for profiling the performance of the compilerChanges to system for profiling the performance of the compiler

Status: Open.

#3299 In ocaml-flambda/flambda-backend;

· bclement-ocp opened on Nov 22, 2024

Imperative loops and locally allocated stuff

Status: Open.

#3293 In ocaml-flambda/flambda-backend;

· patrick-nicodemus opened on Nov 20, 2024

Find and document code patterns that can and cannot be optimized

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

Status: Open.

#3220 In ocaml-flambda/flambda-backend;

· mshinwell opened on Oct 31, 2024

New treatment of relational information in Flambda 2 types

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

Status: Open.

#3219 In ocaml-flambda/flambda-backend;

· mshinwell opened on Oct 31, 2024

Better Continuation aliases

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

Status: Open.

#3210 In ocaml-flambda/flambda-backend;

· Gbury opened on Oct 31, 2024