aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
| * maddw exists now in postpass schedulerDavid Monniaux2019-03-181-0/+14
* | Pseudo instruction for 32 bits division, no code generation yetCyril SIX2019-03-191-1/+2
|/
* orn / andn in asmDavid Monniaux2019-03-181-4/+18
* long nand, nor, nxorDavid Monniaux2019-03-161-3/+12
* nxorDavid Monniaux2019-03-161-3/+6
* partial norwDavid Monniaux2019-03-161-4/+7
* nand is implementedDavid Monniaux2019-03-161-2/+7
* fix problem with ALU reservation tablesDavid Monniaux2019-03-161-1/+3
* 32-bit rotate finishedDavid Monniaux2019-03-161-3/+5
* Corrigé certaines latences (Store -> 1 i/o 3, Set -> 4 i/o 3)Cyril SIX2019-03-131-4/+3
* -fpostpass-ilpDavid Monniaux2019-03-121-2/+4
* better tracing for ILP + make cleanDavid Monniaux2019-03-121-0/+1
* Fix for the compw immediate problemCyril SIX2019-03-081-7/+17
* Reverting the hack introduces on Pcompw etc..Cyril SIX2019-03-081-14/+3
* HACK for Pcompiw/Pcompil as wellCyril SIX2019-03-071-2/+8
* HACK for the Pcompw/Pcompl memory problem (but performance decrease, to remov...Cyril SIX2019-03-061-1/+4
* Added double comparisonsCyril SIX2019-03-011-2/+7
* Implemented float comparisons (no branching yet, and no negation)Cyril SIX2019-03-011-1/+11
* Ointuofsingle doneCyril SIX2019-03-011-3/+5
* Float conversion fixes + some more conversionsCyril SIX2019-02-271-3/+15
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-151-6/+39
* FIX axiom to be realized issueCyril SIX2019-02-151-0/+8
* Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-02-131-2/+20
|\
| * Added Olongoffloat, Ofloatoflong and doubleconv testCyril SIX2019-02-121-3/+7
| * Added Ointofsingle + floatconv unit testCyril SIX2019-02-121-3/+5
| * Added OsingleofintCyril SIX2019-02-121-1/+5
| * Added Pmakefs and Pmakef to the schedulerCyril SIX2019-02-121-3/+9
generated by cgit (git 2.34.1) at 2024-07-06 17:48:02 +0000