llvm-svn: 42158

llvm-svn: 42157

llvm-svn: 42149

llvm-svn: 42128

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: 42101

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: 42090

llvm-svn: 42075

"_-[NSString(local) isNullOrNil]".eh = 0
        .no_dead_strip  "_-[NSString(local) isNullOrNil]".eh

The ".eh" should be inside the quotes.

llvm-svn: 42074

LLVM now enforces the following prototypes for the write barriers:

<ty>* @llvm.gcread(<ty2>*, <ty>**)
void @llvm.gcwrite(<ty>*, <ty2>*, <ty>**)

And for @llvm.gcroot, the first stack slot is verified to be an alloca or a 
bitcast of an alloca.

Fixes test/CodeGen/Generic/GC/lower_gcroot.ll, which violated these.

llvm-svn: 42051

llvm-svn: 42035

64-bit) can use test instead of cmp with an immediate.

llvm-svn: 42026

previously only done for 32-bit and smaller operands.

llvm-svn: 42024

llvm-svn: 41984

llvm-svn: 41979

llvm-svn: 41959

llvm-svn: 41953

llvm-svn: 41893

same time. Do not mark the "smaller" def as dead.

llvm-svn: 41871

llvm-svn: 41870

llvm-svn: 41869

the underlying nested function.

llvm-svn: 41846

llvm-svn: 41824

llvm-svn: 41820

llvm-svn: 41818

llvm-svn: 41815

llvm-svn: 41813

llvm-svn: 41806

llvm-svn: 41804

llvm-svn: 41800

llvm-svn: 41799

llvm-svn: 41786

llvm-svn: 41776

by flagging the associated instructions as being trivially rematerializable.

llvm-svn: 41775

The x86-64 ABI states that objects passed on the stack have
8 byte alignment. Implement that.

llvm-svn: 41768

Split eh.select / eh.typeid.for intrinsics into i32/i64 versions. This is needed, because they just "mark" register 
liveins and we let frontend solve type issue, not lowering code :)

llvm-svn: 41763

llvm-svn: 41762