Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

ocamlopt support for PPC64 little-endian #6943

Closed
vicuna opened this issue Jul 29, 2015 · 3 comments
Closed

ocamlopt support for PPC64 little-endian #6943

vicuna opened this issue Jul 29, 2015 · 3 comments

Comments

@vicuna
Copy link

vicuna commented Jul 29, 2015

Original bug ID: 6943
Reporter: @xavierleroy
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2017-02-16T14:16:41Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: back end (clambda to assembly)
Related to: #6905

Bug description

A team at IBM would like to have the OCaml native-code compiler support the POWER8 architecture under Linux, both in little-endian and in big-endian modes. RedHat has a fork of OCaml that provides this support. The purpose of this PR is to track progress towards support in mainline OCaml.

Additional information

POWER8 / Linux in little-endian mode (ppc64le) is 64 bits, little-endian, ELF PPC64 ABI v2.
POWER8 / Linux in big-endian mode (ppc64) is 64 bits, big-endian, ELF PPC64 ABI v1.

@vicuna
Copy link
Author

vicuna commented Aug 3, 2015

Comment author: @xavierleroy

Working code is in branch "ppc64" and described here: #225. What remains to be done is code review and some more testing on large, 3rd-party apps.

@vicuna
Copy link
Author

vicuna commented Aug 25, 2015

Comment author: @xavierleroy

Merged in trunk, revision 16374.

@vicuna
Copy link
Author

vicuna commented Aug 25, 2015

Comment author: @xavierleroy

Did some more testing on ppc64le with OPAM, Coq, and some OPAM packages. I'm reasonably confident in the new POWER back-end. Marking this PR as resolved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants