summaryrefslogtreecommitdiffstats
path: root/llvm/bindings/ocaml
Commit message (Collapse)AuthorAgeFilesLines
...
* C and Objective Caml bindings for getFunction and getNamedGlobal. Also enhancedGordon Henriksen2007-10-083-1/+45
| | | | | | | the Objective Caml 'declare_*' functions to behave more or less like getOrInsertFunction. llvm-svn: 42740
* C and Objective Caml bindings for GlobalVariable::isConstant.Gordon Henriksen2007-10-073-0/+17
| | | | llvm-svn: 42736
* C and Objective Caml bindings for PATypeHolder.Gordon Henriksen2007-10-073-0/+44
| | | | llvm-svn: 42713
* Bindings for the verifier.Gordon Henriksen2007-10-068-18/+141
| | | | llvm-svn: 42707
* Deleting some unnecessary glue.Gordon Henriksen2007-10-063-21/+6
| | | | llvm-svn: 42702
* Adopting a uniform naming convention for type constructors inGordon Henriksen2007-10-063-32/+44
| | | | | | bindings (part le deux). llvm-svn: 42701
* Adopting a uniform naming convention for type constructors in bindings.Gordon Henriksen2007-10-061-11/+11
| | | | llvm-svn: 42698
* Adopting a uniform naming convention for constant constructors in bindings.Gordon Henriksen2007-10-063-67/+62
| | | | llvm-svn: 42697
* Adding C and Ocaml bindings for ConstantExpr.Gordon Henriksen2007-10-063-9/+121
| | | | llvm-svn: 42696
* Wrapping Value::dump.Gordon Henriksen2007-10-063-0/+8
| | | | llvm-svn: 42668
* Do use the actual ocaml stdlib (not the install dir) to find theGordon Henriksen2007-10-041-3/+2
| | | | | | caml/*.h headers. llvm-svn: 42599
* Providing --with-ocaml-libdir for ./configure. The default is theGordon Henriksen2007-10-022-8/+2
| | | | | | | | | | | stdlib if it's beneath --prefix, and is libdir/ocaml otherwise. If someone has a better way than this to test whether $B is a path within $A, I'd love to hear it: if test "$A" \< "$B" -a "$B" \< "${A}~" llvm-svn: 42532
* Remove debugging.Gordon Henriksen2007-09-271-4/+0
| | | | llvm-svn: 42385
* Added C and Ocaml bindings for functions, basic blocks, and Gordon Henriksen2007-09-265-193/+1028
| | | | | | | | | instruction creation. No support yet for instruction introspection. Also eliminated allocas from the Ocaml bindings for portability, and avoided unnecessary casts. llvm-svn: 42367
* Fix srcdir <> objdir builds with ocaml 2.10. Downrev versions don't care whetherGordon Henriksen2007-09-231-1/+2
| | | | | | | 'dir' exists in 'ocamldep -I dir ...', but recent ones demand that it actually exists. llvm-svn: 42245
* Incorporating review feedback for GC verifier patch.Gordon Henriksen2007-09-203-52/+82
| | | | llvm-svn: 42163
* use typenames equivalent toGabor Greif2007-09-201-2/+2
| | | | | | | | | | | | (u)intval, because latter are not present in older caml/mlvalues.h (e.g. 2004/07/07, 1.48.6.1) Using this as a workaround for now, until --without-ocaml works or we settle on a better solution llvm-svn: 42160
* include alloca.h if available. this helps Solaris, but intnat and uintnat ↵Gabor Greif2007-09-191-1/+5
| | | | | | types are still undefined, causing errors llvm-svn: 42129
* Tests of the ocaml (and thus C) bindings for constants.Gordon Henriksen2007-09-183-3/+27
| | | | llvm-svn: 42101
* Adding ocaml language bindings for the vmcore and bitwriter libraries. These areGordon Henriksen2007-09-189-0/+935
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | built atop the C language bindings, and user programs can link with them as such: # Bytecode ocamlc -cc g++ llvm.cma llvmbitwriter.cma -o example example.ml # Native ocamlopt -cc g++ llvm.cmxa llvmbitwriter.cmxa -o example.opt example.ml The vmcore.ml test exercises most/all of the APIs thus far bound. Unfortunately, they're not yet numerous enough to write hello world. But: $ cat example.ml (* example.ml *) open Llvm open Llvm_bitwriter let _ = let filename = Sys.argv.(1) in let m = create_module filename in let v = make_int_constant i32_type 42 false in let g = define_global "hello_world" v m in if not (write_bitcode_file m filename) then exit 1; dispose_module m; $ ocamlc -cc g++ llvm.cma llvm_bitwriter.cma -o example example.ml File "example.ml", line 11, characters 6-7: Warning Y: unused variable g. $ ./example example.bc $ llvm-dis < example.bc ; ModuleID = '<stdin>' @hello_world = global i32 42 ; <i32*> [#uses=0] The ocaml test cases provide effective tests for the C interfaces. llvm-svn: 42093
* (no commit message)Gordon Henriksen2007-09-181-0/+265
llvm-svn: 42090
OpenPOWER on IntegriCloud