aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
* Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-8/+0
* AArch64 implementation of __builtin_ctz*Xavier Leroy2020-07-273-1/+11
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* Move shared code in new file.Bernhard Schommer2020-06-281-17/+0
* Remove the `can_reserve_register` function.Bernhard Schommer2020-06-281-2/+0
* Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* Dual-license aarch64/{Archi.v,Cbuiltins.ml,extractionMachdep.v}Xavier Leroy2020-05-053-0/+9
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-107/+0
* AArch64: normalize function return values of small integer typeXavier Leroy2020-02-211-3/+11
* Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+5
* Refine the type of function results in AST.signatureXavier Leroy2020-02-212-10/+9
* 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
* The SP register has dwarf register number 31.Bernhard Schommer2019-12-111-1/+1
* Fix for AArch64 alignment problem (#206)Bernhard Schommer2019-11-283-2/+8
* Added dwarf register numbers for aarch64Bernhard Schommer2019-11-281-3/+18
* 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 15:53:59 +0000