Generate abstract llvm ir