aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
* DuplicateOpcodeHeuristic ppcDavid Monniaux2020-03-171-3/+27
* fix for ppcDavid Monniaux2020-03-031-14/+22
* ported for ppcDavid Monniaux2020-03-031-22/+17
* fixed CSE2 for mppa_k1cDavid Monniaux2020-03-035-3/+173
|\
| * CSE2 for powerpcDavid Monniaux2020-03-032-0/+152
| * Documentation comment for single_passed_as_singleXavier Leroy2020-03-021-1/+2
| * In strict PPC ABI mode, pass single FP on stack in double FP formatXavier Leroy2020-03-021-2/+2
| * Make single arg alignment depend on toolchain.Bernhard Schommer2020-03-023-3/+20
* | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-0311-10/+134
|\ \ | |/ |/|
| * stubs to keep compiling on architectures not K1cDavid Monniaux2020-02-071-0/+3
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-work-upstream-mergeDavid Monniaux2019-12-094-6/+87
| |\
| | * trapping opsDavid Monniaux2019-09-241-0/+24
| | * Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-202-33/+34
| | |\
| | * \ Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-non-tra...David Monniaux2019-09-101-18/+19
| | |\ \
| | * | | PowerPC compilesDavid Monniaux2019-09-075-22/+78
| * | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-11-132-2/+4
| |\ \ \ \ | | |_|_|/ | |/| | |
| * | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-33/+34
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-09-101-4/+4
| |\ \ \ \ \ | | |_|_|/ / | |/| | | / | | | |_|/ | | |/| |
| * | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-283-0/+23
| |\ \ \ \
| * | | | | various fixesDavid Monniaux2019-07-191-1/+0
| * | | | | helpers broke compilationDavid Monniaux2019-07-192-15/+3
| * | | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-198-29/+125
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-0316-108/+470
| |\ \ \ \ \ \
| * | | | | | | seems like powerpc runs but the result segfaultsDavid Monniaux2019-03-224-3/+36
| * | | | | | | try to be portable across archsDavid Monniaux2019-03-212-0/+7
* | | | | | | | Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-126/+0
* | | | | | | | Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+6
* | | | | | | | Refine the type of function results in AST.signatureXavier Leroy2020-02-213-17/+15
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Model GPR0 in isel (#199)Xavier Leroy2019-09-172-2/+4
| |_|_|_|_|/ |/| | | | |
* | | | | | Reworked json export.Bernhard Schommer2019-09-121-31/+32
* | | | | | Merge pull request #313 from AbsInt/aarch64Xavier Leroy2019-09-111-2/+2
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| * | | | | Fix compile for architectures other than AArch64 (#192)Bernhard Schommer2019-08-171-2/+2
| | |_|/ / | |/| | |
* | | | | Compatibility for OCaml 4.08.1Bernhard Schommer2019-09-051-4/+4
| |_|_|/ |/| | |
* | | | 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
|/
generated by cgit (git 2.34.1) at 2024-06-02 20:44:25 +0000