aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-2/+2
|\
| * Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
| * Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* | [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-56/+128
|\|
| * RISC-V: fix FP calling conventionsXavier Leroy2021-01-141-80/+114
| * RISC-V: wrong fixup code generated for vararg calls with fixed FP argsXavier Leroy2021-01-101-12/+18
| * RISC-V: revised calling conventions for variadic functionsXavier Leroy2020-12-251-32/+64
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-3/+3
* | fix code generation for select(b, r, r)David Monniaux2021-02-021-2/+7
* | fix problem if rt = rfDavid Monniaux2021-02-021-6/+8
* | implement for another register configurationDavid Monniaux2021-02-021-1/+8
* | some more cases implementedDavid Monniaux2021-02-021-12/+25
* | begin implementing selectDavid Monniaux2021-02-021-1/+14
|/
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
* RISC-V implementation of __builtin_clz* and __builtin_ctz*Xavier Leroy2020-07-271-0/+109
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* Update the RISC-V calling conventions (#221)Xavier Leroy2020-02-261-18/+18
* Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-1/+1
* Incorrect computation of extra stack size for vararg calls in RISC-V (#213)Bernhard Schommer2020-02-051-2/+2
* 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
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-5/+3
* Compatibility with OCaml 4.07 (#241) continuedBernhard Schommer2018-07-121-1/+1
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-4/+4
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-0/+14
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+605
generated by cgit (git 2.34.1) at 2024-05-09 08:58:23 +0000