文件名称：llvm-semantics:K语言中LLVM IR的形式语义
文件大小：33.14MB
文件格式：ZIP
更新时间：2024-06-02 08:26:46
LLVM
LLVM语义的先前版本（使用K版本2）现在位于 。 用于生成.ll文件的工具版本： LLVM（ ）：LLVM版本6.0.0 优化的构建。 建成于2018年3月5日（17:05:10）。 默认目标：x86_64-unknown-linux-gnu主机CPU：core-avx-i clang版本6.0.0（tags / RELEASE_600 / final）目标：x86_64-unknown-linux-gnu线程模型：posix InstalledDir：/ usr / local / bin 当前，K解析器无法解析LLVM注释。 在您对它们调用kast工具之前，需要将它们从LLVM程序中删除。 为了您的方便，我们提供了一个执行此操作的Java程序，称为DeleteLLVMComments： $ java DeleteLLVMComments myprogram.ll 将输