Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove no longer used function. Bug 22525 | Bernhard Schommer | 2017-11-10 | 1 | -1/+0 |
| | |||||
* | Use address for printing address constant. Bug 22525 | Bernhard Schommer | 2017-11-09 | 1 | -2/+3 |
| | |||||
* | Generalize print_init. | Bernhard Schommer | 2017-11-09 | 1 | -1/+40 |
| | | | | | | The powerpc version of print_init can be used without problems for all backends. Bug 22525 | ||||
* | Remove superfluous function. | Bernhard Schommer | 2017-11-06 | 1 | -2/+2 |
| | | | | | The new_label function is alway equal to PrintAsmaux.new_label. Bug 22472 | ||||
* | New support for inserting ais-annotations. | Bernhard Schommer | 2017-10-19 | 1 | -0/+18 |
| | | | | | | | | | | | | The ais annotations can be inserted via the new ais variants of the builtin annotation. They mainly differe in that they have an address format specifier '%addr' which will be replaced by the adress in the binary. The implementation simply prints a label for the builtin call alongside a the text of the annotation as comment and inserts the annotation together as acii string in a separate section 'ais_annotations' and replaces the usages of the address format specifiers by the address of the label of the builtin call. | ||||
* | Do not generate code for "inline definitions" | Bernhard Schommer | 2017-04-07 | 1 | -1/+3 |
| | | | | | | | | | ISO C99 states that "inline defintions", functions with inline specifier that are not extern, does not provide an external definition and another compilation unit can contain an external definition. Thus in the case of non-static inline functions no code should be generated. Bug 21343 | ||||
* | Remove unused open | Bernhard Schommer | 2017-02-06 | 1 | -1/+0 |
| | |||||
* | Use 64 bit address in debug information. | Bernhard Schommer | 2016-11-10 | 1 | -0/+1 |
| | | | | | Address constants need to be 64bit also in the debug information. Bug 20335 | ||||
* | Activate advanced debug information for arm, ia32. | Bernhard Schommer | 2016-06-28 | 1 | -3/+3 |
| | | | | | | The configuration advanced debug is removed and now full debug information is also generated for ia32 and arm. Bug 17609 | ||||
* | Deactivate warning 27 and added back removed code. | Bernhard Schommer | 2016-03-15 | 1 | -1/+1 |
| | | | | | | The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349 | ||||
* | Code cleanup. | Bernhard Schommer | 2016-03-10 | 1 | -4/+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. | ||||
* | First step to implemente address ranges for the gnu backend. | Bernhard Schommer | 2015-10-15 | 1 | -3/+3 |
| | | | | | | | | | 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 | -1/+1 |
| | | | | | | | | 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 | -5/+5 |
| | |||||
* | First try of debug information for gcc. | Bernhard Schommer | 2015-10-02 | 1 | -3/+3 |
| | |||||
* | Cleanup of now no longer needed functions. | Bernhard Schommer | 2015-10-01 | 1 | -1/+0 |
| | |||||
* | Only print locations for symbols that are present in the assembler. | Bernhard Schommer | 2015-10-01 | 1 | -1/+2 |
| | |||||
* | Change the way the debug sections are printed. | Bernhard Schommer | 2015-09-28 | 1 | -10/+11 |
| | | | | | | 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 printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -6/+1 |
| | | | | | | | | 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 support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -3/+5 |
| | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | ||||
* | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -5/+4 |
| | | | | | 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 | -7/+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. | ||||
* | Revert "Startet implementation of new Debug interface." | Bernhard Schommer | 2015-09-10 | 1 | -2/+2 |
| | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed. | ||||
* | Startet implementation of new Debug interface. | Bernhard Schommer | 2015-09-06 | 1 | -2/+2 |
| | | | | | | 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 symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -2/+6 |
| | |||||
* | Do not search for high and low pc of inlined functions. | Bernhard Schommer | 2015-07-02 | 1 | -1/+1 |
| | |||||
* | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -3/+3 |
| | |||||
* | Use globl also for global variables. | Bernhard Schommer | 2015-05-07 | 1 | -1/+1 |
| | |||||
* | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -4/+38 |
| | |||||
* | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 1 | -2/+6 |
| | |||||
* | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -1/+1 |
| | |||||
* | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -1/+6 |
| | | | | 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 | -0/+1 |
| | |||||
* | Removed unused sel_target, changed cygwin symbol names and changed the ↵ | Bernhard Schommer | 2015-02-19 | 1 | -3/+1 |
| | | | | default function aligment to be target dependent. | ||||
* | Added an elf prefix to all common elf functions in PrintAsmaux. | Bernhard Schommer | 2015-02-18 | 1 | -4/+4 |
| | |||||
* | Changed print_fun/var_info to be functions instead of booleans. | Bernhard Schommer | 2015-02-18 | 1 | -4/+2 |
| | |||||
* | Removed some style issues. | Bernhard Schommer | 2015-02-18 | 1 | -65/+71 |
| | |||||
* | Changed arm backend to the common backend printer. | Bernhard Schommer | 2015-02-09 | 1 | -1/+1 |
| | |||||
* | Changed the ASM printer of the powerpc to the generalized backend. | Bernhard Schommer | 2015-02-05 | 1 | -0/+99 |