Optimization 从OCaml设置llvm fastmath标志

我正在使用OCaml/llvm开发一个小型专用编译器。到目前为止，一切都很顺利，但我的浮点操作仍停留在IEE-754语义的处理上

有一种方法可以根据llvm文档为每个浮点指令指定快速数学标志：

不幸的是，我不知道如何使用OCaml设置这些标志。我能用的就是：

val build_fadd : llvalue -> llvalue -> string -> llbuilder -> llvalue

那么，标记一条指令是否没有在OCaml绑定中实现呢？如果不是，如何使用外部C函数更改现有指令的标志