Displaying 6 results from an estimated 6 matches for "make_function_type".
2007 Oct 02
2
[LLVMdev] OCaml Install Error
...reeting = global [14 x i8] c"Hello, world!\00" *)
let greeting = define_global "greeting" (make_string_constant
"Hello, world!" true) m in
(* declare i32 @puts(i8*) *)
let puts = declare_function "puts" (make_function_type i32_type [|
make_pointer_type i8_type |]
false) m in
(* define i32 @main() {
entry: *)
let main = define_function "main" (make_function_type
i32_type [| |] false) m in
let at_e...
2007 Oct 19
0
[LLVMdev] OCaml Install Error
...c"Hello, world!\00" *)
> let greeting = define_global "greeting" (make_string_constant
> "Hello, world!" true)
> m in
>
> (* declare i32 @puts(i8*) *)
> let puts = declare_function "puts" (make_function_type i32_type [|
> make_pointer_type i8_type
> |] false) m in
>
> (* define i32 @main() {
> entry: *)
> let main = define_function "main" (make_function_type
> i32_type...
2007 Oct 02
0
[LLVMdev] OCaml Install Error
Hi,
where can I read more about this? I assume (hope) the lib provides
some kind of OCaml bindings? I could not find any trace of it in the
2.1 release source so I guess it's currently SVN only?
greetings,
Jan
On 2. Okt 2007, at 12:22, Gordon Henriksen wrote:
> On 2007-10-02, at 03:19, Gordon Henriksen wrote:
>
>> On Oct 2, 2007, at 00:17, Bill Wendling wrote:
>>
2007 Oct 02
4
[LLVMdev] OCaml Install Error
On 2007-10-02, at 03:19, Gordon Henriksen wrote:
> On Oct 2, 2007, at 00:17, Bill Wendling wrote:
>
>> I get this error duing a "make install":
>>
>> llvm[3]: Installing Debug /usr/local/lib/ocaml/libllvm.a
>> install: /usr/local/lib/ocaml/libllvm.a: Permission denied
>> make[3]: *** [install-a] Error 71
>> make[2]: *** [install] Error 1
2007 Sep 14
0
[LLVMdev] C interface
...#39;re just glue
> which the linker will trivially DCE, so that approach may have merit.
>
> — Gordon
>
>
> [1]
> *$ cat emit_bc.ml*
> open Llvm
>
> let emit_bc filename =
> let m = create_module filename in
>
> let big_fn_ty = make_pointer_type
> (make_function_type (void_type ())
> [| make_vector_type (float_type ()) 4;
> make_pointer_type
> (make_struct_type [| double_type ();
> x86fp80_type ();
>...
2007 Sep 12
7
[LLVMdev] C interface
...to implement the C bindings in each library instead. They're just
glue which the linker will trivially DCE, so that approach may have
merit.
— Gordon
[1]
$ cat emit_bc.ml
open Llvm
let emit_bc filename =
let m = create_module filename in
let big_fn_ty = make_pointer_type
(make_function_type (void_type ())
[| make_vector_type (float_type ()) 4;
make_pointer_type
(make_struct_type [| double_type ();
x86fp80_type ();...