aboutsummaryrefslogtreecommitdiffstats
path: root/arm/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-2/+2
|\|
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-2/+2
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-3/+1
|\|
| * Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
| * No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* | seems like the ARM profiling perhaps worksDavid Monniaux2020-04-111-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
* Compatibility for OCaml 4.08.1Bernhard Schommer2019-09-051-1/+1
* bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-0/+5
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-4/+3
* Moved constant expansion into Asmexpand. (#40)Bernhard Schommer2017-12-141-1/+3
* Use instructions with immediate operands that don't need replacement by the a...Michael Schmidt2017-12-141-4/+3
* Moved arm eabi fixup to Asmexpand.Bernhard Schommer2017-11-161-0/+174
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-4/+4
* ARM port: replace Psavelr pseudo-instruction by actual instructionsXavier Leroy2017-08-171-7/+0
* ARM: Generate Pcfi_rel_offset directives directly from AsmgenXavier Leroy2017-08-171-2/+1
* Push correct registerMichael Schmidt2017-08-021-1/+1
* Improve stack offset addressingMichael Schmidt2017-08-021-17/+45
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-0/+14
* Use vfpv3 registers also in dwarf. Bug 20489Bernhard Schommer2016-11-291-5/+10
* Implement support for big endian arm targets.Bernhard Schommer2016-08-051-8/+10
* bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_...Michael Schmidt2016-07-081-0/+30
* fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can...Michael Schmidt2016-06-071-1/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-1/+1
|\
| * Add support for EF_runtime externalsXavier Leroy2016-03-061-1/+1
* | Added interface for the Asmexpansion.Bernhard Schommer2016-03-161-4/+4
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-1/+1
* | Cleanup of ARM dependedn code.Bernhard Schommer2016-03-101-2/+1
|/
* bug 18168, catch cases where variadic arguments are transfered via registersMichael Schmidt2016-02-241-2/+2
* bug 18168, fix offset computation for var-args in ARM stacklayoutMichael Schmidt2016-02-241-1/+1
* ARM: bug in expansion of __builtin_clzllXavier Leroy2015-12-221-1/+1
* Add CLZ builtins for ARM and IA32Xavier Leroy2015-12-221-1/+7
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-2/+2
* Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-1/+1
* Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-23/+2
* Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-4/+46
* Added versions of the tranform_* functions in AST to work with functionsBernhard Schommer2015-10-081-2/+2
* Upgrade the ARM port to the new builtins.Xavier Leroy2015-08-241-111/+179
* Asmexpand for ARM: fixed bug in Pfreeframe.Xavier Leroy2015-08-211-3/+3
* Fix bugs in Asmexpand.ml for ARM.Xavier Leroy2015-08-211-8/+9
* Updated the branch and implemented the suggested changes.Bernhard Schommer2015-07-141-27/+30
* Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-3/+329
* Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-329/+3
* Moved the rest of the ia32 builtins to asmexpand.Bernhard Schommer2015-06-221-1/+3
* Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-3/+327
generated by cgit (git 2.34.1) at 2024-05-09 00:45:46 +0000