aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
...
* | Allow Long as const result for ppc64 variant.Bernhard Schommer2019-08-132-0/+3
* | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-0/+20
|/
* Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-173-15/+55
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-2/+2
* Add floating-point square root and fused multiply-addXavier Leroy2019-07-171-0/+5
* Revised specification of NaN payload behaviorXavier Leroy2019-07-121-13/+17
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-2/+2
* Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-172-2/+36
* Provide a float select operation for PowerPC. (#173)Bernhard Schommer2019-05-289-7/+101
* PowerPC: add SelectOp.select functionXavier Leroy2019-05-262-0/+31
* Emulate the "isel" instruction on non-EREF PPC processorsXavier Leroy2019-05-203-22/+42
* Implement a `Osel` operation for PowerPCXavier Leroy2019-05-207-9/+106
* Give a semantics to the Pisel instructionXavier Leroy2019-05-201-1/+7
* PowerPC: make sure evaluation of conditions do not destroy any registerXavier Leroy2019-05-204-54/+155
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-5/+14
* Move Z definitions out of Integers and into ZbitsXavier Leroy2019-04-262-9/+10
* Upgrade embedded version of Flocq to 3.1.Guillaume Melquiond2019-03-271-11/+14
* Fix typo in asmexpand. Bug 24953Bernhard Schommer2018-11-071-1/+1
* Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776Michael Schmidt2018-10-202-5/+10
* Switch conditions for eref plattforms.Bernhard Schommer2018-09-191-4/+4
* Support __builtin_isel64 for non-EREF PPC64 platforms (#141)Xavier Leroy2018-09-181-22/+28
* Add builtin isel (conditional move) for int64, uint64 and _Bool (#140)Bernhard Schommer2018-09-182-1/+16
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-141-1/+1
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-122-6/+3
* Fix typo in pattern match of error case, bug 24326Michael Schmidt2018-08-221-1/+1
* Added Pldi to instr_size.Bernhard Schommer2018-08-011-0/+1
* Model external calls as destroying all caller-save registersXavier Leroy2018-06-012-3/+12
* Add missing tab character, bug 23541Michael Schmidt2018-05-021-1/+1
* Add new powerpc builtins.Michael Schmidt2018-04-275-4/+44
* Print symbols as symbols.Bernhard Schommer2018-03-081-16/+19
* Use binary output.Bernhard Schommer2018-03-071-1/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-9/+10
* Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59)Xavier Leroy2018-02-162-6/+55
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-1/+1
* Change AsmToJson to be similar to other printers.Bernhard Schommer2018-01-052-5/+17
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* Optimization for division by one during constant propagation (#39)Michael Schmidt2017-12-052-6/+13
* New json printing interface.Bernhard Schommer2017-11-141-143/+18
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-2/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-30/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-1/+1
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-20/+14
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* Merge pull request #191 from sigurdschneider/masterXavier Leroy2017-10-201-0/+1
|\
| * Ensure FunInd or Recdef is imported if functional induction is usedSigurd Schneider2017-07-201-0/+1
* | New support for inserting ais-annotations.Bernhard Schommer2017-10-194-13/+29
* | Make the list unique. Bug 22239Bernhard Schommer2017-09-261-177/+22
* | Moved common buitlins to C2C gernic_builtins.Bernhard Schommer2017-09-261-8/+0
* | Added dump-mnemonics option.Bernhard Schommer2017-09-252-0/+186
* | Remove coq warnings (#28)Bernhard Schommer2017-09-225-23/+23
generated by cgit (git 2.34.1) at 2024-05-18 08:13:05 +0000