Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added printing the reference address for the LocRef and started refactoring old | Bernhard Schommer | 2015-09-27 | 1 | -12/+0 |
| | | | | | | | | 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 | -1/+3 |
| | | | | | This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section. | ||||
* | Added support for printing local variables and fixed issue with .text | Bernhard Schommer | 2015-09-23 | 1 | -3/+6 |
| | | | | | | Local variables are now added with bogus lexical scopes to reflect the actually lexical scopes. Also this commit fixes assembler problems of the das when a user section with the name ".text" is defined. | ||||
* | Record the scope structure during unblocking. | Bernhard Schommer | 2015-09-22 | 1 | -0/+8 |
| | | | | | | 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 | -1/+5 |
|\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| * | Added builtin for isel. | Bernhard Schommer | 2015-09-08 | 1 | -0/+2 |
| | | | | | | | | | | The builtin_isel function takes a _Bool as first argument and returns either the second or the third depending on the value of the _Bool. | ||||
| * | Added builtins for call frame and return address. | Bernhard Schommer | 2015-09-07 | 1 | -1/+1 |
| | | | | | | | | | | | | This builtins can be used to get the call frame address and the return address. To correctly compute the load address of the return address the allocframe is extended to contain the offset of the return address. | ||||
| * | Added builtin for the cmpb instruction. | Bernhard Schommer | 2015-09-07 | 1 | -0/+2 |
| | | |||||
* | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -3/+4 |
| | | | | | | | | | | Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation. | ||||
* | | Revert "Startet implementation of new Debug interface." | Bernhard Schommer | 2015-09-10 | 1 | -3/+2 |
| | | | | | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed. | ||||
* | | Startet implementation of new Debug interface. | Bernhard Schommer | 2015-09-06 | 1 | -2/+3 |
| | | | | | | | | | | | | 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 | -20/+24 |
|\| | | | | | | | Merge branch 'master' into debug_locations | ||||
| * | Added builtin for mbar instruction. | Bernhard Schommer | 2015-09-03 | 1 | -0/+2 |
| | | | | | | | | This commit adds a builtin function for the mbar instruction. | ||||
| * | New builtin for dcbz instruction. | Bernhard Schommer | 2015-09-03 | 1 | -8/+10 |
| | | | | | | | | | | | | This commit adds a builtin for the dcbz instructions. Additionally the dcbt,dcbtst,dcbtls and icbtls instruction are changed to their actually form all taking one additional register in Asm.v. | ||||
| * | Added builtin for the icbtls instruction. | Bernhard Schommer | 2015-09-02 | 1 | -0/+2 |
| | | | | | | | | This commit adds a builtin for the icbtls instruction. | ||||
| * | Allow only CT values of 0 and 2 in dcbtls instruction. | Bernhard Schommer | 2015-09-02 | 1 | -3/+3 |
| | | | | | | | | | | The dcbtls instruction allows only the values 0 and 2 according to the PPC Isa. | ||||
| * | Added builtin for dcbtls | Bernhard Schommer | 2015-09-02 | 1 | -2/+4 |
| | | | | | | | | | | | | THis commit adds a builtin function for the dcbtls instruction. Additionaly it changes the printing of the dcbt and dcbtst instruction to embedded mode and adds support for different address variants. | ||||
| * | Added the gcc builtin prefetch. | Bernhard Schommer | 2015-09-01 | 1 | -0/+4 |
| | | | | | | | | | | | | This commit implements the gcc __builtin_prefetch in a form with all arguments for the powerpc architecture. The resulting instructions are the dcbt and dcbtst instructions in Server Category. | ||||
| * | Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong. | Xavier Leroy | 2015-08-22 | 1 | -12/+5 |
| | | | | | | | | | | | | | | | | Use EF_debug instead of EF_annot for line number annotations. Introduce PrintAsmaux.print_debug_info (very incomplete). powerpc/Asmexpand: revise expand_memcpy_small. | ||||
| * | Adapt the PowerPC port to the new builtin representation. | Xavier Leroy | 2015-08-21 | 1 | -9/+8 |
| | | | | | | | | | | | | | | __builtin_get_spr() and __builtin_set_spr() work, but horrible error message if the SPR argument is not a constant. powerpc/AsmToJSON.ml needs updating. | ||||
* | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -0/+9 |
|/ | |||||
* | Added builtin for the dcbf instruction | Bernhard Schommer | 2015-08-17 | 1 | -0/+2 |
| | |||||
* | Added builtin for the dcbi instruction. | Bernhard Schommer | 2015-08-17 | 1 | -0/+2 |
| | |||||
* | Added builitin for the icbi instruction. | Bernhard Schommer | 2015-08-14 | 1 | -0/+2 |
| | |||||
* | Added builtin for the lwsync barrier. | Bernhard Schommer | 2015-08-14 | 1 | -0/+2 |
| | |||||
* | Corrected little typo in __builtin_clz function. | Bernhard Schommer | 2015-07-06 | 1 | -2/+2 |
| | |||||
* | Simple path for problems whith diab assembler in the case of functions in ↵ | Bernhard Schommer | 2015-07-03 | 1 | -9/+48 |
| | | | | different sections. | ||||
* | Changed a minor typo: Pstwxu should be Pstwux | Bernhard Schommer | 2015-06-22 | 1 | -2/+2 |
| | |||||
* | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -6/+6 |
| | |||||
* | Cleanups and updates for extended asm. | Xavier Leroy | 2015-04-21 | 1 | -2/+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 | -6/+11 |
| | |||||
* | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-02 | 1 | -2/+5 |
|\ | |||||
| * | Updating the PowerPC and ARM ports. | Xavier Leroy | 2015-03-27 | 1 | -2/+5 |
| | | | | | | | | PowerPC: always use full register names to print annotations. | ||||
* | | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 1 | -4/+3 |
| | | |||||
* | | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -0/+12 |
| | | | | | | | | 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 | -6/+54 |
|/ | |||||
* | Removed unused sel_target, changed cygwin symbol names and changed the ↵ | Bernhard Schommer | 2015-02-19 | 1 | -0/+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 | -6/+17 |
| | |||||
* | Changed print_fun/var_info to be functions instead of booleans. | Bernhard Schommer | 2015-02-18 | 1 | -2/+2 |
| | |||||
* | Changed arm backend to the common backend printer. | Bernhard Schommer | 2015-02-09 | 1 | -2/+2 |
| | |||||
* | Changed the ia32 backend to the new Printer. | Bernhard Schommer | 2015-02-06 | 1 | -5/+2 |
| | |||||
* | Changed the ASM printer of the powerpc to the generalized backend. | Bernhard Schommer | 2015-02-05 | 1 | -0/+744 |