aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Collapse)AuthorAgeFilesLines
* 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
| * | | | | | fix broken test MakefileDavid Monniaux2020-03-271-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | fix math.h so that it does special things only on K1C
* | | | | | | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-1/+1
|/ / / / / /
* | | | | | bringing back the ppc64 runtimeDavid Monniaux2020-02-095-0/+440
| | | | | |
* | | | | | why did we remove the ppc runtime ?!David Monniaux2020-02-0817-0/+1430
| | | | | |
* | | | | | Fixed using ccomp assembly preprocessorCyril SIX2020-02-061-3/+3
| | | | | |
* | | | | | Fixing issue with <math.h> and fabsCyril SIX2020-01-091-1/+2
| | | | | |
* | | | | | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into ↵David Monniaux2019-09-203-0/+156
|\| | | | | | |/ / / / |/| | | | | | | | | mppa-work-upstream-merge
| * | | | AArch64 portXavier Leroy2019-08-083-0/+156
| | | | | | | | | | | | | | | | | | | | | | | | | This commit adds a back-end for the AArch64 architecture, namely ARMv8 in 64-bit mode.
generated by cgit (git 2.34.1) at 2024-07-04 02:14:41 +0000