Added the specialized LLVM compiler for SVA.