aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Printing traces right before duplicatingCyril SIX2020-01-231-5/+2
* Fixing bug (used physical instead of structural inequality)Cyril SIX2020-01-221-1/+2
* Fixing is_empty functionCyril SIX2020-01-221-3/+3
* Branch duplication implementationCyril SIX2020-01-221-12/+94
* Set up the groundbase for doing the duplicationCyril SIX2020-01-171-4/+14
* Adding more debug elementsCyril SIX2020-01-151-1/+9
* Typo in printfCyril SIX2020-01-131-1/+1
* Opcode heuristic done for K1cCyril SIX2019-12-161-1/+1
* Stub for opcode heuristicCyril SIX2019-12-161-4/+2
* Fixing loop heuristic for the way CompCert handles loopsCyril SIX2019-12-111-11/+19
* Implemented call, return, store and loop heuristicsCyril SIX2019-12-111-2/+55
* Function to look ahead unconditionallyCyril SIX2019-12-111-0/+12
generated by cgit (git 2.34.1) at 2024-05-20 10:46:11 +0000