aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'dm-div2' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-01-153-24/+54
|\
| * 2-instruction signed division by two on Aarch64David Monniaux2020-01-153-24/+54
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-033-1/+8
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-213-8/+1
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-12-161-1/+1
|\|
| * The SP register has dwarf register number 31.Bernhard Schommer2019-12-111-1/+1
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-12-094-5/+26
|\|
| * Fix for AArch64 alignment problem (#206)Bernhard Schommer2019-11-283-2/+8
| * Added dwarf register numbers for aarch64Bernhard Schommer2019-11-281-3/+18
* | trapping opsDavid Monniaux2019-09-241-0/+30
* | Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-204-7/+64
* | fix compiling for aarch64David Monniaux2019-09-204-4/+42
|/
* Asmgenproof1: useless unfolding in proof scripts causing "omega" to failXavier Leroy2019-09-111-3/+3
* AArch64: wrong expected type for arguments of Cmaskl{zero,notzero}xavier.leroy2019-08-312-4/+4
* Offset out of range for ldp/stp instructionsxavier.leroy2019-08-231-1/+3
* AArch64 portXavier Leroy2019-08-0827-0/+14370
generated by cgit (git 2.34.1) at 2024-06-02 23:49:41 +0000