aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Expand)AuthorAgeFilesLines
* new instructions at asm levelDavid Monniaux2019-05-101-0/+12
* wrong srsd arith unit assignmentDavid Monniaux2019-05-051-2/+2
* it compiles!David Monniaux2019-05-041-6/+15
* Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-031-9/+15
|\
| * [FIX #101] PostpassSchedulingOracle:separate_opaque was not computing correctlyCyril SIX2019-05-031-9/+15
| * Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-031-4/+13
| |\
* | | Lq finished ?David Monniaux2019-05-031-3/+4
* | | begin add PlqDavid Monniaux2019-05-031-0/+3
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-031-7/+2
|\| | | |/ |/|
| * Renaming "dumb" scheduling into "greedy"Cyril SIX2019-05-031-7/+2
* | use sq to save pairs of registersDavid Monniaux2019-05-031-3/+7
* | it compilesDavid Monniaux2019-05-031-1/+6
|/
* rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-031-3/+2
* Merge branch 'mppa-xsaddr' into mppa-workDavid Monniaux2019-05-021-5/+5
|\
| * it compilesDavid Monniaux2019-05-011-1/+1
| * begin load.xsDavid Monniaux2019-05-011-4/+4
* | Merge branch 'dumb-scheduling' into mppa-workCyril SIX2019-04-301-2/+9
|\ \ | |/ |/|
| * Setting fpostpass= optionCyril SIX2019-04-301-1/+1
| * The scheduler selection works, but the argument is not optional yet (-fpostpa...Cyril SIX2019-04-291-1/+7
| * [BROKEN] Fixed the dumb scheduler, not yet properly integratedCyril SIX2019-04-291-2/+3
| * [BUGGED] First attempt at a dumb scheduler ("accumulates" instructions)Cyril SIX2019-04-251-1/+1
* | removed fake ops for int32 -> doubleDavid Monniaux2019-04-291-4/+0
* | forgot in oracleDavid Monniaux2019-04-291-0/+2
* | Srsd / SrswDavid Monniaux2019-04-291-5/+9
* | insf seems to workDavid Monniaux2019-04-281-1/+1
* | begin add bitfield insertionDavid Monniaux2019-04-271-3/+12
* | start of extfzl/extfslDavid Monniaux2019-04-251-4/+4
|/
* read from bit fieldsDavid Monniaux2019-04-251-5/+7
* progressDavid Monniaux2019-04-251-0/+1
* begin bitfieldsDavid Monniaux2019-04-241-0/+1
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-081-4/+7
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-051-1/+1
| |\
| * | select cmpuDavid Monniaux2019-04-051-1/+2
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-041-2/+2
| |\ \
| * \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-0/+5
| |\ \ \
| * | | | cmoved worksDavid Monniaux2019-03-261-4/+5
| * | | | progress on cmoveDavid Monniaux2019-03-251-0/+1
* | | | | relecture sylvainSylvain Boulmé2019-04-051-0/+1
* | | | | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-3/+3
| |_|_|/ |/| | |
* | | | Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les st...Cyril SIX2019-04-051-1/+1
| |_|/ |/| |
* | | Erreur idiote dans les latences ?Cyril SIX2019-04-041-2/+2
| |/ |/|
* | Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yetCyril SIX2019-04-021-0/+4
* | Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-221-1/+0
|\|
| * rm Pdiv / PdivuDavid Monniaux2019-03-221-1/+0
* | Jump tables now work. There is still an "Admitted" subcase in a proof.David Monniaux2019-03-221-0/+1
|/
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-191-7/+28
|\
| * mul+madd immediateDavid Monniaux2019-03-191-1/+1
| * mul immediate beginDavid Monniaux2019-03-191-2/+4
| * fix classes for maddDavid Monniaux2019-03-191-4/+4
| * mandw mais ça coinceDavid Monniaux2019-03-181-3/+8
generated by cgit (git 2.34.1) at 2024-07-02 10:17:16 +0000