aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | fix broken test MakefileDavid Monniaux2020-03-271-0/+7
* | | | | | | 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 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
| |_|_|/ |/| | |
* | | | added some include filesDavid Monniaux2019-05-292-0/+2
| |_|/ |/| |
* | | more builtinsDavid Monniaux2019-05-291-0/+2
* | | fixes for COSDavid Monniaux2019-05-282-0/+12
| |/ |/|
* | 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
* | Added i64_shl and i64_shr to the runtime Makefile, needed by i64_dtosCyril SIX2019-03-191-1/+2
* | Merge branch 'master' into mppa_postpassCyril SIX2019-03-132-1/+2
|\|
| * <stddef.h>: define NULL with type void *Xavier Leroy2019-02-041-1/+1
| * <stdbool.h>: add missing macro __bool_true_false_are_definedXavier Leroy2019-02-041-0/+1
* | varargsDavid Monniaux2019-03-101-0/+2
* | Float conversion fixes + some more conversionsCyril SIX2019-02-271-2/+4
* | C99 7.16 mandates __bool_true_false_are_definedDavid Monniaux2019-01-301-1/+1
* | Fixed div64 and mod64Cyril SIX2018-12-112-31/+1
* | Finished implementation of va_arg + testing doneCyril SIX2018-11-302-1/+73
* | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-211-0/+9
|\|
| * Define the C11 type max_align_t (#115)Bernhard Schommer2018-05-241-0/+9
* | Fixed MPPA runtimes not compilingCyril SIX2018-11-202-5/+8
* | MPPA - Changed division to include the builtinCyril SIX2018-06-051-23/+2
* | MPPA - div and mod, replaced gcc implementation by C files + ccompCyril SIX2018-05-2113-460/+29
* | MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-2114-0/+595
|/
* Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)Gergö Barany2017-09-181-0/+2
* Prefixed runtime functions.Bernhard Schommer2017-08-2557-208/+208
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-0315-435/+200
generated by cgit (git 2.34.1) at 2024-05-09 18:44:52 +0000