f# - 有没有办法将 llvm 位码加载到 Mono (F#)-6ren

f# - 有没有办法将 llvm 位码加载到 Mono (F#)

转载作者：行者123 更新时间：2023-12-04 05:04:35

26

4

LLVM 具有允许轻松读取和写入位码的库。这使得例如编写输出 llvm bitcode 的代码生成器(可以使用 llvm 编译为 native 代码)，或加载 bitcode 文件并对其执行优化或分析。

甚至可以从 OCaml 做到这一点。

是否有一个库可以将 LLVM 位码加载到 Mono (F#) 中，并以例如方式浏览它对象树？

(注意:我不想在 Mono 中执行 LLVM 位代码，只需加载代码并浏览结构。)

最佳答案

llvm-fs 是 LLVM 项目的一组 F# 绑定(bind)。

额外阅读:

Building a simple compiler with F# and LLVM on windows.

关于f# - 有没有办法将 llvm 位码加载到 Mono (F#)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15691271/

26

4

0

文章推荐： ajax - 如何使用 AJAX 将数据发送到 'post.php'？ (没有Jquery)

文章推荐： autocad - 如何将AutoCAD绘图转换为图像？

文章推荐： asp.net-mvc - ASP MVC 给 EditorFor 元素 id/name

llvm - 无法从其源代码构建 LLVM
我指的是 https://llvm.org/docs/GettingStarted.html从其源代码构建 LLVM。我正在使用 Ubuntu 18.04。 $ cmake -G Ninja -DCM
llvm - LLVM 操作数的遍历
使用 ModulePass，我的目标是向上遍历 SSA 图:从一个具有 0..2 个操作数的语句(大多数操作码属于该语句)开始，我想找出两件事: 操作数是元数据/常量(简单:只需尝试转换为常量类型)还
llvm - LLVM 做了哪些类型的优化以及它的前端必须自行实现哪些类型的优化？
注意:我注意到 this question与这个问题有很大关系，所以如果您对我的问题感兴趣，那么您一定要阅读另一个问题及其答案。我可以想到一些 OOP 语言前端可以做的优化，例如创建临时变量来保存来
llvm - llvm 中的自动矢量化
我正在尝试使用 clang-3.2 创建自动矢量化代码从这里的幻灯片 - http://llvm.org/devmtg/2012-04-12/Slides/Hal_Finkel.pdf 我应该能够使
llvm - 在新的pass中使用现有pass生成的信息，LLVM
我想问的是，我们可以将现有pass生成的信息转化为新pass吗？如果是，那么如何？例如 -loops 给出了自然循环信息，所以我们可以通过调用它来将这些信息用于新的传递。最佳答案您可以通过覆盖
llvm - LLVM 中数组索引方式的区别
在 LLVM IR 中，当我想从一个数组中获取一个值时，似乎有三种方法可以做到这一点:使用 extractvalue、使用 extractelement 和使用 getelementptr 然后加载。
llvm - LLVM IR是否有调试器？
我想逐步介绍一下我生成的LLVM IR代码。就llc和lli而言，该代码在语法上是有效的并且类型有效，但是结果不是我所期望的。这些块足够大，以至于我无法简单地读取该错误就无法成功完成，并且我很难制作
llvm - LLVM 蹦床需要多少空间
我想弄清楚如何使用 trampoline intrinsics在 LLVM 中。该文档提到了存储蹦床所需的一些存储量，这取决于平台。我的问题是，我如何确定需要多少？我找到了 this example
llvm - LLVM 中的抽象解释
我需要使用抽象解释来使用 LLVM 进行一些分析。这可能吗？或者我需要更轻松地使用分析工具。如果我可以通过 LLVM 做到这一点，哪些类将帮助我从原始源代码中制定语句以获取变量之间的关系(以及每个变量
llvm - LLVM 的整数溢出捕获？
我正在创建一种静态编译的编程语言，并使用 LLVM 作为其后端。我希望我的语言在发生整数溢出时陷入/崩溃。我知道类似 llvm.sadd.with.overflow 的事情，但我认为这不是最佳/有效
llvm - LLVM tablegen中的字段关键字是什么意思？
我正在尝试学习 LLVM tablegen。 http://llvm.org/docs/TableGen/LangRef.html表明 field关键字存在但不解释其含义。有人知道这是什么意思吗？我
llvm - 如何将生成的 llvm::Module 的 LLVM-IR 代码存储到字符串中？
Fibonacci LLVM 示例使用 errs() getIR() ) 我一直在搜索 llvm::Module Class Reference并没有得到任何帮助。 Fibonacci.cpp 的一部
llvm - 在 llvm IR 中找到 llvm.pow.f64
我想在 llvm IR 中找到对 llvm.pow.f64 函数的所有函数调用。请建议我一个方法来做到这一点。最佳答案嗯，这是一个基本的 FunctionPass找到所有对函数的调用: class
llvm - 如何删除未使用的 basicblocks llvm
我正在尝试从 llvm 中间代码中删除未使用的 block 。首先，我通过从入口 basicblock 开始并从它们的终止符指令添加所有 basicblock 后继者来构建可访问的 basicblo
llvm - 在 LLVM 中查找指令的后继列表
我想获取 llvm 中每条指令的后继列表。如果我没理解错的话，对于除了branch(br)之外的所有指令，后继指令就是下一条。但是对于分支指令来说有点棘手。例如，如果我有以下 C 代码: int m
llvm - 我如何解析 LLVM IR
我有文本格式的 LLVM IR 代码。我想做的是能够解析它并修改该代码。是否有可以帮助解析 LLVM IR 代码的 API？我的系统中应该有哪些库？此刻我有clang编译器也安装了 LLVM，因为我可
llvm - getelementptr 类型后的预期逗号。 LLVM
(1) @str = private constant [13 x i8] c"Hello World\0A\00" (2) define i32 @main(){ (3) %r2 = getelem
llvm - 在 llvm 中创建新函数
如果我有一组基本块和边，我需要为它们创建一个具有新入口和端点的新函数。我可以直接在 LLVM 中创建它吗，就像 createFunction(F) 一样然后 F.insert(bb, edges)其
llvm - 在基于 LLVM 的编译器中如何处理符号表？
我通过教程使用 LLVM http://llvm.org/releases/3.1/docs/tutorial/ 编写玩具编译器但是关于符号表处理的内容并不多。有一个命令 llvm-nm 显示符号
llvm - 在 LLVM 中向函数添加参数
我希望编写一个 LLVM 传递两个 i32 类型的参数来选择函数。我的第一次尝试(如下所示)失败了: bool MyFunctionPass::runOnFunction(Function &f) {

首页

博学

6Ren·AI

商城

f# - 有没有办法将 llvm 位码加载到 Mono (F#)