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

/external/llvm/bindings/ocaml/analysis/
H A Dllvm_analysis.ml11 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
H A Danalysis_ocaml.c25 CAMLprim value llvm_verify_module(LLVMModuleRef M) { function
H A Dllvm_analysis.mli18 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"

Completed in 116 milliseconds