llvm-svn: 42164

llvm-svn: 42163

llvm-svn: 42162

(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

llvm-svn: 42159

llvm-svn: 42158

llvm-svn: 42157

llvm-svn: 42156

llvm-svn: 42155

llvm-svn: 42153

returned a reference type.  This patch allows operator*() to return a
non-reference type while still maintaining the old behavior when it
does return a reference type.

This patch was motivated when I tried to use "df_iterator" (see
llvm/ADT/DepthFirstIterator.h) as a "node_iterator", as df_iterator
does not return a reference type and thus we would get a compilation
error when trying to take the address of a temporary.

llvm-svn: 42151

llvm-svn: 42149

llvm-svn: 42147

llvm-svn: 42143

llvm-svn: 42140

help non-local memdep caching.

llvm-svn: 42137

llvm-svn: 42133

llvm-svn: 42132

fold that were missed in the fix for PR1646.  Probably
this null/not-null logic should be factorized somewhere.

llvm-svn: 42131

an alias could alias such a global variable.

llvm-svn: 42130

include alloca.h if available. this helps Solaris, but intnat and uintnat types are still undefined, causing errors

llvm-svn: 42129

llvm-svn: 42128

in tracking physical register output dependencies.

llvm-svn: 42125

llvm-svn: 42124

between two registers in the specific class.

llvm-svn: 42123

llvm-svn: 42122

for (int i = 0; i < N; ++i) {
  if (i == somevalue)
    dosomething();
   else
    dosomethingelse();
}

llvm-svn: 42121

llvm-svn: 42120

llvm-svn: 42119

llvm-svn: 42118

llvm-svn: 42112

shuffle <undef, undef, x, undef>, <undef, undef, undef, undef>, <2, 2, 2, 2>
!=
<undef, undef, x, undef>

llvm-svn: 42111

llvm-svn: 42108

llvm-svn: 42103

llvm-svn: 42101

tables so that they are eligible for reload/remat folding. And add
entries for JMP and CALL.

llvm-svn: 42094

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

llvm-svn: 42092

llvm-svn: 42091

llvm-svn: 42090