aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Collapse)AuthorAgeFilesLines
* attempt at fixingDavid Monniaux2021-09-281-2/+2
|
* Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-workDavid Monniaux2021-06-111-0/+2
|\ | | | | | | fix for comments on x86-64 MacOS
* | Fixing build for KVX (missing ccomp_kvx_fixes.h for runtime)Cyril SIX2021-06-011-0/+1
| |
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-235-7/+69
|\| | | | | | | | | | | | | | | | | PARTIAL MERGE (PARTLY BROKEN). See unsolved conflicts in: aarch64/TO_MERGE and riscV/TO_MERGE WARNING: interface of va_args and assembly sections have changed
| * "macosx" is now called "macos"Xavier Leroy2021-01-184-4/+4
| | | | | | | | | | The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".
| * AArch64: macOS portXavier Leroy2020-12-262-4/+66
| | | | | | | | | | This commit adds support for macOS (and probably iOS) running on AArch64 / ARM 64-bit / "Apple silicon" processors.
| * Configure the correct archiver to build runtime/libcompcert.aXavier Leroy2020-12-241-1/+1
| | | | | | | | | | | | | | | | | | - Use `${toolprefix}ar` instead of `ar` so as to match the choice of C compiler (as proposed by Michael Soegtrop in PR #380) - Use the Diab archiver `dar` if configured for powerpc-eabi-diab Closes: #380
* | bad linkDavid Monniaux2020-12-111-1/+0
| |
* | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-1/+3
|\ \ | | | | | | | | | | | | | | | Conflicts: Makefile configure
| * \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-1/+14
| |\ \
| * | | fix need for kvx-elfDavid Monniaux2020-10-021-5/+1
| | | |
| * | | Using kvx-elf-ar instead of arCyril SIX2020-05-291-1/+7
| | | |
* | | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-185-28/+99
|\ \ \ \ | |_|/ / |/| | / | | |/ | |/|
| * | Support Cygwin 64 bitsXavier Leroy2020-10-055-28/+99
| | | | | | | | | | | | | | | | | | - Add support for the Win64 ABI to the x86_64 port - Update vararg support to handle Win64 conventions - Configure support for x86_64-cygwin64
* | | Updating builtins for Accesscore 4.2 (atomic stuff)Cyril SIX2020-10-141-1/+14
| |/ |/|
* | k1c -> kvx changesDavid Monniaux2020-05-2615-19/+19
| |
* | Adding copyrightsCyril SIX2020-05-043-0/+41
| |
* | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-208-44/+356
|\ \
| * | fix int64David Monniaux2020-04-201-0/+4
| | |
| * | seems like fixed linking tests?!David Monniaux2020-04-201-1/+1
| | |
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-2013-50/+248
| |\ \ | | | | | | | | | | | | (unfinished)
| * | | copyright blockDavid Monniaux2019-05-291-0/+183
| | | |
| * | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-292-0/+2
| |\ \ \
| * | | | use silent FPDavid Monniaux2019-05-291-9/+9
| | | | |
| * | | | arranging for selection of divisor as optionDavid Monniaux2019-05-298-142/+45
| | | | |
| * | | | fixesDavid Monniaux2019-05-291-0/+1
| | | | |
| * | | | various fixesDavid Monniaux2019-05-291-0/+2
| | | | |
| * | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-292-0/+14
| |\ \ \ \
| * | | | | new routines for 32-bit divisionDavid Monniaux2019-05-213-5/+122
| | | | | |
| * | | | | sdiv, smod, udiv, umod through fast routinesDavid Monniaux2019-05-161-1/+32
| | | | | |
| * | | | | umodDavid Monniaux2019-05-161-1/+33
| | | | | |
| * | | | | udivDavid Monniaux2019-05-161-1/+28
| | | | | |
| * | | | | simplify sdivDavid Monniaux2019-05-161-5/+0
| | | | | |
| * | | | | simplify sdiv codeDavid Monniaux2019-05-161-4/+1
| | | | | |
| * | | | | simplify sdiv codeDavid Monniaux2019-05-161-8/+0
| | | | | |
| * | | | | sdiv seems to work, udiv/umod/smod BOGUSDavid Monniaux2019-05-163-50/+51
| | | | | |
* | | | | | do not print debug stuffDavid Monniaux2020-04-201-1/+1
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-122-1/+61
|\ \ \ \ \ \
| * | | | | | now use COMPCERT_PROFILING_DATA and don't print stuffDavid Monniaux2020-04-121-2/+10
| | | | | | |
| * | | | | | use proper local labelsDavid Monniaux2020-04-101-1/+1
| | | | | | |
| * | | | | | profiling still crashes on Aarch64David Monniaux2020-04-102-5/+5
| | | | | | |
| * | | | | | fix write tableDavid Monniaux2020-04-101-0/+4
| | | | | | |
| * | | | | | fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-081-1/+1
| | | | | | |
| * | | | | | library support for writing profiling information to filesDavid Monniaux2020-04-082-0/+48
| | |_|_|/ / | |/| | | |
* | | | | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-091-1/+1
|\ \ \ \ \ \
| * | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-0628-8/+2040
| |\| | | | |
| * | | | | | __builtin_expect defined as its first argumentDavid Monniaux2019-09-251-1/+1
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-085-24/+29
|\ \ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| * | | | | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-workCyril SIX2020-04-014-24/+22
| |\ \ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
| | * | | | | Double rounding error in int64->float32 conversions on PowerPC and ARMXavier Leroy2020-03-304-24/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The "stof" and "utof" runtime functions contain a round-to-odd step that avoids double rounding. However, this step was incorrectly coded on PowerPC (stof and utof), PowerPC64 (utof), and ARM (stof), making round-to-odd ineffective and causing double rounding. Closes: #343
generated by cgit (git 2.34.1) at 2024-05-09 18:32:52 +0000