aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * 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
| * | fix broken test MakefileDavid Monniaux2020-03-271-0/+7
| * | 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 mppa-work-upstrea...David Monniaux2019-09-203-0/+156
| |\|
| | * AArch64 portXavier Leroy2019-08-083-0/+156
| * | (#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 mppa-...David Monniaux2019-06-031-4/+4
| |\|
| | * Prepend $(DESTDIR) to the installation target (#169)Bernhard Schommer2019-05-171-4/+4
| * | use all same exact include filesv3.5_k1c_1.2David Monniaux2019-06-031-15/+7
* | | copyright blockDavid Monniaux2019-05-291-0/+183
* | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-divDavid Monniaux2019-05-292-0/+2
|\| |
| * | added some include filesDavid 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
|\| |
| * | more builtinsDavid Monniaux2019-05-291-0/+2
| * | fixes for COSDavid Monniaux2019-05-282-0/+12
* | | 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
|/ /
* | directly call float and double division from gcc lib instead of a stubDavid Monniaux2019-05-151-42/+0
* | 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-131-23/+0
* | we directly call 64-bit unsigned divisionDavid Monniaux2019-05-131-22/+0
* | feclearexcept / fetestexceptDavid Monniaux2019-04-131-0/+15
* | better #include handlingDavid Monniaux2019-04-121-1/+5
* | workaround for non-standard C isfinite macro in math.hDavid Monniaux2019-04-122-1/+4
* | simplification of the varargs procedure: they are leaf procedures, there is n...David Monniaux2019-04-121-40/+1
* | __builtin_k1_acswapwDavid Monniaux2019-04-112-1/+12
* | builtin acswapdDavid Monniaux2019-04-112-2/+16
* | cleaner: put all the special types, defines etc. in one header fileDavid Monniaux2019-04-112-0/+14
* | passage de structures en varargs (fonctionne avec une convention "passage par...David Monniaux2019-03-221-0/+3
* | la division flottante fonctionneDavid Monniaux2019-03-202-1/+12
* | les divisions entieres passentDavid Monniaux2019-03-203-0/+43
* | sdiv worksDavid Monniaux2019-03-202-1/+15
generated by cgit (git 2.34.1) at 2024-06-03 03:36:53 +0000