aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove unused openBernhard Schommer2017-02-061-1/+0
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+7
* */TargetPrinter.ml: wrong comment attached to Init_float32 constantsXavier Leroy2016-04-091-1/+1
* Cleanup of AsmToJSON.Bernhard Schommer2016-03-161-8/+8
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-29/+29
* Code cleanup.Bernhard Schommer2016-03-101-37/+30
* bug 17752, fix tab-indentation in assembly outputMichael Schmidt2015-12-151-1/+1
* Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-151-3/+3
* Bug 17752, add rldicr instruction for PowerPCMichael Schmidt2015-12-151-1/+4
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-17/+38
|\
| * Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-0/+2
| * First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-8/+1
| * Reworked the section interface for the debug information.Bernhard Schommer2015-10-141-6/+7
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-35/+35
| * Changed the type of the debug sections with additional string.Bernhard Schommer2015-10-131-5/+11
| * Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-131-1/+3
| * Merge branch 'master' into ppc64Xavier Leroy2015-10-111-84/+75
| |\
| * | Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-131-0/+17
* | | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-35/+35
* | | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-2/+2
| |/ |/|
* | Fixed syntax error and added Section_debug_line to the Json serializer.Bernhard Schommer2015-10-091-1/+1
* | Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-4/+5
* | Ensure that there are file directives for all files used in the debugBernhard Schommer2015-10-041-1/+2
* | Merge branch 'gnu-debug'Bernhard Schommer2015-10-021-7/+25
|\ \
| * | First try of debug information for gcc.Bernhard Schommer2015-10-021-7/+25
* | | Always call print debug_section in the prologue.Bernhard Schommer2015-10-021-18/+18
|/ /
* | Cleanup of now no longer needed functions.Bernhard Schommer2015-10-011-23/+0
* | Change the way the debug sections are printed.Bernhard Schommer2015-09-281-66/+49
* | Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-271-12/+0
* | Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-1/+3
* | Added support for printing local variables and fixed issue with .textBernhard Schommer2015-09-231-3/+6
* | Record the scope structure during unblocking.Bernhard Schommer2015-09-221-0/+8
* | Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-211-1/+5
|\|
| * Added builtin for isel.Bernhard Schommer2015-09-081-0/+2
| * Added builtins for call frame and return address.Bernhard Schommer2015-09-071-1/+1
| * Added builtin for the cmpb instruction.Bernhard Schommer2015-09-071-0/+2
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-3/+4
* | Revert "Startet implementation of new Debug interface."Bernhard Schommer2015-09-101-3/+2
* | Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-2/+3
* | XBernhard Schommer2015-09-061-20/+24
|\|
| * Added builtin for mbar instruction.Bernhard Schommer2015-09-031-0/+2
| * New builtin for dcbz instruction.Bernhard Schommer2015-09-031-8/+10
| * Added builtin for the icbtls instruction.Bernhard Schommer2015-09-021-0/+2
| * Allow only CT values of 0 and 2 in dcbtls instruction.Bernhard Schommer2015-09-021-3/+3
| * Added builtin for dcbtlsBernhard Schommer2015-09-021-2/+4
| * Added the gcc builtin prefetch.Bernhard Schommer2015-09-011-0/+4
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-12/+5
| * Adapt the PowerPC port to the new builtin representation.Xavier Leroy2015-08-211-9/+8
* | 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