Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | use all same exact include filesv3.5_k1c_1.2 | David Monniaux | 2019-06-03 | 1 | -15/+7 |
| | |||||
* | added some include files | David Monniaux | 2019-05-29 | 1 | -0/+1 |
| | |||||
* | fixes for COS | David Monniaux | 2019-05-28 | 1 | -0/+10 |
| | |||||
* | directly call float and double division from gcc lib instead of a stub | David Monniaux | 2019-05-15 | 1 | -42/+0 |
| | |||||
* | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -23/+0 |
| | |||||
* | we directly call 64-bit unsigned division | David Monniaux | 2019-05-13 | 1 | -22/+0 |
| | |||||
* | feclearexcept / fetestexcept | David Monniaux | 2019-04-13 | 1 | -0/+15 |
| | |||||
* | simplification of the varargs procedure: they are leaf procedures, there is ↵ | David Monniaux | 2019-04-12 | 1 | -40/+1 |
| | | | | no need to save $ra | ||||
* | __builtin_k1_acswapw | David Monniaux | 2019-04-11 | 1 | -0/+7 |
| | |||||
* | builtin acswapd | David Monniaux | 2019-04-11 | 1 | -1/+10 |
| | |||||
* | passage de structures en varargs (fonctionne avec une convention "passage ↵ | David Monniaux | 2019-03-22 | 1 | -0/+3 |
| | | | | par référence" cohérente avec CompCert mais pas forcément avec gcc) | ||||
* | la division flottante fonctionne | David Monniaux | 2019-03-20 | 2 | -1/+12 |
| | |||||
* | les divisions entieres passent | David Monniaux | 2019-03-20 | 3 | -0/+43 |
| | |||||
* | sdiv works | David Monniaux | 2019-03-20 | 2 | -1/+15 |
| | |||||
* | varargs | David Monniaux | 2019-03-10 | 1 | -0/+2 |
| | |||||
* | Fixed div64 and mod64 | Cyril SIX | 2018-12-11 | 2 | -31/+1 |
| | |||||
* | Finished implementation of va_arg + testing done | Cyril SIX | 2018-11-30 | 1 | -0/+72 |
| | |||||
* | Fixed MPPA runtimes not compiling | Cyril SIX | 2018-11-20 | 1 | -2/+7 |
| | |||||
* | MPPA - Changed division to include the builtin | Cyril SIX | 2018-06-05 | 1 | -23/+2 |
| | |||||
* | MPPA - div and mod, replaced gcc implementation by C files + ccomp | Cyril SIX | 2018-05-21 | 13 | -460/+29 |
| | |||||
* | MPPA - Added modulo and division 64 bits. Non certified | Cyril SIX | 2018-05-21 | 13 | -0/+590 |
32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins. |