aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Expand)AuthorAgeFilesLines
* -frevlistDavid Monniaux2019-06-211-0/+2
* Reverting the unwanted time measurement from the other branchCyril SIX2019-06-181-14/+1
* [NOT TESTED] Compiles and should work ?Cyril SIX2019-06-181-11/+17
* [BROKEN] still broken, just fixing a logical detailCyril SIX2019-06-171-1/+1
* [BROKEN] Fixed the dependency oracle, does not compileCyril SIX2019-06-171-8/+42
* [NOT TESTED] ça compileCyril SIX2019-06-171-7/+7
* [BROKEN] Replaced the accesses lists by Maps, does not compileCyril SIX2019-06-141-8/+58
* Fix for #134 Pjumptable not recognizedCyril SIX2019-06-051-1/+1
* fixed reservation table for cmoveDavid Monniaux2019-06-051-1/+5
* osel immDavid Monniaux2019-06-041-1/+1
* added immediate cmoveDavid Monniaux2019-06-041-5/+15
* Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-301-7/+36
|\
| * apply .xs onto addx4 etcDavid Monniaux2019-05-111-4/+16
| * add with shift, beginningDavid Monniaux2019-05-111-3/+6
| * Pmsub compiledDavid Monniaux2019-05-111-5/+7
| * begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-6/+6
| * new instructions at asm levelDavid Monniaux2019-05-101-0/+12
* | error in the classification of SrswDavid Monniaux2019-05-291-2/+2
* | Desactivating the "one instruction per bundle" failsafeCyril SIX2019-05-171-0/+3
|/
* 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
| |\
generated by cgit (git 2.34.1) at 2024-07-06 17:14:49 +0000