| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Code cleanup. | Bernhard Schommer | 2016-03-10 | 1 | -8/+3 |
| | | | | | | | Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394. | ||||
| * | Sort strings in the debug_str section. | Bernhard Schommer | 2015-12-04 | 1 | -0/+1 |
| | | | | | | | In order to get deterministic output code we need to sort the strings in the debug_str section by their label. Fix 17727. | ||||
| * | New option to control the debug information build. | Bernhard Schommer | 2015-11-04 | 1 | -2/+4 |
| | | | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566. | ||||
| * | Implemented the usage of DW_AT_ranges for non-contiguous address ranges. | Bernhard Schommer | 2015-10-16 | 1 | -5/+22 |
| | | | | | | | | | | | The gcc produces DW_AT_ranges for non-contiguous address ranges, like compilation units containing functions which are placed in different ELF-sections or lexical scopes that are split up. With this commit CompCert also uses this DWARF v3 feature for gnu backend based targets. In order to ensure backward compability a flag is added which avoids this and produces debug info in DWARF v2 format. Bug 17392. | ||||
| * | First step to implemente address ranges for the gnu backend. | Bernhard Schommer | 2015-10-15 | 1 | -23/+34 |
| | | | | | | | | | | In contrast to the dcc, the gcc uses address ranges to express non-contiguous range of addresses. As a first step we set the start and end addresses for the different address ranges for the compilation unit by using the start and end addresses of functions. Bug 17392. | ||||
| * | More verbose debug printer. | Bernhard Schommer | 2015-10-14 | 1 | -195/+201 |
| | | | | | | | | | 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. | ||||
| * | bug 17392: remove trailing whitespace in source files | Michael Schmidt | 2015-10-14 | 1 | -4/+4 |
| | | |||||
| * | Changed the type of the debug sections with additional string. | Bernhard Schommer | 2015-10-13 | 1 | -3/+4 |
| | | | | | | | | | Instead of using a string they now take an optional string, which should be none if the backend is not the diab backend and the corresponding section is the text section and Some s with s being the custom section name else. Bug 17392. | ||||
| * | Implement the usage of the debug_str section for the gcc backend. | Bernhard Schommer | 2015-10-13 | 1 | -33/+43 |
| | | | | | | | | | GCC prints all string larger than 3 characters in the debug_str section which reduces the size of the debug information since entries containing the same string now map to the same string in the debug_str sections. Bug 17392. | ||||
| * | Remove unused members from debug types. | Bernhard Schommer | 2015-10-13 | 1 | -10/+0 |
| | | | | | | | | The dwarf 2 standard allows more attributes for certain debuggint entries than used by gcc or diab data. Since they are also not set by compcert they can be removed. Bug 17392. | ||||
| * | Use a more descriptive type for diab debug entries. | Bernhard Schommer | 2015-10-12 | 1 | -11/+7 |
| | | | | | | | Instead of using a tuple we now use a record with descriptive names for the different entries. Bug 17392 | ||||
| * | Filled in the rest of the funciton needed for thte debug info under arm. | Bernhard Schommer | 2015-10-09 | 1 | -1/+1 |
| | | | | | | | The name_of_section function no returns the correct name for the debug sections, the prologue and epilogue directives are added and the labels for the live ranges are introduced in the Asmexpand pass. | ||||
| * | Fast fix for functions in different sections in one compilation unit for gcc. | Bernhard Schommer | 2015-10-06 | 1 | -1/+14 |
| | | |||||
| * | First try of debug information for gcc. | Bernhard Schommer | 2015-10-02 | 1 | -12/+33 |
| | | |||||
| * | Started implementation of gnu compatible debug information. | Bernhard Schommer | 2015-10-02 | 1 | -2/+5 |
| | | |||||
| * | Use different entry_to_label mapping for each compilation unit. | Bernhard Schommer | 2015-10-01 | 1 | -3/+20 |
| | | |||||
| * | Also add the rest to the producer tag. | Bernhard Schommer | 2015-09-30 | 1 | -1/+2 |
| | | |||||
| * | Removed newline in version string and add buildnr and tag if existing to | Bernhard Schommer | 2015-09-30 | 1 | -1/+6 |
| | | | | | Producer as well as target system. | ||||
| * | More fixes for the DebugInformation. | Bernhard Schommer | 2015-09-29 | 1 | -7/+2 |
| | | | | | | | | 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 Schommer | 2015-09-28 | 1 | -29/+28 |
| | | | | | | | 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 all | Bernhard Schommer | 2015-09-28 | 1 | -2/+4 |
| | | | | | scopes before the last statement. | ||||
| * | Changed the size expression to 2byte for debug_loc entries. | Bernhard Schommer | 2015-09-28 | 1 | -1/+18 |
| | | |||||
| * | Added printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -7/+7 |
| | | | | | | | | | 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 | -1/+10 |
| | | |||||
| * | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -16/+59 |
| | | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | ||||
| * | Record the scope structure during unblocking. | Bernhard Schommer | 2015-09-22 | 1 | -6/+6 |
| | | | | | | | 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. | ||||
| * | Merge branch 'debugscopes' into debug_locations | Bernhard Schommer | 2015-09-21 | 1 | -3/+5 |
| |\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| | * | Various changes in the debug printer. | Bernhard Schommer | 2015-09-07 | 1 | -6/+7 |
| | | | | | | | | | | | | | 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 | -27/+25 |
| | | | | | | | | | | | 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 | 1 | -4/+0 |
| | | | | | | | | | | | | | 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. | ||||
| * | | 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 | 1 | -3/+2 |
| |\| | | | | | | | | | | | | | 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. | ||||
| | * | 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 | 1 | -7/+1 |
| | | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | ||||
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -10/+10 |
| |/ | |||||
| * | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 1 | -1/+7 |
| | | |||||
| * | 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 | 1 | -2/+2 |
| | | | | | information. | ||||
| * | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 1 | -3/+11 |
| | | |||||
| * | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 1 | -6/+6 |
| | | |||||
| * | 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 |
| | | |||||
| * | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 |
| | | |||||
| * | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 1 | -7/+8 |
| | | | | | printing of packed structs. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -15/+16 |
| | | |||||
| * | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 1 | -8/+13 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -18/+25 |
| | | |||||
| * | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 1 | -12/+74 |
| | | |||||
| * | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -115/+243 |
| | | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |