Consume Hints produced by ocaml#13438

[hhugo]

See ocaml/ocaml#13438

[Copilot]

Copilot reviewed 7 out of 25 changed files in this pull request and generated no comments.

Files not reviewed (18)

• compiler/bin-js_of_ocaml/build_fs.ml: Language not supported
• compiler/bin-js_of_ocaml/cmd_arg.ml: Language not supported
• compiler/bin-js_of_ocaml/cmd_arg.mli: Language not supported
• compiler/bin-js_of_ocaml/compile.ml: Language not supported
• compiler/lib/code.ml: Language not supported
• compiler/lib/driver.ml: Language not supported
• compiler/lib/driver.mli: Language not supported
• compiler/lib/flow.ml: Language not supported
• compiler/lib/flow.mli: Language not supported
• compiler/lib/ocaml_compiler.ml: Language not supported
• compiler/lib/ocaml_compiler.mli: Language not supported
• compiler/lib/parse_bytecode.ml: Language not supported
• compiler/lib/pure_fun.ml: Language not supported
• compiler/lib/shape.ml: Language not supported
• compiler/lib/shape.mli: Language not supported
• compiler/lib/specialize.ml: Language not supported
• compiler/tests-compiler/sourcemap.ml: Language not supported
• compiler/tests-full/dune: Language not supported

[OlivierNicole]

Do we have an idea of the scale of the performance gains that could be made with this?

[hhugo]

Do we have an idea of the scale of the performance gains that could be made with this?

I don't know exactly, I've rebased the PR and its ocaml companion https://github.com/hhugo/ocaml/tree/optimization-hints but we can't currently run the benchmarks with OCaml 5.3 (see #2035)