aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Collapse)AuthorAgeFilesLines
* Splitting Duplicate in several passesCyril SIX2020-10-271-14/+20
|
* Loop body unrolling with -funrollbody nCyril SIX2020-10-161-3/+6
|
* Loop body unrollingCyril SIX2020-10-161-1/+39
|
* Comment updateCyril SIX2020-10-161-1/+7
|
* Comment updateCyril SIX2020-10-161-0/+1
|
* Ignoring Inops for counting number of instructionsCyril SIX2020-10-141-6/+15
|
* Only unrolling on a given instruction limitCyril SIX2020-10-091-12/+16
|
* new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just ↵Cyril SIX2020-10-091-34/+43
| | | | -fduplicate n
* Performing branch prediction before loop unrollingCyril SIX2020-10-071-8/+10
|
* [EXP] First draft of 1st iteration unrollingCyril SIX2020-10-071-73/+102
|
* [BROKEN] Some progress, need to figure out conversion HashedPSet -> ListCyril SIX2020-10-061-14/+111
|
* Detecting inner loops with LICMaux.inner_loopsCyril SIX2020-10-021-12/+75
|
* Rewriting some print to use a oc argumentCyril SIX2020-10-021-16/+11
|
* Moving some code from Duplicateaux to LICMaux to prevent cyclic depsCyril SIX2020-10-021-53/+5
|
* Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
|
* Adding copyrightsCyril SIX2020-05-041-0/+14
|
* Some cleaning on Linearize and DuplicateCyril SIX2020-04-081-55/+69
|
* 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
|
* Fixing heuristics too sure of themselvesCyril SIX2020-03-301-6/+15
|
* 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
|
* Removing store heuristic and more fine tuning loop heuristicCyril SIX2020-03-231-4/+8
|
* 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-181-8/+11
|\ | | | | | | | | Conflicts: backend/Duplicateaux.ml
| * Desactivating branch predictions by defaultCyril SIX2020-03-171-7/+11
| |
* | Fixing bug where conditions were not necessarily invertedCyril SIX2020-03-131-22/+21
| |
* | Correcting a few bugs in trace selection and expansionCyril SIX2020-03-121-8/+7
| |
* | 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-111-13/+14
| |
* | More debug info on Linearize and DuplicateCyril SIX2020-03-111-25/+46
|/
* Fixed stupid typo bug preventing the prediction update for the RANDOM predictorCyril SIX2020-03-111-1/+1
|
* [BROKEN] Replacing the boolean -fduplicate option by an integerCyril SIX2020-03-091-4/+6
| | | | To control the threshold for duplication
* Duplicate: getting rid of the annoying exception-based codeCyril SIX2020-03-091-46/+29
|
* Removing prints in Duplicateaux.mlCyril SIX2020-03-091-65/+20
|
* Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-121-1/+1
|
* accessors for records are now not extracted it seemsDavid Monniaux2020-02-061-3/+3
|
* Added flag to desactivate condition inversionCyril SIX2020-02-031-1/+2
|
* Adding threshold to duplicate instructionsCyril SIX2020-01-311-6/+12
|
* Added debug message when inverting ifso ifnotCyril SIX2020-01-241-1/+3
|
* Oracle inverting branches when trace does not go in fallthruCyril SIX2020-01-241-2/+21
|
* Revert "Modified the hook for the oracle"Cyril SIX2020-01-231-1/+1
| | | | | | This reverts commit 04a46f516487557df00f43453c8decbc8567c458. It was actually not needed
* Modified the hook for the oracleCyril SIX2020-01-231-1/+1
|
* Fixing bug caused by get_predecessors returning duplicatesCyril SIX2020-01-231-5/+8
|
generated by cgit (git 2.34.1) at 2024-07-12 03:32:39 +0000