aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | so that all architectures compileDavid Monniaux2020-10-021-0/+1
| | |/ / | |/| |
* | | | cond_valid_pointer_eqDavid Monniaux2020-11-251-0/+10
* | | | pointer_eq copiedDavid Monniaux2020-11-251-0/+14
| |/ / |/| |
* | | bug #223 fix on PPCDavid Monniaux2020-11-232-3/+73
|/ /
* | Adding copyrightsCyril SIX2020-05-043-0/+38
* | Merge remote-tracking branch 'origin/mppa-licm' into mppa-featuresDavid Monniaux2020-04-202-3/+11
|\ \
| * | test whether the instructions are allowedDavid Monniaux2020-04-191-0/+2
| * | porting to ppc riscV x86David Monniaux2020-04-011-3/+9
* | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-0/+1
|\ \ \
| * | | missing cases preventing compilationDavid Monniaux2020-04-081-0/+1
| |/ /
* | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-091-1/+1
|\ \ \
| * | | adapt the other targets for the new field in CEcondDavid Monniaux2020-04-081-1/+1
| |/ /
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-086-132/+203
|\| |
| * | 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
| |\ \ | | |/ | |/|
| * | Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-126/+0
* | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-253-17/+21
|\ \ \
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-243-17/+21
| |\| | | | |/ | |/|
| | * 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
* | | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-2/+6
|/ /
* | 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
|\ \ \ \ \ | |_|_|/ / |/| | | / | | |_|/ | |/| |
| * | | Model GPR0 in isel (#199)Xavier Leroy2019-09-172-2/+4
* | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-33/+34
|\| | |
| * | | 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
* | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-09-101-4/+4
|\| | | | |_|/ |/| |
| * | Compatibility for OCaml 4.08.1Bernhard Schommer2019-09-051-4/+4
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-283-0/+23
|\| |
| * | 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
| |/
* | 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
|\|
| * 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
generated by cgit (git 2.34.1) at 2024-05-09 01:52:47 +0000