aboutsummaryrefslogtreecommitdiffstats
path: root/debug/Debug.mli
Commit message (Collapse)AuthorAgeFilesLines
* Added support for printing local variables and fixed issue with .textBernhard Schommer2015-09-231-1/+1
| | | | | | 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-2/+3
| | | | | | 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-1/+3
| | | | | 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-0/+2
| | | | | | 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/+3
| | | | | 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-3/+5
| | | | | | 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-0/+23
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.