aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* | | | | (#157) Fixing warning for desactivated afaddd builtin. No implementation yetCyril SIX2019-09-051-0/+6
| | | | |
* | | | | macros for fma() fmaf()David Monniaux2019-08-301-0/+2
| | | | |
* | | | | fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-0/+9
| | | | |
* | | | | merge upstream including fma fixesDavid Monniaux2019-08-2822-1870/+0
| | | | |
* | | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into ↵David Monniaux2019-06-031-4/+4
|\| | | | | | | | | | | | | | | | | | | mppa-if-conversion
| * | | | Prepend $(DESTDIR) to the installation target (#169)Bernhard Schommer2019-05-171-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Following the gnu Makefile Conventions the variable $(DESTDIR) should be prepended to all installation commands. This allows staged installs.
* | | | | use all same exact include filesv3.5_k1c_1.2David Monniaux2019-06-031-15/+7
| |_|_|/ |/| | |
* | | | added some include filesDavid Monniaux2019-05-292-0/+2
| |_|/ |/| |
* | | more builtinsDavid Monniaux2019-05-291-0/+2
| | |
generated by cgit (git 2.34.1) at 2024-07-06 15:20:16 +0000