<div dir="ltr">FYI the infinite loop seems to run fine, but the other two crash. They're also disturbingly slow (admittedly it's software simulation, but simple C programs aren't as slow). The FFI test program crashes before printing anything, so I think crashes must be happening before calls to C functions (whether they be FFI or exit). I'll investigate this more on Monday (or if I find time before then).<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 7 October 2016 at 15:37, Magnus Myreen <span dir="ltr"><<a href="mailto:magnus.myreen@gmail.com" target="_blank">magnus.myreen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Three simple tests: the first test you want to run is a simple infinite loop<br>
<br>
  fun f x = f x;<br>
  val y = f 0;<br>
<br>
since this test doesn't depend on a good handover at the end to exit.<br>
The second test could be:<br>
<br>
  val v = 0;<br>
<br>
And the third test could be the hello program which prints a short message.<br>
<br>
Cheers,<br>
Magnus<br>
<div><div class="h5"><br>
On 7 October 2016 at 05:32, Ramana Kumar <<a href="mailto:Ramana.Kumar@cl.cam.ac.uk">Ramana.Kumar@cl.cam.ac.uk</a>> wrote:<br>
> Status update:<br>
><br>
> I've tried to set the avoid_regs and register-name mappings correctly for<br>
> all targets. The riscv branch (now named too specifically) is where this<br>
> work lives.<br>
><br>
> I have .S files for all the benchmarks on this branch. Magnus, do you want<br>
> me to send you the ARM-32 ones?<br>
><br>
> I've got a RISC-V setup working on my machine (I can compile and run simple<br>
> C programs). I've tried to run the CakeML fib benchmark for RISC-V.<br>
> Currently, it takes a really long time in the simulator (a couple of<br>
> minutes?) and then segfaults.<br>
><br>
> It would be very good to have some benchmarks that (a) produce output or (b)<br>
> are very simple/fast, just to test that things are working at all. Yong<br>
> Kiam, were you going to add output to the benchmarks? I'll try producing a<br>
> very simple test benchmark myself...<br>
><br>
</div></div>> ______________________________<wbr>_________________<br>
> Developers mailing list<br>
> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
> <a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
><br>
</blockquote></div><br></div>