aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Duplicateaux.ml
Commit message (Collapse)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
|\ | | | | | | | | 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
|
* 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-06-13 11:41:58 +0000