[rwallace]

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