Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | * | remove a FAILWITH that forbids some debugging information to be printed | Sylvain Boulmé | 2019-03-19 | 1 | -3/+3 | |
| | | | ||||||
| | * | specify instructions that write to first operand (madd) | David Monniaux | 2019-03-19 | 2 | -1324/+1 | |
| | | | ||||||
| | * | Revert "implemented -fno-postpass normally" | David Monniaux | 2019-03-19 | 3 | -45/+18 | |
| | | | | | | | | | | | | This reverts commit fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd. | |||||
| | * | implemented -fno-postpass normally | David Monniaux | 2019-03-19 | 3 | -18/+45 | |
| | | | ||||||
| | * | mandw mais ça coince | David Monniaux | 2019-03-18 | 3 | -3/+12 | |
| | | | ||||||
| | * | maddw dans la génération | David Monniaux | 2019-03-18 | 2 | -1/+9 | |
| | | | ||||||
| | * | plus d'infrastructure pour madd | David Monniaux | 2019-03-18 | 3 | -0/+49 | |
| | | | ||||||
| | * | maddw exists now in postpass scheduler | David Monniaux | 2019-03-18 | 1 | -0/+14 | |
| | | | ||||||
| | * | ça passe mais pas encore l'oracle | David Monniaux | 2019-03-18 | 3 | -1/+98 | |
| | | | ||||||
| | * | begin implementing multiply-add | David Monniaux | 2019-03-18 | 2 | -3/+15 | |
| | | | ||||||
| * | | Pseudo instruction for 32 bits division, no code generation yet | Cyril SIX | 2019-03-19 | 8 | -19/+87 | |
| | | | ||||||
| * | | 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 | 14 | -18/+257 | |
| |\ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | |||||
| * | | | The parent frame pointer is now R17 instead of R14 | Cyril SIX | 2019-03-18 | 7 | -27/+21 | |
| | | | | ||||||
* | | | | added helper functions but strange | David Monniaux | 2019-03-19 | 3 | -5/+162 | |
| |/ / |/| | | | | | | | | idiv.c: error: __compcert_i32_sdiv: missing or incorrect declaration | |||||
* | | | bug de pretty printing | David Monniaux | 2019-03-18 | 1 | -2/+2 | |
| |/ |/| | ||||||
* | | andn / orn long complete I think | David Monniaux | 2019-03-18 | 1 | -0/+3 | |
| | | ||||||
* | | 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 | |
|/ | ||||||
* | long nand, nor, nxor | David Monniaux | 2019-03-16 | 11 | -7/+144 | |
| | ||||||
* | nxor | David Monniaux | 2019-03-16 | 12 | -3/+59 | |
| | ||||||
* | nor implemente | David Monniaux | 2019-03-16 | 7 | -0/+39 | |
| | ||||||
* | partial norw | David Monniaux | 2019-03-16 | 5 | -9/+26 | |
| | ||||||
* | nand is implemented | David Monniaux | 2019-03-16 | 6 | -2/+28 | |
| | ||||||
* | some more nand | David Monniaux | 2019-03-16 | 3 | -3/+45 | |
| | ||||||
* | 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 | 6 | -6/+17 | |
| | ||||||
* | 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 | |
| | ||||||
* | Corrigé certaines latences (Store -> 1 i/o 3, Set -> 4 i/o 3) | Cyril SIX | 2019-03-13 | 1 | -4/+3 | |
| | ||||||
* | Fix for CompCert 3.5 | Cyril SIX | 2019-03-13 | 1 | -0/+1 | |
| | ||||||
* | Enlevé la dépendance mémoire de Pcbu | Cyril SIX | 2019-03-13 | 3 | -25/+25 | |
| | ||||||
* | for using CPlex | David Monniaux | 2019-03-13 | 1 | -1/+12 | |
| | ||||||
* | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-03-12 | 2 | -109/+134 | |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | |||||
| * | Added cascaded_scheduler but the flag does not work | Cyril SIX | 2019-03-12 | 1 | -1/+1 | |
| | | ||||||
| * | Added a flag for changing the scheduler (not any choice available right now) | Cyril SIX | 2019-03-12 | 1 | -2/+3 | |
| | | ||||||
| * | Proof of exec_trans_pcincr solved | Cyril SIX | 2019-03-12 | 1 | -7/+31 | |
| | | ||||||
| * | Merge remote-tracking branch 'origin/mppa_parcheck' into mppa_parcheck | Cyril SIX | 2019-03-12 | 1 | -12/+12 | |
| |\ | ||||||
| | * | fix trans_pcincr for parcheck. (Proof is broken. cf FIXME) | Sylvain Boulmé | 2019-03-12 | 1 | -12/+12 | |
| | | | ||||||
| * | | Simplification des preuves "de discrimination" dans Asmblockdeps | Cyril SIX | 2019-03-12 | 1 | -94/+77 | |
| |/ |