我正在尝试将LLVM IR Interpreter嵌入到OCaml中。
我想要做的是以下过程：
（1）读取LLVM IR文件
（2）从IR
绘制CFG（控制流程图）（3）执行（或解释）基本块中的每个IR代码，接受先前的状态（或存储器）并生成下一个状态
（1）和（2）完成，但没有关于步骤（3）的参考。
我使用llvm OCaml库和opt -dot-cfg来绘制CFG。但是我很难掌握如何用OCaml解释（或执行内存中）IR代码，因为我是LLVM的新手。
如果有任何其他方法在内存中使用不同类型的语言执行LLVM IR，它也会有所帮助。