aboutsummaryrefslogtreecommitdiffstats
path: root/bindings/ocaml
Commit message (Collapse)AuthorAgeFilesLines
* [OCaml] Add Target and TargetMachine bindings to Llvm_targetPeter Zotov2013-11-153-1/+464
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194774 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Refactor Llvm_target interfacePeter Zotov2013-11-156-180/+186
| | | | | | | | This commit brings the module structure, argument order and primitive names in Llvm_target in order with the rest of the bindings, in preparation for adding TargetMachine API. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194773 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Fix building of stub librariesPeter Zotov2013-11-153-8/+8
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194772 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Build stub OCaml libraries for all configured targetsPeter Zotov2013-11-146-0/+195
| | | | | | | | | | | | This allows to only link in the needed targets, reducing binary size and more importantly link time. Note that this is an incomplete implementation: currently, LLVM does not have the plumbing which would allow to conditionally link in AsmPrinter, AsmParser and Disassembler for the targets which support them. This should be improved in the future. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194670 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Expose LLVM's fatal error and stacktrace APIsPeter Zotov2013-11-143-0/+47
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194669 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Dynamically link LLVM on --enable-shared buildsPeter Zotov2013-11-121-1/+67
| | | | | | | | | | This commit significantly speeds up both bytecode and native builds of LLVM clients (from ~20 second to sub-second link time), and allows to invoke LLVM functions from OCaml toplevel. The behavior for --disable-shared builds is unchanged. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194509 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Fix a typoPeter Zotov2013-11-121-6/+6
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194508 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Add missing Llvm_target functionsPeter Zotov2013-11-113-0/+28
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194382 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Accept context explicitly in Llvm_target functionsPeter Zotov2013-11-113-5/+7
| | | | | | | | Llvm_target.intptr_type used to implicitly use global context. As none of other functions in OCaml bindings do, it is changed to accept context explicitly. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194381 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Make Llvm_target.DataLayout.t automatically managedPeter Zotov2013-11-115-43/+68
| | | | | | This breaks the API by removing Llvm_target.DataLayout.dispose. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194380 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Impement Llvm_irreader, bindings to LLVM assembly parserPeter Zotov2013-11-066-1/+126
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194138 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Implement Llvm.string_of_llvaluePeter Zotov2013-11-063-0/+15
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194136 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] (PR16190) Add ValueKinds for ConstantDataSequential and subclassesPeter Zotov2013-11-053-0/+8
| | | | | | Original patch by David Monniaux git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194075 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] (PR16318) Add missing argument to Llvm.const_intcastPeter Zotov2013-11-053-5/+14
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194065 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] (PR11717) Make declare_qualified_global respect address argumentPeter Zotov2013-11-051-1/+2
| | | | | | Original patch by Jonathan Ragan-Kelley git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194064 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Properly tag the custom operations of Llvm.llbuilderPeter Zotov2013-11-051-1/+1
| | | | | | All other custom operations tags have LLVM prefix. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194058 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Llvm_linker: do not use external in module interfacePeter Zotov2013-11-051-2/+1
| | | | | | | Workaround for an OCaml bug: http://caml.inria.fr/mantis/view.php?id=4166 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194057 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] implement Llvm_passmgr_builder, bindings for PassManagerBuilderPeter Zotov2013-11-046-1/+227
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193968 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] DocumentationPeter Zotov2013-11-042-7/+19
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193967 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Implement missing LLVMCore APIsPeter Zotov2013-11-043-62/+349
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193966 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] FormattingPeter Zotov2013-11-043-172/+48
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193965 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Implement Llvm.MemoryBuffer.{of_string,as_string}Peter Zotov2013-11-033-0/+33
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193953 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Fix ABI incompatibilityPeter Zotov2013-11-032-1/+8
| | | | | | OCaml's type unit is not compatible with C's type void. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193952 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Implement Llvm_linker, bindings for the IR linkerPeter Zotov2013-11-036-1/+131
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193951 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Implement Llvm_vectorize bindingsPeter Zotov2013-11-036-1/+106
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193950 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Llvm_target: fix typo (Int_val instead of Int64_val)Peter Zotov2013-11-031-1/+1
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193948 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Llvm_scalar_opts: add missing transformsPeter Zotov2013-11-033-0/+13
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193946 91177308-0d34-0410-b5e6-96231b3b80d8
* [OCaml] Llvm_ipo: add missing transformsPeter Zotov2013-11-033-0/+12
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193945 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: fix typoSylvestre Ledru2013-11-011-1/+1
| | | | | | | | Patch by Peter Zotov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193851 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: remove unused DONT_BUILD_RELINKED from MakefilesSylvestre Ledru2013-11-012-2/+0
| | | | | | | | | Patch by Peter Zotov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193847 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: fix typoSylvestre Ledru2013-11-012-2/+2
| | | | | | | | Patch by Peter Zotov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193845 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: fix typo in documentationSylvestre Ledru2013-11-011-1/+1
| | | | | | | | Patch by Peter Zotov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193838 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: formattingSylvestre Ledru2013-11-0124-74/+44
| | | | | | | | | | This commit only changes comments and documentation in OCaml bindings. The official name of the language is OCaml, and the usage is now consistent. Patch by Peter Zotov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193836 91177308-0d34-0410-b5e6-96231b3b80d8
* Exposing MCJIT through C APIAndrew Kaylor2013-04-291-1/+1
| | | | | | | | | | Re-submitting with fix for OCaml dependency problems (removing dependency on SectionMemoryManager when it isn't used). Patch by Fili Pizlo git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@180720 91177308-0d34-0410-b5e6-96231b3b80d8
* Fixing OCAML bindings for MCJITAndrew Kaylor2013-04-251-1/+1
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@180232 91177308-0d34-0410-b5e6-96231b3b80d8
* Fix a build error for ocaml bindings that was introduced with the TargetData ↵Micah Villmow2012-10-191-1/+1
| | | | | | --> DataLayout changes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@166309 91177308-0d34-0410-b5e6-96231b3b80d8
* Fix the ocaml binding breakage from TargetData -> DataLayout changes.Micah Villmow2012-10-081-19/+19
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165406 91177308-0d34-0410-b5e6-96231b3b80d8
* Move TargetData to DataLayout.Micah Villmow2012-10-086-79/+79
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165403 91177308-0d34-0410-b5e6-96231b3b80d8
* add support for ocaml 3.12Nuno Lopes2012-09-022-0/+6
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163096 91177308-0d34-0410-b5e6-96231b3b80d8
* Remove tabs.Bill Wendling2012-07-192-4/+3
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160482 91177308-0d34-0410-b5e6-96231b3b80d8
* ocaml bindings: landing pad is now the last opcode.Benjamin Kramer2012-02-071-1/+1
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149997 91177308-0d34-0410-b5e6-96231b3b80d8
* Tidy up. s/Low Level Virtual Machine/LLVM/.Jim Grosbach2012-01-251-1/+1
| | | | | | LLVM isn't an acronym anymore. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148985 91177308-0d34-0410-b5e6-96231b3b80d8
* Update OCaml bindings for the new half float type.Bob Wilson2011-12-282-0/+3
| | | | | | Patch by Jonathan Ragan-Kelley! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147314 91177308-0d34-0410-b5e6-96231b3b80d8
* drop unneeded config.h includesDylan Noblesmith2011-12-221-1/+0
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147197 91177308-0d34-0410-b5e6-96231b3b80d8
* Minor fixes in Makefiles for the OCaml bindings:Wojciech Matyjewicz2011-11-092-6/+8
| | | | | | | | | | | | | 1. Interface files (.mli) are installed before compiled interface files (.cmi) to preserve timestamp relation. 2. install-meta should use $(OcamlDir) instead of $(ObjDir). 3. Declared some targets as .PHONY. Patch by Christophe Raffalli. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144183 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: add some missing functions and testcases.Torok Edwin2011-10-146-3/+261
| | | | | | The C bindings exposed some APIs that weren't covered by the OCaml bindings git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141997 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: fix attributes to use all 32 bitsTorok Edwin2011-10-143-42/+120
| | | | | | | | | OCaml's int is limited to 31 bits on 32-bit architectures, so use Int32 explicitly. Also add an unpack_attr, and {function,param,instr}_attr functions to read the attributes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141996 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: add icmp_predicateTorok Edwin2011-10-141-0/+2
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141995 91177308-0d34-0410-b5e6-96231b3b80d8
* OCaml bindings: fix infinite recursion on string_of_lltypeTorok Edwin2011-10-141-1/+8
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141994 91177308-0d34-0410-b5e6-96231b3b80d8
* bindings: named struct supportTorok Edwin2011-10-143-1/+49
| | | | git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141993 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit v1.1 at 2025-01-23 13:08:59 +0000