aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Collapse)AuthorAgeFilesLines
* 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/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
* | 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
| |
* | 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 ↵David Monniaux2019-04-121-40/+1
| | | | | | | | no need to save $ra
* | __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 ↵David Monniaux2019-03-221-0/+3
| | | | | | | | par référence" cohérente avec CompCert mais pas forcément avec gcc)
* | 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
|\| | | | | | | | | | | Conflicts: .gitignore runtime/include/stdbool.h
| * <stddef.h>: define NULL with type void *Xavier Leroy2019-02-041-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ISO C2011 7.19 para 3 says "NULL, which expands to an implementation-defined null pointer constant" ISO C2011 6.3.2.3 para 3 says "An integer constant expression with the value 0, or such an expression cast to type void *, is called a null pointer constant." So, it seems NULL can be defined either as "0" or as "(void *) 0". However, the two definitions are not equivalent in the context of a call to a variadic or unprototyped function: passing 0 when the function expects a pointer value can go wrong if sizeof(int) != sizeof(void *). This commit changes the definition of NULL to the safer one: This is what GCC and Clang do in C mode; they use "#define NULL 0" for C++ only. Fixes issue #265
| * <stdbool.h>: add missing macro __bool_true_false_are_definedXavier Leroy2019-02-041-0/+1
| | | | | | | | | | | | As specified in ISO C99 section 7.16 and C11 section 7.18. Fixes issue #266
* | 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
|\| | | | | | | | | Conflicts: .gitignore
| * Define the C11 type max_align_t (#115)Bernhard Schommer2018-05-241-0/+9
| | | | | | | | | | | | | | The definition is similar to that of gcc, however since we don't support long doubles out of the box and long doubles are doubles in compat mode we can directly define max_align_t to be long long. Bug 23380
* | Fixed MPPA runtimes not compilingCyril SIX2018-11-202-5/+8
| |
generated by cgit (git 2.34.1) at 2024-07-14 09:15:30 +0000