aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
* Starting to remove the seperate printers for each backend.Bernhard Schommer2015-02-023-268/+314
* Merge branch 'master' into dwarfBernhard Schommer2015-01-281-10/+2
|\
| * Changed the print_globaldef function of the powerpc backend to look like the ...Bernhard Schommer2015-01-281-10/+2
* | Merge branch 'master' into dwarfBernhard Schommer2015-01-124-38/+12
|\|
| * In -g -S mode, annotate the generated asm file with the C source code in comm...Xavier Leroy2015-01-071-39/+18
* | Added dummy printing function for entries.Bernhard Schommer2014-12-181-1/+4
* | Merge branch 'master' into dwarfBernhard Schommer2014-12-172-10/+11
|\|
| * Clean up support for common symbols. Uninitialized "const" symbols can be co...Xavier Leroy2014-12-171-9/+10
* | Added more printing code.Bernhard Schommer2014-12-151-3/+8
* | Started implementation of printing the dwarf entries.Bernhard Schommer2014-12-151-0/+16
* | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...Bernhard Schommer2014-12-044-8/+78
* | Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-021-29/+5
* | Merge branch 'master' into dwarfBernhard Schommer2014-11-273-88/+51
|\|
| * Update PowerPC port.Xavier Leroy2014-11-242-21/+51
| * Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-241-67/+0
* | Removed compile error and added dummy function for the printing of entries.Bernhard Schommer2014-11-171-0/+3
* | Moved abbreviation printer into a seperate file. The printer should also prin...Bernhard Schommer2014-11-121-31/+48
* | Added functions for printing of the abbreviations.Bernhard Schommer2014-11-111-0/+24
* | Generalised functionality for the printing of the abbreviations.Bernhard Schommer2014-11-111-235/+41
* | Added more functions to print the abbreviations.Bernhard Schommer2014-11-061-27/+120
* | More functions for printing the abbreviations.Bernhard Schommer2014-10-311-33/+101
* | Started implementing functions to compute the abbreviations for the diab comp...Bernhard Schommer2014-10-291-7/+81
* | Refactored the printing functions a little bit more by moving the system depe...Bernhard Schommer2014-10-284-328/+397
|/
* Refactored the code of powerpc/PrintAsm.ml by moving the function depending o...Bernhard Schommer2014-10-081-200/+236
* Cold feet: suppress builtins for load with reservation/store conditional, use...xleroy2014-08-282-11/+1
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-272-2/+2
* Add builtins for load with reservation and conditional store.xleroy2014-08-204-1/+19
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-191-12/+20
* powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.xleroy2014-08-186-118/+117
* All targets: add __builtin_membarxleroy2014-07-281-7/+9
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-285-507/+711
* The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.xleroy2014-07-281-1/+4
* Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.xleroy2014-07-232-0/+6
* Merge of "newspilling" branch:xleroy2014-07-2316-311/+550
* Refactoring: move symbol_offset into Genv.xleroy2014-05-247-100/+61
* Updated the proofs.xleroy2014-04-121-1/+3
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-094-28/+153
* In Regalloc, dead code elimination, don't eliminate move operationsxleroy2014-02-231-0/+2
* PowerPC is big-endian, dammit.xleroy2014-02-211-2/+2
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-195-4/+13
* Recognize .i and .p source files as C sources not to be preprocessed.xleroy2014-02-051-0/+1
* Eradication of Mfloat64al32, continued.xleroy2014-01-121-4/+0
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-123-8/+8
* Introduce and use the platform-specific Archi module giving:xleroy2014-01-031-5/+13
* Update for the multiple-input-needs case.xleroy2014-01-031-40/+45
* Updated ARM backend wrt new static analyses and optimizations.xleroy2014-01-021-0/+12
* stdarg.h: assorted fixes for PowerPCxleroy2014-01-011-2/+3
* powerpc: bad use of GPR0 in va_start.xleroy2014-01-011-6/+9
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...xleroy2014-01-011-0/+1
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-012-2/+62