| dfc58e3bcfcb8f37796b2ca1c289dd202f26d03c |
01-Nov-2013 |
Sylvestre Ledru <sylvestre@debian.org> |
OCaml bindings: formatting
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
itwriter_ocaml.c
lvm_bitwriter.ml
lvm_bitwriter.mli
|
| e623050048e56a512e77c28b69925e7dc1efa6ad |
06-Mar-2010 |
Erick Tryzelaar <idadesub@users.sourceforge.net> |
Add a LLVMWriteBitcodeToFD that exposes the raw_fd_ostream options.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97858 91177308-0d34-0410-b5e6-96231b3b80d8
itwriter_ocaml.c
lvm_bitwriter.ml
lvm_bitwriter.mli
|
| 1d97ca85add3b5f3ff19370c7ab903e2ed4dbe7a |
24-Jun-2009 |
Chris Lattner <sabre@nondot.org> |
remove dead makefile flags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74064 91177308-0d34-0410-b5e6-96231b3b80d8
akefile
|
| 3b646de03668fed630f4e3fa9df56a7332a905e4 |
09-Mar-2008 |
Gordon Henriksen <gordonhenriksen@mac.com> |
This patch cleans up the OCaml bindings so that they format nicely with
ocamldoc. It does not yet hook into the build system, though.
Patch by Erick Tryzelaar!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48095 91177308-0d34-0410-b5e6-96231b3b80d8
lvm_bitwriter.mli
|
| 234d529e582963ad4b5d83b911cd057fe99d1435 |
29-Dec-2007 |
Chris Lattner <sabre@nondot.org> |
remove attribution from a variety of miscellaneous files.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45425 91177308-0d34-0410-b5e6-96231b3b80d8
itwriter_ocaml.c
lvm_bitwriter.ml
lvm_bitwriter.mli
|
| 57360d1f1cede3b26744d0ce3ade814fcc0f332d |
29-Dec-2007 |
Chris Lattner <sabre@nondot.org> |
remove attributions from the rest of the llvm makefiles.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45416 91177308-0d34-0410-b5e6-96231b3b80d8
akefile
|
| 0465fb5663a0108399df4c19db1afb4516328964 |
01-Dec-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Adding ocamldoc-style comments for the Ocaml bindings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44494 91177308-0d34-0410-b5e6-96231b3b80d8
lvm_bitwriter.mli
|
| c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab |
06-Oct-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Bindings for the verifier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42707 91177308-0d34-0410-b5e6-96231b3b80d8
akefile
|
| 1d4e0782ba9761e3c664de53b837b74c0c818ff1 |
02-Oct-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Providing --with-ocaml-libdir for ./configure. The default is the
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}~"
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42532 91177308-0d34-0410-b5e6-96231b3b80d8
lvm_bitwriter.mli
|
| 46abf91f7378fb7bb118d66fe6d69b5d3af1e9d5 |
26-Sep-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Added C and Ocaml bindings for functions, basic blocks, and
instruction creation. No support yet for instruction introspection.
Also eliminated allocas from the Ocaml bindings for portability,
and avoided unnecessary casts.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42367 91177308-0d34-0410-b5e6-96231b3b80d8
akefile
|
| a8c3660c1a4be5d4887f1899bc3c8e62b875c6c0 |
20-Sep-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Incorporating review feedback for GC verifier patch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42163 91177308-0d34-0410-b5e6-96231b3b80d8
itwriter_ocaml.c
|
| 8ef426baa36639458f6777309db25c1768dc9c8a |
18-Sep-2007 |
Gordon Henriksen <gordonhenriksen@mac.com> |
Adding ocaml language bindings for the vmcore and bitwriter libraries. These are
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42093 91177308-0d34-0410-b5e6-96231b3b80d8
akefile
itwriter_ocaml.c
lvm_bitwriter.ml
lvm_bitwriter.mli
|