checklink: first import of Valentin Robert's validator for asm and link

cparser: renamed Errors to Cerrors; removed packing into Cparser.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 151 insertions, 0 deletions

diff --git a/checklink/ELF_printers.ml b/checklink/ELF_printers.ml
new file mode 100644
index 0000000..f0f154e
--- /dev/null
+++ b/checklink/ELF_printers.ml
@@ -0,0 +1,151 @@
+open ELF_types
+open Library
+
+let string_of_elf32_half    = string_of_int
+let string_of_elf32_addr    = string_of_int32
+let string_of_elf32_off     = string_of_int32
+let string_of_elf32_word    = string_of_int32
+
+let string_of_elfclass = function
+| ELFCLASSNONE      -> "ELFCLASSNONE"
+| ELFCLASS32        -> "ELFCLASS32"
+| ELFCLASS64        -> "ELFCLASS64"
+| ELFCLASSUNKNOWN   -> "ELFCLASSUNKNOWN"
+
+let string_of_elfdata = function
+| ELFDATANONE       -> "ELFDATANONE"
+| ELFDATA2LSB       -> "ELFDATA2LSB"
+| ELFDATA2MSB       -> "ELFDATA2MSB"
+| ELFDATAUNKNOWN    -> "ELFDATAUNKNOWN"
+
+let string_of_ev = function
+| EV_NONE       -> "EV_NONE"
+| EV_CURRENT    -> "EV_CURRENT"
+| EV_UNKNOWN    -> "EV_UNKNOWN"
+
+let string_of_elf_identification ei =
+  "{\nei_class = " ^ string_of_elfclass ei.ei_class ^
+  ";\nei_data = " ^ string_of_elfdata ei.ei_data ^
+  ";\nei_version = " ^ string_of_ev ei.ei_version ^
+  ";\n}"
+
+let string_of_et = function
+| ET_NONE       -> "ET_NONE"
+| ET_REL        -> "ET_REL"
+| ET_EXEC       -> "ET_EXEC"
+| ET_DYN        -> "ET_DYN"
+| ET_CORE       -> "ET_CORE"
+| ET_UNKNOWN    -> "ET_UNKNOWN"
+
+let string_of_em = function
+| EM_NONE           -> "EM_NONE"
+| EM_M32            -> "EM_M32"
+| EM_SPARC          -> "EM_SPARC"
+| EM_386            -> "EM_386"
+| EM_68K            -> "EM_68K"
+| EM_88K            -> "EM_88K"
+| EM_860            -> "EM_860"
+| EM_MIPS           -> "EM_MIPS"
+| EM_MIPS_RS4_BE    -> "EM_MIPS_RS4_BE"
+| EM_PPC            -> "EM_PPC"
+| EM_UNKNOWN        -> "EM_UNKNOWN"
+
+let string_of_elf32_ehdr eh =
+  "{\ne_ident       = " ^ string_of_elf_identification  eh.e_ident      ^
+  ";\ne_type        = " ^ string_of_et                  eh.e_type       ^
+  ";\ne_machine     = " ^ string_of_em                  eh.e_machine    ^
+  ";\ne_version     = " ^ string_of_ev                  eh.e_version    ^
+  ";\ne_entry       = " ^ string_of_elf32_addr          eh.e_entry      ^
+  ";\ne_phoff       = " ^ string_of_elf32_off           eh.e_phoff      ^
+  ";\ne_shoff       = " ^ string_of_elf32_off           eh.e_shoff      ^
+  ";\ne_flags       = " ^ string_of_bitstring           eh.e_flags      ^
+  ";\ne_ehsize      = " ^ string_of_elf32_half          eh.e_ehsize     ^
+  ";\ne_phentsize   = " ^ string_of_elf32_half          eh.e_phentsize  ^
+  ";\ne_phnum       = " ^ string_of_elf32_half          eh.e_phnum      ^
+  ";\ne_shentsize   = " ^ string_of_elf32_half          eh.e_shentsize  ^
+  ";\ne_shnum       = " ^ string_of_elf32_half          eh.e_shnum      ^
+  ";\ne_shstrndx    = " ^ string_of_elf32_half          eh.e_shstrndx   ^
+  ";\n}"
+
+let string_of_sht = function
+| SHT_NULL      -> "SHT_NULL"
+| SHT_PROGBITS  -> "SHT_PROGBITS"
+| SHT_SYMTAB    -> "SHT_SYMTAB"
+| SHT_STRTAB    -> "SHT_STRTAB"
+| SHT_RELA      -> "SHT_RELA"
+| SHT_HASH      -> "SHT_HASH"
+| SHT_DYNAMIC   -> "SHT_DYNAMIC"
+| SHT_NOTE      -> "SHT_NOTE"
+| SHT_NOBITS    -> "SHT_NOBITS"
+| SHT_REL       -> "SHT_REL"
+| SHT_SHLIB     -> "SHT_SHLIB"
+| SHT_DYNSYM    -> "SHT_DYNSYM"
+| SHT_UNKNOWN   -> "SHT_UNKNOWN"
+
+let string_of_elf32_shdr sh =
+  "{\nsh_name       = " ^ sh.sh_name ^
+  ";\nsh_type       = " ^ string_of_sht         sh.sh_type      ^
+  ";\nsh_flags      = " ^ string_of_elf32_word  sh.sh_flags     ^
+  ";\nsh_addr       = " ^ string_of_elf32_addr  sh.sh_addr      ^
+  ";\nsh_offset     = " ^ string_of_elf32_off   sh.sh_offset    ^
+  ";\nsh_size       = " ^ string_of_elf32_word  sh.sh_size      ^
+  ";\nsh_link       = " ^ string_of_elf32_word  sh.sh_link      ^
+  ";\nsh_info       = " ^ string_of_elf32_word  sh.sh_info      ^
+  ";\nsh_addralign  = " ^ string_of_elf32_word  sh.sh_addralign ^
+  ";\nsh_entsize    = " ^ string_of_elf32_word  sh.sh_entsize   ^
+  ";\n}"
+
+let string_of_p_type = function
+| PT_NULL       -> "PT_NULL"
+| PT_LOAD       -> "PT_LOAD"
+| PT_DYNAMIC    -> "PT_DYNAMIC"
+| PT_INTERP     -> "PT_INTERP"
+| PT_NOTE       -> "PT_NOTE"
+| PT_SHLIB      -> "PT_SHLIB"
+| PT_PHDR       -> "PT_PHDR"
+| PT_UNKNOWN    -> "PT_UNKNOWN"
+
+let string_of_elf32_phdr ph =
+  "{\np_type    = " ^ string_of_p_type      ph.p_type   ^
+  ";\np_offset  = " ^ string_of_elf32_off   ph.p_offset ^
+  ";\np_vaddr   = " ^ string_of_elf32_addr  ph.p_vaddr  ^
+  ";\np_paddr   = " ^ string_of_elf32_addr  ph.p_paddr  ^
+  ";\np_filesz  = " ^ string_of_elf32_word  ph.p_filesz ^
+  ";\np_memsz   = " ^ string_of_elf32_word  ph.p_memsz  ^
+  ";\np_flags   = " ^ string_of_bitstring   ph.p_flags  ^
+  ";\np_align   = " ^ string_of_elf32_word  ph.p_align  ^
+  ";\n}"
+
+let string_of_elf32_st_bind = function
+| STB_LOCAL     -> "STB_LOCAL"
+| STB_GLOBAL    -> "STB_GLOBAL"
+| STB_WEAK      -> "STB_WEAK"
+| STB_UNKNOWN   -> "STB_UNKNOWN"
+
+let string_of_elf32_st_type = function
+| STT_NOTYPE    -> "STT_NOTYPE"
+| STT_OBJECT    -> "STT_OBJECT"
+| STT_FUNC      -> "STT_FUNC"
+| STT_SECTION   -> "STT_SECTION"
+| STT_FILE      -> "STT_FILE"
+| STT_UNKNOWN   -> "STT_UNKNOWN"
+
+let string_of_elf32_sym s =
+  "{\nst_name   = " ^ s.st_name ^
+  ";\nst_value  = " ^ string_of_elf32_addr      s.st_value  ^
+  ";\nst_size   = " ^ string_of_elf32_word      s.st_size   ^
+  ";\nst_bind   = " ^ string_of_elf32_st_bind   s.st_bind   ^
+  ";\nst_type   = " ^ string_of_elf32_st_type   s.st_type   ^
+  ";\nst_other  = " ^ string_of_int             s.st_other  ^
+  ";\nst_shndx  = " ^ string_of_elf32_half      s.st_shndx  ^
+  ";\n}"
+
+let string_of_elf e =
+  "{\ne_header = " ^ string_of_elf32_ehdr e.e_hdr ^
+  ";\ne_sections = " ^
+  string_of_array string_of_elf32_shdr ",\n" e.e_shdra ^
+  ";\ne_programs = " ^
+  string_of_array string_of_elf32_phdr ",\n" e.e_phdra ^
+  ";\ne_symtab = " ^
+  string_of_array string_of_elf32_sym ",\n" e.e_symtab ^
+  ";\n}"