aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/Asmgen.v
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-1/+3
|\
| * PPC64: revised generation of rldic* instructionsXavier Leroy2021-10-281-1/+3
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-50/+81
|\|
| * Share code for memory access for PowerPCBernhard Schommer2021-09-061-50/+81
| * Tentative first fix for offsets of ld/std.Bernhard Schommer2021-04-241-44/+70
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-44/+70
* | Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-081-9/+0
|\|
| * Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructionsXavier Leroy2020-12-061-9/+0
* | PowerPC compilesDavid Monniaux2019-09-071-4/+10
|/
* Provide a float select operation for PowerPC. (#173)Bernhard Schommer2019-05-281-1/+18
* Implement a `Osel` operation for PowerPCXavier Leroy2019-05-201-0/+16
* PowerPC: make sure evaluation of conditions do not destroy any registerXavier Leroy2019-05-201-10/+24
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-0/+172
* Modest optimization of leaf functions (continued)Xavier Leroy2017-04-281-16/+15
* Modest optimization of leaf functionsXavier Leroy2017-04-281-4/+8
* Use "Local" as prefixXavier Leroy2017-02-131-2/+2
* Support for 64-bit architectures: update the PowerPC portXavier Leroy2016-10-011-10/+12
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-4/+4
* Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-131-0/+9
* Added builtins for call frame and return address.Bernhard Schommer2015-09-071-1/+1
* Adapt the PowerPC port to the new builtin representation.Xavier Leroy2015-08-211-3/+1
* Updating the PowerPC and ARM ports.Xavier Leroy2015-03-271-9/+1
* powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.xleroy2014-08-181-17/+19
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-1/+2
* Merge of "newspilling" branch:xleroy2014-07-231-32/+47
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-121-2/+2
* Future-proofing: keep signature information in IA32 and PowerPC Asm, just lik...xleroy2013-12-261-12/+13
* powerpc/: new unary operation "addsymbol"xleroy2013-11-171-6/+33
* Optimize integer divisions by positive constants, turning them intoxleroy2013-07-291-0/+6
* Merge of the float32 branch: xleroy2013-05-191-2/+2
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-8/+16
* Assorted changes to reduce stack and heap requirements when compiling very bi...xleroy2013-03-161-5/+23
* Revised Stacking and Asmgen passes and Mach semantics: xleroy2013-03-011-209/+294
* Remove some useless "Require".xleroy2012-12-301-4/+0
* - Revised non-overflow constraints on memory injections so that xleroy2012-07-231-2/+2
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsxleroy2012-03-071-4/+0
* Improved instruction selection for "notint".xleroy2012-02-241-0/+6
* Merge of the nonstrict-ops branch:xleroy2012-01-141-8/+16
* Back from Oregon commit. xleroy2011-07-051-14/+42
* Recognition of rlwimi instruction (useful for bitfield assignment)xleroy2011-06-211-0/+7
* Revised handling of annotation statements, and more generally built-in functi...xleroy2011-06-131-0/+10
* Oaddrsymbol and small data areaxleroy2011-06-071-2/+5
* Merge of branch "unsigned-offsets":xleroy2011-04-091-4/+4
* Merge of the reuse-temps branch:xleroy2010-09-021-89/+68
* Support for inlined built-ins.xleroy2010-06-291-0/+2
* Merge of the newmem and newextcalls branches:xleroy2010-03-071-4/+4
* More realistic treatment of jump tables: show the absence of overflow when ac...xleroy2009-11-101-1/+2
* Added support for jump tables in back end.xleroy2009-11-101-7/+3
* Simplified the treatment of the PowerPC small data area; now more specific to...xleroy2009-11-021-1/+1
* Preliminary support for small data area in PowerPC port.xleroy2009-11-011-2/+5
generated by cgit (git 2.34.1) at 2024-05-09 13:16:06 +0000