search for: llvm_analysis

...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_analysis.") make[1]: *** [regen-ocamldoc] Error 2 make: *** [install] Error 1 This...

...= > = > ====================================================================== > --- llvm/trunk/test/Bindings/Ocaml/analysis.ml (original) > +++ llvm/trunk/test/Bindings/Ocaml/analysis.ml Wed Oct 22 07:41:54 > 2008 > @@ -1,4 +1,4 @@ > -(* RUN: %ocamlc -warn-error A llvm.cma llvm_analysis.cma %s -o %t > +(* RUN: %ocamlc -warn-error A llvm.cma llvm_analysis.cma %s -o %t > 2> /dev/null > * RUN: ./%t %t.bc > *) > > > Modified: llvm/trunk/test/Bindings/Ocaml/bitreader.ml > URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Bindings/Ocaml/bitreader.ml...

Getting the following on Cygwin :- Running /home/ang/svn/llvm/test/Bindings/Ocaml/ocaml.exp ... FAIL: /home/ang/svn/llvm/test/Bindings/Ocaml/analysis.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_analysis.cma /home/ang/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-er...

...ures were due to the Ocaml parts of the tests: FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/analysis.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_analysis.cma /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/analysis.ml -o analysis.ml.tmp /tmp/camlprim265f17.c:911: warning: deprecated conversion from string constant to 'char*' and FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml Failed with unknown error (or h...

...opt/local/lib/libLLVMAnalysis.a /opt/local/lib/LLVMExecutionEngine.o /opt/local/lib/LLVMJIT.o /opt/local/lib/libLLVMTarget.a /opt/local/lib/libLLVMCore.a /opt/local/lib/libLLVMSupport.a /opt/local/lib/libLLVMSystem.a > ocamlc -g -cc g++ -I `llvm-config --libdir --libfiles engine` -o toy llvm.cma llvm_analysis.cma llvm_executionengine.cma lexer.cmo parser.cmo codegen.cmo main.ml i686-apple-darwin8-g++-4.0.1: /opt/local/var/macports/build/_Users_Shared_erickt_Projects_macports_dports.git_lang_llvm/work/build/Release/lib/LLVMX86.o: No such file or directory i686-apple-darwin8-g++-4.0.1: /opt/local/var/macp...

...nction pointers would just magically > work, so this: > > do (if 1 <= 2 then fib else fib) 40 > > would run, but instead it produces this error: > > $ llc -f run.bc -o run.s > llc: bitcode didn't read correctly. > Reason: Invalid instruction with no BB Try 'Llvm_analysis.assert_valid_module m;' before you write bitcode to figure out where things went awry. ('dump_module m;' may also help.) GIGO applies (but garbage-in/segfault-out is more likely). Unfortunately, even if the bindings were more strongly typed, it would still be structurally possibl...

...ward. If ocamlc is on your path, then 'configure; make; make install' should install the bindings in your ocaml lib. To link with them, compile your program with: ocamlopt -cc g++ The LLVM libraries currently bound are: llvm.cmxa / .cma llvm_bitwriter.cmxa / .cma llvm_analysis.cmxa / .cma Their .mli files and the corresponding llvm-c headers (coupled with an understanding of the C++ API) are presently the best reference. > I just rediscovered the OCaml bindings in bindings/ocaml (...). They > do indeed look quite complete but I can't find any examples usi...

...I try to build them from outside the build tree (ie move the source into my own subtree), I run into problems. When I try to build (ocamlbuild toy.byte) after moving the llvm_* .cma, .cmo. .cmx .cmxa and .a into the local directory, I get the following error. + /usr/local/bin/ocamlc.opt llvm.cma llvm_analysis.cma llvm_executionengine.cma llvm_target.cma llvm_scalar_opts.cma -cc clang++ ast.cmo token.cmo parser.cmo codegen.cmo lexer.cmo toplevel.cmo toy.cmo bindings.o -o toy.byte clang: warning: treating 'c' input as 'c++' when in C++ mode, this behavior is deprecated ld: library not foun...

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.m...

...l parts of the > tests: > > FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/analysis.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_analysis.cma /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/analysis.ml > -o analysis.ml.tmp > /tmp/camlprim265f17.c:911: warning: deprecated conversion from string constant to 'char*' > > and > > FAIL: /home/erikd/Hack/SVN/llvm/test/Bindings/Ocaml/bitreader.ml > Fa...

...a /opt/local/lib/LLVMExecutionEngine.o > /opt/local/lib/LLVMJIT.o /opt/local/lib/libLLVMTarget.a > /opt/local/lib/libLLVMCore.a /opt/local/lib/libLLVMSupport.a > /opt/local/lib/libLLVMSystem.a >> ocamlc -g -cc g++ -I `llvm-config --libdir --libfiles engine` -o >> toy llvm.cma llvm_analysis.cma llvm_executionengine.cma lexer.cmo >> parser.cmo codegen.cmo main.ml > i686-apple-darwin8-g++-4.0.1: > /opt/local/var/macports/build/ > _Users_Shared_erickt_Projects_macports_dports.git_lang_llvm/work/ > build/Release/lib/LLVMX86.o: > No such file or directory > i686...

Hi! I just took another look at the LLVM project and it has come along in leaps and bounds since I last looked. I've been working through the (awesome!) tutorial and am now really hyped about the project. I am particularly interested in using LLVM to write compilers for OCaml-like languages in OCaml-like languages. This requires some core functionality that would be generically useful:

On Monday 26 November 2007 16:21, Gordon Henriksen wrote: > Try 'Llvm_analysis.assert_valid_module m;' before you write bitcode to > figure out where things went awry. ('dump_module m;' may also help.) > GIGO applies (but garbage-in/segfault-out is more likely). Ok, thanks for the tip. > Unfortunately, even if the bindings were more strongly typed, it w...

...in order to link against the c++ libraries, as in this: /opt/local/bin/ocamlopt -cc g++ -pp camlp4of -I /Users/erickt/Projects/llvm/gcc/llvm-build-Release/examples/OCaml-Kaleidoscope/Chapter7/Release+Asserts -I /Users/erickt/Projects/llvm/gcc/llvm-build-Release/Release+Asserts/lib/ocaml llvm.cmxa llvm_analysis.cmxa llvm_executionengine.cmxa llvm_target.cmxa llvm_scalar_opts.cmxa -o /Users/erickt/Projects/llvm/gcc/llvm-build-Release/examples/OCaml-Kaleidoscope/Chapter7/Release+Asserts/OCaml-Kaleidoscope-Ch7 /Users/erickt/Projects/llvm/gcc/llvm-build-Release/examples/OCaml-Kaleidoscope/Chapter7/Release+Ass...

Here is a complete 104-line native code compiler for a tiny subset of OCaml that is expressive enough to compile an external Fibonacci program: type expr = | Int of int | Var of string | BinOp of [ `Add | `Sub | `Leq ] * expr * expr | If of expr * expr * expr | Apply of expr * expr type defn = | LetRec of string * string * expr open Camlp4.PreCast;; let expr = Gram.Entry.mk

Here's my translation of the Fibonacci example into OCaml: open Printf open Llvm let build_fib m = let fibf = define_function "fib" (function_type i32_type [| i32_type |]) m in let bb = builder_at_end (entry_block fibf) in let one = const_int i32_type 1 and two = const_int i32_type 2 in let argx = param fibf 0 in set_value_name "AnArg" argx; let

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

...;configure; make; make install' should > install the bindings in your ocaml lib. To link with them, compile > your program with: > > ocamlopt -cc g++ > > The LLVM libraries currently bound are: > > llvm.cmxa / .cma > llvm_bitwriter.cmxa / .cma > llvm_analysis.cmxa / .cma > > Their .mli files and the corresponding llvm-c headers (coupled with an > understanding of the C++ API) are presently the best reference. Right. I hadn't noticed they were already installed after llvm "make install" in: /usr/local/lib/ocaml/ > > I j...

...in/llvm-svn/llvm/test/Assembler/dg.exp ... Running /home/edwin/llvm-svn/llvm/test/Bindings/Ocaml/ocaml.exp ... FAIL: /home/edwin/llvm-svn/llvm/test/Bindings/Ocaml/analysis.ml Failed with exit(2) at line 1 while running: /usr/bin/ocamlc -cc g++ -I /home/edwin/llvm-svn/llvm/Release/lib/ocaml llvm.cma llvm_analysis.cma /home/edwin/llvm-svn/llvm/test/Bindings/Ocaml/analysis.ml -o analysis.ml.tmp File "/home/edwin/llvm-svn/llvm/test/Bindings/Ocaml/analysis.ml", line 39, characters 12-54: Warning X: this statement never returns (or has an unsound type.) /tmp/camlprim81a59e.c:839: warning: deprecated co...