Home | History | Annotate | Download | only in OCaml

Lines Matching full:i32_type

31 let i32_type = Llvm.i32_type context
73 insist ("i32" = (string_of_lltype i32_type));
74 let c = const_int i32_type 42 in
103 let c = const_int i32_type (-1) in
105 insist (i32_type = type_of c);
128 let c = const_int_of_string i32_type "-1" 10 in
130 insist (i32_type = type_of c);
199 let three = const_int i32_type 3 in
200 let four = const_int i32_type 4 in
205 let c = const_array i32_type [| three; four |] in
207 insist ((array_type i32_type 2) = (type_of c));
224 insist ((struct_type context [| i16_type; i16_type; i32_type; i32_type |])
346 ignore (define_global "const_fptoui" (const_fptoui ffoldbomb i32_type) m);
347 ignore (define_global "const_fptosi" (const_fptosi ffoldbomb i32_type) m);
350 [| const_int i32_type 1 |])
351 i32_type) m);
372 let zero = const_int i32_type 0 in
373 let one = const_int i32_type 1 in
376 (const_trunc foldbomb i32_type)) m);
379 zero (const_trunc foldbomb i32_type)) m);
383 (const_vector [| const_int i32_type 0; const_int i32_type 1;
384 const_int i32_type 2; const_int i32_type 3 |])) m);
387 let ft = function_type void_type [| i32_type; i32_type; i32_type |] in
399 struct_set_body nsty [| i32_type; pty |] false;
400 let elts = [| const_int i32_type 4; const_pointer_null pty |] in
411 let zero32 = const_null i32_type in
461 let forty_two32 = const_int i32_type 42 in
468 let g = declare_global i32_type "GVar01" m in
472 insist (g == declare_global i32_type "GVar01" m);
477 let g = declare_qualified_global i32_type "QGVar01" 3 m in
481 insist (g == declare_qualified_global i32_type "QGVar01" 3 m);
493 let g2 = declare_global i32_type "GVar03" m ++
500 let g2 = declare_qualified_global i32_type "QGVar03" 3 m ++
548 let g1 = declare_global i32_type "One" m in
549 let g2 = declare_global i32_type "Two" m in
576 let ty = function_type i32_type [| i32_type; i32_type |] in
603 let ty = function_type i32_type [| i32_type; i32_type |] in
609 let a3 = build_alloca i32_type "user_alloca" b in
629 let forty_two32 = const_int i32_type 42 in
631 ignore (add_alias m (pointer_type i32_type) v "alias")
637 let ty = function_type i32_type [| i32_type; i64_type |] in
678 insist (i32_type = type_of params.(0));
744 let ty = function_type void_type [| i32_type; i32_type |] in
819 insist (not (value_is_block (const_null i32_type)));
823 let f = declare_function "Temp" (function_type i32_type [| |]) m in
854 let fty = function_type void_type [| i32_type; i32_type |] in
886 let fty = function_type void_type [| i32_type |] in
892 let y = const_int i32_type 2 in
913 let fty = function_type void_type [| i32_type |] in
950 let fty = function_type i32_type [| i32_type; i32_type |] in
999 let inst29 = build_zext inst28 i32_type "build_zext" atentry in
1003 ignore(build_fptoui inst31 i32_type "build_fptoui" atentry);
1015 ignore(build_zext_or_bitcast inst28 i32_type "build_zext2" atentry);
1084 i32_type "build_va_arg" atentry);
1087 let one = const_int i32_type 1 in
1088 let zero = const_int i32_type 0 in
1094 let sty = struct_type context [| i32_type; i8_type |] in
1102 let agg0 = build_insertvalue agg (const_int i32_type 1) 0
1116 let m1 = const_int i32_type 1 in
1136 let n1 = const_int i32_type 1 in
1138 let n3 = const_int i32_type 2 in
1151 let m_line = const_int i32_type 2 in
1152 let m_col = const_int i32_type 3 in
1175 let rt = struct_type context [| pointer_type i8_type; i32_type |] in
1176 let ft = var_arg_function_type i32_type [||] in
1237 ignore (add_case si (const_int i32_type 2) bb2);
1250 let m1 = (build_malloc (pointer_type i32_type) "m1"
1253 ignore (build_array_malloc i32_type p1 "m2" (builder_at_end context bb1));
1372 let alloca = build_alloca i32_type "build_alloca" b in
1373 let array_alloca = build_array_alloca i32_type p2 "build_array_alloca" b in
1389 let sty = struct_type context [| i32_type; i8_type |] in