aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
Commit message (Expand)AuthorAgeFilesLines
* Change preference for new register in allocatorBernhard Schommer2023-03-061-0/+17
* Use .data.rel.ro section for const data with relocatable inits on ELF targets...Xavier Leroy2022-10-241-1/+4
* Add `Declare Scope` where appropriate (#440)Xavier Leroy2022-09-191-0/+1
* More simplifications for literal printingBernhard Schommer2022-09-031-5/+0
* Refactor emitting of constants.Bernhard Schommer2022-09-031-18/+4
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-32/+25
* AArch64: make register X29 callee-saveXavier Leroy2022-05-306-34/+34
* Introduce float_conversion_default_nan parameter for float-float conversionsBernhard Schommer2022-04-251-1/+4
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* 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
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-084-16/+20
* Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+1
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-4/+4
* Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-212-3/+3
* "macosx" is now called "macos"Xavier Leroy2021-01-183-3/+3
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-6/+10
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-133/+133
* AArch64 / macOS: use __DATA,__CONST section instead of .const (temporary fix)Xavier Leroy2020-12-261-1/+1
* AArch64: macOS portXavier Leroy2020-12-2612-215/+484
* AArch64: clarify the printing of extending-register arithmetic operationsXavier Leroy2020-12-261-13/+13
* AArch64: wrong function alignmentXavier Leroy2020-12-261-1/+1
* AArch64 modeling of registers destroyed by pseudo-instructionsXavier Leroy2020-12-062-8/+11
* Added implementation for fmin/fmax for aarch64.Bernhard Schommer2020-11-063-0/+12
* Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-211-2/+1
* 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}aarch64xavier.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-05-03 23:36:25 +0000