aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/Machregs.v
Commit message (Expand)AuthorAgeFilesLines
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructionsXavier Leroy2020-12-061-1/+1
* Fix typo in name of builtin function.Bernhard Schommer2020-07-011-1/+1
* PowerPC: make sure evaluation of conditions do not destroy any registerXavier Leroy2019-05-201-5/+1
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-1/+1
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-2/+2
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-5/+18
* Add interference for indirect calls.Bernhard Schommer2016-09-151-1/+5
* Revise the Stacking pass and its proof to make it easier to adapt to 64-bit a...Xavier Leroy2016-04-271-1/+30
* bug 17752, add constant propagation for builtinsMichael Schmidt2015-12-151-1/+3
* bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPCMichael Schmidt2015-12-151-1/+2
* bug 17752, add builtin_mr for PowerPCMichael Schmidt2015-12-141-3/+4
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-1/+1
|\
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-1/+1
| * Merge branch 'master' into ppc64Xavier Leroy2015-10-111-2/+17
| |\
| * | Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-131-1/+1
* | | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-1/+1
* | | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-22/+11
| |/ |/|
* | Applied a few simplification for temporary registers.Bernhard Schommer2015-09-211-3/+2
* | Use fix registers for atomic builtins.Bernhard Schommer2015-09-141-5/+12
* | Added builtin for atomic compare and exchange.Bernhard Schommer2015-09-101-0/+2
* | Merge branch 'master' into atomic-builtinsBernhard Schommer2015-09-101-2/+3
|\|
* | Added an builtin for the atomic exchange operation.Bernhard Schommer2015-09-091-1/+7
|/
* Simplified generation of builtins for cache instructions.Bernhard Schommer2015-09-071-3/+3
* Added builtin for mbar instruction.Bernhard Schommer2015-09-031-0/+2
* Added builtin for the icbtls instruction.Bernhard Schommer2015-09-021-0/+2
* Added builtin for dcbtlsBernhard Schommer2015-09-021-0/+2
* Added the gcc builtin prefetch.Bernhard Schommer2015-09-011-0/+2
* Adapt the PowerPC port to the new builtin representation.Xavier Leroy2015-08-211-5/+23
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-0/+42
* Merge of "newspilling" branch:xleroy2014-07-231-27/+10
* In Regalloc, dead code elimination, don't eliminate move operationsxleroy2014-02-231-0/+2
* Merge of the float32 branch: xleroy2013-05-191-1/+7
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-31/+93
* Merge of the reuse-temps branch:xleroy2010-09-021-12/+15
* Adapted to work with Coq 8.2-1v1.4.1xleroy2009-06-051-1/+1
* Reserve register GPR13 for compatibility with EABI. Optimize operations 'x >...xleroy2009-02-261-9/+9
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+107
generated by cgit (git 2.34.1) at 2024-05-09 14:05:58 +0000