[Dotgnu-libjit] Possible Libjit bug

[Simone Campanoni]

Hi all,
    I would like to show a possible bug of Libjit I have found in the
attached examples.
I am using Libjit from the git repository and the Intel x86 back-end.

The program libjittest_correct.c and libjittest_incorrect.c should have
the same behavior and they should return zero as output.
If you try to compile them, you will find an incorrect execution of
libjittest_incorrect.c (it will return 1 instead of 0).

My guess is that the error is within the usage of global registers of
x86 back-end.

I hope you will find this useful to improve the Libjit library.

Thanks for your work,
Simone Campanoni

libjittest_correct.c
Description: Text Data

libjittest_incorrect.c
Description: Text Data