aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
Commit message (Collapse)AuthorAgeFilesLines
...
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-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 Schommer2015-09-101-3/+2
| | | | | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed.
* | Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-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.
* | XBernhard Schommer2015-09-061-20/+24
|\| | | | | | | Merge branch 'master' into debug_locations
| * Added builtin for mbar instruction.Bernhard Schommer2015-09-031-0/+2
| | | | | | | | This commit adds a builtin function for the mbar instruction.
| * New builtin for dcbz instruction.Bernhard Schommer2015-09-031-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 Schommer2015-09-021-0/+2
| | | | | | | | This commit adds a builtin for the icbtls instruction.
| * Allow only CT values of 0 and 2 in dcbtls instruction.Bernhard Schommer2015-09-021-3/+3
| | | | | | | | | | The dcbtls instruction allows only the values 0 and 2 according to the PPC Isa.
| * Added builtin for dcbtlsBernhard Schommer2015-09-021-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 Schommer2015-09-011-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 Leroy2015-08-221-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 Leroy2015-08-211-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 Schommer2015-08-211-0/+9
|/
* Added builtin for the dcbf instructionBernhard Schommer2015-08-171-0/+2
|
* Added builtin for the dcbi instruction.Bernhard Schommer2015-08-171-0/+2
|
* Added builitin for the icbi instruction.Bernhard Schommer2015-08-141-0/+2
|
* Added builtin for the lwsync barrier.Bernhard Schommer2015-08-141-0/+2
|
* Corrected little typo in __builtin_clz function.Bernhard Schommer2015-07-061-2/+2
|
* Simple path for problems whith diab assembler in the case of functions in ↵Bernhard Schommer2015-07-031-9/+48
| | | | different sections.
* Changed a minor typo: Pstwxu should be PstwuxBernhard Schommer2015-06-221-2/+2
|
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-6/+6
|
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-2/+1
|
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-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 Leroy2015-04-171-6/+11
|
* Merge branch 'master' into dwarfBernhard Schommer2015-04-021-2/+5
|\
| * Updating the PowerPC and ARM ports.Xavier Leroy2015-03-271-2/+5
| | | | | | | | PowerPC: always use full register names to print annotations.
* | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-011-4/+3
| |
* | Started implementing the printing functions for the debug info. Added a ↵Bernhard Schommer2015-03-161-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 Schommer2015-03-111-6/+54
|/
* Removed unused sel_target, changed cygwin symbol names and changed the ↵Bernhard Schommer2015-02-191-0/+1
| | | | default function aligment to be target dependent.
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-6/+17
|
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-2/+2
|
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-2/+2
|
* Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-061-5/+2
|
* Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-051-0/+744