aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Expand)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 -fd...Cyril SIX2020-10-091-34/+43
* 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
|\
| * 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
* 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
* 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-06 16:14:19 +0000