rellic
rellic copied to clipboard
Add LLVM IR based regression tests
Preprocessing with llvm-reduce is encouraged.
All of the generated C should be recompilable (modulo function definitions).
We should try recompiling the C via clang -c -o foo.o input.c, and fail on any errors and some warnings (like control reaches end of non-void function).