Home
last modified time | relevance | path

Searched refs:llvm_verify_module (Results 1 – 3 of 3) sorted by relevance

/llvm-project/llvm/bindings/ocaml/analysis/
H A Danalysis_ocaml.c26 value llvm_verify_module(value M) { in llvm_verify_module() function
H A Dllvm_analysis.ml10 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
H A Dllvm_analysis.mli17 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"