| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Compute the correct size of location expressions. | Bernhard Schommer | 2016-12-01 | 1 | -1/+1 |
| | | | | | | The arm dwarf float registers constants are larger than 2 bytes. Bug 20489 | ||||
| * | bug 17567, typos | Michael Schmidt | 2015-11-04 | 1 | -3/+3 |
| | | |||||
| * | More verbose debug printer. | Bernhard Schommer | 2015-10-14 | 1 | -29/+46 |
| | | | | | | | | | Like, for example the clang, CompCert now prints a more detailed descriptions of the debug information in the assembler file. For each abbreviation and debug entry the dwarf attributes and their encodings are added. Bug 17392. | ||||
| * | More fixes for the DebugInformation. | Bernhard Schommer | 2015-09-29 | 1 | -0/+27 |
| | | | | | | | | 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. | ||||
| * | Added printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -30/+27 |
| | | | | | | | | | Debuging code. The old functions to store the symbol for the Global variables and retrive this is no longer needed since the atom is stored in DebugInformation. Also the Debug.Abbrev module is no longer needed. | ||||
| * | Added translation of the range lists to location entries. | Bernhard Schommer | 2015-09-25 | 1 | -0/+2 |
| | | |||||
| * | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -1/+8 |
| | | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | ||||
| * | Merge branch 'debugscopes' into debug_locations | Bernhard Schommer | 2015-09-21 | 1 | -0/+1 |
| |\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| | * | Various changes in the debug printer. | Bernhard Schommer | 2015-09-07 | 1 | -0/+1 |
| | | | | | | | | | | | | | The debug printer now uses udata for member sizes since structs can have a size larger than 255 bytes. Also functions that are inlined no longer have an high and low pc in their abbreviation entry. | ||||
| * | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -11/+1 |
| |/ | | | | | Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation. | ||||
| * | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 1 | -9/+1 |
| | | |||||
| * | Compute the size of structs using the result of the packing and bitfield ↵ | Bernhard Schommer | 2015-03-26 | 1 | -0/+9 |
| | | | | | transformations. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -3/+4 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -1/+6 |
| | | |||||
| * | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 1 | -7/+0 |
| | | |||||
| * | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -2/+1 |
| | | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
| * | Started integrating the debug printing in the common backend_printer. | Bernhard Schommer | 2015-03-11 | 1 | -2/+33 |
| | | |||||
| * | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 1 | -5/+0 |
| | | |||||
| * | Moved abbreviation printer into a seperate file. The printer should also ↵ | Bernhard Schommer | 2014-11-12 | 1 | -294/+33 |
| | | | | | print the debug info. | ||||
| * | Added functions for printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 1 | -2/+16 |
| | | |||||
| * | Generalised functionality for the printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 1 | -0/+266 |
| | | |||||
| * | Added the type information to the global information stored for each atom. | Bernhard Schommer | 2014-10-27 | 1 | -1/+4 |
| | | |||||
| * | Added more functionality to DwarfUtil. | Bernhard Schommer | 2014-10-24 | 1 | -0/+39 |
| | | |||||
| * | Added a file for utility functions on the Dwarf types. | Bernhard Schommer | 2014-10-23 | 1 | -0/+32 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |