Lines Matching refs:let
13 let context = global_context ()
14 let i8_type = Llvm.i8_type context
15 let i32_type = Llvm.i32_type context
16 let i64_type = Llvm.i64_type context
17 let double_type = Llvm.double_type context
19 let bomb msg =
23 let define_main_fn m retval =
24 let fn =
25 let str_arr_type = pointer_type (pointer_type i8_type) in
29 let b = builder_at_end (global_context ()) (entry_block fn) in
33 let define_plus m =
34 let fn = define_function "plus" (function_type i32_type [| i32_type;
36 let b = builder_at_end (global_context ()) (entry_block fn) in
37 let add = build_add (param fn 0) (param fn 1) "sum" b in
40 let test_genericvalue () =
41 let tu = (1, 2) in
42 let ptrgv = GenericValue.of_pointer tu in
45 let fpgv = GenericValue.of_float double_type 2. in
48 let intgv = GenericValue.of_int i32_type 3 in
51 let i32gv = GenericValue.of_int32 i32_type (Int32.of_int 4) in
54 let nigv = GenericValue.of_nativeint i32_type (Nativeint.of_int 5) in
57 let i64gv = GenericValue.of_int64 i64_type (Int64.of_int 6) in
60 let test_executionengine () =
62 let m = create_module (global_context ()) "test_module" in
63 let main = define_main_fn m 42 in
65 let m2 = create_module (global_context ()) "test_module2" in
68 let ee = ExecutionEngine.create m in
75 let res = ExecutionEngine.run_function_as_main main [|"test"|] [||] ee in
91 let res = ExecutionEngine.run_function plus
104 let td = ExecutionEngine.target_data ee in
107 let ty = intptr_type td in
113 let _ =
