aboutsummaryrefslogtreecommitdiffstats
path: root/debug/Dwarfgen.ml
Commit message (Collapse)AuthorAgeFilesLines
* "macosx" is now called "macos"Xavier Leroy2021-01-181-1/+1
| | | | | The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-2/+2
|
* Added base address if needed.Bernhard Schommer2020-02-061-5/+11
| | | | | | | | Ranges of locations are relative to some base address. Most times this is just the same as the compilation unit. However if the compilation unit contains functions in multiple sections we need to add a base address of the section that the locations are contained.
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
| | | | | | This is a manual, partial merge of Github pull request #296 by @Fourchaux. flocq/, cparser/MenhirLib/ and parts of test/ have not been changed because these are local copies and the fixes should be performed upstream.
* Change to AbsInt version string.Bernhard Schommer2019-05-101-1/+1
| | | | | The AbsInt build number no longer contains "release", so it must be printed additionally.
* Print only debug info for printed functions.Bernhard Schommer2019-04-161-1/+4
| | | | | | | | | | | Functions that are removed from the compilation unit, for example inline functions without extern, should not produce debug information. This commit reuses the mechanism used for variables in order to track additionally the printed functions. Therefore the printed variable versions are exchanged for a printed symbol version. Bug 26234
* Reworked range entries.Bernhard Schommer2019-04-161-29/+44
| | | | | | | | | | | | The fist changes changes the offset for range entries to used labels instead of integer constants, leaving the computation to the assembler. The second part of the change the address changes the way ranges entries of scopes are printed. They need to be relative to the start address of the code in the section they are included. Bug 26234
* Relax requirement for ranges for compilation unit.Bernhard Schommer2019-04-161-1/+1
| | | | | | Ranges for non-contiguous address ranges are already part of dwarf version 3. Bug 26234
* Reverted reintroduced quote of compilation dir.Bernhard Schommer2017-09-191-2/+2
|
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-2/+2
| | | | | | | | | | | | | This commit adds code generation for 64bit PowerPC architectures which execute 32bit applications. The main difference to the normal 32bit PowerPC port is that it uses the available 64bit instructions instead of using the runtime library functions. However pointers are still 32bit and the 32bit calling convention is used. In order to use this port the target architecture must be either in Server execution mode or if in Embedded execution mode the high order 32 bits of GPRs must be implemented in 32-bit mode. Furthermore the operating system must preserve the high order 32 bits of GPRs.
* Better fix for problems with quoting in files.Bernhard Schommer2017-03-201-2/+2
| | | | | | Instead of using Filename.quote, string entries are printed with %S. Bug 21216
* Quote directory for comp_dir entry.Bernhard Schommer2017-03-201-2/+2
| | | | | | The compilation directory entry needs quoting since it could be a toplevel directory under windows. Bug 21216
* Do not print anonymous member names in debug infoBernhard Schommer2017-01-241-1/+1
| | | | | Anonymous members no longer are printed in the debug information. Fix 20798
* More verbose dwarf.Bernhard Schommer2016-12-071-2/+2
|
* Reset all Hashtbls.Bernhard Schommer2016-11-251-9/+10
| | | | | A non reseted Hashtbl caused problems with multiple input files. Bug 20462
* macosx needs all strings in degub_str.Bernhard Schommer2016-10-251-1/+2
|
* Pass range info to the children.Bernhard Schommer2016-10-251-1/+2
|
* Added sizetyp for subarray bounds. Fix 19894Bernhard Schommer2016-09-221-18/+40
|
* Added an interface file for DebugInformation.Bernhard Schommer2016-03-181-24/+26
| | | | | | The interface hides the implementation details, like the huge number of Hashtbls from the rest of the implementatio. Bug 18394
* Code cleanup.Bernhard Schommer2016-03-101-1/+1
| | | | | | Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
* More unique debug types.Bernhard Schommer2016-01-141-10/+10
| | | | | | The typdef, enumerator and function_type types form the DebugTypes and DwarfTypes shared a some fields. This commits renames them in order to make them more unique and avoid potential name clashes.
* Added now option to control debug output.Bernhard Schommer2015-11-161-17/+20
| | | | | | | | | | | The new option gdepth subumes the gonly-globals. The option allows it to control the level of information that is produced. This option allows it to generate debugging inforation for: -Only globals -Global and local variables but without location information for the local variable -Full information Bug 17638.
* Do not enforce locations for function parameters.Bernhard Schommer2015-11-101-1/+3
| | | | | | | In the case of struct function parameters it is not always guaranteed that they are still there and not translated into plain integer arguments. Bug 17609.
* Merge branch 'master' of ↵Michael Schmidt2015-11-061-2/+2
|\ | | | | | | git+ssh://ssh.absint.com/common/repositories/git/tools/compcert
| * Do not print parameter names in function types.Bernhard Schommer2015-11-061-2/+2
| | | | | | | | | | | | | | For function types used by function pointers we do not need to print the name of the paraments. Also switch the logic in case of prototyped/unprototyped. Fix 17579.
* | bug 17567, typosMichael Schmidt2015-11-061-2/+2
|/
* New option to control the debug information build.Bernhard Schommer2015-11-041-3/+8
| | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566.
* Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-50/+96
| | | | | | | | | | The gcc produces DW_AT_ranges for non-contiguous address ranges, like compilation units containing functions which are placed in different ELF-sections or lexical scopes that are split up. With this commit CompCert also uses this DWARF v3 feature for gnu backend based targets. In order to ensure backward compability a flag is added which avoids this and produces debug info in DWARF v2 format. Bug 17392.
* First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-19/+24
| | | | | | | | | In contrast to the dcc, the gcc uses address ranges to express non-contiguous range of addresses. As a first step we set the start and end addresses for the different address ranges for the compilation unit by using the start and end addresses of functions. Bug 17392.
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-37/+37
|
* Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-131-399/+450
| | | | | | | | GCC prints all string larger than 3 characters in the debug_str section which reduces the size of the debug information since entries containing the same string now map to the same string in the debug_str sections. Bug 17392.
* Remove unused members from debug types.Bernhard Schommer2015-10-131-6/+0
| | | | | | | The dwarf 2 standard allows more attributes for certain debuggint entries than used by gcc or diab data. Since they are also not set by compcert they can be removed. Bug 17392.
* Use a more descriptive type for diab debug entries.Bernhard Schommer2015-10-121-1/+8
| | | | | | Instead of using a tuple we now use a record with descriptive names for the different entries. Bug 17392
* Fast fix for functions in different sections in one compilation unit for gcc.Bernhard Schommer2015-10-061-4/+8
|
* Use rev_map so that the debug locations are in the correct order.Bernhard Schommer2015-10-021-1/+1
|
* First try of debug information for gcc.Bernhard Schommer2015-10-021-6/+22
|
* Started implementation of gnu compatible debug information.Bernhard Schommer2015-10-021-44/+48
|
* Moved the types defined by the Debug Interface into a separate file.Bernhard Schommer2015-10-011-0/+2
|
* Use also fucntion id for local variables since atom is not unique.Bernhard Schommer2015-10-011-1/+1
|
* Only print locations for symbols that are present in the assembler.Bernhard Schommer2015-10-011-1/+5
|
* Remove unused globals also from the debug informations.Bernhard Schommer2015-10-011-2/+2
|
* More robust dwarf generation. Do not add incomplete local variablesBernhard Schommer2015-09-301-13/+29
| | | | in the Debuging information.
* Avoid problem with implict declarations.Bernhard Schommer2015-09-301-1/+0
| | | | | | In order to avoid the problem that the stamp is not correct for implict declarations I insert all possible stamps of a function into my mapping and assign them one debug id.
* More fixes for the DebugInformation.Bernhard Schommer2015-09-291-0/+1
| | | | | | | Changed the sizeof function to take into account the bytes needed for the sleb128/uleb128 encoding of the DW_OP_* arguments and changed the end_live_range function to only close functions where the live range is currently open.
* Change the way the debug sections are printed.Bernhard Schommer2015-09-281-47/+69
| | | | | | If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior.
* Added location for the formal parameters and move the end of allBernhard Schommer2015-09-281-16/+22
| | | | scopes before the last statement.
* Added translation of the range lists to location entries.Bernhard Schommer2015-09-251-26/+62
|
* Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-15/+46
| | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section.
* Added placing labels for live ranges etc.Bernhard Schommer2015-09-241-1/+0
| | | | | In order to avoid the usage of too many labels we replace the debug statements during the Asmexpand phase.
* Added support for printing local variables and fixed issue with .textBernhard Schommer2015-09-231-3/+13
| | | | | | Local variables are now added with bogus lexical scopes to reflect the actually lexical scopes. Also this commit fixes assembler problems of the das when a user section with the name ".text" is defined.
generated by cgit (git 2.34.1) at 2024-05-20 08:26:26 +0000