Lines Matching refs:let
16 let context = global_context ()
17 let i8_type = Llvm.i8_type context
18 let i32_type = Llvm.i32_type context
19 let i64_type = Llvm.i64_type context
20 let double_type = Llvm.double_type context
22 let bomb msg =
26 let define_main_fn m retval =
27 let fn =
28 let str_arr_type = pointer_type (pointer_type i8_type) in
32 let b = builder_at_end (global_context ()) (entry_block fn) in
36 let define_plus m =
37 let fn = define_function "plus" (function_type i32_type [| i32_type;
39 let b = builder_at_end (global_context ()) (entry_block fn) in
40 let add = build_add (param fn 0) (param fn 1) "sum" b in
43 let test_genericvalue () =
44 let tu = (1, 2) in
45 let ptrgv = GenericValue.of_pointer tu in
48 let fpgv = GenericValue.of_float double_type 2. in
51 let intgv = GenericValue.of_int i32_type 3 in
54 let i32gv = GenericValue.of_int32 i32_type (Int32.of_int 4) in
57 let nigv = GenericValue.of_nativeint i32_type (Nativeint.of_int 5) in
60 let i64gv = GenericValue.of_int64 i64_type (Int64.of_int 6) in
63 let test_executionengine () =
65 let m = create_module (global_context ()) "test_module" in
66 let main = define_main_fn m 42 in
68 let m2 = create_module (global_context ()) "test_module2" in
71 let ee = ExecutionEngine.create m in
78 let res = ExecutionEngine.run_function_as_main main [|"test"|] [||] ee in
94 let res = ExecutionEngine.run_function plus
107 let dl = ExecutionEngine.data_layout ee in
110 let ty = DataLayout.intptr_type context dl in
116 let _ =
