diff --git a/llvm/bindings/ocaml/bitreader/bitreader_ocaml.c b/llvm/bindings/ocaml/bitreader/bitreader_ocaml.c --- a/llvm/bindings/ocaml/bitreader/bitreader_ocaml.c +++ b/llvm/bindings/ocaml/bitreader/bitreader_ocaml.c @@ -26,7 +26,8 @@ LLVMModuleRef M; if (LLVMGetBitcodeModuleInContext2(C, MemBuf, &M)) - llvm_raise(*caml_named_value("Llvm_bitreader.Error"), LLVMCreateMessage("")); + llvm_raise(*caml_named_value("Llvm_bitreader.Error"), + LLVMCreateMessage("")); return M; } @@ -36,7 +37,8 @@ LLVMModuleRef M; if (LLVMParseBitcodeInContext2(C, MemBuf, &M)) - llvm_raise(*caml_named_value("Llvm_bitreader.Error"), LLVMCreateMessage("")); + llvm_raise(*caml_named_value("Llvm_bitreader.Error"), + LLVMCreateMessage("")); return M; } diff --git a/llvm/bindings/ocaml/debuginfo/debuginfo_ocaml.c b/llvm/bindings/ocaml/debuginfo/debuginfo_ocaml.c --- a/llvm/bindings/ocaml/debuginfo/debuginfo_ocaml.c +++ b/llvm/bindings/ocaml/debuginfo/debuginfo_ocaml.c @@ -221,7 +221,7 @@ } LLVMMetadataRef llvm_dibuild_create_compile_unit_bytecode(value *argv, - int argn) { + int argn) { return llvm_dibuild_create_compile_unit_native( argv[0], // Builder argv[1], // Lang @@ -241,16 +241,17 @@ } LLVMMetadataRef llvm_dibuild_create_file(value Builder, value Filename, - value Directory) { + value Directory) { return LLVMDIBuilderCreateFile(DIBuilder_val(Builder), String_val(Filename), caml_string_length(Filename), String_val(Directory), caml_string_length(Directory)); } -LLVMMetadataRef llvm_dibuild_create_module_native( - value Builder, LLVMMetadataRef ParentScope, value Name, value ConfigMacros, - value IncludePath, value SysRoot) { +LLVMMetadataRef +llvm_dibuild_create_module_native(value Builder, LLVMMetadataRef ParentScope, + value Name, value ConfigMacros, + value IncludePath, value SysRoot) { return LLVMDIBuilderCreateModule( DIBuilder_val(Builder), ParentScope, String_val(Name), caml_string_length(Name), String_val(ConfigMacros), @@ -259,8 +260,7 @@ caml_string_length(SysRoot)); } -LLVMMetadataRef llvm_dibuild_create_module_bytecode(value *argv, - int argn) { +LLVMMetadataRef llvm_dibuild_create_module_bytecode(value *argv, int argn) { return llvm_dibuild_create_module_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // ParentScope @@ -271,9 +271,9 @@ ); } -LLVMMetadataRef -llvm_dibuild_create_namespace(value Builder, LLVMMetadataRef ParentScope, - value Name, value ExportSymbols) { +LLVMMetadataRef llvm_dibuild_create_namespace(value Builder, + LLVMMetadataRef ParentScope, + value Name, value ExportSymbols) { return LLVMDIBuilderCreateNameSpace( DIBuilder_val(Builder), ParentScope, String_val(Name), caml_string_length(Name), Bool_val(ExportSymbols)); @@ -290,8 +290,7 @@ Int_val(ScopeLine), DIFlags_val(Flags), Bool_val(IsOptimized)); } -LLVMMetadataRef llvm_dibuild_create_function_bytecode(value *argv, - int argn) { +LLVMMetadataRef llvm_dibuild_create_function_bytecode(value *argv, int argn) { return llvm_dibuild_create_function_native(argv[0], // Builder, (LLVMMetadataRef)argv[1], // Scope argv[2], // Name @@ -307,18 +306,20 @@ ); } -LLVMMetadataRef llvm_dibuild_create_lexical_block( - value Builder, LLVMMetadataRef Scope, LLVMMetadataRef File, value Line, - value Column) { +LLVMMetadataRef llvm_dibuild_create_lexical_block(value Builder, + LLVMMetadataRef Scope, + LLVMMetadataRef File, + value Line, value Column) { return LLVMDIBuilderCreateLexicalBlock(DIBuilder_val(Builder), Scope, File, Int_val(Line), Int_val(Column)); } LLVMMetadataRef llvm_metadata_null() { return (LLVMMetadataRef)NULL; } -LLVMMetadataRef llvm_dibuild_create_debug_location( - LLVMContextRef Ctx, value Line, value Column, LLVMMetadataRef Scope, - LLVMMetadataRef InlinedAt) { +LLVMMetadataRef llvm_dibuild_create_debug_location(LLVMContextRef Ctx, + value Line, value Column, + LLVMMetadataRef Scope, + LLVMMetadataRef InlinedAt) { return LLVMDIBuilderCreateDebugLocation(Ctx, Int_val(Line), Int_val(Column), Scope, InlinedAt); } @@ -362,32 +363,32 @@ } LLVMMetadataRef llvm_dibuild_get_or_create_type_array(value Builder, - value Data) { + value Data) { return LLVMDIBuilderGetOrCreateTypeArray(DIBuilder_val(Builder), (LLVMMetadataRef *)Op_val(Data), Wosize_val(Data)); } -LLVMMetadataRef llvm_dibuild_get_or_create_array(value Builder, - value Data) { +LLVMMetadataRef llvm_dibuild_get_or_create_array(value Builder, value Data) { return LLVMDIBuilderGetOrCreateArray(DIBuilder_val(Builder), (LLVMMetadataRef *)Op_val(Data), Wosize_val(Data)); } -LLVMMetadataRef llvm_dibuild_create_subroutine_type( - value Builder, LLVMMetadataRef File, value ParameterTypes, value Flags) { +LLVMMetadataRef llvm_dibuild_create_subroutine_type(value Builder, + LLVMMetadataRef File, + value ParameterTypes, + value Flags) { return LLVMDIBuilderCreateSubroutineType( DIBuilder_val(Builder), File, (LLVMMetadataRef *)Op_val(ParameterTypes), Wosize_val(ParameterTypes), DIFlags_val(Flags)); } -LLVMMetadataRef llvm_dibuild_create_enumerator(value Builder, - value Name, value Value, - value IsUnsigned) { +LLVMMetadataRef llvm_dibuild_create_enumerator(value Builder, value Name, + value Value, value IsUnsigned) { return LLVMDIBuilderCreateEnumerator( DIBuilder_val(Builder), String_val(Name), caml_string_length(Name), (int64_t)Int_val(Value), Bool_val(IsUnsigned)); @@ -404,8 +405,8 @@ Wosize_val(Elements), ClassTy); } -LLVMMetadataRef -llvm_dibuild_create_enumeration_type_bytecode(value *argv, int argn) { +LLVMMetadataRef llvm_dibuild_create_enumeration_type_bytecode(value *argv, + int argn) { return llvm_dibuild_create_enumeration_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // Scope @@ -433,8 +434,7 @@ caml_string_length(UniqueId)); } -LLVMMetadataRef llvm_dibuild_create_union_type_bytecode(value *argv, - int argn) { +LLVMMetadataRef llvm_dibuild_create_union_type_bytecode(value *argv, int argn) { return llvm_dibuild_create_union_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // Scope @@ -450,34 +450,33 @@ ); } -LLVMMetadataRef llvm_dibuild_create_array_type(value Builder, - value Size, - value AlignInBits, - LLVMMetadataRef Ty, - value Subscripts) { +LLVMMetadataRef llvm_dibuild_create_array_type(value Builder, value Size, + value AlignInBits, + LLVMMetadataRef Ty, + value Subscripts) { return LLVMDIBuilderCreateArrayType( DIBuilder_val(Builder), (uint64_t)Int_val(Size), Int_val(AlignInBits), Ty, (LLVMMetadataRef *)Op_val(Subscripts), Wosize_val(Subscripts)); } -LLVMMetadataRef llvm_dibuild_create_vector_type(value Builder, - value Size, - value AlignInBits, - LLVMMetadataRef Ty, - value Subscripts) { +LLVMMetadataRef llvm_dibuild_create_vector_type(value Builder, value Size, + value AlignInBits, + LLVMMetadataRef Ty, + value Subscripts) { return LLVMDIBuilderCreateVectorType( DIBuilder_val(Builder), (uint64_t)Int_val(Size), Int_val(AlignInBits), Ty, (LLVMMetadataRef *)Op_val(Subscripts), Wosize_val(Subscripts)); } LLVMMetadataRef llvm_dibuild_create_unspecified_type(value Builder, - value Name) { + value Name) { return LLVMDIBuilderCreateUnspecifiedType( DIBuilder_val(Builder), String_val(Name), caml_string_length(Name)); } -LLVMMetadataRef llvm_dibuild_create_basic_type( - value Builder, value Name, value SizeInBits, value Encoding, value Flags) { +LLVMMetadataRef llvm_dibuild_create_basic_type(value Builder, value Name, + value SizeInBits, value Encoding, + value Flags) { return LLVMDIBuilderCreateBasicType( DIBuilder_val(Builder), String_val(Name), caml_string_length(Name), @@ -494,7 +493,7 @@ } LLVMMetadataRef llvm_dibuild_create_pointer_type_bytecode(value *argv, - int argn) { + int argn) { return llvm_dibuild_create_pointer_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // PointeeTy @@ -521,7 +520,7 @@ } LLVMMetadataRef llvm_dibuild_create_struct_type_bytecode(value *argv, - int argn) { + int argn) { return llvm_dibuild_create_struct_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // Scope @@ -552,7 +551,7 @@ } LLVMMetadataRef llvm_dibuild_create_member_type_bytecode(value *argv, - int argn) { + int argn) { return llvm_dibuild_create_member_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // Scope @@ -578,8 +577,8 @@ Int_val(AlignInBits)); } -LLVMMetadataRef -llvm_dibuild_create_static_member_type_bytecode(value *argv, int argn) { +LLVMMetadataRef llvm_dibuild_create_static_member_type_bytecode(value *argv, + int argn) { return llvm_dibuild_create_static_member_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // Scope @@ -602,8 +601,8 @@ (uint64_t)Int_val(SizeInBits), Int_val(AlignInBits), Flags); } -LLVMMetadataRef -llvm_dibuild_create_member_pointer_type_bytecode(value *argv, int argn) { +LLVMMetadataRef llvm_dibuild_create_member_pointer_type_bytecode(value *argv, + int argn) { return llvm_dibuild_create_member_pointer_type_native( argv[0], // Builder (LLVMMetadataRef)argv[1], // PointeeType @@ -614,20 +613,20 @@ ); } -LLVMMetadataRef -llvm_dibuild_create_object_pointer_type(value Builder, LLVMMetadataRef Type) { +LLVMMetadataRef llvm_dibuild_create_object_pointer_type(value Builder, + LLVMMetadataRef Type) { return LLVMDIBuilderCreateObjectPointerType(DIBuilder_val(Builder), Type); } -LLVMMetadataRef llvm_dibuild_create_qualified_type( - value Builder, value Tag, LLVMMetadataRef Type) { +LLVMMetadataRef llvm_dibuild_create_qualified_type(value Builder, value Tag, + LLVMMetadataRef Type) { return LLVMDIBuilderCreateQualifiedType(DIBuilder_val(Builder), Int_val(Tag), Type); } -LLVMMetadataRef llvm_dibuild_create_reference_type( - value Builder, value Tag, LLVMMetadataRef Type) { +LLVMMetadataRef llvm_dibuild_create_reference_type(value Builder, value Tag, + LLVMMetadataRef Type) { return LLVMDIBuilderCreateReferenceType(DIBuilder_val(Builder), Int_val(Tag), Type); @@ -647,8 +646,7 @@ File, Int_val(LineNo), Scope, Int_val(AlignInBits)); } -LLVMMetadataRef llvm_dibuild_create_typedef_bytecode(value *argv, - int argn) { +LLVMMetadataRef llvm_dibuild_create_typedef_bytecode(value *argv, int argn) { return llvm_dibuild_create_typedef_native(argv[0], // Builder (LLVMMetadataRef)argv[1], // Type @@ -660,17 +658,17 @@ ); } -LLVMMetadataRef llvm_dibuild_create_inheritance_native( - value Builder, LLVMMetadataRef Ty, LLVMMetadataRef BaseTy, value BaseOffset, - value VBPtrOffset, value Flags) { +LLVMMetadataRef +llvm_dibuild_create_inheritance_native(value Builder, LLVMMetadataRef Ty, + LLVMMetadataRef BaseTy, value BaseOffset, + value VBPtrOffset, value Flags) { return LLVMDIBuilderCreateInheritance(DIBuilder_val(Builder), Ty, BaseTy, (uint64_t)Int_val(BaseOffset), Int_val(VBPtrOffset), Flags); } -LLVMMetadataRef llvm_dibuild_create_inheritance_bytecode(value *argv, - int arg) { +LLVMMetadataRef llvm_dibuild_create_inheritance_bytecode(value *argv, int arg) { return llvm_dibuild_create_inheritance_native( argv[0], // Builder @@ -694,7 +692,7 @@ } LLVMMetadataRef llvm_dibuild_create_forward_decl_bytecode(value *argv, - int arg) { + int arg) { return llvm_dibuild_create_forward_decl_native( argv[0], // Builder @@ -753,8 +751,8 @@ DIFlags_val(Flags), Ty); } -LLVMMetadataRef -llvm_dibuild_create_bit_field_member_type_bytecode(value *argv, int arg) { +LLVMMetadataRef llvm_dibuild_create_bit_field_member_type_bytecode(value *argv, + int arg) { return llvm_dibuild_create_bit_field_member_type_native( argv[0], // Builder @@ -786,8 +784,7 @@ caml_string_length(UniqueIdentifier)); } -LLVMMetadataRef llvm_dibuild_create_class_type_bytecode(value *argv, - int arg) { +LLVMMetadataRef llvm_dibuild_create_class_type_bytecode(value *argv, int arg) { return llvm_dibuild_create_class_type_native( argv[0], // Builder @@ -807,8 +804,8 @@ ); } -LLVMMetadataRef -llvm_dibuild_create_artificial_type(value Builder, LLVMMetadataRef Type) { +LLVMMetadataRef llvm_dibuild_create_artificial_type(value Builder, + LLVMMetadataRef Type) { return LLVMDIBuilderCreateArtificialType(DIBuilder_val(Builder), Type); } @@ -860,14 +857,13 @@ return (ptr_to_option(LLVMInstructionGetDebugLoc(Inst))); } -value llvm_instr_set_debug_loc(LLVMValueRef Inst, - LLVMMetadataRef Loc) { +value llvm_instr_set_debug_loc(LLVMValueRef Inst, LLVMMetadataRef Loc) { LLVMInstructionSetDebugLoc(Inst, Loc); return Val_unit; } -LLVMMetadataRef -llvm_dibuild_create_constant_value_expression(value Builder, value Value) { +LLVMMetadataRef llvm_dibuild_create_constant_value_expression(value Builder, + value Value) { return LLVMDIBuilderCreateConstantValueExpression(DIBuilder_val(Builder), (int64_t)Int_val(Value)); } @@ -900,8 +896,7 @@ ); } -value -llvm_di_global_variable_expression_get_variable(LLVMMetadataRef GVE) { +value llvm_di_global_variable_expression_get_variable(LLVMMetadataRef GVE) { return (ptr_to_option(LLVMDIGlobalVariableExpressionGetVariable(GVE))); } diff --git a/llvm/bindings/ocaml/executionengine/executionengine_ocaml.c b/llvm/bindings/ocaml/executionengine/executionengine_ocaml.c --- a/llvm/bindings/ocaml/executionengine/executionengine_ocaml.c +++ b/llvm/bindings/ocaml/executionengine/executionengine_ocaml.c @@ -54,8 +54,8 @@ Options.MCJMM = NULL; } - if (LLVMCreateMCJITCompilerForModule(&MCJIT, M, &Options, - sizeof(Options), &Error)) + if (LLVMCreateMCJITCompilerForModule(&MCJIT, M, &Options, sizeof(Options), + &Error)) llvm_raise(*caml_named_value("Llvm_executionengine.Error"), Error); return MCJIT; } @@ -99,7 +99,7 @@ value llvm_ee_get_data_layout(LLVMExecutionEngineRef EE) { value DataLayout; LLVMTargetDataRef OrigDataLayout; - char* TargetDataCStr; + char *TargetDataCStr; OrigDataLayout = LLVMGetExecutionEngineTargetData(EE); TargetDataCStr = LLVMCopyStringRepOfTargetData(OrigDataLayout); @@ -111,17 +111,16 @@ /* Llvm.llvalue -> int64 -> llexecutionengine -> unit */ value llvm_ee_add_global_mapping(LLVMValueRef Global, value Ptr, - LLVMExecutionEngineRef EE) { - LLVMAddGlobalMapping(EE, Global, (void*) (Int64_val(Ptr))); + LLVMExecutionEngineRef EE) { + LLVMAddGlobalMapping(EE, Global, (void *)(Int64_val(Ptr))); return Val_unit; } -value llvm_ee_get_global_value_address(value Name, - LLVMExecutionEngineRef EE) { - return caml_copy_int64((int64_t) LLVMGetGlobalValueAddress(EE, String_val(Name))); +value llvm_ee_get_global_value_address(value Name, LLVMExecutionEngineRef EE) { + return caml_copy_int64( + (int64_t)LLVMGetGlobalValueAddress(EE, String_val(Name))); } -value llvm_ee_get_function_address(value Name, - LLVMExecutionEngineRef EE) { - return caml_copy_int64((int64_t) LLVMGetFunctionAddress(EE, String_val(Name))); +value llvm_ee_get_function_address(value Name, LLVMExecutionEngineRef EE) { + return caml_copy_int64((int64_t)LLVMGetFunctionAddress(EE, String_val(Name))); } diff --git a/llvm/bindings/ocaml/irreader/irreader_ocaml.c b/llvm/bindings/ocaml/irreader/irreader_ocaml.c --- a/llvm/bindings/ocaml/irreader/irreader_ocaml.c +++ b/llvm/bindings/ocaml/irreader/irreader_ocaml.c @@ -21,8 +21,7 @@ void llvm_raise(value Prototype, char *Message); /* Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule */ -value llvm_parse_ir(LLVMContextRef C, - LLVMMemoryBufferRef MemBuf) { +value llvm_parse_ir(LLVMContextRef C, LLVMMemoryBufferRef MemBuf) { CAMLparam0(); CAMLlocal2(Variant, MessageVal); LLVMModuleRef M; @@ -31,5 +30,5 @@ if (LLVMParseIRInContext(C, MemBuf, &M, &Message)) llvm_raise(*caml_named_value("Llvm_irreader.Error"), Message); - CAMLreturn((value) M); + CAMLreturn((value)M); } diff --git a/llvm/bindings/ocaml/linker/linker_ocaml.c b/llvm/bindings/ocaml/linker/linker_ocaml.c --- a/llvm/bindings/ocaml/linker/linker_ocaml.c +++ b/llvm/bindings/ocaml/linker/linker_ocaml.c @@ -27,7 +27,8 @@ /* llmodule -> llmodule -> unit */ value llvm_link_modules(LLVMModuleRef Dst, LLVMModuleRef Src) { if (LLVMLinkModules2(Dst, Src)) - llvm_raise(*caml_named_value("Llvm_linker.Error"), LLVMCreateMessage("Linking failed")); + llvm_raise(*caml_named_value("Llvm_linker.Error"), + LLVMCreateMessage("Linking failed")); return Val_unit; } diff --git a/llvm/bindings/ocaml/llvm/llvm_ocaml.c b/llvm/bindings/ocaml/llvm/llvm_ocaml.c --- a/llvm/bindings/ocaml/llvm/llvm_ocaml.c +++ b/llvm/bindings/ocaml/llvm/llvm_ocaml.c @@ -43,7 +43,7 @@ } } -value llvm_string_of_message(char* Message) { +value llvm_string_of_message(char *Message) { value String = caml_copy_string(Message); LLVMDisposeMessage(Message); @@ -107,7 +107,8 @@ } else { COverview = String_val(Field(Overview, 0)); } - LLVMParseCommandLineOptions(Wosize_val(Args), (const char* const*) Op_val(Args), COverview); + LLVMParseCommandLineOptions(Wosize_val(Args), + (const char *const *)Op_val(Args), COverview); return Val_unit; } @@ -199,9 +200,7 @@ /*===-- Contexts ----------------------------------------------------------===*/ /* unit -> llcontext */ -LLVMContextRef llvm_create_context(value Unit) { - return LLVMContextCreate(); -} +LLVMContextRef llvm_create_context(value Unit) { return LLVMContextCreate(); } /* llcontext -> unit */ value llvm_dispose_context(LLVMContextRef C) { @@ -217,8 +216,8 @@ /* llcontext -> string -> int */ value llvm_mdkind_id(LLVMContextRef C, value Name) { - unsigned MDKindID = LLVMGetMDKindIDInContext(C, String_val(Name), - caml_string_length(Name)); + unsigned MDKindID = + LLVMGetMDKindIDInContext(C, String_val(Name), caml_string_length(Name)); return Val_int(MDKindID); } @@ -226,16 +225,16 @@ /* string -> llattrkind */ value llvm_enum_attr_kind(value Name) { - unsigned Kind = LLVMGetEnumAttributeKindForName( - String_val(Name), caml_string_length(Name)); - if(Kind == 0) + unsigned Kind = LLVMGetEnumAttributeKindForName(String_val(Name), + caml_string_length(Name)); + if (Kind == 0) caml_raise_with_arg(*caml_named_value("Llvm.UnknownAttribute"), Name); return Val_int(Kind); } /* llcontext -> int -> int64 -> llattribute */ -LLVMAttributeRef -llvm_create_enum_attr_by_kind(LLVMContextRef C, value Kind, value Value) { +LLVMAttributeRef llvm_create_enum_attr_by_kind(LLVMContextRef C, value Kind, + value Value) { return LLVMCreateEnumAttribute(C, Int_val(Kind), Int64_val(Value)); } @@ -255,11 +254,11 @@ } /* llcontext -> kind:string -> name:string -> llattribute */ -LLVMAttributeRef llvm_create_string_attr(LLVMContextRef C, - value Kind, value Value) { - return LLVMCreateStringAttribute(C, - String_val(Kind), caml_string_length(Kind), - String_val(Value), caml_string_length(Value)); +LLVMAttributeRef llvm_create_string_attr(LLVMContextRef C, value Kind, + value Value) { + return LLVMCreateStringAttribute(C, String_val(Kind), + caml_string_length(Kind), String_val(Value), + caml_string_length(Value)); } /* llattribute -> bool */ @@ -271,14 +270,14 @@ value llvm_get_string_attr_kind(LLVMAttributeRef A) { unsigned Length; const char *String = LLVMGetStringAttributeKind(A, &Length); - return cstr_to_string (String, Length); + return cstr_to_string(String, Length); } /* llattribute -> string */ value llvm_get_string_attr_value(LLVMAttributeRef A) { unsigned Length; const char *String = LLVMGetStringAttributeValue(A, &Length); - return cstr_to_string (String, Length); + return cstr_to_string(String, Length); } /*===-- Modules -----------------------------------------------------------===*/ @@ -324,9 +323,9 @@ /* string -> llmodule -> unit */ value llvm_print_module(value Filename, LLVMModuleRef M) { - char* Message; + char *Message; - if(LLVMPrintModuleToFile(M, String_val(Filename), &Message)) + if (LLVMPrintModuleToFile(M, String_val(Filename), &Message)) llvm_raise(*caml_named_value("Llvm.IoError"), Message); return Val_unit; @@ -366,9 +365,8 @@ LLVMGetModuleFlag(M, String_val(Key), caml_string_length(Key))); } -value llvm_add_module_flag(LLVMModuleRef M, - LLVMModuleFlagBehavior Behaviour, value Key, - LLVMMetadataRef Val) { +value llvm_add_module_flag(LLVMModuleRef M, LLVMModuleFlagBehavior Behaviour, + value Key, LLVMMetadataRef Val) { LLVMAddModuleFlag(M, Int_val(Behaviour), String_val(Key), caml_string_length(Key), Val); return Val_unit; @@ -382,7 +380,7 @@ } value llvm_type_is_sized(LLVMTypeRef Ty) { - return Val_bool(LLVMTypeIsSized(Ty)); + return Val_bool(LLVMTypeIsSized(Ty)); } /* lltype -> llcontext */ @@ -396,7 +394,7 @@ LLVMDumpType(Val); #else caml_raise_with_arg(*caml_named_value("Llvm.FeatureDisabled"), - caml_copy_string("dump")); + caml_copy_string("dump")); #endif return Val_unit; } @@ -413,27 +411,27 @@ /*--... Operations on integer types ........................................--*/ /* llcontext -> lltype */ -LLVMTypeRef llvm_i1_type (LLVMContextRef Context) { +LLVMTypeRef llvm_i1_type(LLVMContextRef Context) { return LLVMInt1TypeInContext(Context); } /* llcontext -> lltype */ -LLVMTypeRef llvm_i8_type (LLVMContextRef Context) { +LLVMTypeRef llvm_i8_type(LLVMContextRef Context) { return LLVMInt8TypeInContext(Context); } /* llcontext -> lltype */ -LLVMTypeRef llvm_i16_type (LLVMContextRef Context) { +LLVMTypeRef llvm_i16_type(LLVMContextRef Context) { return LLVMInt16TypeInContext(Context); } /* llcontext -> lltype */ -LLVMTypeRef llvm_i32_type (LLVMContextRef Context) { +LLVMTypeRef llvm_i32_type(LLVMContextRef Context) { return LLVMInt32TypeInContext(Context); } /* llcontext -> lltype */ -LLVMTypeRef llvm_i64_type (LLVMContextRef Context) { +LLVMTypeRef llvm_i64_type(LLVMContextRef Context) { return LLVMInt64TypeInContext(Context); } @@ -478,15 +476,14 @@ /* lltype -> lltype array -> lltype */ LLVMTypeRef llvm_function_type(LLVMTypeRef RetTy, value ParamTys) { - return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, - Wosize_val(ParamTys), 0); + return LLVMFunctionType(RetTy, (LLVMTypeRef *)ParamTys, Wosize_val(ParamTys), + 0); } /* lltype -> lltype array -> lltype */ -LLVMTypeRef llvm_var_arg_function_type(LLVMTypeRef RetTy, - value ParamTys) { - return LLVMFunctionType(RetTy, (LLVMTypeRef *) ParamTys, - Wosize_val(ParamTys), 1); +LLVMTypeRef llvm_var_arg_function_type(LLVMTypeRef RetTy, value ParamTys) { + return LLVMFunctionType(RetTy, (LLVMTypeRef *)ParamTys, Wosize_val(ParamTys), + 1); } /* lltype -> bool */ @@ -505,28 +502,24 @@ /* llcontext -> lltype array -> lltype */ LLVMTypeRef llvm_struct_type(LLVMContextRef C, value ElementTypes) { - return LLVMStructTypeInContext(C, (LLVMTypeRef *) ElementTypes, + return LLVMStructTypeInContext(C, (LLVMTypeRef *)ElementTypes, Wosize_val(ElementTypes), 0); } /* llcontext -> lltype array -> lltype */ -LLVMTypeRef llvm_packed_struct_type(LLVMContextRef C, - value ElementTypes) { - return LLVMStructTypeInContext(C, (LLVMTypeRef *) ElementTypes, +LLVMTypeRef llvm_packed_struct_type(LLVMContextRef C, value ElementTypes) { + return LLVMStructTypeInContext(C, (LLVMTypeRef *)ElementTypes, Wosize_val(ElementTypes), 1); } /* llcontext -> string -> lltype */ -LLVMTypeRef llvm_named_struct_type(LLVMContextRef C, - value Name) { +LLVMTypeRef llvm_named_struct_type(LLVMContextRef C, value Name) { return LLVMStructCreateNamed(C, String_val(Name)); } -value llvm_struct_set_body(LLVMTypeRef Ty, - value ElementTypes, - value Packed) { - LLVMStructSetBody(Ty, (LLVMTypeRef *) ElementTypes, - Wosize_val(ElementTypes), Bool_val(Packed)); +value llvm_struct_set_body(LLVMTypeRef Ty, value ElementTypes, value Packed) { + LLVMStructSetBody(Ty, (LLVMTypeRef *)ElementTypes, Wosize_val(ElementTypes), + Bool_val(Packed)); return Val_unit; } @@ -584,7 +577,7 @@ /* lltype -> int -> lltype */ LLVMTypeRef llvm_qualified_pointer_type(LLVMTypeRef ElementTy, - value AddressSpace) { + value AddressSpace) { return LLVMPointerType(ElementTy, Int_val(AddressSpace)); } @@ -611,7 +604,7 @@ /*--... Operations on other types ..........................................--*/ /* llcontext -> lltype */ -LLVMTypeRef llvm_void_type (LLVMContextRef Context) { +LLVMTypeRef llvm_void_type(LLVMContextRef Context) { return LLVMVoidTypeInContext(Context); } @@ -632,13 +625,11 @@ /*===-- VALUES ------------------------------------------------------------===*/ /* llvalue -> lltype */ -LLVMTypeRef llvm_type_of(LLVMValueRef Val) { - return LLVMTypeOf(Val); -} +LLVMTypeRef llvm_type_of(LLVMValueRef Val) { return LLVMTypeOf(Val); } /* keep in sync with ValueKind.t */ enum ValueKind { - NullValue=0, + NullValue = 0, Argument, BasicBlock, InlineAsm, @@ -732,8 +723,7 @@ } /* llvalue -> llvalue -> unit */ -value llvm_replace_all_uses_with(LLVMValueRef OldVal, - LLVMValueRef NewVal) { +value llvm_replace_all_uses_with(LLVMValueRef OldVal, LLVMValueRef NewVal) { LLVMReplaceAllUsesWith(OldVal, NewVal); return Val_unit; } @@ -780,24 +770,18 @@ } /* llvalue -> bool */ -value llvm_is_null(LLVMValueRef Val) { - return Val_bool(LLVMIsNull(Val)); -} +value llvm_is_null(LLVMValueRef Val) { return Val_bool(LLVMIsNull(Val)); } /* llvalue -> bool */ -value llvm_is_undef(LLVMValueRef Val) { - return Val_bool(LLVMIsUndef(Val)); -} +value llvm_is_undef(LLVMValueRef Val) { return Val_bool(LLVMIsUndef(Val)); } /* llvalue -> bool */ -value llvm_is_poison(LLVMValueRef Val) { - return Val_bool(LLVMIsPoison(Val)); -} +value llvm_is_poison(LLVMValueRef Val) { return Val_bool(LLVMIsPoison(Val)); } /* llvalue -> Opcode.t */ value llvm_constexpr_get_opcode(LLVMValueRef Val) { - return LLVMIsAConstantExpr(Val) ? - Val_int(LLVMGetConstOpcode(Val)) : Val_int(0); + return LLVMIsAConstantExpr(Val) ? Val_int(LLVMGetConstOpcode(Val)) + : Val_int(0); } /*--... Operations on instructions .........................................--*/ @@ -813,8 +797,7 @@ } /* llvalue -> int -> llvalue -> unit */ -value llvm_set_metadata(LLVMValueRef Val, value MDKindID, - LLVMValueRef MD) { +value llvm_set_metadata(LLVMValueRef Val, value MDKindID, LLVMValueRef MD) { LLVMSetMetadata(Val, Int_val(MDKindID), MD); return Val_unit; } @@ -825,7 +808,6 @@ return Val_unit; } - /*--... Operations on metadata .............................................--*/ /* llcontext -> string -> llvalue */ @@ -835,14 +817,12 @@ /* llcontext -> llvalue array -> llvalue */ LLVMValueRef llvm_mdnode(LLVMContextRef C, value ElementVals) { - return LLVMMDNodeInContext(C, (LLVMValueRef*) Op_val(ElementVals), + return LLVMMDNodeInContext(C, (LLVMValueRef *)Op_val(ElementVals), Wosize_val(ElementVals)); } /* llcontext -> llvalue */ -LLVMValueRef llvm_mdnull(LLVMContextRef C) { - return NULL; -} +LLVMValueRef llvm_mdnull(LLVMContextRef C) { return NULL; } /* llvalue -> string option */ value llvm_get_mdstring(LLVMValueRef V) { @@ -880,8 +860,7 @@ } /* llcontext -> llmetadata -> llvalue */ -LLVMValueRef llvm_metadata_as_value(LLVMContextRef C, - LLVMMetadataRef MD) { +LLVMValueRef llvm_metadata_as_value(LLVMContextRef C, LLVMMetadataRef MD) { return LLVMMetadataAsValue(C, MD); } @@ -889,12 +868,11 @@ /* lltype -> int -> llvalue */ LLVMValueRef llvm_const_int(LLVMTypeRef IntTy, value N) { - return LLVMConstInt(IntTy, (long long) Long_val(N), 1); + return LLVMConstInt(IntTy, (long long)Long_val(N), 1); } /* lltype -> Int64.t -> bool -> llvalue */ -LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N, - value SExt) { +LLVMValueRef llvm_const_of_int64(LLVMTypeRef IntTy, value N, value SExt) { return LLVMConstInt(IntTy, Int64_val(N), Bool_val(SExt)); } @@ -907,10 +885,9 @@ } /* lltype -> string -> int -> llvalue */ -LLVMValueRef llvm_const_int_of_string(LLVMTypeRef IntTy, value S, - value Radix) { - return LLVMConstIntOfStringAndSize(IntTy, String_val(S), caml_string_length(S), - Int_val(Radix)); +LLVMValueRef llvm_const_int_of_string(LLVMTypeRef IntTy, value S, value Radix) { + return LLVMConstIntOfStringAndSize(IntTy, String_val(S), + caml_string_length(S), Int_val(Radix)); } /* lltype -> float -> llvalue */ @@ -940,46 +917,45 @@ /* llcontext -> string -> llvalue */ LLVMValueRef llvm_const_string(LLVMContextRef Context, value Str, - value NullTerminate) { + value NullTerminate) { return LLVMConstStringInContext(Context, String_val(Str), string_length(Str), 1); } /* llcontext -> string -> llvalue */ LLVMValueRef llvm_const_stringz(LLVMContextRef Context, value Str, - value NullTerminate) { + value NullTerminate) { return LLVMConstStringInContext(Context, String_val(Str), string_length(Str), 0); } /* lltype -> llvalue array -> llvalue */ -LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy, - value ElementVals) { - return LLVMConstArray(ElementTy, (LLVMValueRef*) Op_val(ElementVals), +LLVMValueRef llvm_const_array(LLVMTypeRef ElementTy, value ElementVals) { + return LLVMConstArray(ElementTy, (LLVMValueRef *)Op_val(ElementVals), Wosize_val(ElementVals)); } /* llcontext -> llvalue array -> llvalue */ LLVMValueRef llvm_const_struct(LLVMContextRef C, value ElementVals) { - return LLVMConstStructInContext(C, (LLVMValueRef *) Op_val(ElementVals), + return LLVMConstStructInContext(C, (LLVMValueRef *)Op_val(ElementVals), Wosize_val(ElementVals), 0); } /* lltype -> llvalue array -> llvalue */ LLVMValueRef llvm_const_named_struct(LLVMTypeRef Ty, value ElementVals) { - return LLVMConstNamedStruct(Ty, (LLVMValueRef *) Op_val(ElementVals), Wosize_val(ElementVals)); + return LLVMConstNamedStruct(Ty, (LLVMValueRef *)Op_val(ElementVals), + Wosize_val(ElementVals)); } /* llcontext -> llvalue array -> llvalue */ -LLVMValueRef llvm_const_packed_struct(LLVMContextRef C, - value ElementVals) { - return LLVMConstStructInContext(C, (LLVMValueRef *) Op_val(ElementVals), +LLVMValueRef llvm_const_packed_struct(LLVMContextRef C, value ElementVals) { + return LLVMConstStructInContext(C, (LLVMValueRef *)Op_val(ElementVals), Wosize_val(ElementVals), 1); } /* llvalue array -> llvalue */ LLVMValueRef llvm_const_vector(value ElementVals) { - return LLVMConstVector((LLVMValueRef*) Op_val(ElementVals), + return LLVMConstVector((LLVMValueRef *)Op_val(ElementVals), Wosize_val(ElementVals)); } @@ -1001,41 +977,37 @@ /*--... Constant expressions ...............................................--*/ /* Icmp.t -> llvalue -> llvalue -> llvalue */ -LLVMValueRef llvm_const_icmp(value Pred, - LLVMValueRef LHSConstant, - LLVMValueRef RHSConstant) { +LLVMValueRef llvm_const_icmp(value Pred, LLVMValueRef LHSConstant, + LLVMValueRef RHSConstant) { return LLVMConstICmp(Int_val(Pred) + LLVMIntEQ, LHSConstant, RHSConstant); } /* Fcmp.t -> llvalue -> llvalue -> llvalue */ -LLVMValueRef llvm_const_fcmp(value Pred, - LLVMValueRef LHSConstant, - LLVMValueRef RHSConstant) { +LLVMValueRef llvm_const_fcmp(value Pred, LLVMValueRef LHSConstant, + LLVMValueRef RHSConstant) { return LLVMConstFCmp(Int_val(Pred), LHSConstant, RHSConstant); } /* llvalue -> llvalue array -> llvalue */ LLVMValueRef llvm_const_gep(LLVMValueRef ConstantVal, value Indices) { - return LLVMConstGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), + return LLVMConstGEP(ConstantVal, (LLVMValueRef *)Op_val(Indices), Wosize_val(Indices)); } /* llvalue -> llvalue array -> llvalue */ -LLVMValueRef llvm_const_in_bounds_gep(LLVMValueRef ConstantVal, - value Indices) { - return LLVMConstInBoundsGEP(ConstantVal, (LLVMValueRef*) Op_val(Indices), +LLVMValueRef llvm_const_in_bounds_gep(LLVMValueRef ConstantVal, value Indices) { + return LLVMConstInBoundsGEP(ConstantVal, (LLVMValueRef *)Op_val(Indices), Wosize_val(Indices)); } /* llvalue -> lltype -> is_signed:bool -> llvalue */ LLVMValueRef llvm_const_intcast(LLVMValueRef CV, LLVMTypeRef T, - value IsSigned) { + value IsSigned) { return LLVMConstIntCast(CV, T, Bool_val(IsSigned)); } /* llvalue -> int array -> llvalue */ -LLVMValueRef llvm_const_extractvalue(LLVMValueRef Aggregate, - value Indices) { +LLVMValueRef llvm_const_extractvalue(LLVMValueRef Aggregate, value Indices) { int size = Wosize_val(Indices); int i; LLVMValueRef result; @@ -1051,8 +1023,8 @@ } /* llvalue -> llvalue -> int array -> llvalue */ -LLVMValueRef llvm_const_insertvalue(LLVMValueRef Aggregate, - LLVMValueRef Val, value Indices) { +LLVMValueRef llvm_const_insertvalue(LLVMValueRef Aggregate, LLVMValueRef Val, + value Indices) { int size = Wosize_val(Indices); int i; LLVMValueRef result; @@ -1068,9 +1040,8 @@ } /* lltype -> string -> string -> bool -> bool -> llvalue */ -LLVMValueRef llvm_const_inline_asm(LLVMTypeRef Ty, value Asm, - value Constraints, value HasSideEffects, - value IsAlignStack) { +LLVMValueRef llvm_const_inline_asm(LLVMTypeRef Ty, value Asm, value Constraints, + value HasSideEffects, value IsAlignStack) { return LLVMConstInlineAsm(Ty, String_val(Asm), String_val(Constraints), Bool_val(HasSideEffects), Bool_val(IsAlignStack)); } @@ -1174,19 +1145,13 @@ } /* lluse -> lluse option */ -value llvm_use_succ(LLVMUseRef U) { - return ptr_to_option(LLVMGetNextUse(U)); -} +value llvm_use_succ(LLVMUseRef U) { return ptr_to_option(LLVMGetNextUse(U)); } /* lluse -> llvalue */ -LLVMValueRef llvm_user(LLVMUseRef UR) { - return LLVMGetUser(UR); -} +LLVMValueRef llvm_user(LLVMUseRef UR) { return LLVMGetUser(UR); } /* lluse -> llvalue */ -LLVMValueRef llvm_used_value(LLVMUseRef UR) { - return LLVMGetUsedValue(UR); -} +LLVMValueRef llvm_used_value(LLVMUseRef UR) { return LLVMGetUsedValue(UR); } /*--... Operations on global variables .....................................--*/ @@ -1194,8 +1159,7 @@ LLVMGetGlobalParent) /* lltype -> string -> llmodule -> llvalue */ -LLVMValueRef llvm_declare_global(LLVMTypeRef Ty, value Name, - LLVMModuleRef M) { +LLVMValueRef llvm_declare_global(LLVMTypeRef Ty, value Name, LLVMModuleRef M) { LLVMValueRef GlobalVar; if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { if (LLVMGetElementType(LLVMTypeOf(GlobalVar)) != Ty) @@ -1207,8 +1171,8 @@ /* lltype -> string -> int -> llmodule -> llvalue */ LLVMValueRef llvm_declare_qualified_global(LLVMTypeRef Ty, value Name, - value AddressSpace, - LLVMModuleRef M) { + value AddressSpace, + LLVMModuleRef M) { LLVMValueRef GlobalVar; if ((GlobalVar = LLVMGetNamedGlobal(M, String_val(Name)))) { if (LLVMGetElementType(LLVMTypeOf(GlobalVar)) != Ty) @@ -1227,22 +1191,18 @@ /* string -> llvalue -> llmodule -> llvalue */ LLVMValueRef llvm_define_global(value Name, LLVMValueRef Initializer, - LLVMModuleRef M) { - LLVMValueRef GlobalVar = LLVMAddGlobal(M, LLVMTypeOf(Initializer), - String_val(Name)); + LLVMModuleRef M) { + LLVMValueRef GlobalVar = + LLVMAddGlobal(M, LLVMTypeOf(Initializer), String_val(Name)); LLVMSetInitializer(GlobalVar, Initializer); return GlobalVar; } /* string -> llvalue -> int -> llmodule -> llvalue */ -LLVMValueRef llvm_define_qualified_global(value Name, - LLVMValueRef Initializer, - value AddressSpace, - LLVMModuleRef M) { - LLVMValueRef GlobalVar = LLVMAddGlobalInAddressSpace(M, - LLVMTypeOf(Initializer), - String_val(Name), - Int_val(AddressSpace)); +LLVMValueRef llvm_define_qualified_global(value Name, LLVMValueRef Initializer, + value AddressSpace, LLVMModuleRef M) { + LLVMValueRef GlobalVar = LLVMAddGlobalInAddressSpace( + M, LLVMTypeOf(Initializer), String_val(Name), Int_val(AddressSpace)); LLVMSetInitializer(GlobalVar, Initializer); return GlobalVar; } @@ -1259,8 +1219,7 @@ } /* llvalue -> llvalue -> unit */ -value llvm_set_initializer(LLVMValueRef ConstantVal, - LLVMValueRef GlobalVar) { +value llvm_set_initializer(LLVMValueRef ConstantVal, LLVMValueRef GlobalVar) { LLVMSetInitializer(GlobalVar, ConstantVal); return Val_unit; } @@ -1277,8 +1236,7 @@ } /* bool -> llvalue -> unit */ -value llvm_set_thread_local(value IsThreadLocal, - LLVMValueRef GlobalVar) { +value llvm_set_thread_local(value IsThreadLocal, LLVMValueRef GlobalVar) { LLVMSetThreadLocal(GlobalVar, Bool_val(IsThreadLocal)); return Val_unit; } @@ -1290,7 +1248,7 @@ /* ThreadLocalMode.t -> llvalue -> unit */ value llvm_set_thread_local_mode(value ThreadLocalMode, - LLVMValueRef GlobalVar) { + LLVMValueRef GlobalVar) { LLVMSetThreadLocalMode(GlobalVar, Int_val(ThreadLocalMode)); return Val_unit; } @@ -1302,7 +1260,7 @@ /* bool -> llvalue -> unit */ value llvm_set_externally_initialized(value IsExternallyInitialized, - LLVMValueRef GlobalVar) { + LLVMValueRef GlobalVar) { LLVMSetExternallyInitialized(GlobalVar, Bool_val(IsExternallyInitialized)); return Val_unit; } @@ -1321,7 +1279,7 @@ /*--... Operations on aliases ..............................................--*/ LLVMValueRef llvm_add_alias(LLVMModuleRef M, LLVMTypeRef Ty, - LLVMValueRef Aliasee, value Name) { + LLVMValueRef Aliasee, value Name) { return LLVMAddAlias(M, Ty, Aliasee, String_val(Name)); } @@ -1332,7 +1290,7 @@ /* string -> lltype -> llmodule -> llvalue */ LLVMValueRef llvm_declare_function(value Name, LLVMTypeRef Ty, - LLVMModuleRef M) { + LLVMModuleRef M) { LLVMValueRef Fn; if ((Fn = LLVMGetNamedFunction(M, String_val(Name)))) { if (LLVMGetElementType(LLVMTypeOf(Fn)) != Ty) @@ -1348,8 +1306,7 @@ } /* string -> lltype -> llmodule -> llvalue */ -LLVMValueRef llvm_define_function(value Name, LLVMTypeRef Ty, - LLVMModuleRef M) { +LLVMValueRef llvm_define_function(value Name, LLVMTypeRef Ty, LLVMModuleRef M) { LLVMValueRef Fn = LLVMAddFunction(M, String_val(Name), Ty); LLVMAppendBasicBlockInContext(LLVMGetTypeContext(Ty), Fn, "entry"); return Fn; @@ -1392,8 +1349,7 @@ } /* llvalue -> llattribute -> int -> unit */ -value llvm_add_function_attr(LLVMValueRef F, LLVMAttributeRef A, - value Index) { +value llvm_add_function_attr(LLVMValueRef F, LLVMAttributeRef A, value Index) { LLVMAddAttributeAtIndex(F, Int_val(Index), A); return Val_unit; } @@ -1403,20 +1359,19 @@ unsigned Length = LLVMGetAttributeCountAtIndex(F, Int_val(Index)); value Array = caml_alloc_tuple_uninit(Length); LLVMGetAttributesAtIndex(F, Int_val(Index), - (LLVMAttributeRef *) Op_val(Array)); + (LLVMAttributeRef *)Op_val(Array)); return Array; } /* llvalue -> llattrkind -> int -> unit */ -value llvm_remove_enum_function_attr(LLVMValueRef F, value Kind, - value Index) { +value llvm_remove_enum_function_attr(LLVMValueRef F, value Kind, value Index) { LLVMRemoveEnumAttributeAtIndex(F, Int_val(Index), Int_val(Kind)); return Val_unit; } /* llvalue -> string -> int -> unit */ value llvm_remove_string_function_attr(LLVMValueRef F, value Kind, - value Index) { + value Index) { LLVMRemoveStringAttributeAtIndex(F, Int_val(Index), String_val(Kind), caml_string_length(Kind)); return Val_unit; @@ -1440,8 +1395,8 @@ /*--... Operations on basic blocks .........................................--*/ -DEFINE_ITERATORS( - block, BasicBlock, LLVMValueRef, LLVMBasicBlockRef, LLVMGetBasicBlockParent) +DEFINE_ITERATORS(block, BasicBlock, LLVMValueRef, LLVMBasicBlockRef, + LLVMGetBasicBlockParent) /* llbasicblock -> llvalue option */ value llvm_block_terminator(LLVMBasicBlockRef Block) { @@ -1481,13 +1436,13 @@ /* string -> llvalue -> llbasicblock */ LLVMBasicBlockRef llvm_append_block(LLVMContextRef Context, value Name, - LLVMValueRef Fn) { + LLVMValueRef Fn) { return LLVMAppendBasicBlockInContext(Context, Fn, String_val(Name)); } /* string -> llbasicblock -> llbasicblock */ LLVMBasicBlockRef llvm_insert_block(LLVMContextRef Context, value Name, - LLVMBasicBlockRef BB) { + LLVMBasicBlockRef BB) { return LLVMInsertBasicBlockInContext(Context, BB, String_val(Name)); } @@ -1505,7 +1460,7 @@ value llvm_instr_get_opcode(LLVMValueRef Inst) { LLVMOpcode o; if (!LLVMIsAInstruction(Inst)) - failwith("Not an instruction"); + failwith("Not an instruction"); o = LLVMGetInstructionOpcode(Inst); assert(o <= LLVMFreeze); return Val_int(o); @@ -1530,11 +1485,10 @@ /* llvalue -> llvalue */ LLVMValueRef llvm_instr_clone(LLVMValueRef Inst) { if (!LLVMIsAInstruction(Inst)) - failwith("Not an instruction"); + failwith("Not an instruction"); return LLVMInstructionClone(Inst); } - /*--... Operations on call sites ...........................................--*/ /* llvalue -> int */ @@ -1549,8 +1503,7 @@ } /* llvalue -> llattribute -> int -> unit */ -value llvm_add_call_site_attr(LLVMValueRef F, LLVMAttributeRef A, - value Index) { +value llvm_add_call_site_attr(LLVMValueRef F, LLVMAttributeRef A, value Index) { LLVMAddCallSiteAttribute(F, Int_val(Index), A); return Val_unit; } @@ -1565,15 +1518,14 @@ } /* llvalue -> llattrkind -> int -> unit */ -value llvm_remove_enum_call_site_attr(LLVMValueRef F, value Kind, - value Index) { +value llvm_remove_enum_call_site_attr(LLVMValueRef F, value Kind, value Index) { LLVMRemoveCallSiteEnumAttribute(F, Int_val(Index), Int_val(Kind)); return Val_unit; } /* llvalue -> string -> int -> unit */ value llvm_remove_string_call_site_attr(LLVMValueRef F, value Kind, - value Index) { + value Index) { LLVMRemoveCallSiteStringAttribute(F, Int_val(Index), String_val(Kind), caml_string_length(Kind)); return Val_unit; @@ -1592,8 +1544,7 @@ } /* bool -> llvalue -> unit */ -value llvm_set_tail_call(value IsTailCall, - LLVMValueRef CallInst) { +value llvm_set_tail_call(value IsTailCall, LLVMValueRef CallInst) { LLVMSetTailCall(CallInst, Bool_val(IsTailCall)); return Val_unit; } @@ -1606,13 +1557,11 @@ } /* bool -> llvalue -> unit */ -value llvm_set_volatile(value IsVolatile, - LLVMValueRef MemoryInst) { +value llvm_set_volatile(value IsVolatile, LLVMValueRef MemoryInst) { LLVMSetVolatile(MemoryInst, Bool_val(IsVolatile)); return Val_unit; } - /*--.. Operations on terminators ...........................................--*/ /* llvalue -> int -> llbasicblock */ @@ -1634,9 +1583,7 @@ /*--.. Operations on branch ................................................--*/ /* llvalue -> llvalue */ -LLVMValueRef llvm_condition(LLVMValueRef V) { - return LLVMGetCondition(V); -} +LLVMValueRef llvm_condition(LLVMValueRef V) { return LLVMGetCondition(V); } /* llvalue -> llvalue -> unit */ value llvm_set_condition(LLVMValueRef B, LLVMValueRef C) { @@ -1653,10 +1600,8 @@ /* (llvalue * llbasicblock) -> llvalue -> unit */ value llvm_add_incoming(value Incoming, LLVMValueRef PhiNode) { - LLVMAddIncoming(PhiNode, - (LLVMValueRef*) &Field(Incoming, 0), - (LLVMBasicBlockRef*) &Field(Incoming, 1), - 1); + LLVMAddIncoming(PhiNode, (LLVMValueRef *)&Field(Incoming, 0), + (LLVMBasicBlockRef *)&Field(Incoming, 1), 1); return Val_unit; } @@ -1690,21 +1635,17 @@ /*===-- Instruction builders ----------------------------------------------===*/ -#define Builder_val(v) (*(LLVMBuilderRef *)(Data_custom_val(v))) +#define Builder_val(v) (*(LLVMBuilderRef *)(Data_custom_val(v))) static void llvm_finalize_builder(value B) { LLVMDisposeBuilder(Builder_val(B)); } static struct custom_operations builder_ops = { - (char *) "Llvm.llbuilder", - llvm_finalize_builder, - custom_compare_default, - custom_hash_default, - custom_serialize_default, - custom_deserialize_default, - custom_compare_ext_default -}; + (char *)"Llvm.llbuilder", llvm_finalize_builder, + custom_compare_default, custom_hash_default, + custom_serialize_default, custom_deserialize_default, + custom_compare_ext_default}; static value alloc_builder(LLVMBuilderRef B) { value V = alloc_custom(&builder_ops, sizeof(LLVMBuilderRef), 0, 1); @@ -1720,10 +1661,10 @@ /* (llbasicblock, llvalue) llpos -> llbuilder -> unit */ value llvm_position_builder(value Pos, value B) { if (Tag_val(Pos) == 0) { - LLVMBasicBlockRef BB = (LLVMBasicBlockRef) Op_val(Field(Pos, 0)); + LLVMBasicBlockRef BB = (LLVMBasicBlockRef)Op_val(Field(Pos, 0)); LLVMPositionBuilderAtEnd(Builder_val(B), BB); } else { - LLVMValueRef I = (LLVMValueRef) Op_val(Field(Pos, 0)); + LLVMValueRef I = (LLVMValueRef)Op_val(Field(Pos, 0)); LLVMPositionBuilderBefore(Builder_val(B), I); } return Val_unit; @@ -1768,7 +1709,6 @@ return Val_unit; } - /*--... Terminators ........................................................--*/ /* llbuilder -> llvalue */ @@ -1783,7 +1723,7 @@ /* llvalue array -> llbuilder -> llvalue */ LLVMValueRef llvm_build_aggregate_ret(value RetVals, value B) { - return LLVMBuildAggregateRet(Builder_val(B), (LLVMValueRef *) Op_val(RetVals), + return LLVMBuildAggregateRet(Builder_val(B), (LLVMValueRef *)Op_val(RetVals), Wosize_val(RetVals)); } @@ -1793,59 +1733,48 @@ } /* llvalue -> llbasicblock -> llbasicblock -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_cond_br(LLVMValueRef If, - LLVMBasicBlockRef Then, - LLVMBasicBlockRef Else, - value B) { +LLVMValueRef llvm_build_cond_br(LLVMValueRef If, LLVMBasicBlockRef Then, + LLVMBasicBlockRef Else, value B) { return LLVMBuildCondBr(Builder_val(B), If, Then, Else); } /* llvalue -> llbasicblock -> int -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_switch(LLVMValueRef Of, - LLVMBasicBlockRef Else, - value EstimatedCount, - value B) { +LLVMValueRef llvm_build_switch(LLVMValueRef Of, LLVMBasicBlockRef Else, + value EstimatedCount, value B) { return LLVMBuildSwitch(Builder_val(B), Of, Else, Int_val(EstimatedCount)); } /* lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_malloc(LLVMTypeRef Ty, value Name, - value B) -{ +LLVMValueRef llvm_build_malloc(LLVMTypeRef Ty, value Name, value B) { return LLVMBuildMalloc(Builder_val(B), Ty, String_val(Name)); } /* lltype -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_array_malloc(LLVMTypeRef Ty, - LLVMValueRef Val, - value Name, value B) -{ +LLVMValueRef llvm_build_array_malloc(LLVMTypeRef Ty, LLVMValueRef Val, + value Name, value B) { return LLVMBuildArrayMalloc(Builder_val(B), Ty, Val, String_val(Name)); } /* llvalue -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_free(LLVMValueRef P, value B) -{ +LLVMValueRef llvm_build_free(LLVMValueRef P, value B) { return LLVMBuildFree(Builder_val(B), P); } /* llvalue -> llvalue -> llbasicblock -> unit */ value llvm_add_case(LLVMValueRef Switch, LLVMValueRef OnVal, - LLVMBasicBlockRef Dest) { + LLVMBasicBlockRef Dest) { LLVMAddCase(Switch, OnVal, Dest); return Val_unit; } /* llvalue -> llbasicblock -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_indirect_br(LLVMValueRef Addr, - value EstimatedDests, - value B) { +LLVMValueRef llvm_build_indirect_br(LLVMValueRef Addr, value EstimatedDests, + value B) { return LLVMBuildIndirectBr(Builder_val(B), Addr, EstimatedDests); } /* llvalue -> llvalue -> llbasicblock -> unit */ -value llvm_add_destination(LLVMValueRef IndirectBr, - LLVMBasicBlockRef Dest) { +value llvm_add_destination(LLVMValueRef IndirectBr, LLVMBasicBlockRef Dest) { LLVMAddDestination(IndirectBr, Dest); return Val_unit; } @@ -1853,54 +1782,48 @@ /* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_invoke_nat(LLVMValueRef Fn, value Args, - LLVMBasicBlockRef Then, - LLVMBasicBlockRef Catch, - value Name, value B) { - return LLVMBuildInvoke(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Args), + LLVMBasicBlockRef Then, + LLVMBasicBlockRef Catch, value Name, + value B) { + return LLVMBuildInvoke(Builder_val(B), Fn, (LLVMValueRef *)Op_val(Args), Wosize_val(Args), Then, Catch, String_val(Name)); } /* llvalue -> llvalue array -> llbasicblock -> llbasicblock -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_invoke_bc(value Args[], int NumArgs) { - return llvm_build_invoke_nat((LLVMValueRef) Args[0], Args[1], - (LLVMBasicBlockRef) Args[2], - (LLVMBasicBlockRef) Args[3], - Args[4], Args[5]); + return llvm_build_invoke_nat((LLVMValueRef)Args[0], Args[1], + (LLVMBasicBlockRef)Args[2], + (LLVMBasicBlockRef)Args[3], Args[4], Args[5]); } /* lltype -> llvalue -> int -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_landingpad(LLVMTypeRef Ty, LLVMValueRef PersFn, - value NumClauses, value Name, - value B) { - return LLVMBuildLandingPad(Builder_val(B), Ty, PersFn, Int_val(NumClauses), - String_val(Name)); + value NumClauses, value Name, value B) { + return LLVMBuildLandingPad(Builder_val(B), Ty, PersFn, Int_val(NumClauses), + String_val(Name)); } /* llvalue -> llvalue -> unit */ -value llvm_add_clause(LLVMValueRef LandingPadInst, LLVMValueRef ClauseVal) -{ - LLVMAddClause(LandingPadInst, ClauseVal); - return Val_unit; +value llvm_add_clause(LLVMValueRef LandingPadInst, LLVMValueRef ClauseVal) { + LLVMAddClause(LandingPadInst, ClauseVal); + return Val_unit; } /* llvalue -> bool */ -value llvm_is_cleanup(LLVMValueRef LandingPadInst) -{ - return Val_bool(LLVMIsCleanup(LandingPadInst)); +value llvm_is_cleanup(LLVMValueRef LandingPadInst) { + return Val_bool(LLVMIsCleanup(LandingPadInst)); } /* llvalue -> bool -> unit */ -value llvm_set_cleanup(LLVMValueRef LandingPadInst, value flag) -{ - LLVMSetCleanup(LandingPadInst, Bool_val(flag)); - return Val_unit; +value llvm_set_cleanup(LLVMValueRef LandingPadInst, value flag) { + LLVMSetCleanup(LandingPadInst, Bool_val(flag)); + return Val_unit; } /* llvalue -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_resume(LLVMValueRef Exn, value B) -{ - return LLVMBuildResume(Builder_val(B), Exn); +LLVMValueRef llvm_build_resume(LLVMValueRef Exn, value B) { + return LLVMBuildResume(Builder_val(B), Exn); } /* llbuilder -> llvalue */ @@ -1911,252 +1834,242 @@ /*--... Arithmetic .........................................................--*/ /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_add(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_add(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildAdd(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nsw_add(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nsw_add(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNSWAdd(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nuw_add(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nuw_add(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNUWAdd(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fadd(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_fadd(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildFAdd(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_sub(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_sub(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildSub(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nsw_sub(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nsw_sub(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNSWSub(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nuw_sub(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nuw_sub(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNUWSub(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fsub(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_fsub(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildFSub(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_mul(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_mul(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildMul(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nsw_mul(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nsw_mul(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNSWMul(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nuw_mul(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_nuw_mul(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildNUWMul(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fmul(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_fmul(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildFMul(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_udiv(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_udiv(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildUDiv(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildSDiv(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_exact_sdiv(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { + value Name, value B) { return LLVMBuildExactSDiv(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fdiv(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_fdiv(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildFDiv(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_urem(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_urem(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildURem(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_srem(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_srem(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildSRem(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_frem(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_frem(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildFRem(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_shl(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_shl(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildShl(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_lshr(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_lshr(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildLShr(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_ashr(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_ashr(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildAShr(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_and(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_and(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildAnd(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_or(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_or(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildOr(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_xor(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_xor(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildXor(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_neg(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_neg(LLVMValueRef X, value Name, value B) { return LLVMBuildNeg(Builder_val(B), X, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nsw_neg(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_nsw_neg(LLVMValueRef X, value Name, value B) { return LLVMBuildNSWNeg(Builder_val(B), X, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_nuw_neg(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_nuw_neg(LLVMValueRef X, value Name, value B) { return LLVMBuildNUWNeg(Builder_val(B), X, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fneg(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_fneg(LLVMValueRef X, value Name, value B) { return LLVMBuildFNeg(Builder_val(B), X, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_not(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_not(LLVMValueRef X, value Name, value B) { return LLVMBuildNot(Builder_val(B), X, String_val(Name)); } /*--... Memory .............................................................--*/ /* lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_alloca(LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_alloca(LLVMTypeRef Ty, value Name, value B) { return LLVMBuildAlloca(Builder_val(B), Ty, String_val(Name)); } /* lltype -> llvalue -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_array_alloca(LLVMTypeRef Ty, LLVMValueRef Size, - value Name, value B) { + value Name, value B) { return LLVMBuildArrayAlloca(Builder_val(B), Ty, Size, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_load(LLVMValueRef Pointer, - value Name, value B) { +LLVMValueRef llvm_build_load(LLVMValueRef Pointer, value Name, value B) { return LLVMBuildLoad(Builder_val(B), Pointer, String_val(Name)); } /* llvalue -> llvalue -> llbuilder -> llvalue */ LLVMValueRef llvm_build_store(LLVMValueRef Value, LLVMValueRef Pointer, - value B) { + value B) { return LLVMBuildStore(Builder_val(B), Value, Pointer); } /* AtomicRMWBinOp.t -> llvalue -> llvalue -> AtomicOrdering.t -> bool -> llbuilder -> llvalue */ LLVMValueRef llvm_build_atomicrmw_native(value BinOp, LLVMValueRef Ptr, - LLVMValueRef Val, value Ord, - value ST, value Name, value B) { + LLVMValueRef Val, value Ord, value ST, + value Name, value B) { LLVMValueRef Instr; - Instr = LLVMBuildAtomicRMW(Builder_val(B), Int_val(BinOp), - Ptr, Val, Int_val(Ord), Bool_val(ST)); + Instr = LLVMBuildAtomicRMW(Builder_val(B), Int_val(BinOp), Ptr, Val, + Int_val(Ord), Bool_val(ST)); LLVMSetValueName(Instr, String_val(Name)); return Instr; } LLVMValueRef llvm_build_atomicrmw_bytecode(value *argv, int argn) { - return llvm_build_atomicrmw_native(argv[0], (LLVMValueRef) argv[1], - (LLVMValueRef) argv[2], argv[3], - argv[4], argv[5], argv[6]); + return llvm_build_atomicrmw_native(argv[0], (LLVMValueRef)argv[1], + (LLVMValueRef)argv[2], argv[3], argv[4], + argv[5], argv[6]); } /* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_gep(LLVMValueRef Pointer, value Indices, - value Name, value B) { - return LLVMBuildGEP(Builder_val(B), Pointer, - (LLVMValueRef *) Op_val(Indices), Wosize_val(Indices), - String_val(Name)); +LLVMValueRef llvm_build_gep(LLVMValueRef Pointer, value Indices, value Name, + value B) { + return LLVMBuildGEP(Builder_val(B), Pointer, (LLVMValueRef *)Op_val(Indices), + Wosize_val(Indices), String_val(Name)); } /* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_in_bounds_gep(LLVMValueRef Pointer, - value Indices, value Name, - value B) { +LLVMValueRef llvm_build_in_bounds_gep(LLVMValueRef Pointer, value Indices, + value Name, value B) { return LLVMBuildInBoundsGEP(Builder_val(B), Pointer, - (LLVMValueRef *) Op_val(Indices), + (LLVMValueRef *)Op_val(Indices), Wosize_val(Indices), String_val(Name)); } /* llvalue -> int -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_struct_gep(LLVMValueRef Pointer, - value Index, value Name, - value B) { - return LLVMBuildStructGEP(Builder_val(B), Pointer, - Int_val(Index), String_val(Name)); +LLVMValueRef llvm_build_struct_gep(LLVMValueRef Pointer, value Index, + value Name, value B) { + return LLVMBuildStructGEP(Builder_val(B), Pointer, Int_val(Index), + String_val(Name)); } /* string -> string -> llbuilder -> llvalue */ @@ -2166,8 +2079,7 @@ } /* string -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_global_stringptr(value Str, value Name, - value B) { +LLVMValueRef llvm_build_global_stringptr(value Str, value Name, value B) { return LLVMBuildGlobalStringPtr(Builder_val(B), String_val(Str), String_val(Name)); } @@ -2175,128 +2087,125 @@ /*--... Casts ..............................................................--*/ /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_trunc(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_trunc(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildTrunc(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_zext(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_zext(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildZExt(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_sext(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_sext(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildSExt(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fptoui(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_fptoui(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildFPToUI(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fptosi(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_fptosi(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildFPToSI(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_uitofp(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_uitofp(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildUIToFP(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_sitofp(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_sitofp(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildSIToFP(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fptrunc(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_fptrunc(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildFPTrunc(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fpext(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_fpext(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildFPExt(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_prttoint(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_prttoint(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildPtrToInt(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_inttoptr(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_inttoptr(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildIntToPtr(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_bitcast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_bitcast(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildBitCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_zext_or_bitcast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { + value Name, value B) { return LLVMBuildZExtOrBitCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_sext_or_bitcast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { + value Name, value B) { return LLVMBuildSExtOrBitCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_trunc_or_bitcast(LLVMValueRef X, - LLVMTypeRef Ty, value Name, - value B) { +LLVMValueRef llvm_build_trunc_or_bitcast(LLVMValueRef X, LLVMTypeRef Ty, + value Name, value B) { return LLVMBuildTruncOrBitCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_pointercast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_pointercast(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildPointerCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_intcast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_intcast(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildIntCast(Builder_val(B), X, Ty, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fpcast(LLVMValueRef X, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_fpcast(LLVMValueRef X, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildFPCast(Builder_val(B), X, Ty, String_val(Name)); } /*--... Comparisons ........................................................--*/ /* Icmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_icmp(value Pred, - LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_icmp(value Pred, LLVMValueRef LHS, LLVMValueRef RHS, + value Name, value B) { return LLVMBuildICmp(Builder_val(B), Int_val(Pred) + LLVMIntEQ, LHS, RHS, String_val(Name)); } /* Fcmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_fcmp(value Pred, - LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_fcmp(value Pred, LLVMValueRef LHS, LLVMValueRef RHS, + value Name, value B) { return LLVMBuildFCmp(Builder_val(B), Int_val(Pred), LHS, RHS, String_val(Name)); } @@ -2311,14 +2220,14 @@ assert(Incoming != Val_int(0) && "Empty list passed to Llvm.build_phi!"); Hd = Field(Incoming, 0); - FirstValue = (LLVMValueRef) Field(Hd, 0); - PhiNode = LLVMBuildPhi(Builder_val(B), LLVMTypeOf(FirstValue), - String_val(Name)); + FirstValue = (LLVMValueRef)Field(Hd, 0); + PhiNode = + LLVMBuildPhi(Builder_val(B), LLVMTypeOf(FirstValue), String_val(Name)); for (Tl = Incoming; Tl != Val_int(0); Tl = Field(Tl, 1)) { value Hd = Field(Tl, 0); - LLVMAddIncoming(PhiNode, (LLVMValueRef*) &Field(Hd, 0), - (LLVMBasicBlockRef*) &Field(Hd, 1), 1); + LLVMAddIncoming(PhiNode, (LLVMValueRef *)&Field(Hd, 0), + (LLVMBasicBlockRef *)&Field(Hd, 1), 1); } return PhiNode; @@ -2330,84 +2239,75 @@ } /* llvalue -> llvalue array -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_call(LLVMValueRef Fn, value Params, - value Name, value B) { - return LLVMBuildCall(Builder_val(B), Fn, (LLVMValueRef *) Op_val(Params), +LLVMValueRef llvm_build_call(LLVMValueRef Fn, value Params, value Name, + value B) { + return LLVMBuildCall(Builder_val(B), Fn, (LLVMValueRef *)Op_val(Params), Wosize_val(Params), String_val(Name)); } /* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_select(LLVMValueRef If, - LLVMValueRef Then, LLVMValueRef Else, - value Name, value B) { +LLVMValueRef llvm_build_select(LLVMValueRef If, LLVMValueRef Then, + LLVMValueRef Else, value Name, value B) { return LLVMBuildSelect(Builder_val(B), If, Then, Else, String_val(Name)); } /* llvalue -> lltype -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_va_arg(LLVMValueRef List, LLVMTypeRef Ty, - value Name, value B) { +LLVMValueRef llvm_build_va_arg(LLVMValueRef List, LLVMTypeRef Ty, value Name, + value B) { return LLVMBuildVAArg(Builder_val(B), List, Ty, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_extractelement(LLVMValueRef Vec, - LLVMValueRef Idx, - value Name, value B) { +LLVMValueRef llvm_build_extractelement(LLVMValueRef Vec, LLVMValueRef Idx, + value Name, value B) { return LLVMBuildExtractElement(Builder_val(B), Vec, Idx, String_val(Name)); } /* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_insertelement(LLVMValueRef Vec, - LLVMValueRef Element, - LLVMValueRef Idx, - value Name, value B) { +LLVMValueRef llvm_build_insertelement(LLVMValueRef Vec, LLVMValueRef Element, + LLVMValueRef Idx, value Name, value B) { return LLVMBuildInsertElement(Builder_val(B), Vec, Element, Idx, String_val(Name)); } /* llvalue -> llvalue -> llvalue -> string -> llbuilder -> llvalue */ LLVMValueRef llvm_build_shufflevector(LLVMValueRef V1, LLVMValueRef V2, - LLVMValueRef Mask, - value Name, value B) { + LLVMValueRef Mask, value Name, value B) { return LLVMBuildShuffleVector(Builder_val(B), V1, V2, Mask, String_val(Name)); } /* llvalue -> int -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_extractvalue(LLVMValueRef Aggregate, - value Idx, value Name, value B) { +LLVMValueRef llvm_build_extractvalue(LLVMValueRef Aggregate, value Idx, + value Name, value B) { return LLVMBuildExtractValue(Builder_val(B), Aggregate, Int_val(Idx), String_val(Name)); } /* llvalue -> llvalue -> int -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_insertvalue(LLVMValueRef Aggregate, - LLVMValueRef Val, value Idx, - value Name, value B) { +LLVMValueRef llvm_build_insertvalue(LLVMValueRef Aggregate, LLVMValueRef Val, + value Idx, value Name, value B) { return LLVMBuildInsertValue(Builder_val(B), Aggregate, Val, Int_val(Idx), String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_is_null(LLVMValueRef Val, value Name, - value B) { +LLVMValueRef llvm_build_is_null(LLVMValueRef Val, value Name, value B) { return LLVMBuildIsNull(Builder_val(B), Val, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_is_not_null(LLVMValueRef Val, value Name, - value B) { +LLVMValueRef llvm_build_is_not_null(LLVMValueRef Val, value Name, value B) { return LLVMBuildIsNotNull(Builder_val(B), Val, String_val(Name)); } /* llvalue -> llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_ptrdiff(LLVMValueRef LHS, LLVMValueRef RHS, - value Name, value B) { +LLVMValueRef llvm_build_ptrdiff(LLVMValueRef LHS, LLVMValueRef RHS, value Name, + value B) { return LLVMBuildPtrDiff(Builder_val(B), LHS, RHS, String_val(Name)); } /* llvalue -> string -> llbuilder -> llvalue */ -LLVMValueRef llvm_build_freeze(LLVMValueRef X, - value Name, value B) { +LLVMValueRef llvm_build_freeze(LLVMValueRef X, value Name, value B) { return LLVMBuildFreeze(Builder_val(B), X, String_val(Name)); } @@ -2443,13 +2343,13 @@ LLVMMemoryBufferRef MemBuf; const char *NameCStr; - if(Name == Val_int(0)) + if (Name == Val_int(0)) NameCStr = ""; else NameCStr = String_val(Field(Name, 0)); MemBuf = LLVMCreateMemoryBufferWithMemoryRangeCopy( - String_val(String), caml_string_length(String), NameCStr); + String_val(String), caml_string_length(String), NameCStr); return MemBuf; } @@ -2475,8 +2375,7 @@ } /* llmodule -> [ `Function ] PassManager.t -> bool */ -value llvm_passmanager_run_module(LLVMModuleRef M, - LLVMPassManagerRef PM) { +value llvm_passmanager_run_module(LLVMModuleRef M, LLVMPassManagerRef PM) { return Val_bool(LLVMRunPassManager(PM, M)); } @@ -2486,8 +2385,7 @@ } /* llvalue -> [ `Function ] PassManager.t -> bool */ -value llvm_passmanager_run_function(LLVMValueRef F, - LLVMPassManagerRef FPM) { +value llvm_passmanager_run_function(LLVMValueRef F, LLVMPassManagerRef FPM) { return Val_bool(LLVMRunFunctionPassManager(FPM, F)); } diff --git a/llvm/bindings/ocaml/target/target_ocaml.c b/llvm/bindings/ocaml/target/target_ocaml.c --- a/llvm/bindings/ocaml/target/target_ocaml.c +++ b/llvm/bindings/ocaml/target/target_ocaml.c @@ -26,29 +26,28 @@ #include "llvm_ocaml.h" void llvm_raise(value Prototype, char *Message); -value llvm_string_of_message(char* Message); +value llvm_string_of_message(char *Message); /*===---- Data Layout -----------------------------------------------------===*/ -#define DataLayout_val(v) (*(LLVMTargetDataRef *)(Data_custom_val(v))) +#define DataLayout_val(v) (*(LLVMTargetDataRef *)(Data_custom_val(v))) static void llvm_finalize_data_layout(value DataLayout) { LLVMDisposeTargetData(DataLayout_val(DataLayout)); } static struct custom_operations llvm_data_layout_ops = { - (char *) "Llvm_target.DataLayout.t", - llvm_finalize_data_layout, - custom_compare_default, - custom_hash_default, - custom_serialize_default, - custom_deserialize_default, - custom_compare_ext_default -}; + (char *)"Llvm_target.DataLayout.t", + llvm_finalize_data_layout, + custom_compare_default, + custom_hash_default, + custom_serialize_default, + custom_deserialize_default, + custom_compare_ext_default}; value llvm_alloc_data_layout(LLVMTargetDataRef DataLayout) { - value V = alloc_custom(&llvm_data_layout_ops, sizeof(LLVMTargetDataRef), - 0, 1); + value V = + alloc_custom(&llvm_data_layout_ops, sizeof(LLVMTargetDataRef), 0, 1); DataLayout_val(V) = DataLayout; return V; } @@ -87,9 +86,8 @@ } /* Llvm.llcontext -> int -> DataLayout.t -> Llvm.lltype */ -LLVMTypeRef llvm_datalayout_qualified_intptr_type(LLVMContextRef C, - value AS, - value DL) { +LLVMTypeRef llvm_datalayout_qualified_intptr_type(LLVMContextRef C, value AS, + value DL) { return LLVMIntPtrTypeForASInContext(C, DataLayout_val(DL), Int_val(AS)); } @@ -125,22 +123,21 @@ /* Llvm.llvalue -> DataLayout.t -> int */ value llvm_datalayout_preferred_align_of_global(LLVMValueRef GlobalVar, - value DL) { + value DL) { return Val_int(LLVMPreferredAlignmentOfGlobal(DataLayout_val(DL), GlobalVar)); } /* Llvm.lltype -> Int64.t -> DataLayout.t -> int */ value llvm_datalayout_element_at_offset(LLVMTypeRef Ty, value Offset, - value DL) { - return Val_int(LLVMElementAtOffset(DataLayout_val(DL), Ty, - Int64_val(Offset))); + value DL) { + return Val_int( + LLVMElementAtOffset(DataLayout_val(DL), Ty, Int64_val(Offset))); } /* Llvm.lltype -> int -> DataLayout.t -> Int64.t */ -value llvm_datalayout_offset_of_element(LLVMTypeRef Ty, value Index, - value DL) { - return caml_copy_int64(LLVMOffsetOfElement(DataLayout_val(DL), Ty, - Int_val(Index))); +value llvm_datalayout_offset_of_element(LLVMTypeRef Ty, value Index, value DL) { + return caml_copy_int64( + LLVMOffsetOfElement(DataLayout_val(DL), Ty, Int_val(Index))); } /*===---- Target ----------------------------------------------------------===*/ @@ -174,7 +171,7 @@ LLVMTargetRef T; char *Error; - if(LLVMGetTargetFromTriple(String_val(Triple), &T, &Error)) + if (LLVMGetTargetFromTriple(String_val(Triple), &T, &Error)) llvm_raise(*caml_named_value("Llvm_target.Error"), Error); return T; @@ -207,21 +204,20 @@ /*===---- Target Machine --------------------------------------------------===*/ -#define TargetMachine_val(v) (*(LLVMTargetMachineRef *)(Data_custom_val(v))) +#define TargetMachine_val(v) (*(LLVMTargetMachineRef *)(Data_custom_val(v))) static void llvm_finalize_target_machine(value Machine) { LLVMDisposeTargetMachine(TargetMachine_val(Machine)); } static struct custom_operations llvm_target_machine_ops = { - (char *) "Llvm_target.TargetMachine.t", - llvm_finalize_target_machine, - custom_compare_default, - custom_hash_default, - custom_serialize_default, - custom_deserialize_default, - custom_compare_ext_default -}; + (char *)"Llvm_target.TargetMachine.t", + llvm_finalize_target_machine, + custom_compare_default, + custom_hash_default, + custom_serialize_default, + custom_deserialize_default, + custom_compare_ext_default}; static value llvm_alloc_targetmachine(LLVMTargetMachineRef Machine) { value V = alloc_custom(&llvm_target_machine_ops, sizeof(LLVMTargetMachineRef), @@ -233,35 +229,37 @@ /* triple:string -> ?cpu:string -> ?features:string ?level:CodeGenOptLevel.t -> ?reloc_mode:RelocMode.t ?code_model:CodeModel.t -> Target.t -> TargetMachine.t */ -value llvm_create_targetmachine_native(value Triple, value CPU, - value Features, value OptLevel, value RelocMode, - value CodeModel, LLVMTargetRef Target) { +value llvm_create_targetmachine_native(value Triple, value CPU, value Features, + value OptLevel, value RelocMode, + value CodeModel, LLVMTargetRef Target) { LLVMTargetMachineRef Machine; const char *CPUStr = "", *FeaturesStr = ""; LLVMCodeGenOptLevel OptLevelEnum = LLVMCodeGenLevelDefault; LLVMRelocMode RelocModeEnum = LLVMRelocDefault; LLVMCodeModel CodeModelEnum = LLVMCodeModelDefault; - if(CPU != Val_int(0)) + if (CPU != Val_int(0)) CPUStr = String_val(Field(CPU, 0)); - if(Features != Val_int(0)) + if (Features != Val_int(0)) FeaturesStr = String_val(Field(Features, 0)); - if(OptLevel != Val_int(0)) + if (OptLevel != Val_int(0)) OptLevelEnum = Int_val(Field(OptLevel, 0)); - if(RelocMode != Val_int(0)) + if (RelocMode != Val_int(0)) RelocModeEnum = Int_val(Field(RelocMode, 0)); - if(CodeModel != Val_int(0)) + if (CodeModel != Val_int(0)) CodeModelEnum = Int_val(Field(CodeModel, 0)); - Machine = LLVMCreateTargetMachine(Target, String_val(Triple), CPUStr, - FeaturesStr, OptLevelEnum, RelocModeEnum, CodeModelEnum); + Machine = + LLVMCreateTargetMachine(Target, String_val(Triple), CPUStr, FeaturesStr, + OptLevelEnum, RelocModeEnum, CodeModelEnum); return llvm_alloc_targetmachine(Machine); } value llvm_create_targetmachine_bytecode(value *argv, int argn) { return llvm_create_targetmachine_native(argv[0], argv[1], argv[2], argv[3], - argv[4], argv[5], (LLVMTargetRef) argv[6]); + argv[4], argv[5], + (LLVMTargetRef)argv[6]); } /* TargetMachine.t -> Target.t */ @@ -271,26 +269,26 @@ /* TargetMachine.t -> string */ value llvm_targetmachine_triple(value Machine) { - return llvm_string_of_message(LLVMGetTargetMachineTriple( - TargetMachine_val(Machine))); + return llvm_string_of_message( + LLVMGetTargetMachineTriple(TargetMachine_val(Machine))); } /* TargetMachine.t -> string */ value llvm_targetmachine_cpu(value Machine) { - return llvm_string_of_message(LLVMGetTargetMachineCPU( - TargetMachine_val(Machine))); + return llvm_string_of_message( + LLVMGetTargetMachineCPU(TargetMachine_val(Machine))); } /* TargetMachine.t -> string */ value llvm_targetmachine_features(value Machine) { - return llvm_string_of_message(LLVMGetTargetMachineFeatureString( - TargetMachine_val(Machine))); + return llvm_string_of_message( + LLVMGetTargetMachineFeatureString(TargetMachine_val(Machine))); } /* TargetMachine.t -> DataLayout.t */ value llvm_targetmachine_data_layout(value Machine) { - return llvm_alloc_data_layout(LLVMCreateTargetDataLayout( - TargetMachine_val(Machine))); + return llvm_alloc_data_layout( + LLVMCreateTargetDataLayout(TargetMachine_val(Machine))); } /* bool -> TargetMachine.t -> unit */ @@ -300,13 +298,13 @@ } /* Llvm.llmodule -> CodeGenFileType.t -> string -> TargetMachine.t -> unit */ -value llvm_targetmachine_emit_to_file(LLVMModuleRef Module, - value FileType, value FileName, value Machine) { +value llvm_targetmachine_emit_to_file(LLVMModuleRef Module, value FileType, + value FileName, value Machine) { char *ErrorMessage; - if(LLVMTargetMachineEmitToFile(TargetMachine_val(Machine), Module, - (char *)String_val(FileName), - Int_val(FileType), &ErrorMessage)) { + if (LLVMTargetMachineEmitToFile(TargetMachine_val(Machine), Module, + (char *)String_val(FileName), + Int_val(FileType), &ErrorMessage)) { llvm_raise(*caml_named_value("Llvm_target.Error"), ErrorMessage); } @@ -315,15 +313,15 @@ /* Llvm.llmodule -> CodeGenFileType.t -> TargetMachine.t -> Llvm.llmemorybuffer */ -LLVMMemoryBufferRef llvm_targetmachine_emit_to_memory_buffer( - LLVMModuleRef Module, value FileType, - value Machine) { +LLVMMemoryBufferRef +llvm_targetmachine_emit_to_memory_buffer(LLVMModuleRef Module, value FileType, + value Machine) { char *ErrorMessage; LLVMMemoryBufferRef Buffer; - if(LLVMTargetMachineEmitToMemoryBuffer(TargetMachine_val(Machine), Module, - Int_val(FileType), &ErrorMessage, - &Buffer)) { + if (LLVMTargetMachineEmitToMemoryBuffer(TargetMachine_val(Machine), Module, + Int_val(FileType), &ErrorMessage, + &Buffer)) { llvm_raise(*caml_named_value("Llvm_target.Error"), ErrorMessage); } @@ -332,7 +330,7 @@ /* TargetMachine.t -> Llvm.PassManager.t -> unit */ value llvm_targetmachine_add_analysis_passes(LLVMPassManagerRef PM, - value Machine) { + value Machine) { LLVMAddAnalysisPasses(TargetMachine_val(Machine), PM); return Val_unit; } diff --git a/llvm/bindings/ocaml/transforms/passmgr_builder/passmgr_builder_ocaml.c b/llvm/bindings/ocaml/transforms/passmgr_builder/passmgr_builder_ocaml.c --- a/llvm/bindings/ocaml/transforms/passmgr_builder/passmgr_builder_ocaml.c +++ b/llvm/bindings/ocaml/transforms/passmgr_builder/passmgr_builder_ocaml.c @@ -20,25 +20,21 @@ #include "caml/custom.h" #include "caml/misc.h" -#define PMBuilder_val(v) (*(LLVMPassManagerBuilderRef *)(Data_custom_val(v))) +#define PMBuilder_val(v) (*(LLVMPassManagerBuilderRef *)(Data_custom_val(v))) static void llvm_finalize_pmbuilder(value PMB) { LLVMPassManagerBuilderDispose(PMBuilder_val(PMB)); } static struct custom_operations pmbuilder_ops = { - (char *) "Llvm_passmgr_builder.t", - llvm_finalize_pmbuilder, - custom_compare_default, - custom_hash_default, - custom_serialize_default, - custom_deserialize_default, - custom_compare_ext_default -}; + (char *)"Llvm_passmgr_builder.t", llvm_finalize_pmbuilder, + custom_compare_default, custom_hash_default, + custom_serialize_default, custom_deserialize_default, + custom_compare_ext_default}; static value alloc_pmbuilder(LLVMPassManagerBuilderRef Ref) { - value Val = alloc_custom(&pmbuilder_ops, - sizeof(LLVMPassManagerBuilderRef), 0, 1); + value Val = + alloc_custom(&pmbuilder_ops, sizeof(LLVMPassManagerBuilderRef), 0, 1); PMBuilder_val(Val) = Ref; return Val; } @@ -61,51 +57,46 @@ } /* int -> t -> unit */ -value llvm_pmbuilder_use_inliner_with_threshold( - value Threshold, value PMB) { +value llvm_pmbuilder_use_inliner_with_threshold(value Threshold, value PMB) { LLVMPassManagerBuilderSetOptLevel(PMBuilder_val(PMB), Int_val(Threshold)); return Val_unit; } /* bool -> t -> unit */ -value llvm_pmbuilder_set_disable_unit_at_a_time( - value DisableUnitAtATime, value PMB) { - LLVMPassManagerBuilderSetDisableUnitAtATime( - PMBuilder_val(PMB), Bool_val(DisableUnitAtATime)); +value llvm_pmbuilder_set_disable_unit_at_a_time(value DisableUnitAtATime, + value PMB) { + LLVMPassManagerBuilderSetDisableUnitAtATime(PMBuilder_val(PMB), + Bool_val(DisableUnitAtATime)); return Val_unit; } /* bool -> t -> unit */ -value llvm_pmbuilder_set_disable_unroll_loops( - value DisableUnroll, value PMB) { - LLVMPassManagerBuilderSetDisableUnrollLoops( - PMBuilder_val(PMB), Bool_val(DisableUnroll)); +value llvm_pmbuilder_set_disable_unroll_loops(value DisableUnroll, value PMB) { + LLVMPassManagerBuilderSetDisableUnrollLoops(PMBuilder_val(PMB), + Bool_val(DisableUnroll)); return Val_unit; } /* [ `Function ] Llvm.PassManager.t -> t -> unit */ -value llvm_pmbuilder_populate_function_pass_manager( - LLVMPassManagerRef PM, value PMB) { - LLVMPassManagerBuilderPopulateFunctionPassManager( - PMBuilder_val(PMB), PM); +value llvm_pmbuilder_populate_function_pass_manager(LLVMPassManagerRef PM, + value PMB) { + LLVMPassManagerBuilderPopulateFunctionPassManager(PMBuilder_val(PMB), PM); return Val_unit; } /* [ `Module ] Llvm.PassManager.t -> t -> unit */ -value llvm_pmbuilder_populate_module_pass_manager( - LLVMPassManagerRef PM, value PMB) { - LLVMPassManagerBuilderPopulateModulePassManager( - PMBuilder_val(PMB), PM); +value llvm_pmbuilder_populate_module_pass_manager(LLVMPassManagerRef PM, + value PMB) { + LLVMPassManagerBuilderPopulateModulePassManager(PMBuilder_val(PMB), PM); return Val_unit; } /* [ `Module ] Llvm.PassManager.t -> internalize:bool -> run_inliner:bool -> t -> unit */ -value llvm_pmbuilder_populate_lto_pass_manager( - LLVMPassManagerRef PM, value Internalize, value RunInliner, - value PMB) { +value llvm_pmbuilder_populate_lto_pass_manager(LLVMPassManagerRef PM, + value Internalize, + value RunInliner, value PMB) { LLVMPassManagerBuilderPopulateLTOPassManager( - PMBuilder_val(PMB), PM, - Bool_val(Internalize), Bool_val(RunInliner)); + PMBuilder_val(PMB), PM, Bool_val(Internalize), Bool_val(RunInliner)); return Val_unit; } diff --git a/llvm/bindings/ocaml/transforms/scalar_opts/scalar_opts_ocaml.c b/llvm/bindings/ocaml/transforms/scalar_opts/scalar_opts_ocaml.c --- a/llvm/bindings/ocaml/transforms/scalar_opts/scalar_opts_ocaml.c +++ b/llvm/bindings/ocaml/transforms/scalar_opts/scalar_opts_ocaml.c @@ -183,7 +183,7 @@ /* int -> [ unit */ value llvm_add_scalar_repl_aggregates_with_threshold(value threshold, - LLVMPassManagerRef PM) { + LLVMPassManagerRef PM) { LLVMAddScalarReplAggregatesPassWithThreshold(PM, Int_val(threshold)); return Val_unit; } diff --git a/llvm/bindings/ocaml/transforms/utils/transform_utils_ocaml.c b/llvm/bindings/ocaml/transforms/utils/transform_utils_ocaml.c --- a/llvm/bindings/ocaml/transforms/utils/transform_utils_ocaml.c +++ b/llvm/bindings/ocaml/transforms/utils/transform_utils_ocaml.c @@ -26,6 +26,4 @@ */ /* llmodule -> llmodule */ -LLVMModuleRef llvm_clone_module(LLVMModuleRef M) { - return LLVMCloneModule(M); -} +LLVMModuleRef llvm_clone_module(LLVMModuleRef M) { return LLVMCloneModule(M); }