Implement the CFG in llvm ir output.