aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* add options for controlling madd and notrap selectionDavid Monniaux2020-04-197-17/+46
|
* activate LICMDavid Monniaux2020-04-192-2/+2
|
* forgotten extractionDavid Monniaux2020-04-191-1/+2
|
* test whether the instructions are allowedDavid Monniaux2020-04-199-10/+28
|
* compute injectionsDavid Monniaux2020-04-191-11/+28
|
* synthesize injection listsDavid Monniaux2020-04-191-8/+30
|
* try building injection listsDavid Monniaux2020-04-191-0/+52
|
* pp_listDavid Monniaux2020-04-181-3/+6
|
* compute inner loopsDavid Monniaux2020-04-181-2/+11
|
* backward iteratorDavid Monniaux2020-04-181-2/+31
|
* dominated setsDavid Monniaux2020-04-181-4/+30
|
* dominated partsDavid Monniaux2020-04-181-2/+15
|
* headers vs dominatorsDavid Monniaux2020-04-181-4/+6
|
* find inner loopsDavid Monniaux2020-04-171-1/+57
|
* moved to extraDavid Monniaux2020-04-162-16/+9
|
* gmap2_idemDavid Monniaux2020-04-161-65/+111
|
* gmap2_idemDavid Monniaux2020-04-161-0/+16
|
* gmap2_idem_EmptyDavid Monniaux2020-04-161-0/+54
|
* begin HashedMapsDavid Monniaux2020-04-161-0/+332
|
* Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licmDavid Monniaux2020-04-166-36/+112
|\
| * CSE3: better builtin handlingDavid Monniaux2020-04-164-5/+60
| |
| * Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-164-34/+56
| |\
| | * refine the rules for builtinsDavid Monniaux2020-04-162-5/+37
| | |
| | * progress on CSE2 builtinsDavid Monniaux2020-04-162-31/+20
| | |
| | * Coq error message update in configureCyril SIX2020-04-151-1/+1
| | |
| * | fix Icond now has a extra argumentDavid Monniaux2020-04-082-3/+3
| | |
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-0833-334/+533
| |\ \
| * \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-0119-106/+954
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-311-0/+8
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-311-0/+11
| |\ \ \ \ \
* | | | | | | adapt for Icond with predicted directionDavid Monniaux2020-04-164-13/+13
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licmDavid Monniaux2020-04-1333-334/+534
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | Removed the assertion about prediction on ifsoCyril SIX2020-04-091-2/+3
| | |_|_|_|/ | |/| | | |
| * | | | | Some cleaning on Linearize and DuplicateCyril SIX2020-04-082-95/+118
| | | | | |
| * | | | | Duplicate: Common rtl_successors functionCyril SIX2020-04-081-61/+33
| | | | | |
| * | | | | accept Coq 8.11.1David Monniaux2020-04-081-1/+1
| | | | | |
| * | | | | Changing best_predecessor_of to not take None predictionsCyril SIX2020-04-031-4/+15
| | | | | |
| * | | | | Fixing loop heuristicCyril SIX2020-04-021-15/+34
| | | | | |
| * | | | | Stopping traces at join pointsCyril SIX2020-04-011-2/+25
| | | | | |
| * | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-branch-infoCyril SIX2020-04-0136-477/+2024
| |\ \ \ \ \ | | | |_|_|/ | | |/| | |
| * | | | | Fixing heuristics too sure of themselvesCyril SIX2020-03-301-6/+15
| | | | | |
| * | | | | Linearize: Scheduling based on maxpc instead of dependenciesCyril SIX2020-03-251-3/+9
| | | | | |
| * | | | | Loop heuristic > Call heuristicCyril SIX2020-03-251-2/+3
| | | | | |
| * | | | | Duplicate: added another loop heuristic which should detect loop branches betterCyril SIX2020-03-241-5/+57
| | | | | |
| * | | | | Linearizeaux: Refining block selection in case of tieCyril SIX2020-03-241-19/+37
| | | | | |
| * | | | | Removing store heuristic and more fine tuning loop heuristicCyril SIX2020-03-232-5/+9
| | | | | |
| * | | | | Reintroducing the Chang algorithm - selecting algo based on sizeCyril SIX2020-03-201-6/+57
| | | | | |
| * | | | | New algo for Duplicateaux.select_traces in O(n)Cyril SIX2020-03-191-45/+30
| | | | | |
| * | | | | Fixing inefficient implementation of Duplicateaux.dfsCyril SIX2020-03-181-22/+20
| | | | | |
| * | | | | Correcting inefficiency in Duplicateaux::bfsCyril SIX2020-03-181-2/+2
| | | | | |
generated by cgit (git 2.34.1) at 2024-07-12 00:14:28 +0000