Skip to content

[4.12] Cmm traps #66

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
wants to merge 74 commits into from
Closed

[4.12] Cmm traps #66

wants to merge 74 commits into from

Conversation

xclerc
Copy link
Contributor

@xclerc xclerc commented Jun 29, 2021

This pull request imports / rebases https://github.com/lthls/ocaml/tree/cmm_traps,
which is part of the tip of https://github.com/ocaml-flambda/ocaml.

mshinwell and others added 30 commits April 13, 2021 19:26
git-subtree-dir: ocaml
git-subtree-split: ae3e5528f45f084a5f2984d81ecc635ba8c38f31
…b6f1a67704cdec)

Change the default policy to best-fit and space overhead to 100
Ensure that string representations of scopes are shared.
…ops files (still needs .gitignore + way of generating these files)
gretay-js and others added 25 commits May 27, 2021 13:57
Used `replace` instead of `add` on the interfaces Hash table (which is
being used as a set), to avoid duplicate entries. The duplicate entries
lead to enormous `caml_globals_map` values.

Also use `replace` instead of `add` on another hash table usage, not
because it was causing any problems but because it seems like `add`
should be avoided outside unusual situations.
git-subtree-dir: external/memtrace
git-subtree-split: ad4099fd60562dc3e1d9a33812da54491f9dbadc
…caml#30)

Use the same options as in the upstream Makefiles, based on ocaml/Makefile.config
This fixes the missing -ffunction-sections in compilation of C stubs.
We should disable dune behavior of taking C compiler options from
"ocamlc -config" when we move to dune 2.8.
* Add intrinsics for ext_pointer and native_pointer

* Add two_args

* remove XCR

* Add intrinisics for storing and loading int64,int32,nativeint

Fix up names

* Remove "unsafe" from the name of one of the intrinsics

* Address review comments

Use Word_int instead of Word_val for {load,store}_immediate intrinsics

Co-authored-by: Mark Shinwell <mshinwell@gmail.com>
Reduces peak memory usage, which is important when a build system
tries to run many large links in parallel.
* Import the code of ocamlcfg.

* Fix imported code.

* Optionally go through ocamlcfg.

* Merge in the latest CFG version

* Fix compilation warning 18.

* Add copyright header to cfg files.

The head is a copy of the LICENSE file at the root of ocamlcfg library

Co-authored-by: xclerc <xclerc@janestreet.com>
Fix error "integer literal exceeds the range of representable integers
of type nativeint" in the code that runs only on 64-bit targets, but
need to compile on 32-bit target.
@mshinwell mshinwell added the flambda2 Prerequisite for, or part of, flambda2 label Jun 30, 2021
@poechsel poechsel closed this Jul 1, 2021
@xclerc xclerc mentioned this pull request Jul 1, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
flambda2 Prerequisite for, or part of, flambda2
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants