Displaying 12 results from an estimated 12 matches for "llvm_bitreader".
Did you mean:
lllvmbitreader
2011 Apr 01
1
[LLVMdev] Fatal error
...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_analysis...
2008 Dec 30
2
[LLVMdev] llvm ocaml bindings
(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 Erick...
2008 Jul 31
2
[LLVMdev] Status of Ocaml bindings
...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 s...
2008 Oct 22
2
[LLVMdev] r57974 & r57976 for PR2888
...> =
> ======================================================================
> --- 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/bitwriter...
2011 Jun 11
0
[LLVMdev] Kaleidoscope Build Error
...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 comman...
2013 Jan 14
0
[LLVMdev] OCaml binding: error with the function "has_metadata"
...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
**********...
2008 Mar 09
1
[LLVMdev] [PATCH] Make the ocaml source comments work with ocamldoc.
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 ch...
2008 Jul 31
0
[LLVMdev] Status of Ocaml bindings
...;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 sup...
2008 Dec 31
0
[LLVMdev] llvm ocaml bindings
...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.edu&...
2012 Apr 30
1
[LLVMdev] Bindings/Ocaml/ext_exc.ml' FAILED
...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
Comma...
2009 May 28
0
[LLVMdev] [Cygwin] OCAML 'make check' failures
...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/Debu...
2009 Feb 23
1
[LLVMdev] 2.5 Pre-release2 available for testing
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