aboutsummaryrefslogtreecommitdiffstats
path: root/x86/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'absint/master' into merge_absintDavid Monniaux2022-03-011-18/+0
|\
| * Add op for float max and min for x86.Bernhard Schommer2022-02-071-18/+0
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-13/+23
|\|
| * Protect against overflows in `leaq` (all forms)Bernhard Schommer2021-08-271-22/+27
| * Protect against overflows in `leaq N(src), dst` (#407)Xavier Leroy2021-08-271-12/+17
| * Support __builtin_unreachableXavier Leroy2021-05-021-1/+4
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-1/+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-19/+78
|\|
| * Support Cygwin 64 bitsXavier Leroy2020-10-051-14/+77
| * 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-4/+0
* | x86-64 profilingDavid Monniaux2020-04-121-1/+1
|/
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-1/+1
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-1/+1
* Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-031-0/+3
* Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-211-3/+0
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-5/+2
* Fix expansion of ctzl/clzl builtin for 64bit targets (#127)Michael Schmidt2018-07-121-2/+15
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-4/+4
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-0/+2
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-5/+5
* Do not use hardcoded register number for sp.Bernhard Schommer2016-11-251-1/+1
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-0/+638