graph-llvm-ir:https的重写

时间:2024-08-03 01:12:27
【文件属性】:

文件名称:graph-llvm-ir:https的重写

文件大小:6KB

文件格式:ZIP

更新时间:2024-08-03 01:12:27

OCaml

图-llvm-ir 这是针对不存在 llvmpy 的环境使用 OCaml 重写 。 原始自述文件 (有用的)渲染选项组合: --控制(默认): 呈现 LLVM IR 中存在的显式控制流(基本块中的语句之间的顺序,基本块之间的跳转)和数据流依赖性。 控制流具有更高的权重(这意味着控制流边缘往往更直)。 --dag-控制: 忽略 LLVM IR 中存在的显式流控制,而是计算基本块内独立(即断开连接)数据流 DAG 的评估顺序。 DAG 的根节点被认为是 void 类型的指令。 (这个想法是,void 指令只是为了副作用而执行,然后它必须是评估某个 DAG 的最后一条指令,即它的根。这显然是一种启发式方法,需要在各种输入上进行测试。) - 堵塞 对于上述两个选项,您可以添加 --block 以将同一基本块的指令聚集在一个矩形块内。 这似乎是一种自然的方法,但问题仍然存在,将数据流图


【文件预览】:
graph-llvm-ir-master
----graphLlvmIr.ml(12KB)
----.gitignore(47B)
----Makefile(338B)
----README.md(2KB)

网友评论