Displaying 2 results from an estimated 2 matches for "string_of_lltyp".
Did you mean:
string_of_lltype
2007 Sep 14
0
[LLVMdev] C interface
...i8_type ();
> i32_type () |] false);
> make_pointer_type
> (make_array_type (make_opaque_type ()) 4) |]
> false) in
>
> (* string_of_lltype is implemented in ocaml, so the info on stdout
> shows that make_*_type isn't a write-once/read-never interface. *)
> print_endline ("big_fn_ty = " ^ (string_of_lltype big_fn_ty));
>
> ignore(add_type_name m "big_fn_ty" big_fn_ty);
>
> if...
2007 Sep 12
7
[LLVMdev] C interface
...i8_type ();
i32_type () |]
false);
make_pointer_type
(make_array_type (make_opaque_type ())
4) |]
false) in
(* string_of_lltype is implemented in ocaml, so the info on stdout
shows that make_*_type isn't a write-once/read-never interface. *)
print_endline ("big_fn_ty = " ^ (string_of_lltype big_fn_ty));
ignore(add_type_name m "big_fn_ty" big_fn_ty);
if not (write_bitcode_file m file...