end;
begin group "layout";
- let layout = "bogus" in
+ let layout = "e" in
set_data_layout layout m;
insist (layout = data_layout m)
end
- (* CHECK: target datalayout = "bogus"
+ (* CHECK: target datalayout = "e"
* CHECK: target triple = "i686-apple-darwin8"
*)
ignore (define_global "const_int" c m);
insist (i32_type = type_of c);
insist (is_constant c);
+ insist (Some (-1L) = int64_of_const c);
(* CHECK: const_sext_int{{.*}}i64{{.*}}-1
*)
let c = const_int i64_type (-1) in
ignore (define_global "const_sext_int" c m);
insist (i64_type = type_of c);
+ insist (Some (-1L) = int64_of_const c);
(* CHECK: const_zext_int64{{.*}}i64{{.*}}4294967295
*)
let c = const_of_int64 i64_type (Int64.of_string "4294967295") false in
ignore (define_global "const_zext_int64" c m);
insist (i64_type = type_of c);
+ insist (Some 4294967295L = int64_of_const c);
(* CHECK: const_int_string{{.*}}i32{{.*}}-1
*)
let c = const_int_of_string i32_type "-1" 10 in
ignore (define_global "const_int_string" c m);
insist (i32_type = type_of c);
+ insist (None = (string_of_const c));
+ insist (None = float_of_const c);
+ insist (Some (-1L) = int64_of_const c);
+
+ (* CHECK: const_int64{{.*}}i64{{.*}}9223372036854775807
+ *)
+ group "max int64";
+ let c = const_of_int64 i64_type 9223372036854775807L true in
+ ignore (define_global "const_int64" c m) ;
+ insist (i64_type = type_of c);
+ insist (Some 9223372036854775807L = int64_of_const c);
+
+ if Sys.word_size = 64; then begin
+ group "long int";
+ let c = const_int i64_type (1 lsl 61) in
+ insist (c = const_of_int64 i64_type (Int64.of_int (1 lsl 61)) false)
+ end;
(* CHECK: @const_string = global {{.*}}c"cruel\00world"
*)
let c = const_string context "cruel\000world" in
ignore (define_global "const_string" c m);
insist ((array_type i8_type 11) = type_of c);
+ insist ((Some "cruel\000world") = (string_of_const c));
(* CHECK: const_stringz{{.*}}"hi\00again\00"
*)
(* CHECK: const_single{{.*}}2.75
* CHECK: const_double{{.*}}3.1459
- * CHECK: const_double_string{{.*}}1.25
+ * CHECK: const_double_string{{.*}}2
+ * CHECK: const_fake_fp128{{.*}}0xL00000000000000004000000000000000
+ * CHECK: const_fp128_string{{.*}}0xLF3CB1CCF26FBC178452FB4EC7F91973F
*)
begin group "real";
let cs = const_float float_type 2.75 in
ignore (define_global "const_single" cs m);
insist (float_type = type_of cs);
-
+ insist (float_of_const cs = Some 2.75);
+
let cd = const_float double_type 3.1459 in
ignore (define_global "const_double" cd m);
insist (double_type = type_of cd);
+ insist (float_of_const cd = Some 3.1459);
- let cd = const_float_of_string double_type "1.25" in
+ let cd = const_float_of_string double_type "2" in
ignore (define_global "const_double_string" cd m);
- insist (double_type = type_of cd)
+ insist (double_type = type_of cd);
+ insist (float_of_const cd = Some 2.);
+
+ let cd = const_float fp128_type 2. in
+ ignore (define_global "const_fake_fp128" cd m);
+ insist (fp128_type = type_of cd);
+ insist (float_of_const cd = Some 2.);
+
+ let cd = const_float_of_string fp128_type "1e400" in
+ ignore (define_global "const_fp128_string" cd m);
+ insist (fp128_type = type_of cd);
+ insist (float_of_const cd = None);
end;
let one = const_int i16_type 1 in
let c = const_array i32_type [| three; four |] in
ignore (define_global "const_array" c m);
insist ((array_type i32_type 2) = (type_of c));
-
+ insist (three = (const_element c 0));
+ insist (four = (const_element c 1));
+
(* CHECK: const_vector{{.*}}<i16 1, i16 2{{.*}}>
*)
group "vector";
let test_aliases () =
(* CHECK: @alias = alias i32* @aliasee
*)
- let v = declare_global i32_type "aliasee" m in
+ let forty_two32 = const_int i32_type 42 in
+ let v = define_global "aliasee" forty_two32 m in
ignore (add_alias m (pointer_type i32_type) v "alias")
insist ("One<-Two<-" = fold_right_instrs rf bb "");
dispose_module m
+ end;
+
+ group "clone instr";
+ begin
+ (* CHECK: %clone = add i32 %0, 2
+ *)
+ let fty = function_type void_type [| i32_type |] in
+ let fn = define_function "BuilderParent" fty m in
+ let bb = entry_block fn in
+ let b = builder_at_end context bb in
+ let p = param fn 0 in
+ let sum = build_add p p "sum" b in
+ let y = const_int i32_type 2 in
+ let clone = instr_clone sum in
+ set_operand clone 0 p;
+ set_operand clone 1 y;
+ insert_into_builder clone "clone" b;
+ ignore (build_ret_void b)
end
* CHECK: %build_is_not_null = icmp ne i8* %X1, null
* CHECK: %build_ptrdiff
*)
- ignore (build_icmp Icmp.Ne p1 p2 "build_icmp_ne" atentry);
- ignore (build_icmp Icmp.Sle p2 p1 "build_icmp_sle" atentry);
- ignore (build_fcmp Fcmp.False f1 f2 "build_fcmp_false" atentry);
- ignore (build_fcmp Fcmp.True f2 f1 "build_fcmp_true" atentry);
+ let c = build_icmp Icmp.Ne p1 p2 "build_icmp_ne" atentry in
+ insist (Some Icmp.Ne = icmp_predicate c);
+ insist (None = fcmp_predicate c);
+
+ let c = build_icmp Icmp.Sle p2 p1 "build_icmp_sle" atentry in
+ insist (Some Icmp.Sle = icmp_predicate c);
+ insist (None = fcmp_predicate c);
+
+ let c = build_fcmp Fcmp.False f1 f2 "build_fcmp_false" atentry in
+ (* insist (Some Fcmp.False = fcmp_predicate c); *)
+ insist (None = icmp_predicate c);
+
+ let c = build_fcmp Fcmp.True f2 f1 "build_fcmp_true" atentry in
+ (* insist (Some Fcmp.True = fcmp_predicate c); *)
+ insist (None = icmp_predicate c);
+
let g0 = declare_global (pointer_type i8_type) "g0" m in
let g1 = declare_global (pointer_type i8_type) "g1" m in
let p0 = build_load g0 "X0" atentry in
(* !llvm.module.flags is emitted at EOF. *)
let n1 = const_int i32_type 1 in
let n2 = mdstring context "Debug Info Version" in
- let md = mdnode context [| n1; n2; n1 |] in
+ let n3 = const_int i32_type 2 in
+ let md = mdnode context [| n1; n2; n3 |] in
add_named_metadata_operand m "llvm.module.flags" md;
insist ((get_named_metadata m "llvm.module.flags") = [| md |])
(* End-of-file checks for things like metdata and attributes.
* CHECK: attributes #0 = {{.*}}uwtable{{.*}}
* CHECK: !llvm.module.flags = !{!0}
- * CHECK: !0 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
+ * CHECK: !0 = metadata !{i32 1, metadata !"Debug Info Version", i32 2}
* CHECK: !1 = metadata !{i32 1, metadata !"metadata test"}
* CHECK: !2 = metadata !{i32 2, i32 3, metadata !3, metadata !3}
*)