aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* make tracing output optionalDavid Monniaux2020-04-231-6/+9
* fix in CSE3 move propagationDavid Monniaux2020-04-233-22/+62
* CSE3analysisaux: pp_rhsDavid Monniaux2020-04-231-0/+9
* improvement in precisionDavid Monniaux2020-04-212-6/+34
* forward moves through CSE3 storeDavid Monniaux2020-04-214-8/+11
* Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-202-4/+7
|\
| * forward moves into store sourceDavid Monniaux2020-04-202-4/+7
* | CSE3: better builtin handlingDavid Monniaux2020-04-164-5/+60
* | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3David Monniaux2020-04-163-33/+55
|\|
| * refine the rules for builtinsDavid Monniaux2020-04-162-5/+37
| * progress on CSE2 builtinsDavid Monniaux2020-04-162-31/+20
| * Removed the assertion about prediction on ifsoCyril SIX2020-04-091-2/+3
* | fix Icond now has a extra argumentDavid Monniaux2020-04-082-3/+3
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-04-0832-333/+532
|\|
| * Some cleaning on Linearize and DuplicateCyril SIX2020-04-082-95/+118
| * Duplicate: Common rtl_successors functionCyril SIX2020-04-081-61/+33
| * 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-011-25/+25
| |\
| * | 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
| * | Adding trace printf at start of some functionsCyril SIX2020-03-181-5/+15
| * | Merge branch 'mppa-work' into mppa-branch-infoCyril SIX2020-03-182-11/+17
| |\ \
| * | | Fixing bug where conditions were not necessarily invertedCyril SIX2020-03-131-22/+21
| * | | More helpful debug info in linearizeCyril SIX2020-03-131-1/+3
| * | | Added prediction info in the printersCyril SIX2020-03-132-4/+6
| * | | Correcting a few bugs in trace selection and expansionCyril SIX2020-03-122-15/+20
| * | | Fixed typo in Duplicate: dfsCyril SIX2020-03-121-1/+4
| * | | [BROKEN] Started to change the trace selectionCyril SIX2020-03-111-54/+38
| * | | Adding info field for branching in RTL, LTL, XTL and all associated passesCyril SIX2020-03-1132-95/+97
| * | | More debug info on Linearize and DuplicateCyril SIX2020-03-112-26/+47
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-311-25/+25
|\ \ \ \ | | |_|/ | |/| |
| * | | forgot an 'Admitted'David Monniaux2020-03-311-1/+1
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-03-312-10/+17
| |\ \ \ | | | |/ | | |/|
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2David Monniaux2020-03-115-128/+366
| |\ \ \ | | | |/ | | |/|
| * | | same version as in dm-cse2David Monniaux2020-03-031-24/+24
* | | | Merge branch 'mppa-cse3' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-312-0/+292
|\ \ \ \
| * | | | pass to insert a "nop" at head of each functionDavid Monniaux2020-03-282-1/+275
| * | | | pass to insert a nop at start position in functionsDavid Monniaux2020-03-271-0/+18
* | | | | no more admittedDavid Monniaux2020-03-311-1/+4
|/ / / /
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3David Monniaux2020-03-171-7/+11
|\ \ \ \ | | |_|/ | |/| |
generated by cgit (git 2.34.1) at 2024-07-14 07:17:15 +0000