You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello. I've developed an ARMv7 backend for the ocaml-jit project (which now appears to be under the Tarides umbrella, formerly Nathan Rebours).
The key ingredient of ocaml-jit is the provision of an assembler. I have turned this
to providing ocaml with a jit compilation target, an .exe and assembled object file,
with the .exe invoking a jitlinker to compose and run the assemblies.
The largest test case I have for this is the ocaml compiler itself which while substantial
by no means exercises the full range of an assembler. eg. floating point ops.
I would like to use the sandmark service to expose the various backend assemblers to a larger body of code. This of course is largely tangential to the purpose of the service -
performance degradation due to linking compromises is of interest but the main goal would be gathering instances of failure and working towards correctness.
So as a first step I'm asking whether Tarides will support this in principle.
To flesh out the requirement:
Only looking to run against sequential benchmarks.
The non-x86-64/i386 assemblers (currently only ARMv7 but I will be working on Aarch64 in time and more will likely follow from others) require emulation on the service computers. I have cross-compilation working for the ARMv7 (and likely any other architecture) which would then entail running the jitlinker under QEMU. These two things need some extra packages installed in the OS which doubtless it doesn't have.
Logs of sandmark software compilation and its running, for bug hunting.
Some technical assistance: I anticipate the compiler branch I provide to both install the compiler and the ocaml-jit package, but the latter requires a dune binary be shipped within the branch. Hopefully a better way can be found.
I hope this is of some interest.
The text was updated successfully, but these errors were encountered:
Hello. I've developed an ARMv7 backend for the ocaml-jit project (which now appears to be under the Tarides umbrella, formerly Nathan Rebours).
The key ingredient of ocaml-jit is the provision of an assembler. I have turned this
to providing ocaml with a jit compilation target, an .exe and assembled object file,
with the .exe invoking a jitlinker to compose and run the assemblies.
The largest test case I have for this is the ocaml compiler itself which while substantial
by no means exercises the full range of an assembler. eg. floating point ops.
I would like to use the sandmark service to expose the various backend assemblers to a larger body of code. This of course is largely tangential to the purpose of the service -
performance degradation due to linking compromises is of interest but the main goal would be gathering instances of failure and working towards correctness.
So as a first step I'm asking whether Tarides will support this in principle.
To flesh out the requirement:
I hope this is of some interest.
The text was updated successfully, but these errors were encountered: