Home
last modified time | relevance | path

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

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