Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 32-bit rotate finished | David Monniaux | 2019-03-16 | 1 | -0/+10 | |
| | ||||||
* | le Makefile passe | David Monniaux | 2019-03-14 | 1 | -2/+11 | |
| | ||||||
* | test for memcpy builtin | David Monniaux | 2019-03-13 | 1 | -0/+15 | |
| | ||||||
* | with timing | David Monniaux | 2019-03-13 | 2 | -2/+7 | |
| | ||||||
* | Merge branch 'master' into mppa_postpass | Cyril SIX | 2019-03-13 | 4 | -1/+180 | |
|\ | | | | | | | | | | | Conflicts: .gitignore runtime/include/stdbool.h | |||||
| * | Revised attachment of name attributes to structs, unions, enums | Xavier Leroy | 2019-02-25 | 2 | -0/+8 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Consider: ``` struct s { ... } __attribute((aligned(N))); struct t { ... } __attribute((aligned(N))) struct t x; ``` In the first case, the aligned attribute should be attached to struct s, so that further references to struct s are aligned. In the second case, the aligned attribute should be attached to the variable x, because if we attach it to struct t, it will be ignored and cause a warning. This commit changes the attachment rule so that it treats both cases right. Extend regression test for "aligned" attribute accordingly, by testing aligned attribute applied to a name of struct type. | |||||
| * | Add regression test for "aligned" attribute | Xavier Leroy | 2019-02-25 | 3 | -1/+120 | |
| | | | | | | | | Expected results were obtained with GCC 5.4 and Clang 8.0 | |||||
| * | Test for NULL in variable argument lists | Xavier Leroy | 2019-02-04 | 2 | -1/+53 | |
| | | | | | | | | | | Sometimes a vararg function receives a NULL-terminated list of pointers. This can fail if sizeof(NULL) < sizeof(void *), as this test illustrates. | |||||
* | | -fpostpass-ilp | David Monniaux | 2019-03-12 | 2 | -9/+2 | |
| | | ||||||
* | | better tracing for ILP + make clean | David Monniaux | 2019-03-12 | 1 | -0/+5 | |
| | | ||||||
* | | forgot a free() | David Monniaux | 2019-03-12 | 1 | -0/+1 | |
| | | ||||||
* | | simpler Makefiles | David Monniaux | 2019-03-12 | 1 | -0/+12 | |
| | | ||||||
* | | et hop un Makefile pour les matrices complexes | David Monniaux | 2019-03-12 | 2 | -0/+12 | |
| | | ||||||
* | | some more optimized complex matrix | David Monniaux | 2019-03-12 | 1 | -12/+9 | |
| | | ||||||
* | | easier for clocking directly from ccomp files | David Monniaux | 2019-03-12 | 2 | -0/+5 | |
| | | ||||||
* | | some more work on complex matrices | David Monniaux | 2019-03-12 | 1 | -8/+195 | |
| | | ||||||
* | | some more about complex numbers | David Monniaux | 2019-03-11 | 1 | -8/+49 | |
| | | ||||||
* | | wrong directory, fixed | David Monniaux | 2019-03-11 | 1 | -0/+0 | |
| | | ||||||
* | | et hop un Makefile | David Monniaux | 2019-03-11 | 1 | -0/+9 | |
| | | ||||||
* | | complex numbers attempt | David Monniaux | 2019-03-10 | 1 | -0/+22 | |
| | | ||||||
* | | test code for jump tables | David Monniaux | 2019-03-10 | 1 | -0/+34 | |
| | | ||||||
* | | varargs | David Monniaux | 2019-03-10 | 1 | -18/+0 | |
| | | ||||||
* | | forgot the Makefile | David Monniaux | 2019-03-10 | 1 | -0/+18 | |
| | | ||||||
* | | test for volatiles | David Monniaux | 2019-03-10 | 1 | -0/+33 | |
| | | ||||||
* | | volatile stores | David Monniaux | 2019-03-10 | 2 | -2/+2 | |
| | | ||||||
* | | demo for volatile | David Monniaux | 2019-03-09 | 2 | -9/+28 | |
| | | ||||||
* | | program for testing volatiles | David Monniaux | 2019-03-09 | 1 | -0/+32 | |
| | | ||||||
* | | store the assembly source code as well | David Monniaux | 2019-03-09 | 1 | -5/+8 | |
| | | ||||||
* | | code qui plante | David Monniaux | 2019-03-08 | 3 | -0/+33 | |
| | | ||||||
* | | Modified test/c/Makefile for CompCert tests (remove all the float tests with ↵ | Cyril SIX | 2019-03-08 | 2 | -5/+6 | |
| | | | | | | | | division) | |||||
* | | un example avec varargs flottants | David Monniaux | 2019-03-08 | 1 | -0/+34 | |
| | | ||||||
* | | disable useless warnings | David Monniaux | 2019-03-08 | 4 | -4/+4 | |
| | | ||||||
* | | stop warning about system includes | David Monniaux | 2019-03-07 | 3 | -3/+3 | |
| | | ||||||
* | | forgot the .h | David Monniaux | 2019-03-07 | 1 | -0/+4 | |
| | | ||||||
* | | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-03-02 | 7 | -10/+104 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | |||||
| * | | Float conversion fixes + some more conversions | Cyril SIX | 2019-02-27 | 4 | -5/+5 | |
| | | | ||||||
| * | | Changing the way floats are compared (script using reltol and abstol comparison) | Cyril SIX | 2019-02-27 | 4 | -5/+99 | |
| | | | ||||||
* | | | mul8: loop-invariant code motion | David Monniaux | 2019-02-19 | 3 | -3/+63 | |
|/ / | ||||||
* | | forgot to deallocate block | David Monniaux | 2019-02-18 | 6 | -5/+12 | |
| | | | | | | | | -g changes performance | |||||
* | | double matrix multiplication | David Monniaux | 2019-02-15 | 4 | -0/+371 | |
| | | ||||||
* | | INT_MOD in picosat | David Monniaux | 2019-02-15 | 2 | -5/+7 | |
| | | ||||||
* | | Rajout d'opérateurs flottants, travail sur les tests --> à continuer | Cyril SIX | 2019-02-15 | 70 | -68/+136 | |
| | | ||||||
* | | HAS_FLOAT (constantes) | David Monniaux | 2019-02-13 | 1 | -0/+1 | |
| | | ||||||
* | | Added Olongoffloat, Ofloatoflong and doubleconv test | Cyril SIX | 2019-02-12 | 1 | -0/+9 | |
| | | ||||||
* | | Added Ointofsingle + floatconv unit test | Cyril SIX | 2019-02-12 | 1 | -0/+9 | |
| | | ||||||
* | | for mbedtls | David Monniaux | 2019-02-09 | 3 | -0/+114 | |
| | | ||||||
* | | some more files compile | David Monniaux | 2019-02-08 | 1 | -7/+9 | |
| | | ||||||
* | | removed 'KILL_TAIL_CALL()', no longer needed | David Monniaux | 2019-02-08 | 26 | -39/+2 | |
| | | ||||||
* | | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-02-08 | 2 | -0/+49 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | |||||
| * | | Added indirect tailcalls | Cyril SIX | 2019-02-08 | 2 | -0/+49 | |
| | | |