1 (*===-- llvm/llvm.ml - LLVM Ocaml Interface --------------------------------===* 2 * 3 * The LLVM Compiler Infrastructure 4 * 5 * This file is distributed under the University of Illinois Open Source 6 * License. See LICENSE.TXT for details. 7 * 8 *===----------------------------------------------------------------------===*) 9 10 11 type llcontext 12 type llmodule 13 type lltype 14 type llvalue 15 type lluse 16 type llbasicblock 17 type llbuilder 18 type llmemorybuffer 19 type llmdkind 20 21 module TypeKind = struct 22 type t = 23 | Void 24 | Half 25 | Float 26 | Double 27 | X86fp80 28 | Fp128 29 | Ppc_fp128 30 | Label 31 | Integer 32 | Function 33 | Struct 34 | Array 35 | Pointer 36 | Vector 37 | Metadata 38 | X86_mmx 39 end 40 41 module Linkage = struct 42 type t = 43 | External 44 | Available_externally 45 | Link_once 46 | Link_once_odr 47 | Link_once_odr_auto_hide 48 | Weak 49 | Weak_odr 50 | Appending 51 | Internal 52 | Private 53 | Dllimport 54 | Dllexport 55 | External_weak 56 | Ghost 57 | Common 58 | Linker_private 59 | Linker_private_weak 60 end 61 62 module Visibility = struct 63 type t = 64 | Default 65 | Hidden 66 | Protected 67 end 68 69 module CallConv = struct 70 let c = 0 71 let fast = 8 72 let cold = 9 73 let x86_stdcall = 64 74 let x86_fastcall = 65 75 end 76 77 module Attribute = struct 78 type t = 79 | Zext 80 | Sext 81 | Noreturn 82 | Inreg 83 | Structret 84 | Nounwind 85 | Noalias 86 | Byval 87 | Nest 88 | Readnone 89 | Readonly 90 | Noinline 91 | Alwaysinline 92 | Optsize 93 | Ssp 94 | Sspreq 95 | Alignment of int 96 | Nocapture 97 | Noredzone 98 | Noimplicitfloat 99 | Naked 100 | Inlinehint 101 | Stackalignment of int 102 | ReturnsTwice 103 | UWTable 104 | NonLazyBind 105 end 106 107 module Icmp = struct 108 type t = 109 | Eq 110 | Ne 111 | Ugt 112 | Uge 113 | Ult 114 | Ule 115 | Sgt 116 | Sge 117 | Slt 118 | Sle 119 end 120 121 module Fcmp = struct 122 type t = 123 | False 124 | Oeq 125 | Ogt 126 | Oge 127 | Olt 128 | Ole 129 | One 130 | Ord 131 | Uno 132 | Ueq 133 | Ugt 134 | Uge 135 | Ult 136 | Ule 137 | Une 138 | True 139 end 140 141 module Opcode = struct 142 type t = 143 | Invalid (* not an instruction *) 144 (* Terminator Instructions *) 145 | Ret 146 | Br 147 | Switch 148 | IndirectBr 149 | Invoke 150 | Invalid2 151 | Unreachable 152 (* Standard Binary Operators *) 153 | Add 154 | FAdd 155 | Sub 156 | FSub 157 | Mul 158 | FMul 159 | UDiv 160 | SDiv 161 | FDiv 162 | URem 163 | SRem 164 | FRem 165 (* Logical Operators *) 166 | Shl 167 | LShr 168 | AShr 169 | And 170 | Or 171 | Xor 172 (* Memory Operators *) 173 | Alloca 174 | Load 175 | Store 176 | GetElementPtr 177 (* Cast Operators *) 178 | Trunc 179 | ZExt 180 | SExt 181 | FPToUI 182 | FPToSI 183 | UIToFP 184 | SIToFP 185 | FPTrunc 186 | FPExt 187 | PtrToInt 188 | IntToPtr 189 | BitCast 190 (* Other Operators *) 191 | ICmp 192 | FCmp 193 | PHI 194 | Call 195 | Select 196 | UserOp1 197 | UserOp2 198 | VAArg 199 | ExtractElement 200 | InsertElement 201 | ShuffleVector 202 | ExtractValue 203 | InsertValue 204 | Fence 205 | AtomicCmpXchg 206 | AtomicRMW 207 | Resume 208 | LandingPad 209 end 210 211 module LandingPadClauseTy = struct 212 type t = 213 | Catch 214 | Filter 215 end 216 217 module ThreadLocalMode = struct 218 type t = 219 | None 220 | GeneralDynamic 221 | LocalDynamic 222 | InitialExec 223 | LocalExec 224 end 225 226 module AtomicOrdering = struct 227 type t = 228 | NotAtomic 229 | Unordered 230 | Monotonic 231 | Invalid 232 | Acquire 233 | Release 234 | AcqiureRelease 235 | SequentiallyConsistent 236 end 237 238 module AtomicRMWBinOp = struct 239 type t = 240 | Xchg 241 | Add 242 | Sub 243 | And 244 | Nand 245 | Or 246 | Xor 247 | Max 248 | Min 249 | UMax 250 | UMin 251 end 252 253 module ValueKind = struct 254 type t = 255 | NullValue 256 | Argument 257 | BasicBlock 258 | InlineAsm 259 | MDNode 260 | MDString 261 | BlockAddress 262 | ConstantAggregateZero 263 | ConstantArray 264 | ConstantDataArray 265 | ConstantDataVector 266 | ConstantExpr 267 | ConstantFP 268 | ConstantInt 269 | ConstantPointerNull 270 | ConstantStruct 271 | ConstantVector 272 | Function 273 | GlobalAlias 274 | GlobalVariable 275 | UndefValue 276 | Instruction of Opcode.t 277 end 278 279 exception IoError of string 280 281 external register_exns : exn -> unit = "llvm_register_core_exns" 282 let _ = register_exns (IoError "") 283 284 external install_fatal_error_handler : (string -> unit) -> unit 285 = "llvm_install_fatal_error_handler" 286 external reset_fatal_error_handler : unit -> unit 287 = "llvm_reset_fatal_error_handler" 288 external enable_pretty_stacktrace : unit -> unit 289 = "llvm_enable_pretty_stacktrace" 290 291 type ('a, 'b) llpos = 292 | At_end of 'a 293 | Before of 'b 294 295 type ('a, 'b) llrev_pos = 296 | At_start of 'a 297 | After of 'b 298 299 (*===-- Contexts ----------------------------------------------------------===*) 300 external create_context : unit -> llcontext = "llvm_create_context" 301 external dispose_context : llcontext -> unit = "llvm_dispose_context" 302 external global_context : unit -> llcontext = "llvm_global_context" 303 external mdkind_id : llcontext -> string -> llmdkind = "llvm_mdkind_id" 304 305 (*===-- Modules -----------------------------------------------------------===*) 306 external create_module : llcontext -> string -> llmodule = "llvm_create_module" 307 external dispose_module : llmodule -> unit = "llvm_dispose_module" 308 external target_triple: llmodule -> string 309 = "llvm_target_triple" 310 external set_target_triple: string -> llmodule -> unit 311 = "llvm_set_target_triple" 312 external data_layout: llmodule -> string 313 = "llvm_data_layout" 314 external set_data_layout: string -> llmodule -> unit 315 = "llvm_set_data_layout" 316 external dump_module : llmodule -> unit = "llvm_dump_module" 317 external print_module : string -> llmodule -> unit = "llvm_print_module" 318 external string_of_llmodule : llmodule -> string = "llvm_string_of_llmodule" 319 external set_module_inline_asm : llmodule -> string -> unit 320 = "llvm_set_module_inline_asm" 321 external module_context : llmodule -> llcontext = "LLVMGetModuleContext" 322 323 (*===-- Types -------------------------------------------------------------===*) 324 external classify_type : lltype -> TypeKind.t = "llvm_classify_type" 325 external type_context : lltype -> llcontext = "llvm_type_context" 326 external type_is_sized : lltype -> bool = "llvm_type_is_sized" 327 external dump_type : lltype -> unit = "llvm_dump_type" 328 external string_of_lltype : lltype -> string = "llvm_string_of_lltype" 329 330 (*--... Operations on integer types ........................................--*) 331 external i1_type : llcontext -> lltype = "llvm_i1_type" 332 external i8_type : llcontext -> lltype = "llvm_i8_type" 333 external i16_type : llcontext -> lltype = "llvm_i16_type" 334 external i32_type : llcontext -> lltype = "llvm_i32_type" 335 external i64_type : llcontext -> lltype = "llvm_i64_type" 336 337 external integer_type : llcontext -> int -> lltype = "llvm_integer_type" 338 external integer_bitwidth : lltype -> int = "llvm_integer_bitwidth" 339 340 (*--... Operations on real types ...........................................--*) 341 external float_type : llcontext -> lltype = "llvm_float_type" 342 external double_type : llcontext -> lltype = "llvm_double_type" 343 external x86fp80_type : llcontext -> lltype = "llvm_x86fp80_type" 344 external fp128_type : llcontext -> lltype = "llvm_fp128_type" 345 external ppc_fp128_type : llcontext -> lltype = "llvm_ppc_fp128_type" 346 347 (*--... Operations on function types .......................................--*) 348 external function_type : lltype -> lltype array -> lltype = "llvm_function_type" 349 external var_arg_function_type : lltype -> lltype array -> lltype 350 = "llvm_var_arg_function_type" 351 external is_var_arg : lltype -> bool = "llvm_is_var_arg" 352 external return_type : lltype -> lltype = "LLVMGetReturnType" 353 external param_types : lltype -> lltype array = "llvm_param_types" 354 355 (*--... Operations on struct types .........................................--*) 356 external struct_type : llcontext -> lltype array -> lltype = "llvm_struct_type" 357 external packed_struct_type : llcontext -> lltype array -> lltype 358 = "llvm_packed_struct_type" 359 external struct_name : lltype -> string option = "llvm_struct_name" 360 external named_struct_type : llcontext -> string -> lltype = 361 "llvm_named_struct_type" 362 external struct_set_body : lltype -> lltype array -> bool -> unit = 363 "llvm_struct_set_body" 364 external struct_element_types : lltype -> lltype array 365 = "llvm_struct_element_types" 366 external is_packed : lltype -> bool = "llvm_is_packed" 367 external is_opaque : lltype -> bool = "llvm_is_opaque" 368 369 (*--... Operations on pointer, vector, and array types .....................--*) 370 external array_type : lltype -> int -> lltype = "llvm_array_type" 371 external pointer_type : lltype -> lltype = "llvm_pointer_type" 372 external qualified_pointer_type : lltype -> int -> lltype 373 = "llvm_qualified_pointer_type" 374 external vector_type : lltype -> int -> lltype = "llvm_vector_type" 375 376 external element_type : lltype -> lltype = "LLVMGetElementType" 377 external array_length : lltype -> int = "llvm_array_length" 378 external address_space : lltype -> int = "llvm_address_space" 379 external vector_size : lltype -> int = "llvm_vector_size" 380 381 (*--... Operations on other types ..........................................--*) 382 external void_type : llcontext -> lltype = "llvm_void_type" 383 external label_type : llcontext -> lltype = "llvm_label_type" 384 external x86_mmx_type : llcontext -> lltype = "llvm_x86_mmx_type" 385 external type_by_name : llmodule -> string -> lltype option = "llvm_type_by_name" 386 387 external classify_value : llvalue -> ValueKind.t = "llvm_classify_value" 388 (*===-- Values ------------------------------------------------------------===*) 389 external type_of : llvalue -> lltype = "llvm_type_of" 390 external value_name : llvalue -> string = "llvm_value_name" 391 external set_value_name : string -> llvalue -> unit = "llvm_set_value_name" 392 external dump_value : llvalue -> unit = "llvm_dump_value" 393 external string_of_llvalue : llvalue -> string = "llvm_string_of_llvalue" 394 external replace_all_uses_with : llvalue -> llvalue -> unit 395 = "llvm_replace_all_uses_with" 396 397 (*--... Operations on uses .................................................--*) 398 external use_begin : llvalue -> lluse option = "llvm_use_begin" 399 external use_succ : lluse -> lluse option = "llvm_use_succ" 400 external user : lluse -> llvalue = "llvm_user" 401 external used_value : lluse -> llvalue = "llvm_used_value" 402 403 let iter_uses f v = 404 let rec aux = function 405 | None -> () 406 | Some u -> 407 f u; 408 aux (use_succ u) 409 in 410 aux (use_begin v) 411 412 let fold_left_uses f init v = 413 let rec aux init u = 414 match u with 415 | None -> init 416 | Some u -> aux (f init u) (use_succ u) 417 in 418 aux init (use_begin v) 419 420 let fold_right_uses f v init = 421 let rec aux u init = 422 match u with 423 | None -> init 424 | Some u -> f u (aux (use_succ u) init) 425 in 426 aux (use_begin v) init 427 428 429 (*--... Operations on users ................................................--*) 430 external operand : llvalue -> int -> llvalue = "llvm_operand" 431 external set_operand : llvalue -> int -> llvalue -> unit = "llvm_set_operand" 432 external num_operands : llvalue -> int = "llvm_num_operands" 433 434 (*--... Operations on constants of (mostly) any type .......................--*) 435 external is_constant : llvalue -> bool = "llvm_is_constant" 436 external const_null : lltype -> llvalue = "LLVMConstNull" 437 external const_all_ones : (*int|vec*)lltype -> llvalue = "LLVMConstAllOnes" 438 external const_pointer_null : lltype -> llvalue = "LLVMConstPointerNull" 439 external undef : lltype -> llvalue = "LLVMGetUndef" 440 external is_null : llvalue -> bool = "llvm_is_null" 441 external is_undef : llvalue -> bool = "llvm_is_undef" 442 external constexpr_opcode : llvalue -> Opcode.t = "llvm_constexpr_get_opcode" 443 444 (*--... Operations on instructions .........................................--*) 445 external has_metadata : llvalue -> bool = "llvm_has_metadata" 446 external metadata : llvalue -> llmdkind -> llvalue option = "llvm_metadata" 447 external set_metadata : llvalue -> llmdkind -> llvalue -> unit = "llvm_set_metadata" 448 external clear_metadata : llvalue -> llmdkind -> unit = "llvm_clear_metadata" 449 450 (*--... Operations on metadata .......,.....................................--*) 451 external mdstring : llcontext -> string -> llvalue = "llvm_mdstring" 452 external mdnode : llcontext -> llvalue array -> llvalue = "llvm_mdnode" 453 external get_mdstring : llvalue -> string option = "llvm_get_mdstring" 454 external get_named_metadata : llmodule -> string -> llvalue array 455 = "llvm_get_namedmd" 456 external add_named_metadata_operand : llmodule -> string -> llvalue -> unit 457 = "llvm_append_namedmd" 458 459 (*--... Operations on scalar constants .....................................--*) 460 external const_int : lltype -> int -> llvalue = "llvm_const_int" 461 external const_of_int64 : lltype -> Int64.t -> bool -> llvalue 462 = "llvm_const_of_int64" 463 external int64_of_const : llvalue -> Int64.t option 464 = "llvm_int64_of_const" 465 external const_int_of_string : lltype -> string -> int -> llvalue 466 = "llvm_const_int_of_string" 467 external const_float : lltype -> float -> llvalue = "llvm_const_float" 468 external const_float_of_string : lltype -> string -> llvalue 469 = "llvm_const_float_of_string" 470 471 (*--... Operations on composite constants ..................................--*) 472 external const_string : llcontext -> string -> llvalue = "llvm_const_string" 473 external const_stringz : llcontext -> string -> llvalue = "llvm_const_stringz" 474 external const_array : lltype -> llvalue array -> llvalue = "llvm_const_array" 475 external const_struct : llcontext -> llvalue array -> llvalue 476 = "llvm_const_struct" 477 external const_named_struct : lltype -> llvalue array -> llvalue 478 = "llvm_const_named_struct" 479 external const_packed_struct : llcontext -> llvalue array -> llvalue 480 = "llvm_const_packed_struct" 481 external const_vector : llvalue array -> llvalue = "llvm_const_vector" 482 483 (*--... Constant expressions ...............................................--*) 484 external align_of : lltype -> llvalue = "LLVMAlignOf" 485 external size_of : lltype -> llvalue = "LLVMSizeOf" 486 external const_neg : llvalue -> llvalue = "LLVMConstNeg" 487 external const_nsw_neg : llvalue -> llvalue = "LLVMConstNSWNeg" 488 external const_nuw_neg : llvalue -> llvalue = "LLVMConstNUWNeg" 489 external const_fneg : llvalue -> llvalue = "LLVMConstFNeg" 490 external const_not : llvalue -> llvalue = "LLVMConstNot" 491 external const_add : llvalue -> llvalue -> llvalue = "LLVMConstAdd" 492 external const_nsw_add : llvalue -> llvalue -> llvalue = "LLVMConstNSWAdd" 493 external const_nuw_add : llvalue -> llvalue -> llvalue = "LLVMConstNUWAdd" 494 external const_fadd : llvalue -> llvalue -> llvalue = "LLVMConstFAdd" 495 external const_sub : llvalue -> llvalue -> llvalue = "LLVMConstSub" 496 external const_nsw_sub : llvalue -> llvalue -> llvalue = "LLVMConstNSWSub" 497 external const_nuw_sub : llvalue -> llvalue -> llvalue = "LLVMConstNUWSub" 498 external const_fsub : llvalue -> llvalue -> llvalue = "LLVMConstFSub" 499 external const_mul : llvalue -> llvalue -> llvalue = "LLVMConstMul" 500 external const_nsw_mul : llvalue -> llvalue -> llvalue = "LLVMConstNSWMul" 501 external const_nuw_mul : llvalue -> llvalue -> llvalue = "LLVMConstNUWMul" 502 external const_fmul : llvalue -> llvalue -> llvalue = "LLVMConstFMul" 503 external const_udiv : llvalue -> llvalue -> llvalue = "LLVMConstUDiv" 504 external const_sdiv : llvalue -> llvalue -> llvalue = "LLVMConstSDiv" 505 external const_exact_sdiv : llvalue -> llvalue -> llvalue = "LLVMConstExactSDiv" 506 external const_fdiv : llvalue -> llvalue -> llvalue = "LLVMConstFDiv" 507 external const_urem : llvalue -> llvalue -> llvalue = "LLVMConstURem" 508 external const_srem : llvalue -> llvalue -> llvalue = "LLVMConstSRem" 509 external const_frem : llvalue -> llvalue -> llvalue = "LLVMConstFRem" 510 external const_and : llvalue -> llvalue -> llvalue = "LLVMConstAnd" 511 external const_or : llvalue -> llvalue -> llvalue = "LLVMConstOr" 512 external const_xor : llvalue -> llvalue -> llvalue = "LLVMConstXor" 513 external const_icmp : Icmp.t -> llvalue -> llvalue -> llvalue 514 = "llvm_const_icmp" 515 external const_fcmp : Fcmp.t -> llvalue -> llvalue -> llvalue 516 = "llvm_const_fcmp" 517 external const_shl : llvalue -> llvalue -> llvalue = "LLVMConstShl" 518 external const_lshr : llvalue -> llvalue -> llvalue = "LLVMConstLShr" 519 external const_ashr : llvalue -> llvalue -> llvalue = "LLVMConstAShr" 520 external const_gep : llvalue -> llvalue array -> llvalue = "llvm_const_gep" 521 external const_in_bounds_gep : llvalue -> llvalue array -> llvalue 522 = "llvm_const_in_bounds_gep" 523 external const_trunc : llvalue -> lltype -> llvalue = "LLVMConstTrunc" 524 external const_sext : llvalue -> lltype -> llvalue = "LLVMConstSExt" 525 external const_zext : llvalue -> lltype -> llvalue = "LLVMConstZExt" 526 external const_fptrunc : llvalue -> lltype -> llvalue = "LLVMConstFPTrunc" 527 external const_fpext : llvalue -> lltype -> llvalue = "LLVMConstFPExt" 528 external const_uitofp : llvalue -> lltype -> llvalue = "LLVMConstUIToFP" 529 external const_sitofp : llvalue -> lltype -> llvalue = "LLVMConstSIToFP" 530 external const_fptoui : llvalue -> lltype -> llvalue = "LLVMConstFPToUI" 531 external const_fptosi : llvalue -> lltype -> llvalue = "LLVMConstFPToSI" 532 external const_ptrtoint : llvalue -> lltype -> llvalue = "LLVMConstPtrToInt" 533 external const_inttoptr : llvalue -> lltype -> llvalue = "LLVMConstIntToPtr" 534 external const_bitcast : llvalue -> lltype -> llvalue = "LLVMConstBitCast" 535 external const_zext_or_bitcast : llvalue -> lltype -> llvalue 536 = "LLVMConstZExtOrBitCast" 537 external const_sext_or_bitcast : llvalue -> lltype -> llvalue 538 = "LLVMConstSExtOrBitCast" 539 external const_trunc_or_bitcast : llvalue -> lltype -> llvalue 540 = "LLVMConstTruncOrBitCast" 541 external const_pointercast : llvalue -> lltype -> llvalue 542 = "LLVMConstPointerCast" 543 external const_intcast : llvalue -> lltype -> is_signed:bool -> llvalue 544 = "llvm_const_intcast" 545 external const_fpcast : llvalue -> lltype -> llvalue = "LLVMConstFPCast" 546 external const_select : llvalue -> llvalue -> llvalue -> llvalue 547 = "LLVMConstSelect" 548 external const_extractelement : llvalue -> llvalue -> llvalue 549 = "LLVMConstExtractElement" 550 external const_insertelement : llvalue -> llvalue -> llvalue -> llvalue 551 = "LLVMConstInsertElement" 552 external const_shufflevector : llvalue -> llvalue -> llvalue -> llvalue 553 = "LLVMConstShuffleVector" 554 external const_extractvalue : llvalue -> int array -> llvalue 555 = "llvm_const_extractvalue" 556 external const_insertvalue : llvalue -> llvalue -> int array -> llvalue 557 = "llvm_const_insertvalue" 558 external const_inline_asm : lltype -> string -> string -> bool -> bool -> 559 llvalue 560 = "llvm_const_inline_asm" 561 external block_address : llvalue -> llbasicblock -> llvalue = "LLVMBlockAddress" 562 563 (*--... Operations on global variables, functions, and aliases (globals) ...--*) 564 external global_parent : llvalue -> llmodule = "LLVMGetGlobalParent" 565 external is_declaration : llvalue -> bool = "llvm_is_declaration" 566 external linkage : llvalue -> Linkage.t = "llvm_linkage" 567 external set_linkage : Linkage.t -> llvalue -> unit = "llvm_set_linkage" 568 external section : llvalue -> string = "llvm_section" 569 external set_section : string -> llvalue -> unit = "llvm_set_section" 570 external visibility : llvalue -> Visibility.t = "llvm_visibility" 571 external set_visibility : Visibility.t -> llvalue -> unit = "llvm_set_visibility" 572 external alignment : llvalue -> int = "llvm_alignment" 573 external set_alignment : int -> llvalue -> unit = "llvm_set_alignment" 574 external is_global_constant : llvalue -> bool = "llvm_is_global_constant" 575 external set_global_constant : bool -> llvalue -> unit 576 = "llvm_set_global_constant" 577 578 (*--... Operations on global variables .....................................--*) 579 external declare_global : lltype -> string -> llmodule -> llvalue 580 = "llvm_declare_global" 581 external declare_qualified_global : lltype -> string -> int -> llmodule -> 582 llvalue 583 = "llvm_declare_qualified_global" 584 external define_global : string -> llvalue -> llmodule -> llvalue 585 = "llvm_define_global" 586 external define_qualified_global : string -> llvalue -> int -> llmodule -> 587 llvalue 588 = "llvm_define_qualified_global" 589 external lookup_global : string -> llmodule -> llvalue option 590 = "llvm_lookup_global" 591 external delete_global : llvalue -> unit = "llvm_delete_global" 592 external global_initializer : llvalue -> llvalue = "LLVMGetInitializer" 593 external set_initializer : llvalue -> llvalue -> unit = "llvm_set_initializer" 594 external remove_initializer : llvalue -> unit = "llvm_remove_initializer" 595 external is_thread_local : llvalue -> bool = "llvm_is_thread_local" 596 external set_thread_local : bool -> llvalue -> unit = "llvm_set_thread_local" 597 external thread_local_mode : llvalue -> ThreadLocalMode.t 598 = "llvm_thread_local_mode" 599 external set_thread_local_mode : ThreadLocalMode.t -> llvalue -> unit 600 = "llvm_set_thread_local_mode" 601 external is_externally_initialized : llvalue -> bool 602 = "llvm_is_externally_initialized" 603 external set_externally_initialized : bool -> llvalue -> unit 604 = "llvm_set_externally_initialized" 605 external global_begin : llmodule -> (llmodule, llvalue) llpos 606 = "llvm_global_begin" 607 external global_succ : llvalue -> (llmodule, llvalue) llpos 608 = "llvm_global_succ" 609 external global_end : llmodule -> (llmodule, llvalue) llrev_pos 610 = "llvm_global_end" 611 external global_pred : llvalue -> (llmodule, llvalue) llrev_pos 612 = "llvm_global_pred" 613 614 let rec iter_global_range f i e = 615 if i = e then () else 616 match i with 617 | At_end _ -> raise (Invalid_argument "Invalid global variable range.") 618 | Before bb -> 619 f bb; 620 iter_global_range f (global_succ bb) e 621 622 let iter_globals f m = 623 iter_global_range f (global_begin m) (At_end m) 624 625 let rec fold_left_global_range f init i e = 626 if i = e then init else 627 match i with 628 | At_end _ -> raise (Invalid_argument "Invalid global variable range.") 629 | Before bb -> fold_left_global_range f (f init bb) (global_succ bb) e 630 631 let fold_left_globals f init m = 632 fold_left_global_range f init (global_begin m) (At_end m) 633 634 let rec rev_iter_global_range f i e = 635 if i = e then () else 636 match i with 637 | At_start _ -> raise (Invalid_argument "Invalid global variable range.") 638 | After bb -> 639 f bb; 640 rev_iter_global_range f (global_pred bb) e 641 642 let rev_iter_globals f m = 643 rev_iter_global_range f (global_end m) (At_start m) 644 645 let rec fold_right_global_range f i e init = 646 if i = e then init else 647 match i with 648 | At_start _ -> raise (Invalid_argument "Invalid global variable range.") 649 | After bb -> fold_right_global_range f (global_pred bb) e (f bb init) 650 651 let fold_right_globals f m init = 652 fold_right_global_range f (global_end m) (At_start m) init 653 654 (*--... Operations on aliases ..............................................--*) 655 external add_alias : llmodule -> lltype -> llvalue -> string -> llvalue 656 = "llvm_add_alias" 657 658 (*--... Operations on functions ............................................--*) 659 external declare_function : string -> lltype -> llmodule -> llvalue 660 = "llvm_declare_function" 661 external define_function : string -> lltype -> llmodule -> llvalue 662 = "llvm_define_function" 663 external lookup_function : string -> llmodule -> llvalue option 664 = "llvm_lookup_function" 665 external delete_function : llvalue -> unit = "llvm_delete_function" 666 external is_intrinsic : llvalue -> bool = "llvm_is_intrinsic" 667 external function_call_conv : llvalue -> int = "llvm_function_call_conv" 668 external set_function_call_conv : int -> llvalue -> unit 669 = "llvm_set_function_call_conv" 670 external gc : llvalue -> string option = "llvm_gc" 671 external set_gc : string option -> llvalue -> unit = "llvm_set_gc" 672 external function_begin : llmodule -> (llmodule, llvalue) llpos 673 = "llvm_function_begin" 674 external function_succ : llvalue -> (llmodule, llvalue) llpos 675 = "llvm_function_succ" 676 external function_end : llmodule -> (llmodule, llvalue) llrev_pos 677 = "llvm_function_end" 678 external function_pred : llvalue -> (llmodule, llvalue) llrev_pos 679 = "llvm_function_pred" 680 681 let rec iter_function_range f i e = 682 if i = e then () else 683 match i with 684 | At_end _ -> raise (Invalid_argument "Invalid function range.") 685 | Before fn -> 686 f fn; 687 iter_function_range f (function_succ fn) e 688 689 let iter_functions f m = 690 iter_function_range f (function_begin m) (At_end m) 691 692 let rec fold_left_function_range f init i e = 693 if i = e then init else 694 match i with 695 | At_end _ -> raise (Invalid_argument "Invalid function range.") 696 | Before fn -> fold_left_function_range f (f init fn) (function_succ fn) e 697 698 let fold_left_functions f init m = 699 fold_left_function_range f init (function_begin m) (At_end m) 700 701 let rec rev_iter_function_range f i e = 702 if i = e then () else 703 match i with 704 | At_start _ -> raise (Invalid_argument "Invalid function range.") 705 | After fn -> 706 f fn; 707 rev_iter_function_range f (function_pred fn) e 708 709 let rev_iter_functions f m = 710 rev_iter_function_range f (function_end m) (At_start m) 711 712 let rec fold_right_function_range f i e init = 713 if i = e then init else 714 match i with 715 | At_start _ -> raise (Invalid_argument "Invalid function range.") 716 | After fn -> fold_right_function_range f (function_pred fn) e (f fn init) 717 718 let fold_right_functions f m init = 719 fold_right_function_range f (function_end m) (At_start m) init 720 721 external llvm_add_function_attr : llvalue -> int32 -> unit 722 = "llvm_add_function_attr" 723 external llvm_remove_function_attr : llvalue -> int32 -> unit 724 = "llvm_remove_function_attr" 725 external llvm_function_attr : llvalue -> int32 = "llvm_function_attr" 726 727 let pack_attr (attr:Attribute.t) : int32 = 728 match attr with 729 Attribute.Zext -> Int32.shift_left 1l 0 730 | Attribute.Sext -> Int32.shift_left 1l 1 731 | Attribute.Noreturn -> Int32.shift_left 1l 2 732 | Attribute.Inreg -> Int32.shift_left 1l 3 733 | Attribute.Structret -> Int32.shift_left 1l 4 734 | Attribute.Nounwind -> Int32.shift_left 1l 5 735 | Attribute.Noalias -> Int32.shift_left 1l 6 736 | Attribute.Byval -> Int32.shift_left 1l 7 737 | Attribute.Nest -> Int32.shift_left 1l 8 738 | Attribute.Readnone -> Int32.shift_left 1l 9 739 | Attribute.Readonly -> Int32.shift_left 1l 10 740 | Attribute.Noinline -> Int32.shift_left 1l 11 741 | Attribute.Alwaysinline -> Int32.shift_left 1l 12 742 | Attribute.Optsize -> Int32.shift_left 1l 13 743 | Attribute.Ssp -> Int32.shift_left 1l 14 744 | Attribute.Sspreq -> Int32.shift_left 1l 15 745 | Attribute.Alignment n -> Int32.shift_left (Int32.of_int n) 16 746 | Attribute.Nocapture -> Int32.shift_left 1l 21 747 | Attribute.Noredzone -> Int32.shift_left 1l 22 748 | Attribute.Noimplicitfloat -> Int32.shift_left 1l 23 749 | Attribute.Naked -> Int32.shift_left 1l 24 750 | Attribute.Inlinehint -> Int32.shift_left 1l 25 751 | Attribute.Stackalignment n -> Int32.shift_left (Int32.of_int n) 26 752 | Attribute.ReturnsTwice -> Int32.shift_left 1l 29 753 | Attribute.UWTable -> Int32.shift_left 1l 30 754 | Attribute.NonLazyBind -> Int32.shift_left 1l 31 755 756 let unpack_attr (a : int32) : Attribute.t list = 757 let l = ref [] in 758 let check attr = 759 Int32.logand (pack_attr attr) a in 760 let checkattr attr = 761 if (check attr) <> 0l then begin 762 l := attr :: !l 763 end 764 in 765 checkattr Attribute.Zext; 766 checkattr Attribute.Sext; 767 checkattr Attribute.Noreturn; 768 checkattr Attribute.Inreg; 769 checkattr Attribute.Structret; 770 checkattr Attribute.Nounwind; 771 checkattr Attribute.Noalias; 772 checkattr Attribute.Byval; 773 checkattr Attribute.Nest; 774 checkattr Attribute.Readnone; 775 checkattr Attribute.Readonly; 776 checkattr Attribute.Noinline; 777 checkattr Attribute.Alwaysinline; 778 checkattr Attribute.Optsize; 779 checkattr Attribute.Ssp; 780 checkattr Attribute.Sspreq; 781 let align = Int32.logand (Int32.shift_right_logical a 16) 31l in 782 if align <> 0l then 783 l := Attribute.Alignment (Int32.to_int align) :: !l; 784 checkattr Attribute.Nocapture; 785 checkattr Attribute.Noredzone; 786 checkattr Attribute.Noimplicitfloat; 787 checkattr Attribute.Naked; 788 checkattr Attribute.Inlinehint; 789 let stackalign = Int32.logand (Int32.shift_right_logical a 26) 7l in 790 if stackalign <> 0l then 791 l := Attribute.Stackalignment (Int32.to_int stackalign) :: !l; 792 checkattr Attribute.ReturnsTwice; 793 checkattr Attribute.UWTable; 794 checkattr Attribute.NonLazyBind; 795 !l;; 796 797 let add_function_attr llval attr = 798 llvm_add_function_attr llval (pack_attr attr) 799 800 external add_target_dependent_function_attr 801 : llvalue -> string -> string -> unit 802 = "llvm_add_target_dependent_function_attr" 803 804 let remove_function_attr llval attr = 805 llvm_remove_function_attr llval (pack_attr attr) 806 807 let function_attr f = unpack_attr (llvm_function_attr f) 808 809 (*--... Operations on params ...............................................--*) 810 external params : llvalue -> llvalue array = "llvm_params" 811 external param : llvalue -> int -> llvalue = "llvm_param" 812 external llvm_param_attr : llvalue -> int32 = "llvm_param_attr" 813 let param_attr p = unpack_attr (llvm_param_attr p) 814 external param_parent : llvalue -> llvalue = "LLVMGetParamParent" 815 external param_begin : llvalue -> (llvalue, llvalue) llpos = "llvm_param_begin" 816 external param_succ : llvalue -> (llvalue, llvalue) llpos = "llvm_param_succ" 817 external param_end : llvalue -> (llvalue, llvalue) llrev_pos = "llvm_param_end" 818 external param_pred : llvalue -> (llvalue, llvalue) llrev_pos ="llvm_param_pred" 819 820 let rec iter_param_range f i e = 821 if i = e then () else 822 match i with 823 | At_end _ -> raise (Invalid_argument "Invalid parameter range.") 824 | Before p -> 825 f p; 826 iter_param_range f (param_succ p) e 827 828 let iter_params f fn = 829 iter_param_range f (param_begin fn) (At_end fn) 830 831 let rec fold_left_param_range f init i e = 832 if i = e then init else 833 match i with 834 | At_end _ -> raise (Invalid_argument "Invalid parameter range.") 835 | Before p -> fold_left_param_range f (f init p) (param_succ p) e 836 837 let fold_left_params f init fn = 838 fold_left_param_range f init (param_begin fn) (At_end fn) 839 840 let rec rev_iter_param_range f i e = 841 if i = e then () else 842 match i with 843 | At_start _ -> raise (Invalid_argument "Invalid parameter range.") 844 | After p -> 845 f p; 846 rev_iter_param_range f (param_pred p) e 847 848 let rev_iter_params f fn = 849 rev_iter_param_range f (param_end fn) (At_start fn) 850 851 let rec fold_right_param_range f init i e = 852 if i = e then init else 853 match i with 854 | At_start _ -> raise (Invalid_argument "Invalid parameter range.") 855 | After p -> fold_right_param_range f (f p init) (param_pred p) e 856 857 let fold_right_params f fn init = 858 fold_right_param_range f init (param_end fn) (At_start fn) 859 860 external llvm_add_param_attr : llvalue -> int32 -> unit 861 = "llvm_add_param_attr" 862 external llvm_remove_param_attr : llvalue -> int32 -> unit 863 = "llvm_remove_param_attr" 864 865 let add_param_attr llval attr = 866 llvm_add_param_attr llval (pack_attr attr) 867 868 let remove_param_attr llval attr = 869 llvm_remove_param_attr llval (pack_attr attr) 870 871 external set_param_alignment : llvalue -> int -> unit 872 = "llvm_set_param_alignment" 873 874 (*--... Operations on basic blocks .........................................--*) 875 external value_of_block : llbasicblock -> llvalue = "LLVMBasicBlockAsValue" 876 external value_is_block : llvalue -> bool = "llvm_value_is_block" 877 external block_of_value : llvalue -> llbasicblock = "LLVMValueAsBasicBlock" 878 external block_parent : llbasicblock -> llvalue = "LLVMGetBasicBlockParent" 879 external basic_blocks : llvalue -> llbasicblock array = "llvm_basic_blocks" 880 external entry_block : llvalue -> llbasicblock = "LLVMGetEntryBasicBlock" 881 external delete_block : llbasicblock -> unit = "llvm_delete_block" 882 external remove_block : llbasicblock -> unit = "llvm_remove_block" 883 external move_block_before : llbasicblock -> llbasicblock -> unit 884 = "llvm_move_block_before" 885 external move_block_after : llbasicblock -> llbasicblock -> unit 886 = "llvm_move_block_after" 887 external append_block : llcontext -> string -> llvalue -> llbasicblock 888 = "llvm_append_block" 889 external insert_block : llcontext -> string -> llbasicblock -> llbasicblock 890 = "llvm_insert_block" 891 external block_begin : llvalue -> (llvalue, llbasicblock) llpos 892 = "llvm_block_begin" 893 external block_succ : llbasicblock -> (llvalue, llbasicblock) llpos 894 = "llvm_block_succ" 895 external block_end : llvalue -> (llvalue, llbasicblock) llrev_pos 896 = "llvm_block_end" 897 external block_pred : llbasicblock -> (llvalue, llbasicblock) llrev_pos 898 = "llvm_block_pred" 899 external block_terminator : llbasicblock -> llvalue option = 900 "llvm_block_terminator" 901 902 let rec iter_block_range f i e = 903 if i = e then () else 904 match i with 905 | At_end _ -> raise (Invalid_argument "Invalid block range.") 906 | Before bb -> 907 f bb; 908 iter_block_range f (block_succ bb) e 909 910 let iter_blocks f fn = 911 iter_block_range f (block_begin fn) (At_end fn) 912 913 let rec fold_left_block_range f init i e = 914 if i = e then init else 915 match i with 916 | At_end _ -> raise (Invalid_argument "Invalid block range.") 917 | Before bb -> fold_left_block_range f (f init bb) (block_succ bb) e 918 919 let fold_left_blocks f init fn = 920 fold_left_block_range f init (block_begin fn) (At_end fn) 921 922 let rec rev_iter_block_range f i e = 923 if i = e then () else 924 match i with 925 | At_start _ -> raise (Invalid_argument "Invalid block range.") 926 | After bb -> 927 f bb; 928 rev_iter_block_range f (block_pred bb) e 929 930 let rev_iter_blocks f fn = 931 rev_iter_block_range f (block_end fn) (At_start fn) 932 933 let rec fold_right_block_range f init i e = 934 if i = e then init else 935 match i with 936 | At_start _ -> raise (Invalid_argument "Invalid block range.") 937 | After bb -> fold_right_block_range f (f bb init) (block_pred bb) e 938 939 let fold_right_blocks f fn init = 940 fold_right_block_range f init (block_end fn) (At_start fn) 941 942 (*--... Operations on instructions .........................................--*) 943 external instr_parent : llvalue -> llbasicblock = "LLVMGetInstructionParent" 944 external instr_begin : llbasicblock -> (llbasicblock, llvalue) llpos 945 = "llvm_instr_begin" 946 external instr_succ : llvalue -> (llbasicblock, llvalue) llpos 947 = "llvm_instr_succ" 948 external instr_end : llbasicblock -> (llbasicblock, llvalue) llrev_pos 949 = "llvm_instr_end" 950 external instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos 951 = "llvm_instr_pred" 952 953 external instr_opcode : llvalue -> Opcode.t = "llvm_instr_get_opcode" 954 external icmp_predicate : llvalue -> Icmp.t option = "llvm_instr_icmp_predicate" 955 956 let rec iter_instrs_range f i e = 957 if i = e then () else 958 match i with 959 | At_end _ -> raise (Invalid_argument "Invalid instruction range.") 960 | Before i -> 961 f i; 962 iter_instrs_range f (instr_succ i) e 963 964 let iter_instrs f bb = 965 iter_instrs_range f (instr_begin bb) (At_end bb) 966 967 let rec fold_left_instrs_range f init i e = 968 if i = e then init else 969 match i with 970 | At_end _ -> raise (Invalid_argument "Invalid instruction range.") 971 | Before i -> fold_left_instrs_range f (f init i) (instr_succ i) e 972 973 let fold_left_instrs f init bb = 974 fold_left_instrs_range f init (instr_begin bb) (At_end bb) 975 976 let rec rev_iter_instrs_range f i e = 977 if i = e then () else 978 match i with 979 | At_start _ -> raise (Invalid_argument "Invalid instruction range.") 980 | After i -> 981 f i; 982 rev_iter_instrs_range f (instr_pred i) e 983 984 let rev_iter_instrs f bb = 985 rev_iter_instrs_range f (instr_end bb) (At_start bb) 986 987 let rec fold_right_instr_range f i e init = 988 if i = e then init else 989 match i with 990 | At_start _ -> raise (Invalid_argument "Invalid instruction range.") 991 | After i -> fold_right_instr_range f (instr_pred i) e (f i init) 992 993 let fold_right_instrs f bb init = 994 fold_right_instr_range f (instr_end bb) (At_start bb) init 995 996 997 (*--... Operations on call sites ...........................................--*) 998 external instruction_call_conv: llvalue -> int 999 = "llvm_instruction_call_conv" 1000 external set_instruction_call_conv: int -> llvalue -> unit 1001 = "llvm_set_instruction_call_conv" 1002 1003 external llvm_add_instruction_param_attr : llvalue -> int -> int32 -> unit 1004 = "llvm_add_instruction_param_attr" 1005 external llvm_remove_instruction_param_attr : llvalue -> int -> int32 -> unit 1006 = "llvm_remove_instruction_param_attr" 1007 1008 let add_instruction_param_attr llval i attr = 1009 llvm_add_instruction_param_attr llval i (pack_attr attr) 1010 1011 let remove_instruction_param_attr llval i attr = 1012 llvm_remove_instruction_param_attr llval i (pack_attr attr) 1013 1014 (*--... Operations on call instructions (only) .............................--*) 1015 external is_tail_call : llvalue -> bool = "llvm_is_tail_call" 1016 external set_tail_call : bool -> llvalue -> unit = "llvm_set_tail_call" 1017 1018 (*--... Operations on load/store instructions (only) .......................--*) 1019 external is_volatile : llvalue -> bool = "llvm_is_volatile" 1020 external set_volatile : bool -> llvalue -> unit = "llvm_set_volatile" 1021 1022 (*--... Operations on phi nodes ............................................--*) 1023 external add_incoming : (llvalue * llbasicblock) -> llvalue -> unit 1024 = "llvm_add_incoming" 1025 external incoming : llvalue -> (llvalue * llbasicblock) list = "llvm_incoming" 1026 1027 external delete_instruction : llvalue -> unit = "llvm_delete_instruction" 1028 1029 (*===-- Instruction builders ----------------------------------------------===*) 1030 external builder : llcontext -> llbuilder = "llvm_builder" 1031 external position_builder : (llbasicblock, llvalue) llpos -> llbuilder -> unit 1032 = "llvm_position_builder" 1033 external insertion_block : llbuilder -> llbasicblock = "llvm_insertion_block" 1034 external insert_into_builder : llvalue -> string -> llbuilder -> unit 1035 = "llvm_insert_into_builder" 1036 1037 let builder_at context ip = 1038 let b = builder context in 1039 position_builder ip b; 1040 b 1041 1042 let builder_before context i = builder_at context (Before i) 1043 let builder_at_end context bb = builder_at context (At_end bb) 1044 1045 let position_before i = position_builder (Before i) 1046 let position_at_end bb = position_builder (At_end bb) 1047 1048 1049 (*--... Metadata ...........................................................--*) 1050 external set_current_debug_location : llbuilder -> llvalue -> unit 1051 = "llvm_set_current_debug_location" 1052 external clear_current_debug_location : llbuilder -> unit 1053 = "llvm_clear_current_debug_location" 1054 external current_debug_location : llbuilder -> llvalue option 1055 = "llvm_current_debug_location" 1056 external set_inst_debug_location : llbuilder -> llvalue -> unit 1057 = "llvm_set_inst_debug_location" 1058 1059 1060 (*--... Terminators ........................................................--*) 1061 external build_ret_void : llbuilder -> llvalue = "llvm_build_ret_void" 1062 external build_ret : llvalue -> llbuilder -> llvalue = "llvm_build_ret" 1063 external build_aggregate_ret : llvalue array -> llbuilder -> llvalue 1064 = "llvm_build_aggregate_ret" 1065 external build_br : llbasicblock -> llbuilder -> llvalue = "llvm_build_br" 1066 external build_cond_br : llvalue -> llbasicblock -> llbasicblock -> llbuilder -> 1067 llvalue = "llvm_build_cond_br" 1068 external build_switch : llvalue -> llbasicblock -> int -> llbuilder -> llvalue 1069 = "llvm_build_switch" 1070 external build_malloc : lltype -> string -> llbuilder -> llvalue = 1071 "llvm_build_malloc" 1072 external build_array_malloc : lltype -> llvalue -> string -> llbuilder -> 1073 llvalue = "llvm_build_array_malloc" 1074 external build_free : llvalue -> llbuilder -> llvalue = "llvm_build_free" 1075 external add_case : llvalue -> llvalue -> llbasicblock -> unit 1076 = "llvm_add_case" 1077 external switch_default_dest : llvalue -> llbasicblock = 1078 "LLVMGetSwitchDefaultDest" 1079 external build_indirect_br : llvalue -> int -> llbuilder -> llvalue 1080 = "llvm_build_indirect_br" 1081 external add_destination : llvalue -> llbasicblock -> unit 1082 = "llvm_add_destination" 1083 external build_invoke : llvalue -> llvalue array -> llbasicblock -> 1084 llbasicblock -> string -> llbuilder -> llvalue 1085 = "llvm_build_invoke_bc" "llvm_build_invoke_nat" 1086 external build_landingpad : lltype -> llvalue -> int -> string -> llbuilder -> 1087 llvalue = "llvm_build_landingpad" 1088 external set_cleanup : llvalue -> bool -> unit = "llvm_set_cleanup" 1089 external add_clause : llvalue -> llvalue -> unit = "llvm_add_clause" 1090 external build_resume : llvalue -> llbuilder -> llvalue = "llvm_build_resume" 1091 external build_unreachable : llbuilder -> llvalue = "llvm_build_unreachable" 1092 1093 (*--... Arithmetic .........................................................--*) 1094 external build_add : llvalue -> llvalue -> string -> llbuilder -> llvalue 1095 = "llvm_build_add" 1096 external build_nsw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue 1097 = "llvm_build_nsw_add" 1098 external build_nuw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue 1099 = "llvm_build_nuw_add" 1100 external build_fadd : llvalue -> llvalue -> string -> llbuilder -> llvalue 1101 = "llvm_build_fadd" 1102 external build_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue 1103 = "llvm_build_sub" 1104 external build_nsw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue 1105 = "llvm_build_nsw_sub" 1106 external build_nuw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue 1107 = "llvm_build_nuw_sub" 1108 external build_fsub : llvalue -> llvalue -> string -> llbuilder -> llvalue 1109 = "llvm_build_fsub" 1110 external build_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue 1111 = "llvm_build_mul" 1112 external build_nsw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue 1113 = "llvm_build_nsw_mul" 1114 external build_nuw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue 1115 = "llvm_build_nuw_mul" 1116 external build_fmul : llvalue -> llvalue -> string -> llbuilder -> llvalue 1117 = "llvm_build_fmul" 1118 external build_udiv : llvalue -> llvalue -> string -> llbuilder -> llvalue 1119 = "llvm_build_udiv" 1120 external build_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue 1121 = "llvm_build_sdiv" 1122 external build_exact_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue 1123 = "llvm_build_exact_sdiv" 1124 external build_fdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue 1125 = "llvm_build_fdiv" 1126 external build_urem : llvalue -> llvalue -> string -> llbuilder -> llvalue 1127 = "llvm_build_urem" 1128 external build_srem : llvalue -> llvalue -> string -> llbuilder -> llvalue 1129 = "llvm_build_srem" 1130 external build_frem : llvalue -> llvalue -> string -> llbuilder -> llvalue 1131 = "llvm_build_frem" 1132 external build_shl : llvalue -> llvalue -> string -> llbuilder -> llvalue 1133 = "llvm_build_shl" 1134 external build_lshr : llvalue -> llvalue -> string -> llbuilder -> llvalue 1135 = "llvm_build_lshr" 1136 external build_ashr : llvalue -> llvalue -> string -> llbuilder -> llvalue 1137 = "llvm_build_ashr" 1138 external build_and : llvalue -> llvalue -> string -> llbuilder -> llvalue 1139 = "llvm_build_and" 1140 external build_or : llvalue -> llvalue -> string -> llbuilder -> llvalue 1141 = "llvm_build_or" 1142 external build_xor : llvalue -> llvalue -> string -> llbuilder -> llvalue 1143 = "llvm_build_xor" 1144 external build_neg : llvalue -> string -> llbuilder -> llvalue 1145 = "llvm_build_neg" 1146 external build_nsw_neg : llvalue -> string -> llbuilder -> llvalue 1147 = "llvm_build_nsw_neg" 1148 external build_nuw_neg : llvalue -> string -> llbuilder -> llvalue 1149 = "llvm_build_nuw_neg" 1150 external build_fneg : llvalue -> string -> llbuilder -> llvalue 1151 = "llvm_build_fneg" 1152 external build_not : llvalue -> string -> llbuilder -> llvalue 1153 = "llvm_build_not" 1154 1155 (*--... Memory .............................................................--*) 1156 external build_alloca : lltype -> string -> llbuilder -> llvalue 1157 = "llvm_build_alloca" 1158 external build_array_alloca : lltype -> llvalue -> string -> llbuilder -> 1159 llvalue = "llvm_build_array_alloca" 1160 external build_load : llvalue -> string -> llbuilder -> llvalue 1161 = "llvm_build_load" 1162 external build_store : llvalue -> llvalue -> llbuilder -> llvalue 1163 = "llvm_build_store" 1164 external build_atomicrmw : AtomicRMWBinOp.t -> llvalue -> llvalue -> 1165 AtomicOrdering.t -> bool -> string -> llbuilder -> 1166 llvalue 1167 = "llvm_build_atomicrmw_bytecode" 1168 "llvm_build_atomicrmw_native" 1169 external build_gep : llvalue -> llvalue array -> string -> llbuilder -> llvalue 1170 = "llvm_build_gep" 1171 external build_in_bounds_gep : llvalue -> llvalue array -> string -> 1172 llbuilder -> llvalue = "llvm_build_in_bounds_gep" 1173 external build_struct_gep : llvalue -> int -> string -> llbuilder -> llvalue 1174 = "llvm_build_struct_gep" 1175 1176 external build_global_string : string -> string -> llbuilder -> llvalue 1177 = "llvm_build_global_string" 1178 external build_global_stringptr : string -> string -> llbuilder -> llvalue 1179 = "llvm_build_global_stringptr" 1180 1181 (*--... Casts ..............................................................--*) 1182 external build_trunc : llvalue -> lltype -> string -> llbuilder -> llvalue 1183 = "llvm_build_trunc" 1184 external build_zext : llvalue -> lltype -> string -> llbuilder -> llvalue 1185 = "llvm_build_zext" 1186 external build_sext : llvalue -> lltype -> string -> llbuilder -> llvalue 1187 = "llvm_build_sext" 1188 external build_fptoui : llvalue -> lltype -> string -> llbuilder -> llvalue 1189 = "llvm_build_fptoui" 1190 external build_fptosi : llvalue -> lltype -> string -> llbuilder -> llvalue 1191 = "llvm_build_fptosi" 1192 external build_uitofp : llvalue -> lltype -> string -> llbuilder -> llvalue 1193 = "llvm_build_uitofp" 1194 external build_sitofp : llvalue -> lltype -> string -> llbuilder -> llvalue 1195 = "llvm_build_sitofp" 1196 external build_fptrunc : llvalue -> lltype -> string -> llbuilder -> llvalue 1197 = "llvm_build_fptrunc" 1198 external build_fpext : llvalue -> lltype -> string -> llbuilder -> llvalue 1199 = "llvm_build_fpext" 1200 external build_ptrtoint : llvalue -> lltype -> string -> llbuilder -> llvalue 1201 = "llvm_build_prttoint" 1202 external build_inttoptr : llvalue -> lltype -> string -> llbuilder -> llvalue 1203 = "llvm_build_inttoptr" 1204 external build_bitcast : llvalue -> lltype -> string -> llbuilder -> llvalue 1205 = "llvm_build_bitcast" 1206 external build_zext_or_bitcast : llvalue -> lltype -> string -> llbuilder -> 1207 llvalue = "llvm_build_zext_or_bitcast" 1208 external build_sext_or_bitcast : llvalue -> lltype -> string -> llbuilder -> 1209 llvalue = "llvm_build_sext_or_bitcast" 1210 external build_trunc_or_bitcast : llvalue -> lltype -> string -> llbuilder -> 1211 llvalue = "llvm_build_trunc_or_bitcast" 1212 external build_pointercast : llvalue -> lltype -> string -> llbuilder -> llvalue 1213 = "llvm_build_pointercast" 1214 external build_intcast : llvalue -> lltype -> string -> llbuilder -> llvalue 1215 = "llvm_build_intcast" 1216 external build_fpcast : llvalue -> lltype -> string -> llbuilder -> llvalue 1217 = "llvm_build_fpcast" 1218 1219 (*--... Comparisons ........................................................--*) 1220 external build_icmp : Icmp.t -> llvalue -> llvalue -> string -> 1221 llbuilder -> llvalue = "llvm_build_icmp" 1222 external build_fcmp : Fcmp.t -> llvalue -> llvalue -> string -> 1223 llbuilder -> llvalue = "llvm_build_fcmp" 1224 1225 (*--... Miscellaneous instructions .........................................--*) 1226 external build_phi : (llvalue * llbasicblock) list -> string -> llbuilder -> 1227 llvalue = "llvm_build_phi" 1228 external build_call : llvalue -> llvalue array -> string -> llbuilder -> llvalue 1229 = "llvm_build_call" 1230 external build_select : llvalue -> llvalue -> llvalue -> string -> llbuilder -> 1231 llvalue = "llvm_build_select" 1232 external build_va_arg : llvalue -> lltype -> string -> llbuilder -> llvalue 1233 = "llvm_build_va_arg" 1234 external build_extractelement : llvalue -> llvalue -> string -> llbuilder -> 1235 llvalue = "llvm_build_extractelement" 1236 external build_insertelement : llvalue -> llvalue -> llvalue -> string -> 1237 llbuilder -> llvalue = "llvm_build_insertelement" 1238 external build_shufflevector : llvalue -> llvalue -> llvalue -> string -> 1239 llbuilder -> llvalue = "llvm_build_shufflevector" 1240 external build_extractvalue : llvalue -> int -> string -> llbuilder -> llvalue 1241 = "llvm_build_extractvalue" 1242 external build_insertvalue : llvalue -> llvalue -> int -> string -> llbuilder -> 1243 llvalue = "llvm_build_insertvalue" 1244 1245 external build_is_null : llvalue -> string -> llbuilder -> llvalue 1246 = "llvm_build_is_null" 1247 external build_is_not_null : llvalue -> string -> llbuilder -> llvalue 1248 = "llvm_build_is_not_null" 1249 external build_ptrdiff : llvalue -> llvalue -> string -> llbuilder -> llvalue 1250 = "llvm_build_ptrdiff" 1251 1252 1253 (*===-- Memory buffers ----------------------------------------------------===*) 1254 1255 module MemoryBuffer = struct 1256 external of_file : string -> llmemorybuffer = "llvm_memorybuffer_of_file" 1257 external of_stdin : unit -> llmemorybuffer = "llvm_memorybuffer_of_stdin" 1258 external of_string : ?name:string -> string -> llmemorybuffer 1259 = "llvm_memorybuffer_of_string" 1260 external as_string : llmemorybuffer -> string = "llvm_memorybuffer_as_string" 1261 external dispose : llmemorybuffer -> unit = "llvm_memorybuffer_dispose" 1262 end 1263 1264 1265 (*===-- Pass Manager ------------------------------------------------------===*) 1266 1267 module PassManager = struct 1268 type 'a t 1269 type any = [ `Module | `Function ] 1270 external create : unit -> [ `Module ] t = "llvm_passmanager_create" 1271 external create_function : llmodule -> [ `Function ] t 1272 = "LLVMCreateFunctionPassManager" 1273 external run_module : llmodule -> [ `Module ] t -> bool 1274 = "llvm_passmanager_run_module" 1275 external initialize : [ `Function ] t -> bool = "llvm_passmanager_initialize" 1276 external run_function : llvalue -> [ `Function ] t -> bool 1277 = "llvm_passmanager_run_function" 1278 external finalize : [ `Function ] t -> bool = "llvm_passmanager_finalize" 1279 external dispose : [< any ] t -> unit = "llvm_passmanager_dispose" 1280 end 1281