aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
| * Added Ofloatconst and Osingleconst (not integrated in scheduler yet)Cyril SIX2019-02-121-0/+2
* | We have one example that exceeds a total latency of 5000, better simply not c...David Monniaux2019-02-131-1/+1
|/
* Fix for immediate size miscomputation in postpass oracle.Cyril SIX2019-02-081-12/+11
* Added indirect tailcallsCyril SIX2019-02-081-3/+5
* Adding indirect calls (icall instruction)Cyril SIX2019-01-291-3/+5
* Added sxwd and zxwd supportCyril SIX2019-01-221-5/+8
* -O0 will not perform postpass schedulingCyril SIX2019-01-181-1/+1
* Minor bug in encode_immCyril SIX2019-01-181-2/+2
* Minor bug fixesCyril SIX2019-01-171-2/+2
* Corrected a bug in Pallocframe expansion with va_argsCyril SIX2019-01-171-0/+1
* Merge correctionsCyril SIX2019-01-171-5/+6
* Corrected a bug in PostlassSchedulingOracle:intlist provoking cyclesCyril SIX2019-01-171-1/+1
* Added the rest of the instructions info (manually)Cyril SIX2019-01-161-47/+160
* More instruction definitions in the oracleCyril SIX2019-01-161-11/+34
* Debugged latency generation. We are able to produce bundlesCyril SIX2019-01-151-23/+78
* Pfreeframe and Pallocframe raise "OpaqueInstruction". Splitting bb to isolate...Cyril SIX2019-01-151-18/+55
* Added RA as possible location + control flow infoCyril SIX2019-01-111-6/+12
* Adding Mem as a possible location for accessesCyril SIX2019-01-111-23/+31
* Replaced the faulty bundlize_solution functionCyril SIX2019-01-111-28/+43
* [BROKEN] trying to link the test in mppa_k1c/unittest/postpass_testCyril SIX2019-01-111-33/+18
* [BROKEN] Added infos about sd, infinite loop somewhereCyril SIX2019-01-091-5/+23
* Adding more Asmblock instructions to PostpassSchedulingOracleCyril SIX2019-01-081-14/+108
* Raccordement de InstructionScheduler.ml à PostpassSchedulingOracle.mlCyril SIX2019-01-081-4/+94
* Latency constraints building done in PostpassSchedulingOracle.mlCyril SIX2019-01-081-16/+28
* Reorganized PostpassOracle to separate asmblock instructions from real instru...Cyril SIX2019-01-081-72/+111
* Finished the immediate recognition part, started latency constraintsCyril SIX2019-01-071-19/+78
* [BROKEN] Début d'oracleCyril SIX2018-12-201-1/+105
* Added a simple postpass oracle that splits a bblock into single instruction b...Cyril SIX2018-12-171-0/+18