| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.ml | Bernhard Schommer | 2015-10-02 | 1 | -0/+1 | |
| | | ||||||
| * | Cleanup of now no longer needed functions. | Bernhard Schommer | 2015-10-01 | 1 | -11/+1 | |
| | | ||||||
| * | Change the way the debug sections are printed. | Bernhard Schommer | 2015-09-28 | 1 | -1/+1 | |
| | | | | | | | 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 | -9/+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 | -0/+1 | |
| | | | | | | 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 | -0/+2 | |
| | | | | | | | 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. | |||||
| * | Revert "Startet implementation of new Debug interface." | Bernhard Schommer | 2015-09-10 | 1 | -1/+0 | |
| | | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed. | |||||
| * | Startet implementation of new Debug interface. | Bernhard Schommer | 2015-09-06 | 1 | -0/+1 | |
| | | | | | | | 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. | |||||
| * | X | Bernhard Schommer | 2015-09-06 | 1 | -21/+11 | |
| |\ | | | | | | | Merge branch 'master' into debug_locations | |||||
| | * | Upgrade the ARM port to the new builtins. | Xavier Leroy | 2015-08-24 | 1 | -21/+11 | |
| | | | ||||||
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -0/+6 | |
| |/ | ||||||
| * | Updated the branch and implemented the suggested changes. | Bernhard Schommer | 2015-07-14 | 1 | -0/+17 | |
| | | ||||||
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-06-26 | 1 | -279/+42 | |
| | | ||||||
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert" | Bernhard Schommer | 2015-06-26 | 1 | -42/+279 | |
| | | | | | | This reverts commit 777566e81b9762d6bdc773a1f63d56a7ac97433c, reversing changes made to daf9ac64fc9611ecf09d70560a6fa1ba80b9c9c1. | |||||
| * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in ↵ | Bernhard Schommer | 2015-06-10 | 1 | -279/+42 | |
| | | | | | the same way as it is done for PPC. | |||||
| * | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -4/+4 | |
| | | ||||||
| * | Cleanups and updates for extended asm. | Xavier Leroy | 2015-04-21 | 1 | -1/+1 | |
| | | ||||||
| * | Support for GCC-style extended asm, continued: | Xavier Leroy | 2015-04-21 | 1 | -1/+1 | |
| | | | | | | | | | - support "r", "m" and "i" constraints - support "%Q" and "%R" modifiers for register pairs - support register clobbers - split off analysis and transformation of asm statements in cparser/ExtendedAsm.ml | |||||
| * | Experiment: support a subset of GCC's extended asm statements. | Xavier Leroy | 2015-04-17 | 1 | -2/+2 | |
| | | ||||||
| * | Correct type of label function. | Bernhard Schommer | 2015-04-16 | 1 | -1/+1 | |
| | | ||||||
| * | Added missing dummy functions. | Bernhard Schommer | 2015-04-16 | 1 | -0/+4 | |
| | | ||||||
| * | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-23 | 1 | -2/+6 | |
| |\ | ||||||
| | * | Fix .type and .size annotations: @ is comment, use % instead. | Xavier Leroy | 2015-03-20 | 1 | -2/+6 | |
| | | | ||||||
| * | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-16 | 1 | -0/+1 | |
| |\| | ||||||
| | * | Missing initialization of current_function_sig. | Xavier Leroy | 2015-03-14 | 1 | -0/+1 | |
| | | | ||||||
| * | | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -0/+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/+6 | |
| |/ | ||||||
| * | Removed unused sel_target, changed cygwin symbol names and changed the ↵ | Bernhard Schommer | 2015-02-19 | 1 | -1/+2 | |
| | | | | | default function aligment to be target dependent. | |||||
| * | Added an elf prefix to all common elf functions in PrintAsmaux. | Bernhard Schommer | 2015-02-18 | 1 | -3/+5 | |
| | | ||||||
| * | Changed print_fun/var_info to be functions instead of booleans. | Bernhard Schommer | 2015-02-18 | 1 | -2/+2 | |
| | | ||||||
| * | Removed some style issues. | Bernhard Schommer | 2015-02-18 | 1 | -2/+2 | |
| | | ||||||
| * | Changed arm backend to the common backend printer. | Bernhard Schommer | 2015-02-09 | 1 | -0/+1140 | |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |