From 04deb4957ab253c02bce9d982d69396954744a41 Mon Sep 17 00:00:00 2001 From: Peter Zotov Date: Fri, 15 Nov 2013 02:51:44 +0000 Subject: [OCaml] Refactor Llvm_target interface This commit brings the module structure, argument order and primitive names in Llvm_target in order with the rest of the bindings, in preparation for adding TargetMachine API. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194773 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../ocaml/executionengine/executionengine_ocaml.c | 18 ++- .../ocaml/executionengine/llvm_executionengine.ml | 4 +- .../ocaml/executionengine/llvm_executionengine.mli | 5 +- bindings/ocaml/target/llvm_target.ml | 58 ++++---- bindings/ocaml/target/llvm_target.mli | 151 ++++++++++----------- bindings/ocaml/target/target_ocaml.c | 130 +++++++++--------- 6 files changed, 186 insertions(+), 180 deletions(-) (limited to 'bindings') diff --git a/bindings/ocaml/executionengine/executionengine_ocaml.c b/bindings/ocaml/executionengine/executionengine_ocaml.c index 3d2c8b0..4b44a91 100644 --- a/bindings/ocaml/executionengine/executionengine_ocaml.c +++ b/bindings/ocaml/executionengine/executionengine_ocaml.c @@ -324,10 +324,18 @@ CAMLprim value llvm_ee_free_machine_code(LLVMValueRef F, return Val_unit; } -extern value llvm_alloc_target_data(LLVMTargetDataRef TargetData); +extern value llvm_alloc_data_layout(LLVMTargetDataRef TargetData); -/* ExecutionEngine.t -> Llvm_target.TargetData.t */ -CAMLprim value llvm_ee_get_target_data(LLVMExecutionEngineRef EE) { - LLVMTargetDataRef TD = LLVMGetExecutionEngineTargetData(EE); - return llvm_alloc_target_data(TD); +/* ExecutionEngine.t -> Llvm_target.DataLayout.t */ +CAMLprim value llvm_ee_get_data_layout(LLVMExecutionEngineRef EE) { + value DataLayout; + LLVMTargetDataRef OrigDataLayout; + OrigDataLayout = LLVMGetExecutionEngineTargetData(EE); + + char* TargetDataCStr; + TargetDataCStr = LLVMCopyStringRepOfTargetData(OrigDataLayout); + DataLayout = llvm_alloc_data_layout(LLVMCreateTargetData(TargetDataCStr)); + LLVMDisposeMessage(TargetDataCStr); + + return DataLayout; } diff --git a/bindings/ocaml/executionengine/llvm_executionengine.ml b/bindings/ocaml/executionengine/llvm_executionengine.ml index 0199154..a738df7 100644 --- a/bindings/ocaml/executionengine/llvm_executionengine.ml +++ b/bindings/ocaml/executionengine/llvm_executionengine.ml @@ -83,8 +83,8 @@ module ExecutionEngine = struct external free_machine_code: Llvm.llvalue -> t -> unit = "llvm_ee_free_machine_code" - external target_data: t -> Llvm_target.DataLayout.t - = "llvm_ee_get_target_data" + external data_layout : t -> Llvm_target.DataLayout.t + = "llvm_ee_get_data_layout" (* The following are not bound. Patches are welcome. diff --git a/bindings/ocaml/executionengine/llvm_executionengine.mli b/bindings/ocaml/executionengine/llvm_executionengine.mli index 1aa250f..16f0893 100644 --- a/bindings/ocaml/executionengine/llvm_executionengine.mli +++ b/bindings/ocaml/executionengine/llvm_executionengine.mli @@ -147,9 +147,8 @@ module ExecutionEngine: sig used to store the machine code for the function [f]. *) val free_machine_code : Llvm.llvalue -> t -> unit - (** [target_data ee] is the target data owned by the execution engine - [ee]. *) - val target_data : t -> Llvm_target.DataLayout.t + (** [data_layout ee] is the data layout of the execution engine [ee]. *) + val data_layout : t -> Llvm_target.DataLayout.t end val initialize_native_target : unit -> bool diff --git a/bindings/ocaml/target/llvm_target.ml b/bindings/ocaml/target/llvm_target.ml index 8a6aabf..e43caef 100644 --- a/bindings/ocaml/target/llvm_target.ml +++ b/bindings/ocaml/target/llvm_target.ml @@ -16,32 +16,36 @@ end module DataLayout = struct type t - external create : string -> t = "llvm_targetdata_create" - external add : t -> [ unit - = "llvm_targetdata_add" - external as_string : t -> string = "llvm_targetdata_as_string" + external of_string : string -> t = "llvm_datalayout_of_string" + external as_string : t -> string = "llvm_datalayout_as_string" + external add_to_pass_manager : [ t -> unit + = "llvm_datalayout_add_to_pass_manager" + external byte_order : t -> Endian.t = "llvm_datalayout_byte_order" + external pointer_size : t -> int = "llvm_datalayout_pointer_size" + external intptr_type : Llvm.llcontext -> t -> Llvm.lltype + = "llvm_datalayout_intptr_type" + external qualified_pointer_size : int -> t -> int + = "llvm_datalayout_qualified_pointer_size" + external qualified_intptr_type : Llvm.llcontext -> int -> t -> Llvm.lltype + = "llvm_datalayout_qualified_intptr_type" + external size_in_bits : Llvm.lltype -> t -> Int64.t + = "llvm_datalayout_size_in_bits" + external store_size : Llvm.lltype -> t -> Int64.t + = "llvm_datalayout_store_size" + external abi_size : Llvm.lltype -> t -> Int64.t + = "llvm_datalayout_abi_size" + external abi_align : Llvm.lltype -> t -> int + = "llvm_datalayout_abi_align" + external stack_align : Llvm.lltype -> t -> int + = "llvm_datalayout_stack_align" + external preferred_align : Llvm.lltype -> t -> int + = "llvm_datalayout_preferred_align" + external preferred_align_of_global : Llvm.llvalue -> t -> int + = "llvm_datalayout_preferred_align_of_global" + external element_at_offset : Llvm.lltype -> Int64.t -> t -> int + = "llvm_datalayout_element_at_offset" + external offset_of_element : Llvm.lltype -> int -> t -> Int64.t + = "llvm_datalayout_offset_of_element" end -external byte_order : DataLayout.t -> Endian.t = "llvm_byte_order" -external pointer_size : DataLayout.t -> int = "llvm_pointer_size" -external intptr_type : DataLayout.t -> Llvm.llcontext -> Llvm.lltype - = "llvm_intptr_type" -external qualified_pointer_size : DataLayout.t -> int -> int - = "llvm_qualified_pointer_size" -external qualified_intptr_type : DataLayout.t -> Llvm.llcontext -> - int -> Llvm.lltype - = "llvm_qualified_intptr_type" -external size_in_bits : DataLayout.t -> Llvm.lltype -> Int64.t - = "llvm_size_in_bits" -external store_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_store_size" -external abi_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_abi_size" -external abi_align : DataLayout.t -> Llvm.lltype -> int = "llvm_abi_align" -external stack_align : DataLayout.t -> Llvm.lltype -> int = "llvm_stack_align" -external preferred_align : DataLayout.t -> Llvm.lltype -> int - = "llvm_preferred_align" -external preferred_align_of_global : DataLayout.t -> Llvm.llvalue -> int - = "llvm_preferred_align_of_global" -external element_at_offset : DataLayout.t -> Llvm.lltype -> Int64.t -> int - = "llvm_element_at_offset" -external offset_of_element : DataLayout.t -> Llvm.lltype -> int -> Int64.t - = "llvm_offset_of_element" diff --git a/bindings/ocaml/target/llvm_target.mli b/bindings/ocaml/target/llvm_target.mli index 87b7005..168eef5 100644 --- a/bindings/ocaml/target/llvm_target.mli +++ b/bindings/ocaml/target/llvm_target.mli @@ -21,84 +21,75 @@ end module DataLayout : sig type t - (** [DataLayout.create rep] parses the target data string representation [rep]. - See the constructor llvm::DataLayout::DataLayout. *) - external create : string -> t = "llvm_targetdata_create" - - (** [add_target_data td pm] adds the target data [td] to the pass manager [pm]. - Does not take ownership of the target data. - See the method llvm::PassManagerBase::add. *) - external add : t -> [ unit - = "llvm_targetdata_add" - - (** [as_string td] is the string representation of the target data [td]. - See the constructor llvm::DataLayout::DataLayout. *) - external as_string : t -> string = "llvm_targetdata_as_string" + (** [of_string rep] parses the data layout string representation [rep]. + See the constructor [llvm::DataLayout::DataLayout]. *) + val of_string : string -> t + + (** [as_string dl] is the string representation of the data layout [dl]. + See the method [llvm::DataLayout::getStringRepresentation]. *) + val as_string : t -> string + + (** [add_to_pass_manager dl pm] adds the target data [dl] to + the pass manager [pm]. + See the method [llvm::PassManagerBase::add]. *) + val add_to_pass_manager : [ + t -> unit + + (** Returns the byte order of a target, either [Endian.Big] or + [Endian.Little]. + See the method [llvm::DataLayout::isLittleEndian]. *) + val byte_order : t -> Endian.t + + (** Returns the pointer size in bytes for a target. + See the method [llvm::DataLayout::getPointerSize]. *) + val pointer_size : t -> int + + (** Returns the integer type that is the same size as a pointer on a target. + See the method [llvm::DataLayout::getIntPtrType]. *) + val intptr_type : Llvm.llcontext -> t -> Llvm.lltype + + (** Returns the pointer size in bytes for a target in a given address space. + See the method [llvm::DataLayout::getPointerSize]. *) + val qualified_pointer_size : int -> t -> int + + (** Returns the integer type that is the same size as a pointer on a target + in a given address space. + See the method [llvm::DataLayout::getIntPtrType]. *) + val qualified_intptr_type : Llvm.llcontext -> int -> t -> Llvm.lltype + + (** Computes the size of a type in bits for a target. + See the method [llvm::DataLayout::getTypeSizeInBits]. *) + val size_in_bits : Llvm.lltype -> t -> Int64.t + + (** Computes the storage size of a type in bytes for a target. + See the method [llvm::DataLayout::getTypeStoreSize]. *) + val store_size : Llvm.lltype -> t -> Int64.t + + (** Computes the ABI size of a type in bytes for a target. + See the method [llvm::DataLayout::getTypeAllocSize]. *) + val abi_size : Llvm.lltype -> t -> Int64.t + + (** Computes the ABI alignment of a type in bytes for a target. + See the method [llvm::DataLayout::getTypeABISize]. *) + val abi_align : Llvm.lltype -> t -> int + + (** Computes the call frame alignment of a type in bytes for a target. + See the method [llvm::DataLayout::getTypeABISize]. *) + val stack_align : Llvm.lltype -> t -> int + + (** Computes the preferred alignment of a type in bytes for a target. + See the method [llvm::DataLayout::getTypeABISize]. *) + val preferred_align : Llvm.lltype -> t -> int + + (** Computes the preferred alignment of a global variable in bytes for + a target. See the method [llvm::DataLayout::getPreferredAlignment]. *) + val preferred_align_of_global : Llvm.llvalue -> t -> int + + (** Computes the structure element that contains the byte offset for a target. + See the method [llvm::StructLayout::getElementContainingOffset]. *) + val element_at_offset : Llvm.lltype -> Int64.t -> t -> int + + (** Computes the byte offset of the indexed struct element for a target. + See the method [llvm::StructLayout::getElementContainingOffset]. *) + val offset_of_element : Llvm.lltype -> int -> t -> Int64.t end - -(** Returns the byte order of a target, either LLVMBigEndian or - LLVMLittleEndian. - See the method llvm::DataLayout::isLittleEndian. *) -external byte_order : DataLayout.t -> Endian.t = "llvm_byte_order" - -(** Returns the pointer size in bytes for a target. - See the method llvm::DataLayout::getPointerSize. *) -external pointer_size : DataLayout.t -> int = "llvm_pointer_size" - -(** Returns the integer type that is the same size as a pointer on a target. - See the method llvm::DataLayout::getIntPtrType. *) -external intptr_type : DataLayout.t -> Llvm.llcontext -> Llvm.lltype - = "llvm_intptr_type" - -(** Returns the pointer size in bytes for a target in a given address space. - See the method llvm::DataLayout::getPointerSize. *) -external qualified_pointer_size : DataLayout.t -> int -> int - = "llvm_qualified_pointer_size" - -(** Returns the integer type that is the same size as a pointer on a target - in a given address space. - See the method llvm::DataLayout::getIntPtrType. *) -external qualified_intptr_type : DataLayout.t -> Llvm.llcontext -> - int -> Llvm.lltype - = "llvm_qualified_intptr_type" - -(** Computes the size of a type in bits for a target. - See the method llvm::DataLayout::getTypeSizeInBits. *) -external size_in_bits : DataLayout.t -> Llvm.lltype -> Int64.t - = "llvm_size_in_bits" - -(** Computes the storage size of a type in bytes for a target. - See the method llvm::DataLayout::getTypeStoreSize. *) -external store_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_store_size" - -(** Computes the ABI size of a type in bytes for a target. - See the method llvm::DataLayout::getTypeAllocSize. *) -external abi_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_abi_size" - -(** Computes the ABI alignment of a type in bytes for a target. - See the method llvm::DataLayout::getTypeABISize. *) -external abi_align : DataLayout.t -> Llvm.lltype -> int = "llvm_abi_align" - -(** Computes the call frame alignment of a type in bytes for a target. - See the method llvm::DataLayout::getTypeABISize. *) -external stack_align : DataLayout.t -> Llvm.lltype -> int = "llvm_stack_align" - -(** Computes the preferred alignment of a type in bytes for a target. - See the method llvm::DataLayout::getTypeABISize. *) -external preferred_align : DataLayout.t -> Llvm.lltype -> int - = "llvm_preferred_align" - -(** Computes the preferred alignment of a global variable in bytes for a target. - See the method llvm::DataLayout::getPreferredAlignment. *) -external preferred_align_of_global : DataLayout.t -> Llvm.llvalue -> int - = "llvm_preferred_align_of_global" - -(** Computes the structure element that contains the byte offset for a target. - See the method llvm::StructLayout::getElementContainingOffset. *) -external element_at_offset : DataLayout.t -> Llvm.lltype -> Int64.t -> int - = "llvm_element_at_offset" - -(** Computes the byte offset of the indexed struct element for a target. - See the method llvm::StructLayout::getElementContainingOffset. *) -external offset_of_element : DataLayout.t -> Llvm.lltype -> int -> Int64.t - = "llvm_offset_of_element" diff --git a/bindings/ocaml/target/target_ocaml.c b/bindings/ocaml/target/target_ocaml.c index 5178c09..8bf8e6c 100644 --- a/bindings/ocaml/target/target_ocaml.c +++ b/bindings/ocaml/target/target_ocaml.c @@ -19,15 +19,15 @@ #include "caml/alloc.h" #include "caml/custom.h" -#define TargetData_val(v) (*(LLVMTargetDataRef *)(Data_custom_val(v))) +#define DataLayout_val(v) (*(LLVMTargetDataRef *)(Data_custom_val(v))) -static void llvm_finalize_target_data(value TargetData) { - LLVMDisposeTargetData(TargetData_val(TargetData)); +static void llvm_finalize_data_layout(value DataLayout) { + LLVMDisposeTargetData(DataLayout_val(DataLayout)); } -static struct custom_operations llvm_target_data_ops = { - (char *) "LLVMTargetData", - llvm_finalize_target_data, +static struct custom_operations llvm_data_layout_ops = { + (char *) "LLVMDataLayout", + llvm_finalize_data_layout, custom_compare_default, custom_hash_default, custom_serialize_default, @@ -37,101 +37,105 @@ static struct custom_operations llvm_target_data_ops = { #endif }; -value llvm_alloc_target_data(LLVMTargetDataRef TargetData) { - value V = alloc_custom(&llvm_target_data_ops, sizeof(LLVMTargetDataRef), 0, 1); - TargetData_val(V) = TargetData; +value llvm_alloc_data_layout(LLVMTargetDataRef DataLayout) { + value V = alloc_custom(&llvm_data_layout_ops, sizeof(LLVMTargetDataRef), 0, 1); + DataLayout_val(V) = DataLayout; return V; } /* string -> DataLayout.t */ -CAMLprim value llvm_targetdata_create(value StringRep) { - return llvm_alloc_target_data(LLVMCreateTargetData(String_val(StringRep))); -} - -/* DataLayout.t -> [ unit */ -CAMLprim value llvm_targetdata_add(value TD, LLVMPassManagerRef PM){ - LLVMAddTargetData(TargetData_val(TD), PM); - return Val_unit; +CAMLprim value llvm_datalayout_of_string(value StringRep) { + return llvm_alloc_data_layout(LLVMCreateTargetData(String_val(StringRep))); } /* DataLayout.t -> string */ -CAMLprim value llvm_targetdata_as_string(value TD) { - char *StringRep = LLVMCopyStringRepOfTargetData(TargetData_val(TD)); +CAMLprim value llvm_datalayout_as_string(value TD) { + char *StringRep = LLVMCopyStringRepOfTargetData(DataLayout_val(TD)); value Copy = copy_string(StringRep); LLVMDisposeMessage(StringRep); return Copy; } +/* [ DataLayout.t -> unit */ +CAMLprim value llvm_datalayout_add_to_pass_manager(LLVMPassManagerRef PM, + value DL) { + LLVMAddTargetData(DataLayout_val(DL), PM); + return Val_unit; +} + /* DataLayout.t -> Endian.t */ -CAMLprim value llvm_byte_order(value TD) { - return Val_int(LLVMByteOrder(TargetData_val(TD))); +CAMLprim value llvm_datalayout_byte_order(value DL) { + return Val_int(LLVMByteOrder(DataLayout_val(DL))); } /* DataLayout.t -> int */ -CAMLprim value llvm_pointer_size(value TD) { - return Val_int(LLVMPointerSize(TargetData_val(TD))); +CAMLprim value llvm_datalayout_pointer_size(value DL) { + return Val_int(LLVMPointerSize(DataLayout_val(DL))); } -/* DataLayout.t -> Llvm.llcontext -> Llvm.lltype */ -CAMLprim LLVMTypeRef llvm_intptr_type(value TD, LLVMContextRef C) { - return LLVMIntPtrTypeInContext(C, TargetData_val(TD));; +/* Llvm.llcontext -> DataLayout.t -> Llvm.lltype */ +CAMLprim LLVMTypeRef llvm_datalayout_intptr_type(LLVMContextRef C, value DL) { + return LLVMIntPtrTypeInContext(C, DataLayout_val(DL));; } -/* DataLayout.t -> int -> int */ -CAMLprim value llvm_qualified_pointer_size(LLVMTargetDataRef TD, value AS) { - return Val_int(LLVMPointerSizeForAS(TargetData_val(TD), Int_val(AS))); +/* int -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_qualified_pointer_size(value AS, value DL) { + return Val_int(LLVMPointerSizeForAS(DataLayout_val(DL), Int_val(AS))); } -/* DataLayout.t -> int -> Llvm.lltype */ -CAMLprim LLVMTypeRef llvm_qualified_intptr_type(LLVMTargetDataRef TD, - LLVMContextRef C, value AS) { - return LLVMIntPtrTypeForASInContext(C, TargetData_val(TD), Int_val(AS)); +/* Llvm.llcontext -> int -> DataLayout.t -> Llvm.lltype */ +CAMLprim LLVMTypeRef llvm_datalayout_qualified_intptr_type(LLVMContextRef C, + value AS, + value DL) { + return LLVMIntPtrTypeForASInContext(C, DataLayout_val(DL), Int_val(AS)); } -/* DataLayout.t -> Llvm.lltype -> Int64.t */ -CAMLprim value llvm_size_in_bits(value TD, LLVMTypeRef Ty) { - return caml_copy_int64(LLVMSizeOfTypeInBits(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> Int64.t */ +CAMLprim value llvm_datalayout_size_in_bits(LLVMTypeRef Ty, value DL) { + return caml_copy_int64(LLVMSizeOfTypeInBits(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.lltype -> Int64.t */ -CAMLprim value llvm_store_size(value TD, LLVMTypeRef Ty) { - return caml_copy_int64(LLVMStoreSizeOfType(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> Int64.t */ +CAMLprim value llvm_datalayout_store_size(LLVMTypeRef Ty, value DL) { + return caml_copy_int64(LLVMStoreSizeOfType(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.lltype -> Int64.t */ -CAMLprim value llvm_abi_size(value TD, LLVMTypeRef Ty) { - return caml_copy_int64(LLVMABISizeOfType(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> Int64.t */ +CAMLprim value llvm_datalayout_abi_size(LLVMTypeRef Ty, value DL) { + return caml_copy_int64(LLVMABISizeOfType(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.lltype -> int */ -CAMLprim value llvm_abi_align(value TD, LLVMTypeRef Ty) { - return Val_int(LLVMABIAlignmentOfType(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_abi_align(LLVMTypeRef Ty, value DL) { + return Val_int(LLVMABIAlignmentOfType(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.lltype -> int */ -CAMLprim value llvm_stack_align(value TD, LLVMTypeRef Ty) { - return Val_int(LLVMCallFrameAlignmentOfType(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_stack_align(LLVMTypeRef Ty, value DL) { + return Val_int(LLVMCallFrameAlignmentOfType(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.lltype -> int */ -CAMLprim value llvm_preferred_align(value TD, LLVMTypeRef Ty) { - return Val_int(LLVMPreferredAlignmentOfType(TargetData_val(TD), Ty)); +/* Llvm.lltype -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_preferred_align(LLVMTypeRef Ty, value DL) { + return Val_int(LLVMPreferredAlignmentOfType(DataLayout_val(DL), Ty)); } -/* DataLayout.t -> Llvm.llvalue -> int */ -CAMLprim value llvm_preferred_align_of_global(value TD, - LLVMValueRef GlobalVar) { - return Val_int(LLVMPreferredAlignmentOfGlobal(TargetData_val(TD), GlobalVar)); +/* Llvm.llvalue -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_preferred_align_of_global(LLVMValueRef GlobalVar, + value DL) { + return Val_int(LLVMPreferredAlignmentOfGlobal(DataLayout_val(DL), GlobalVar)); } -/* DataLayout.t -> Llvm.lltype -> Int64.t -> int */ -CAMLprim value llvm_element_at_offset(value TD, LLVMTypeRef Ty, - value Offset) { - return Val_int(LLVMElementAtOffset(TargetData_val(TD), Ty, Int64_val(Offset))); +/* Llvm.lltype -> Int64.t -> DataLayout.t -> int */ +CAMLprim value llvm_datalayout_element_at_offset(LLVMTypeRef Ty, value Offset, + value DL) { + return Val_int(LLVMElementAtOffset(DataLayout_val(DL), Ty, + Int64_val(Offset))); } -/* DataLayout.t -> Llvm.lltype -> int -> Int64.t */ -CAMLprim value llvm_offset_of_element(value TD, LLVMTypeRef Ty, - value Index) { - return caml_copy_int64(LLVMOffsetOfElement(TargetData_val(TD), Ty, Int_val(Index))); +/* Llvm.lltype -> int -> DataLayout.t -> Int64.t */ +CAMLprim value llvm_datalayout_offset_of_element(LLVMTypeRef Ty, value Index, + value DL) { + return caml_copy_int64(LLVMOffsetOfElement(DataLayout_val(DL), Ty, + Int_val(Index))); } -- cgit v1.1