Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | ça recompile sur x86 | David Monniaux | 2019-03-22 | 2 | -103/+1 | |
| * | | | Merge branch 'mppa_postpass' into mppa-mul | David Monniaux | 2019-03-22 | 3 | -613/+7 | |
| |\| | | ||||||
| | * | | I think it should now compile for all architectures. | David Monniaux | 2019-03-22 | 1 | -613/+0 | |
| | * | | try to be portable across archs | David Monniaux | 2019-03-21 | 2 | -0/+7 | |
* | | | | rm tests inherited from Risc-V | David Monniaux | 2019-03-20 | 1 | -30/+5 | |
|/ / / | ||||||
* | | | Merge branch 'mppa_postpass' into mppa-mul | David Monniaux | 2019-03-20 | 1 | -2/+2 | |
|\| | | ||||||
| * | | XLeroy's suggested fix for shared float/int register file. | David Monniaux | 2019-03-20 | 1 | -2/+2 | |
* | | | Proof of div32/mod32/divf32/divf64 lemmas | Cyril SIX | 2019-03-20 | 1 | -6/+21 | |
* | | | la division flottante fonctionne | David Monniaux | 2019-03-20 | 2 | -2/+27 | |
* | | | begin float division | David Monniaux | 2019-03-20 | 1 | -0/+4 | |
* | | | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | David Monniaux | 2019-03-20 | 1 | -6/+47 | |
|\ \ \ | ||||||
| * | | | Proving eval_divs_base | Cyril SIX | 2019-03-20 | 1 | -6/+47 | |
* | | | | les divisions entieres passent | David Monniaux | 2019-03-20 | 2 | -9/+11 | |
* | | | | Merge branch 'mppa_postpass' into mppa-mul | David Monniaux | 2019-03-20 | 20 | -1449/+461 | |
|\ \ \ \ | |/ / / |/| / / | |/ / | ||||||
| * | | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-20 | 7 | -20/+65 | |
| |\ \ | ||||||
| | * | | maddl / maddlim are synthesized (but not for pointers it seems) | David Monniaux | 2019-03-20 | 3 | -1/+13 | |
| | * | | maddl gets to assembly | David Monniaux | 2019-03-20 | 1 | -2/+0 | |
| | * | | maddl declared | David Monniaux | 2019-03-20 | 3 | -17/+52 | |
| * | | | Merge branch 'mppa-madd' into mppa_postpass | David Monniaux | 2019-03-19 | 14 | -1357/+307 | |
| |\| | | ||||||
| | * | | mul+madd immediate | David Monniaux | 2019-03-19 | 4 | -3/+28 | |
| | * | | mul immediate | David Monniaux | 2019-03-19 | 6 | -3/+18 | |
| | * | | mul immediate begin | David Monniaux | 2019-03-19 | 8 | -4/+28 | |
| | * | | fix classes for madd | David Monniaux | 2019-03-19 | 1 | -4/+4 | |
| | * | | reverse madd | David Monniaux | 2019-03-19 | 2 | -0/+4 | |
| | * | | improve robustness of Asmblockdeps.arith_op_eq. | Sylvain Boulmé | 2019-03-19 | 1 | -13/+29 | |
| | * | | fix missing case in Asmblockdeps.arith_op_eq | Sylvain Boulmé | 2019-03-19 | 1 | -2/+2 | |
| | * | | 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 | |
| | * | | 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 gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | Cyril SIX | 2019-03-18 | 14 | -18/+257 | |
| |\ \ \ | ||||||
| * | | | | 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 | |
| |/ / / |/| | | | ||||||
* | | | | 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 | |
|/ / |