My name is Jacek Burys and I'm a Computing student at Imperial College London.
My research project for the summer is to use CSmith to test floating point optimizations in C compilers. The general idea is to use interval arithmetics to obtain ranges of where each float variable should fall into. Running the program in
float_test mode would give us the interval, while running it in the normal mode would give us the actual value. Then we just need to see if the value lies inside the interval.
Here is a link to my github branch
At this point you can generate programs that can be run in normal and float_test mode (there is FLOAT_TEST_INSTRUCTIONS.txt file that could help). I had some problems with linking and did not know how to modify
the Makefile, so runtime/FloatTest.c has to be compiled along with the generated program (example in instructions; if anybody could give me a hint how to fix that I would be grateful).