| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | Set structure declaration field to None. | Bernhard Schommer | 2015-09-07 | 1 | -4/+4 | |
| | | | | | | | | | | | In the case of a structure definition we do not need to set the structure declaration field set to false. | |||||
| * | | New version of adding scopes etc. | Bernhard Schommer | 2015-09-20 | 3 | -15/+62 | |
| | | | | | | | | | | | 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 Schommer | 2015-09-18 | 4 | -12/+105 | |
| | | | | | | | | | | | | | 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 Schommer | 2015-09-17 | 8 | -617/+357 | |
| | | | | | | | | | | | 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 Schommer | 2015-09-16 | 5 | -27/+59 | |
| | | | | | | | | | | | | | 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 Schommer | 2015-09-16 | 4 | -12/+176 | |
| | | | | | | | | | | | | | | | | | 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 Schommer | 2015-09-15 | 1 | -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 Schommer | 2015-09-15 | 1 | -3/+48 | |
| | | | ||||||
| * | | Implemented insert_type function and started implementing add declaration. | Bernhard Schommer | 2015-09-14 | 1 | -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 Schommer | 2015-09-11 | 2 | -50/+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 Schommer | 2015-09-11 | 2 | -1/+110 | |
| | | | ||||||
| * | | Revert "Startet implementation of new Debug interface." | Bernhard Schommer | 2015-09-10 | 3 | -88/+1 | |
| | | | | | | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed. | |||||
| * | | Startet implementation of new Debug interface. | Bernhard Schommer | 2015-09-06 | 3 | -1/+88 | |
| | | | | | | | | | | | | | Added a new file debug/Debug.ml which will be the interface between for generating and printing the debuging information. Currently it contains only the code for the line directived. | |||||
| * | | Added the abbreviation for symbol constants. | Bernhard Schommer | 2015-08-26 | 1 | -0/+1 | |
| | | | ||||||
| * | | Merge branch 'master' into debug_locations | Bernhard Schommer | 2015-08-26 | 2 | -21/+31 | |
| |\| | | | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml debug/DwarfTypes.mli | |||||
| | * | Fixed abbreviation of DW_TAG_formal_parameter. | Bernhard Schommer | 2015-08-25 | 1 | -1/+1 | |
| | | | | | | | | | | | | | Dwarf debuging entries for formal parameters were printed as variables. This could lead to confusion in function pointer types and later with local variables. | |||||
| | * | Fixed error in handling of anonymous struct/union/enum types. | Bernhard Schommer | 2015-08-24 | 1 | -8/+15 | |
| | | | | | | | | | Composite types should be always handled by the composite_type_info table and not by the normal type table. | |||||
| | * | Also change the order of high and low pc in the compilation unit tag. | Bernhard Schommer | 2015-08-24 | 1 | -1/+1 | |
| | | | ||||||
| | * | Revert "Added support for the location of non static global variables." | Bernhard Schommer | 2015-08-23 | 3 | -9/+2 | |
| | | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | |||||
| | * | Do not add subsize tag to array types without size such as flexible array ↵ | Bernhard Schommer | 2015-08-23 | 1 | -10/+14 | |
| | | | | | | | | | members. | |||||
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 3 | -24/+24 | |
| |/ | ||||||
| * | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 3 | -2/+9 | |
| | | ||||||
| * | Swapped high and low pc in the printing of the debug information for ↵ | Bernhard Schommer | 2015-07-24 | 1 | -2/+2 | |
| | | | | | subroutines. | |||||
| * | Allow forward declarations of structure and union types in the debug ↵ | Bernhard Schommer | 2015-07-03 | 3 | -14/+52 | |
| | | | | | information. | |||||
| * | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 2 | -4/+12 | |
| | | ||||||
| * | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 3 | -18/+18 | |
| | | ||||||
| * | Add bulitin typedes during C to dwarf translation. | Bernhard Schommer | 2015-07-02 | 1 | -6/+9 | |
| | | ||||||
| * | Removed the version from the compcert.ini file and add it again in a ↵ | Bernhard Schommer | 2015-07-01 | 1 | -1/+1 | |
| | | | | | separate file. | |||||
| * | Changed the producer tag to include more information. | Bernhard Schommer | 2015-05-18 | 1 | -1/+2 | |
| | | ||||||
| * | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -1/+1 | |
| | | ||||||
| * | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 1 | -0/+1 | |
| | | ||||||
| * | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 3 | -10/+21 | |
| | | ||||||
| * | Refactored code, added comments and changed handling of types with ↵ | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 | |
| | | | | | attributes to avoid duplications. | |||||
| * | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 | |
| | | ||||||
| * | Compute the size of structs using the result of the packing and bitfield ↵ | Bernhard Schommer | 2015-03-26 | 2 | -8/+26 | |
| | | | | | transformations. | |||||
| * | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 3 | -18/+135 | |
| | | | | | printing of packed structs. | |||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 4 | -69/+148 | |
| | | ||||||
| * | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 2 | -9/+32 | |
| | | ||||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 4 | -24/+203 | |
| | | ||||||
| * | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 2 | -7/+18 | |
| | | ||||||
| * | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 2 | -14/+76 | |
| | | ||||||
| * | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 3 | -156/+293 | |
| | | | | | 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 | 3 | -152/+96 | |
| | | ||||||
| * | Starting to remove the seperate printers for each backend. | Bernhard Schommer | 2015-02-02 | 2 | -8/+105 | |
| | | ||||||
| * | Started implementation of printing the dwarf entries. | Bernhard Schommer | 2014-12-15 | 2 | -11/+15 | |
| | | ||||||
| * | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ↵ | Bernhard Schommer | 2014-12-04 | 1 | -1/+1 | |
| | | | | | printing for printing the line directives without forcing the assembler to generate debug information. | |||||
| * | Renamed the printer module for the Abbreviations and deactivated adding the ↵ | Bernhard Schommer | 2014-12-02 | 1 | -17/+5 | |
| | | | | | -g option to the assembler. | |||||
| * | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 2 | -8/+9 | |
| | | ||||||
| * | More functionality for the Printer. | Bernhard Schommer | 2014-11-14 | 1 | -1/+4 | |
| | | ||||||
| * | Moved abbreviation printer into a seperate file. The printer should also ↵ | Bernhard Schommer | 2014-11-12 | 2 | -294/+346 | |
| | | | | | print the debug info. | |||||
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |