diff options
author | Torok Edwin <edwintorok@gmail.com> | 2011-10-03 06:41:46 +0000 |
---|---|---|
committer | Torok Edwin <edwintorok@gmail.com> | 2011-10-03 06:41:46 +0000 |
commit | 48488a64fadb2f99706029e51ae4c06fcfac5cdb (patch) | |
tree | c60f5c57a1d50b22acfb0336a3d2663a499bd39f /bindings/ocaml/llvm/llvm.mli | |
parent | 4fcc80a486300021d320aec8cd125022ef701e5b (diff) | |
download | llvm-48488a64fadb2f99706029e51ae4c06fcfac5cdb.tar.gz llvm-48488a64fadb2f99706029e51ae4c06fcfac5cdb.tar.bz2 llvm-48488a64fadb2f99706029e51ae4c06fcfac5cdb.tar.xz |
attempt to fix ocaml bindings: landing pads
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@140991 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/llvm/llvm.mli')
-rw-r--r-- | bindings/ocaml/llvm/llvm.mli | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli index 24621486f4..ef7c986e91 100644 --- a/bindings/ocaml/llvm/llvm.mli +++ b/bindings/ocaml/llvm/llvm.mli @@ -339,7 +339,7 @@ val ppc_fp128_type : llcontext -> lltype See the method [llvm::FunctionType::get]. *) val function_type : lltype -> lltype array -> lltype -(** [va_arg_function_type ret_ty param_tys] is just like +(** [var_arg_function_type ret_ty param_tys] is just like [function_type ret_ty param_tys] except that it returns the function type which also takes a variable number of arguments. See the method [llvm::FunctionType::get]. *) @@ -1615,6 +1615,16 @@ val add_destination : llvalue -> llbasicblock -> unit val build_invoke : llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> llbuilder -> llvalue +(** [build_landingpad ty persfn numclauses name b] creates an + [landingpad] + instruction at the position specified by the instruction builder [b]. + See the method [llvm::LLVMBuilder::CreateLandingPad]. *) +val build_landingpad : lltype -> llvalue -> int -> string -> llbuilder -> + llvalue + +(** [set_cleanup lp] sets the cleanup flag in the [landingpad]instruction. + See the method [llvm::LandingPadInst::setCleanup]. *) +val set_cleanup : llvalue -> bool -> unit (** [build_unreachable b] creates an [unreachable] |