Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Small improvements to interop test Makefile | Cyril SIX | 2019-03-19 | 2 | -4/+33 |
| | |||||
* | Psemi manquant dans l'expansion de Pallocframe | Cyril SIX | 2019-03-19 | 1 | -0/+2 |
| | |||||
* | Merge branch 'mppa_postpass' of ↵ | Cyril SIX | 2019-03-18 | 15 | -18/+273 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | bug de pretty printing | David Monniaux | 2019-03-18 | 1 | -2/+2 |
| | | |||||
| * | andn / orn long complete I think | David Monniaux | 2019-03-18 | 2 | -0/+19 |
| | | |||||
| * | selection of andn/orn on long | David Monniaux | 2019-03-18 | 2 | -0/+10 |
| | | |||||
| * | some more andn / orn | David Monniaux | 2019-03-18 | 3 | -0/+28 |
| | | |||||
| * | andn/orn start being generated | David Monniaux | 2019-03-18 | 3 | -8/+22 |
| | | |||||
| * | andn / orn suite | David Monniaux | 2019-03-18 | 6 | -7/+34 |
| | | |||||
| * | orn / andn in asm | David Monniaux | 2019-03-18 | 4 | -4/+50 |
| | | |||||
| * | some more about andn/orn | David Monniaux | 2019-03-18 | 2 | -0/+24 |
| | | |||||
| * | begin andn orn | David Monniaux | 2019-03-18 | 3 | -0/+87 |
| | | |||||
* | | The parent frame pointer is now R17 instead of R14 | Cyril SIX | 2019-03-18 | 7 | -27/+21 |
|/ | |||||
* | stats on chunks etc. | David Monniaux | 2019-03-17 | 1 | -3/+5 |
| | |||||
* | isolate the slow part | David Monniaux | 2019-03-17 | 2 | -3/+4 |
| | |||||
* | experiments on what's slow | David Monniaux | 2019-03-17 | 1 | -136/+12 |
| | |||||
* | longer tests | David Monniaux | 2019-03-17 | 1 | -1/+5 |
| | |||||
* | compactify unrolled code | David Monniaux | 2019-03-17 | 1 | -143/+26 |
| | |||||
* | expand h | David Monniaux | 2019-03-17 | 1 | -17/+33 |
| | |||||
* | expand h | David Monniaux | 2019-03-17 | 1 | -17/+33 |
| | |||||
* | the inliner is rotten | David Monniaux | 2019-03-16 | 1 | -26/+44 |
| | |||||
* | long nand, nor, nxor | David Monniaux | 2019-03-16 | 12 | -12/+151 |
| | |||||
* | nxor | David Monniaux | 2019-03-16 | 13 | -4/+64 |
| | |||||
* | nor implemente | David Monniaux | 2019-03-16 | 8 | -1/+44 |
| | |||||
* | partial norw | David Monniaux | 2019-03-16 | 5 | -9/+26 |
| | |||||
* | nand is implemented | David Monniaux | 2019-03-16 | 7 | -2/+39 |
| | |||||
* | some more nand | David Monniaux | 2019-03-16 | 4 | -3/+48 |
| | |||||
* | nand debut | David Monniaux | 2019-03-16 | 3 | -0/+18 |
| | |||||
* | fix problem with ALU reservation tables | David Monniaux | 2019-03-16 | 1 | -1/+3 |
| | |||||
* | 32-bit rotate finished | David Monniaux | 2019-03-16 | 7 | -6/+27 |
| | |||||
* | select rotate ops 32-bit | David Monniaux | 2019-03-16 | 3 | -2/+74 |
| | |||||
* | some more progress on rotate | David Monniaux | 2019-03-16 | 2 | -0/+6 |
| | |||||
* | ValueAOp rotate 32-bit | David Monniaux | 2019-03-16 | 1 | -0/+1 |
| | |||||
* | instruction rotate | David Monniaux | 2019-03-16 | 2 | -0/+3 |
| | |||||
* | Removing SelectLong.v from the git repo (compiled from SelectLong.vp) | Cyril SIX | 2019-03-15 | 2 | -800/+1 |
| | |||||
* | better robustness wrt exceptions | David Monniaux | 2019-03-14 | 1 | -5/+9 |
| | |||||
* | le Makefile passe | David Monniaux | 2019-03-14 | 1 | -2/+11 |
| | |||||
* | test for memcpy builtin | David Monniaux | 2019-03-13 | 1 | -0/+15 |
| | |||||
* | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-03-13 | 1 | -4/+3 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | Corrigé certaines latences (Store -> 1 i/o 3, Set -> 4 i/o 3) | Cyril SIX | 2019-03-13 | 1 | -4/+3 |
| | | |||||
* | | with timing | David Monniaux | 2019-03-13 | 2 | -2/+7 |
|/ | |||||
* | Fix for CompCert 3.5 | Cyril SIX | 2019-03-13 | 1 | -0/+1 |
| | |||||
* | Merge branch 'master' into mppa_postpass | Cyril SIX | 2019-03-13 | 29 | -290/+564 |
|\ | | | | | | | | | | | Conflicts: .gitignore runtime/include/stdbool.h | ||||
| * | Update version number for 3.5v3.5 | Xavier Leroy | 2019-02-28 | 1 | -1/+1 |
| | | |||||
| * | Update HTML doc for release 3.5 | Xavier Leroy | 2019-02-27 | 1 | -1/+1 |
| | | |||||
| * | Update Changelog in preparation for release 3.5 | Xavier Leroy | 2019-02-26 | 1 | -1/+1 |
| | | |||||
| * | Maximum supported Menhir version (#275) | Xavier Leroy | 2019-02-26 | 1 | -1/+1 |
| | | | | | | | | | | Follow-up to commit fc9bc643. The latest Menhir version compatible with the current code base is actually 20181113. | ||||
| * | Update Changelog in preparation for release 3.5 | Xavier Leroy | 2019-02-25 | 1 | -0/+35 |
| | | |||||
| * | Maximum supported Menhir version (#275) | Jacques-Henri Jourdan | 2019-02-25 | 1 | -2/+3 |
| | | | | | | The Coq backend of Menhir will soon enjoy a large refactoring, making it incompatible with the version of MenhirLib currently in CompCert. This commit adds a check in configure to make sure that the version of Menhir is not more modern than the current one (20181026). | ||||
| * | Revised attachment of name attributes to structs, unions, enums | Xavier Leroy | 2019-02-25 | 3 | -6/+29 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. |