aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--bindings/ocaml/llvm/llvm.ml33
-rw-r--r--bindings/ocaml/llvm/llvm.mli33
-rw-r--r--bindings/ocaml/llvm/llvm_ocaml.c63
-rw-r--r--include/llvm-c/Core.h25
-rw-r--r--lib/VMCore/Core.cpp25
-rw-r--r--test/Bindings/Ocaml/vmcore.ml82
6 files changed, 127 insertions, 134 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml
index 79de1c760b..016c17af83 100644
--- a/bindings/ocaml/llvm/llvm.ml
+++ b/bindings/ocaml/llvm/llvm.ml
@@ -185,32 +185,29 @@ external dump_value : llvalue -> unit = "llvm_dump_value"
(*--... Operations on constants of (mostly) any type .......................--*)
external is_constant : llvalue -> bool = "llvm_is_constant"
-external make_null : lltype -> llvalue = "LLVMGetNull"
-external make_all_ones : (*int|vec*)lltype -> llvalue = "LLVMGetAllOnes"
-external make_undef : lltype -> llvalue = "LLVMGetUndef"
+external const_null : lltype -> llvalue = "LLVMConstNull"
+external const_all_ones : (*int|vec*)lltype -> llvalue = "LLVMConstAllOnes"
+external undef : lltype -> llvalue = "LLVMGetUndef"
external is_null : llvalue -> bool = "llvm_is_null"
external is_undef : llvalue -> bool = "llvm_is_undef"
(*--... Operations on scalar constants .....................................--*)
-external make_int_constant : lltype -> int -> bool -> llvalue
- = "llvm_make_int_constant"
-external make_int64_constant : lltype -> Int64.t -> bool -> llvalue
- = "llvm_make_int64_constant"
-external make_real_constant : lltype -> float -> llvalue
- = "llvm_make_real_constant"
+external const_int : lltype -> int -> llvalue = "llvm_const_int"
+external const_of_int64 : lltype -> Int64.t -> bool -> llvalue
+ = "llvm_const_of_int64"
+external const_float : lltype -> float -> llvalue = "llvm_const_float"
(*--... Operations on composite constants ..................................--*)
-external make_string_constant : string -> bool -> llvalue
- = "llvm_make_string_constant"
-external make_array_constant : lltype -> llvalue array -> llvalue
- = "llvm_make_array_constant"
-external make_struct_constant : llvalue array -> bool -> llvalue
- = "llvm_make_struct_constant"
-external make_vector_constant : llvalue array -> llvalue
- = "llvm_make_vector_constant"
+external const_string : string -> llvalue = "llvm_const_string"
+external const_stringz : string -> llvalue = "llvm_const_stringz"
+external const_array : lltype -> llvalue array -> llvalue = "llvm_const_array"
+external const_struct : llvalue array -> llvalue = "llvm_const_struct"
+external const_packed_struct : llvalue array -> llvalue
+ = "llvm_const_packed_struct"
+external const_vector : llvalue array -> llvalue = "llvm_const_vector"
(*--... Constant expressions ...............................................--*)
-external sizeof : lltype -> llvalue = "LLVMSizeOf"
+external size_of : lltype -> llvalue = "LLVMSizeOf"
external const_neg : llvalue -> llvalue = "LLVMConstNeg"
external const_not : llvalue -> llvalue = "LLVMConstNot"
external const_add : llvalue -> llvalue -> llvalue = "LLVMConstAdd"
diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli
index 943563acb2..3ded2db420 100644
--- a/bindings/ocaml/llvm/llvm.mli
+++ b/bindings/ocaml/llvm/llvm.mli
@@ -168,32 +168,29 @@ external dump_value : llvalue -> unit = "llvm_dump_value"
(*--... Operations on constants of (mostly) any type .......................--*)
external is_constant : llvalue -> bool = "llvm_is_constant"
-external make_null : lltype -> llvalue = "LLVMGetNull"
-external make_all_ones : (*int|vec*)lltype -> llvalue = "LLVMGetAllOnes"
-external make_undef : lltype -> llvalue = "LLVMGetUndef"
+external const_null : lltype -> llvalue = "LLVMConstNull"
+external const_all_ones : (*int|vec*)lltype -> llvalue = "LLVMConstAllOnes"
+external undef : lltype -> llvalue = "LLVMGetUndef"
external is_null : llvalue -> bool = "llvm_is_null"
external is_undef : llvalue -> bool = "llvm_is_undef"
(*--... Operations on scalar constants .....................................--*)
-external make_int_constant : lltype -> int -> bool -> llvalue
- = "llvm_make_int_constant"
-external make_int64_constant : lltype -> Int64.t -> bool -> llvalue
- = "llvm_make_int64_constant"
-external make_real_constant : lltype -> float -> llvalue
- = "llvm_make_real_constant"
+external const_int : lltype -> int -> llvalue = "llvm_const_int"
+external const_of_int64 : lltype -> Int64.t -> bool -> llvalue
+ = "llvm_const_of_int64"
+external const_float : lltype -> float -> llvalue = "llvm_const_float"
(*--... Operations on composite constants ..................................--*)
-external make_string_constant : string -> bool -> llvalue
- = "llvm_make_string_constant"
-external make_array_constant : lltype -> llvalue array -> llvalue
- = "llvm_make_array_constant"
-external make_struct_constant : llvalue array -> bool -> llvalue
- = "llvm_make_struct_constant"
-external make_vector_constant : llvalue array -> llvalue
- = "llvm_make_vector_constant"
+external const_string : string -> llvalue = "llvm_const_string"
+external const_stringz : string -> llvalue = "llvm_const_stringz"
+external const_array : lltype -> llvalue array -> llvalue = "llvm_const_array"
+external const_struct : llvalue array -> llvalue = "llvm_const_struct"
+external const_packed_struct : llvalue array -> llvalue
+ = "llvm_const_packed_struct"
+external const_vector : llvalue array -> llvalue = "llvm_const_vector"
(*--... Constant expressions ...............................................--*)
-external sizeof : lltype -> llvalue = "LLVMSizeOf"
+external size_of : lltype -> llvalue = "LLVMSizeOf"
external const_neg : llvalue -> llvalue = "LLVMConstNeg"
external const_not : llvalue -> llvalue = "LLVMConstNot"
external const_add : llvalue -> llvalue -> llvalue = "LLVMConstAdd"
diff --git a/bindings/ocaml/llvm/llvm_ocaml.c b/bindings/ocaml/llvm/llvm_ocaml.c
index 47f1936892..6460930eb5 100644
--- a/bindings/ocaml/llvm/llvm_ocaml.c
+++ b/bindings/ocaml/llvm/llvm_ocaml.c
@@ -244,56 +244,57 @@ CAMLprim value llvm_is_undef(LLVMValueRef Val) {
/*--... Operations on scalar constants .....................................--*/
-/* lltype -> int -> bool -> llvalue */
-CAMLprim LLVMValueRef llvm_make_int_constant(LLVMTypeRef IntTy, value N,
- value SExt) {
- /* GCC warns if we use the ternary operator. */
- unsigned long long N2;
- if (Bool_val(SExt))
- N2 = (value) Int_val(N);
- else
- N2 = (mlsize_t) Int_val(N);
-
- return LLVMGetIntConstant(IntTy, N2, Bool_val(SExt));
+/* lltype -> int -> llvalue */
+CAMLprim LLVMValueRef llvm_const_int(LLVMTypeRef IntTy, value N) {
+ return LLVMConstInt(IntTy, (long long) Int_val(N), 1);
}
/* lltype -> Int64.t -> bool -> llvalue */
-CAMLprim LLVMValueRef llvm_make_int64_constant(LLVMTypeRef IntTy, value N,
- value SExt) {
- return LLVMGetIntConstant(IntTy, Int64_val(N), Bool_val(SExt));
+CAMLprim LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N,
+ value SExt) {
+ return LLVMConstInt(IntTy, Int64_val(N), Bool_val(SExt));
}
/* lltype -> float -> llvalue */
-CAMLprim LLVMValueRef llvm_make_real_constant(LLVMTypeRef RealTy, value N) {
- return LLVMGetRealConstant(RealTy, Double_val(N));
+CAMLprim LLVMValueRef llvm_const_float(LLVMTypeRef RealTy, value N) {
+ return LLVMConstReal(RealTy, Double_val(N));
}
/*--... Operations on composite constants ..................................--*/
-/* string -> bool -> llvalue */
-CAMLprim LLVMValueRef llvm_make_string_constant(value Str, value NullTerminate) {
- return LLVMGetStringConstant(String_val(Str), string_length(Str),
- Bool_val(NullTerminate) == 0);
+/* string -> llvalue */
+CAMLprim LLVMValueRef llvm_const_string(value Str, value NullTerminate) {
+ return LLVMConstString(String_val(Str), string_length(Str), 1);
+}
+
+/* string -> llvalue */
+CAMLprim LLVMValueRef llvm_const_stringz(value Str, value NullTerminate) {
+ return LLVMConstString(String_val(Str), string_length(Str), 0);
}
/* lltype -> llvalue array -> llvalue */
-CAMLprim LLVMValueRef llvm_make_array_constant(LLVMTypeRef ElementTy,
+CAMLprim LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy,
value ElementVals) {
- return LLVMGetArrayConstant(ElementTy, (LLVMValueRef*) Op_val(ElementVals),
- Wosize_val(ElementVals));
+ return LLVMConstArray(ElementTy, (LLVMValueRef*) Op_val(ElementVals),
+ Wosize_val(ElementVals));
+}
+
+/* llvalue array -> llvalue */
+CAMLprim LLVMValueRef llvm_const_struct(value ElementVals) {
+ return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals),
+ Wosize_val(ElementVals), 0);
}
-/* llvalue array -> bool -> llvalue */
-CAMLprim LLVMValueRef llvm_make_struct_constant(value ElementVals,
- value Packed) {
- return LLVMGetStructConstant((LLVMValueRef *) Op_val(ElementVals),
- Wosize_val(ElementVals), Bool_val(Packed));
+/* llvalue array -> llvalue */
+CAMLprim LLVMValueRef llvm_const_packed_struct(value ElementVals) {
+ return LLVMConstStruct((LLVMValueRef *) Op_val(ElementVals),
+ Wosize_val(ElementVals), 1);
}
/* llvalue array -> llvalue */
-CAMLprim LLVMValueRef llvm_make_vector_constant(value ElementVals) {
- return LLVMGetVectorConstant((LLVMValueRef*) Op_val(ElementVals),
- Wosize_val(ElementVals));
+CAMLprim LLVMValueRef llvm_const_vector(value ElementVals) {
+ return LLVMConstVector((LLVMValueRef*) Op_val(ElementVals),
+ Wosize_val(ElementVals));
}
/*--... Constant expressions ...............................................--*/
diff --git a/include/llvm-c/Core.h b/include/llvm-c/Core.h
index 50f0727ac6..f197d256eb 100644
--- a/include/llvm-c/Core.h
+++ b/include/llvm-c/Core.h
@@ -228,27 +228,26 @@ void LLVMSetValueName(LLVMValueRef Val, const char *Name);
void LLVMDumpValue(LLVMValueRef Val);
/* Operations on constants of any type */
-LLVMValueRef LLVMGetNull(LLVMTypeRef Ty); /* all zeroes */
-LLVMValueRef LLVMGetAllOnes(LLVMTypeRef Ty); /* only for int/vector */
+LLVMValueRef LLVMConstNull(LLVMTypeRef Ty); /* all zeroes */
+LLVMValueRef LLVMConstAllOnes(LLVMTypeRef Ty); /* only for int/vector */
LLVMValueRef LLVMGetUndef(LLVMTypeRef Ty);
int LLVMIsConstant(LLVMValueRef Val);
int LLVMIsNull(LLVMValueRef Val);
int LLVMIsUndef(LLVMValueRef Val);
/* Operations on scalar constants */
-LLVMValueRef LLVMGetIntConstant(LLVMTypeRef IntTy, unsigned long long N,
- int SignExtend);
-LLVMValueRef LLVMGetRealConstant(LLVMTypeRef RealTy, double N);
+LLVMValueRef LLVMConstInt(LLVMTypeRef IntTy, unsigned long long N,
+ int SignExtend);
+LLVMValueRef LLVMConstReal(LLVMTypeRef RealTy, double N);
/* Operations on composite constants */
-LLVMValueRef LLVMGetStringConstant(const char *Str, unsigned Length,
- int DontNullTerminate);
-LLVMValueRef LLVMGetArrayConstant(LLVMTypeRef ArrayTy,
- LLVMValueRef *ConstantVals, unsigned Length);
-LLVMValueRef LLVMGetStructConstant(LLVMValueRef *ConstantVals, unsigned Count,
- int packed);
-LLVMValueRef LLVMGetVectorConstant(LLVMValueRef *ScalarConstantVals,
- unsigned Size);
+LLVMValueRef LLVMConstString(const char *Str, unsigned Length,
+ int DontNullTerminate);
+LLVMValueRef LLVMConstArray(LLVMTypeRef ArrayTy,
+ LLVMValueRef *ConstantVals, unsigned Length);
+LLVMValueRef LLVMConstStruct(LLVMValueRef *ConstantVals, unsigned Count,
+ int packed);
+LLVMValueRef LLVMConstVector(LLVMValueRef *ScalarConstantVals, unsigned Size);
/* Constant expressions */
LLVMValueRef LLVMSizeOf(LLVMTypeRef Ty);
diff --git a/lib/VMCore/Core.cpp b/lib/VMCore/Core.cpp
index 71a3b6db64..1bb8c1784f 100644
--- a/lib/VMCore/Core.cpp
+++ b/lib/VMCore/Core.cpp
@@ -200,11 +200,11 @@ void LLVMDumpValue(LLVMValueRef Val) {
/*--.. Operations on constants of any type .................................--*/
-LLVMValueRef LLVMGetNull(LLVMTypeRef Ty) {
+LLVMValueRef LLVMConstNull(LLVMTypeRef Ty) {
return wrap(Constant::getNullValue(unwrap(Ty)));
}
-LLVMValueRef LLVMGetAllOnes(LLVMTypeRef Ty) {
+LLVMValueRef LLVMConstAllOnes(LLVMTypeRef Ty) {
return wrap(Constant::getAllOnesValue(unwrap(Ty)));
}
@@ -228,40 +228,39 @@ int LLVMIsUndef(LLVMValueRef Val) {
/*--.. Operations on scalar constants ......................................--*/
-LLVMValueRef LLVMGetIntConstant(LLVMTypeRef IntTy, unsigned long long N,
- int SignExtend) {
+LLVMValueRef LLVMConstInt(LLVMTypeRef IntTy, unsigned long long N,
+ int SignExtend) {
return wrap(ConstantInt::get(unwrap<IntegerType>(IntTy), N, SignExtend != 0));
}
-LLVMValueRef LLVMGetRealConstant(LLVMTypeRef RealTy, double N) {
+LLVMValueRef LLVMConstReal(LLVMTypeRef RealTy, double N) {
return wrap(ConstantFP::get(unwrap(RealTy), APFloat(N)));
}
/*--.. Operations on composite constants ...................................--*/
-LLVMValueRef LLVMGetStringConstant(const char *Str, unsigned Length,
- int DontNullTerminate) {
+LLVMValueRef LLVMConstString(const char *Str, unsigned Length,
+ int DontNullTerminate) {
/* Inverted the sense of AddNull because ', 0)' is a
better mnemonic for null termination than ', 1)'. */
return wrap(ConstantArray::get(std::string(Str, Length),
DontNullTerminate == 0));
}
-LLVMValueRef LLVMGetArrayConstant(LLVMTypeRef ElementTy,
- LLVMValueRef *ConstantVals, unsigned Length) {
+LLVMValueRef LLVMConstArray(LLVMTypeRef ElementTy,
+ LLVMValueRef *ConstantVals, unsigned Length) {
return wrap(ConstantArray::get(ArrayType::get(unwrap(ElementTy), Length),
unwrap<Constant>(ConstantVals, Length),
Length));
}
-LLVMValueRef LLVMGetStructConstant(LLVMValueRef *ConstantVals, unsigned Count,
- int Packed) {
+LLVMValueRef LLVMConstStruct(LLVMValueRef *ConstantVals, unsigned Count,
+ int Packed) {
return wrap(ConstantStruct::get(unwrap<Constant>(ConstantVals, Count),
Count, Packed != 0));
}
-LLVMValueRef LLVMGetVectorConstant(LLVMValueRef *ScalarConstantVals,
- unsigned Size) {
+LLVMValueRef LLVMConstVector(LLVMValueRef *ScalarConstantVals, unsigned Size) {
return wrap(ConstantVector::get(unwrap<Constant>(ScalarConstantVals, Size),
Size));
}
diff --git a/test/Bindings/Ocaml/vmcore.ml b/test/Bindings/Ocaml/vmcore.ml
index 907334f571..0e9a71f391 100644
--- a/test/Bindings/Ocaml/vmcore.ml
+++ b/test/Bindings/Ocaml/vmcore.ml
@@ -140,7 +140,7 @@ let test_constants () =
(* RUN: grep {Const01.*i32.*-1} < %t.ll
*)
group "int";
- let c = make_int_constant i32_type (-1) true in
+ let c = const_int i32_type (-1) in
ignore (define_global "Const01" c m);
insist (i32_type = type_of c);
insist (is_constant c);
@@ -148,62 +148,62 @@ let test_constants () =
(* RUN: grep {Const02.*i64.*-1} < %t.ll
*)
group "sext int";
- let c = make_int_constant i64_type (-1) true in
+ let c = const_int i64_type (-1) in
ignore (define_global "Const02" c m);
insist (i64_type = type_of c);
(* RUN: grep {Const03.*i64.*4294967295} < %t.ll
*)
group "zext int64";
- let c = make_int64_constant i64_type (Int64.of_string "4294967295") false in
+ let c = const_of_int64 i64_type (Int64.of_string "4294967295") false in
ignore (define_global "Const03" c m);
insist (i64_type = type_of c);
(* RUN: grep {Const04.*"cruel\\\\00world"} < %t.ll
*)
group "string";
- let c = make_string_constant "cruel\000world" false in
+ let c = const_string "cruel\000world" in
ignore (define_global "Const04" c m);
insist ((make_array_type i8_type 11) = type_of c);
(* RUN: grep {Const05.*"hi\\\\00again\\\\00"} < %t.ll
*)
- group "string w/ null";
- let c = make_string_constant "hi\000again" true in
+ group "stringz";
+ let c = const_stringz "hi\000again" in
ignore (define_global "Const05" c m);
insist ((make_array_type i8_type 9) = type_of c);
(* RUN: grep {Const06.*3.1459} < %t.ll
*)
group "real";
- let c = make_real_constant double_type 3.1459 in
+ let c = const_float double_type 3.1459 in
ignore (define_global "Const06" c m);
insist (double_type = type_of c);
- let one = make_int_constant i16_type 1 true in
- let two = make_int_constant i16_type 2 true in
- let three = make_int_constant i32_type 3 true in
- let four = make_int_constant i32_type 4 true in
+ let one = const_int i16_type 1 in
+ let two = const_int i16_type 2 in
+ let three = const_int i32_type 3 in
+ let four = const_int i32_type 4 in
(* RUN: grep {Const07.*\\\[ i32 3, i32 4 \\\]} < %t.ll
*)
group "array";
- let c = make_array_constant i32_type [| three; four |] in
+ let c = const_array i32_type [| three; four |] in
ignore (define_global "Const07" c m);
insist ((make_array_type i32_type 2) = (type_of c));
(* RUN: grep {Const08.*< i16 1, i16 2.* >} < %t.ll
*)
group "vector";
- let c = make_vector_constant [| one; two; one; two;
- one; two; one; two |] in
+ let c = const_vector [| one; two; one; two;
+ one; two; one; two |] in
ignore (define_global "Const08" c m);
insist ((make_vector_type i16_type 8) = (type_of c));
(* RUN: grep {Const09.*\{ i16, i16, i32, i32 \} \{} < %t.ll
*)
group "structure";
- let c = make_struct_constant [| one; two; three; four |] false in
+ let c = const_struct [| one; two; three; four |] in
ignore (define_global "Const09" c m);
insist ((make_struct_type [| i16_type; i16_type; i32_type; i32_type |] false)
= (type_of c));
@@ -211,20 +211,20 @@ let test_constants () =
(* RUN: grep {Const10.*zeroinit} < %t.ll
*)
group "null";
- let c = make_null (make_struct_type [| i1_type; i8_type;
- i64_type; double_type |] true) in
+ let c = const_null (make_struct_type [| i1_type; i8_type;
+ i64_type; double_type |] true) in
ignore (define_global "Const10" c m);
(* RUN: grep {Const11.*-1} < %t.ll
*)
group "all ones";
- let c = make_all_ones i64_type in
+ let c = const_all_ones i64_type in
ignore (define_global "Const11" c m);
(* RUN: grep {Const12.*undef} < %t.ll
*)
group "undef";
- let c = make_undef i1_type in
+ let c = undef i1_type in
ignore (define_global "Const12" c m);
insist (i1_type = type_of c);
insist (is_undef c);
@@ -248,9 +248,9 @@ let test_constants () =
* RUN: grep {ConstFCmp.*fcmp} < %t.ll
*)
let void_ptr = make_pointer_type i8_type in
- let five = make_int_constant i64_type 5 false in
+ let five = const_int i64_type 5 in
let ffive = const_uitofp five double_type in
- let foldbomb_gv = define_global "FoldBomb" (make_null i8_type) m in
+ let foldbomb_gv = define_global "FoldBomb" (const_null i8_type) m in
let foldbomb = const_ptrtoint foldbomb_gv i64_type in
let ffoldbomb = const_uitofp foldbomb double_type in
ignore (define_global "ConstNeg" (const_neg foldbomb) m);
@@ -296,8 +296,8 @@ let test_constants () =
ignore (define_global "ConstFPToUI" (const_fptoui ffoldbomb i32_type) m);
ignore (define_global "ConstFPToSI" (const_fptosi ffoldbomb i32_type) m);
ignore (define_global "ConstPtrToInt" (const_ptrtoint
- (const_gep (make_null (make_pointer_type i8_type))
- [| make_int_constant i32_type 1 false |])
+ (const_gep (const_null (make_pointer_type i8_type))
+ [| const_int i32_type 1 |])
i32_type) m);
ignore (define_global "ConstIntToPtr" (const_inttoptr (const_add foldbomb five)
void_ptr) m);
@@ -311,23 +311,23 @@ let test_constants () =
* RUN: grep {ConstInsertElement.*insertelement} < %t.ll
* RUN: grep {ConstShuffleVector.*shufflevector} < %t.ll
*)
- ignore (define_global "ConstSizeOf" (sizeof (make_pointer_type i8_type)) m);
+ ignore (define_global "ConstSizeOf" (size_of (make_pointer_type i8_type)) m);
ignore (define_global "ConstGEP" (const_gep foldbomb_gv [| five |]) m);
ignore (define_global "ConstSelect" (const_select
(const_icmp Icmp_sle foldbomb five)
- (make_int_constant i8_type (-1) true)
- (make_int_constant i8_type 0 true)) m);
- let zero = make_int_constant i32_type 0 false in
- let one = make_int_constant i32_type 1 false in
+ (const_int i8_type (-1))
+ (const_int i8_type 0)) m);
+ let zero = const_int i32_type 0 in
+ let one = const_int i32_type 1 in
ignore (define_global "ConstExtractElement" (const_extractelement
- (make_vector_constant [| zero; one; zero; one |])
+ (const_vector [| zero; one; zero; one |])
(const_trunc foldbomb i32_type)) m);
ignore (define_global "ConstInsertElement" (const_insertelement
- (make_vector_constant [| zero; one; zero; one |])
+ (const_vector [| zero; one; zero; one |])
zero (const_trunc foldbomb i32_type)) m);
ignore (define_global "ConstShuffleVector" (const_shufflevector
- (make_vector_constant [| zero; one |])
- (make_vector_constant [| one; zero |])
+ (const_vector [| zero; one |])
+ (const_vector [| one; zero |])
(const_bitcast foldbomb (make_vector_type i32_type 2))) m)
@@ -335,7 +335,7 @@ let test_constants () =
let test_global_values () =
let (++) x f = f x; x in
- let zero32 = make_null i32_type in
+ let zero32 = const_null i32_type in
(* RUN: grep {GVal01} < %t.ll
*)
@@ -378,7 +378,7 @@ let test_global_values () =
let test_global_variables () =
let (++) x f = f x; x in
- let fourty_two32 = make_int_constant i32_type 42 false in
+ let fourty_two32 = const_int i32_type 42 in
(* RUN: grep {GVar01.*external} < %t.ll
*)
@@ -501,7 +501,7 @@ let test_basic_blocks () =
let bb = entry_block fn in
insist (bb = block_of_value (value_of_block bb));
insist (value_is_block (value_of_block bb));
- insist (not (value_is_block (make_null i32_type)))
+ insist (not (value_is_block (const_null i32_type)))
(*===-- Builder -----------------------------------------------------------===*)
@@ -703,15 +703,15 @@ let test_builder () =
let inst46 = build_icmp Icmp_eq p1 p2 "Inst46" atentry in
ignore (build_select inst46 p1 p2 "Inst47" atentry);
ignore (build_va_arg
- (make_null (make_pointer_type (make_pointer_type i8_type)))
+ (const_null (make_pointer_type (make_pointer_type i8_type)))
i32_type "Inst48" atentry);
(* Set up some vector vregs. *)
- let one = make_int_constant i32_type (-1) true in
- let zero = make_int_constant i32_type 1 true in
- let t1 = make_vector_constant [| one; zero; one; zero |] in
- let t2 = make_vector_constant [| zero; one; zero; one |] in
- let t3 = make_vector_constant [| one; one; zero; zero |] in
+ let one = const_int i32_type (-1) in
+ let zero = const_int i32_type 1 in
+ let t1 = const_vector [| one; zero; one; zero |] in
+ let t2 = const_vector [| zero; one; zero; one |] in
+ let t3 = const_vector [| one; one; zero; zero |] in
let vec1 = build_insertelement t1 p1 p2 "Vec1" atentry in
let vec2 = build_insertelement t2 p1 p2 "Vec2" atentry in
let vec3 = build_insertelement t3 p1 p2 "Vec3" atentry in
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-30 04:07:09 +0000