[mortoray]

I chose LLVM from the start since I knew some of the challenges that interested me couldn't be done at the C level -- or rather it'd be more complicated at that level than at the LLVM level.

[rwallace]

Which challenges? As far as I can see, LLVM is essentially C in SSA syntax; what semantic differences have you come across?