search for: llvm_bitread

...e llvm 2.8 with the option --disable-optimized --enable-assertions on Leopard with Ocaml 3.11, I get the following fatal error when it starts to build the ocaml docs. llvm[1]: Installing HTML documentation llvm[1]: Building ocamldoc documentation llvm[3]: Documenting llvm.odoc llvm[3]: Documenting llvm_bitreader.odoc llvm[3]: Documenting llvm_bitwriter.odoc llvm[3]: Documenting llvm_analysis.odoc llvm[3]: Documenting llvm_target.odoc llvm[3]: Documenting llvm_executionengine.odoc llvm[4]: Documenting llvm_scalar_opts.odoc Fatal error: exception Failure("There are two interfaces of module Llvm_analys...

(ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon did the vast majority of the bindings, so they deserve most of the praise. I believe there are techniques for walking over the CFG. You can load up code using Llvm_bitreader, use things like Llvm.iter_globals, Llvm.iter_functions, and Llvm.iter_instrs to walk over the module, and write out a new llmodule using Llvm_bitwriter. Is there something more specific you want to do? On Mon, Dec 29, 2008 at 6:05 PM, Ranjit Jhala <jhala at cs.ucsd.edu> wrote: > Hi Eri...

...from string constant to 'char*' and FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml Failed with unknown error (or has stderr output) at line 1 while running: /usr/bin/ocamlc.opt -cc g++ -I /home/erikd/Hack/SVN/llvm/Debug/lib/ocaml -warn-error A llvm.cma llvm_bitreader.cma llvm_bitwriter.cma /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml -o bitreader.ml.tmp /tmp/camlprim69f718.c:917: warning: deprecated conversion from string constant to 'char*' and so on. What is the status of these bindings? Are they supposed to be working? My...

...> = > ====================================================================== > --- llvm/trunk/test/Bindings/Ocaml/bitreader.ml (original) > +++ llvm/trunk/test/Bindings/Ocaml/bitreader.ml Wed Oct 22 07:41:54 > 2008 > @@ -1,4 +1,4 @@ > -(* RUN: %ocamlc -warn-error A llvm.cma llvm_bitreader.cma > llvm_bitwriter.cma %s -o %t > +(* RUN: %ocamlc -warn-error A llvm.cma llvm_bitreader.cma > llvm_bitwriter.cma %s -o %t 2> /dev/null > * RUN: ./%t %t.bc > * RUN: llvm-dis < %t.bc | grep caml_int_ty > *) > > Modified: llvm/trunk/test/Bindings/Ocaml/bitwrit...

...I am very interested in using your llvm ocaml bindings, but I'm having some > problems getting my code to link with it. I couldn't find a mailing list or > anything like that to ask this question on. I've got a very simple main > program: > > let load_bc ctx path = >   Llvm_bitreader.parse_bitcode ctx (Llvm.MemoryBuffer.of_file path) > > let main () = >   let ctx = Llvm.create_context () in >   let m = load_bc ctx "examples/nweb/nweb.bc" in >   print_string "loaded module successfully" > > and I'm trying to build it using this comm...

...rt/Casting.h, line 208. Abort trap: 6 I am using the latest 3.2 release from the LLVM download page and this is a small code sample that is crashing, giving the error message above: ************************************ let load_module filename = let mb = Llvm.MemoryBuffer.of_file filename in Llvm_bitreader.parse_bitcode (Llvm.global_context ()) mb let stats m = let print llvalue = if Llvm.has_metadata llvalue then Printf.printf "%s\n%!" (Llvm.value_name llvalue) in Llvm.iter_functions print m let _ = let m = load_module Sys.argv.(1) in stats m ********...

This patch cleans up the code so that it formats nicely with ocamldoc. It does not yet hook into the build system, though. --- bindings/ocaml/analysis/llvm_analysis.mli | 21 +- bindings/ocaml/bitreader/llvm_bitreader.mli | 13 +- bindings/ocaml/bitwriter/llvm_bitwriter.mli | 11 +- .../ocaml/executionengine/llvm_executionengine.mli | 118 ++-- bindings/ocaml/llvm/llvm.ml | 1 - bindings/ocaml/llvm/llvm.mli | 587 ++++++++++---------- 6 files...

...;char*' > > and > > FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml > Failed with unknown error (or has stderr output) at line 1 > while running: /usr/bin/ocamlc.opt -cc g++ -I /home/erikd/Hack/SVN/llvm/Debug/lib/ocaml > -warn-error A llvm.cma llvm_bitreader.cma llvm_bitwriter.cma > /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml -o bitreader.ml.tmp > /tmp/camlprim69f718.c:917: warning: deprecated conversion from string constant to 'char*' > > and so on. > > What is the status of these bindings? Are they s...

...add these bindings ... Thanks!, -Ranjit. > (ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon > did the vast majority of the bindings, so they deserve most of the > praise. I believe there are techniques for walking over the CFG. You > can load up code using Llvm_bitreader, use things like > Llvm.iter_globals, Llvm.iter_functions, and Llvm.iter_instrs to walk > over the module, and write out a new llmodule using Llvm_bitwriter. Is > there something more specific you want to do? > > On Mon, Dec 29, 2008 at 6:05 PM, Ranjit Jhala <jhala at cs.ucsd.ed...

...of 10524) ******************** TEST 'LLVM :: Bindings/Ocaml/ext_exc.ml' FAILED ******************** Script: -- /usr/bin/ocamlopt -cc \"g++ -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT\" -I /home/rleissa/projects/llvm/build_debug/Debug+Asserts+Checks/lib/ocaml -warn-error A llvm.cmxa llvm_bitreader.cmxa llvm_executionengine.cmxa /home/rleissa/projects/llvm/llvm/test/Bindings/Ocaml/ext_exc.ml -o /home/rleissa/projects/llvm/build_debug/test/Bindings/Ocaml/Output/ext_exc.ml.tmp /home/rleissa/projects/llvm/build_debug/test/Bindings/Ocaml/Output/ext_exc.ml.tmp </dev/null -- Exit Code: 134 Com...

...svn/llvm/test/Bindings/Ocaml/a nalysis.ml -o analysis.ml.tmp 2> /dev/null child process exited abnormally FAIL: /home/ang/svn/llvm/test/Bindings/Ocaml/bitreader.ml Failed with exit(2) at line 1 while running: /usr/bin/ocamlc -cc g++ -I /home/ang/build/llvm/Debug/lib/ocaml - warn-error A llvm.cma llvm_bitreader.cma llvm_bitwriter.cma /home/ang/svn/llvm/t est/Bindings/Ocaml/bitreader.ml -o bitreader.ml.tmp 2> /dev/null child process exited abnormally FAIL: /home/ang/svn/llvm/test/Bindings/Ocaml/bitwriter.ml Failed with exit(2) at line 1 while running: /usr/bin/ocamlc -cc g++ -I /home/ang/build/llvm/De...

On Mon, Feb 23, 2009 at 12:12 AM, Aaron Gray < aaronngray.lists at googlemail.com> wrote: > On Sun, Feb 22, 2009 at 11:15 PM, Anton Korobeynikov < > anton at korobeynikov.info> wrote: > >> >> Actually its [configure-stage3-intl] where its hanging. >> >> This can easily be due to inline FP math in the stdlib headers. For >> example - I had to