xclerc
Follow
Highlights
- Pro
Popular repositories
-
OJacare2 Public
Forked from beaCarre/OJacare2
interopérabilité entre ocaml et java : Portage d'O'Jacaré (G. Henry) pour OCaml-Java (X.Clerc)
OCaml 1
-
opam-repository Public
Forked from ocaml/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Shell 1
-
tensorflow-ocaml Public
Forked from LaurentMazare/tensorflow-ocaml
OCaml bindings for TensorFlow
OCaml 1
-
-
ocaml Public
Forked from ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
OCaml
276 contributions in the last year
Contribution activity
September 2023
Created 10 commits in 1 repository
Created a pull request in ocaml-flambda/flambda-backend that received 1 comment
Simplify terminator integer condition
We can sometimes statically determine the destination of a conditional terminator, and thus change it to a mere jump. This pull request does so if …
Opened 3 other pull requests in 1 repository
ocaml-flambda/flambda-backend
2
open
1
merged
Reviewed 9 pull requests in 1 repository
ocaml-flambda/flambda-backend
9 pull requests
- Fix cmm unboxing of local allocations
- cached generated startup is now a lib by default
-
All-
float#records - Zero alloc annotation: assume a function never returns normally
-
Factor out duplicated code in
cmm_helpers -
Fix incorrect sort assumption in lambda for
bop_exps in letops - Dominators: remove naive implementation
- Faster algorithm for dominators
- Zero alloc: assume that works with inlining - propagate via Scoped_location
Created an issue in ocaml-flambda/flambda-backend that received 1 comment
Sharing of switch arms
Not a lot of details at this point, but we are seeing cases
whether an flambda2 fragment like the following one:
switch ...
| 0 ↦ apply_cont k111
|…