Add LLVM IR based regression tests

[surovic]

Preprocessing with llvm-reduce is encouraged.

[artemdinaburg]

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).