aboutsummaryrefslogtreecommitdiffstats
path: root/debug/DebugInformation.ml
Commit message (Collapse)AuthorAgeFilesLines
* Also convert the fun stamp + scope id to debug id Hashtable in anBernhard Schommer2015-09-231-4/+6
| | | | atom + scope id Hashtable.
* Added support for printing local variables and fixed issue with .textBernhard Schommer2015-09-231-3/+5
| | | | | | 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-19/+20
| | | | | | 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.
* New version of adding scopes etc.Bernhard Schommer2015-09-201-10/+45
| | | | | Instead of reimplementing the whole scope handling in the debug information use the existing functionality and fill the scopes explicitly in the functions.
* Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-10/+79
| | | | | | 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-27/+53
| | | | | Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation.
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-5/+30
| | | | | | Added functions to add more information to the debuging interface, like the struct layout with offsets, bitifiled layout and removed the no longer needed mapping from stamp to atom.
* Add the debug interface file.Bernhard Schommer2015-09-161-10/+48
| | | | | | | | The new file Debug.ml contains the interface for generating and printing debug information. In order to generate debug information the init function initializes the necessary functions depending on the -g flag. If the -g is not there all functions are dummy functions which do nothing.
* Further function to add debug information.Bernhard Schommer2015-09-151-31/+67
| | | | | Added the rest of the global declarations and started adding functions to fill in the missing information about struct and union fields etc.
* Started adding function information to the debug information.Bernhard Schommer2015-09-151-3/+48
|
* Implemented insert_type function and started implementing add declaration.Bernhard Schommer2015-09-141-13/+206
| | | | | | The insert_type function add types by adding their subtypes. Also currently the structs or unions are added as empty skeletopn and later during filled during the inserting of the declarations.
* Started implementing the typ insert methods.Bernhard Schommer2015-09-111-5/+99
| | | | | | In contrast to CtoDwarf this time we use the name to identify everything. To make this work we print the full identifier with stamp to avoid the problems with anonymous structs and unions.
* Started implementing the types needed for storing the debug information.Bernhard Schommer2015-09-111-0/+109