aboutsummaryrefslogtreecommitdiffstats
path: root/debug/Dwarfgen.ml
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* Record the scope structure during unblocking.Bernhard Schommer2015-09-221-18/+99
| | | | | | Instead of creating separate annotations for the local variables we call the Debug.add_lvar_scope and we construct a mapping from function id + scope id to scope information.
* Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-2/+14
| | | | | | Scopes will be handled by a stack of all open scopes. This stack then can also be used to generate the debug directives to track the scopes through the rest of the passes.
* First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-0/+247
Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation.