aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-3/+3
|\
| * Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
| * For __builtin_memcpy_aligned, watch out for alignment of stack offsetsXavier Leroy2021-09-231-0/+1
| * Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* | fix issue 244Léo Gourdin2021-09-191-0/+1
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-0/+4
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-10/+38
|\|
| * AArch64: macOS portXavier Leroy2020-12-261-10/+38
* | fix builtin_sqrtSylvain Boulmé2020-12-171-1/+1
* | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-171-1/+11
|\ \
| * | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-4/+12
| |\|
| | * Added implementation for fmin/fmax for aarch64.Bernhard Schommer2020-11-061-0/+4
| | * Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
| | * AArch64 implementation of __builtin_ctz*Xavier Leroy2020-07-271-1/+7
| | * No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* | | Big improvment in peephole, changing LDP/STP semanticsLéo Gourdin2020-12-101-5/+5
* | | a first working draft on ldp/stp peepholeLéo Gourdin2020-12-041-4/+4
* | | Adding semantics for PldpLéo Gourdin2020-12-021-2/+2
* | | Removing OrigAsmgen by moving the necessary functions in Asmgen.v Léo Gourdin2020-11-251-3/+3
* | | Preparation for postpass in aarch64 and refactoringLéo Gourdin2020-11-021-40/+40
* | | aarch64 compiles again (but ccomp generates incorrect assembly)Sylvain Boulmé2020-10-231-51/+51
|/ /
* / various fixes for aarch64 profilingDavid Monniaux2020-04-101-1/+1
|/
* Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-031-0/+2
* Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-211-2/+0
* The SP register has dwarf register number 31.Bernhard Schommer2019-12-111-1/+1
* Added dwarf register numbers for aarch64Bernhard Schommer2019-11-281-3/+18
* Offset out of range for ldp/stp instructionsxavier.leroy2019-08-231-1/+3
* AArch64 portXavier Leroy2019-08-081-0/+436
generated by cgit (git 2.34.1) at 2024-05-09 11:25:24 +0000