[CakeML-Dev] other targets benchmarks

Magnus Myreen magnus.myreen at gmail.com
Fri Oct 7 04:37:42 UTC 2016

Three simple tests: the first test you want to run is a simple infinite loop

  fun f x = f x;
  val y = f 0;

since this test doesn't depend on a good handover at the end to exit.
The second test could be:

  val v = 0;

And the third test could be the hello program which prints a short message.


On 7 October 2016 at 05:32, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> Status update:
> I've tried to set the avoid_regs and register-name mappings correctly for
> all targets. The riscv branch (now named too specifically) is where this
> work lives.
> I have .S files for all the benchmarks on this branch. Magnus, do you want
> me to send you the ARM-32 ones?
> I've got a RISC-V setup working on my machine (I can compile and run simple
> C programs). I've tried to run the CakeML fib benchmark for RISC-V.
> Currently, it takes a really long time in the simulator (a couple of
> minutes?) and then segfaults.
> It would be very good to have some benchmarks that (a) produce output or (b)
> are very simple/fast, just to test that things are working at all. Yong
> Kiam, were you going to add output to the benchmarks? I'll try producing a
> very simple test benchmark myself...
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list