aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Collapse)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 ↵Cyril SIX2019-04-291-1/+7
| | | | | | | | (-fpostpass nameofscheduler)
| * [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
|\ | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmblock.v
| * 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
| | | | | | | | | | | | | | | | | | | | avec TODOs pour refactoring #90
* | | | | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-3/+3
| |_|_|/ |/| | |
* | | | Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les ↵Cyril SIX2019-04-051-1/+1
| |_|/ |/| | | | | | | | store)
* | | 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-04 12:40:34 +0000