aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Linearizeaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Simplification of the Linearize heuristic (same result functionally)Cyril SIX2021-03-301-216/+6
* Simplifications on Linearize - details belowCyril SIX2021-03-291-205/+79
* Adding copyrightsCyril SIX2020-05-041-1/+1
* Removed the assertion about prediction on ifsoCyril SIX2020-04-091-2/+3
* Some cleaning on Linearize and DuplicateCyril SIX2020-04-081-40/+49
* Stopping traces at join pointsCyril SIX2020-04-011-2/+25
* Linearize: Scheduling based on maxpc instead of dependenciesCyril SIX2020-03-251-3/+9
* Linearizeaux: Refining block selection in case of tieCyril SIX2020-03-241-19/+37
* Removing store heuristic and more fine tuning loop heuristicCyril SIX2020-03-231-1/+1
* More helpful debug info in linearizeCyril SIX2020-03-131-1/+3
* Correcting a few bugs in trace selection and expansionCyril SIX2020-03-121-7/+13
* Adding info field for branching in RTL, LTL, XTL and all associated passesCyril SIX2020-03-111-5/+5
* More debug info on Linearize and DuplicateCyril SIX2020-03-111-1/+1
* Linearizeaux: dumb selector when cycling dependencies are foundCyril SIX2020-03-101-4/+6
* Linearizeaux, forgot to visit the rest of the nodes in dfs_visitCyril SIX2020-03-101-22/+26
* Some dependencies were not taken into account in tracelinearizeCyril SIX2020-03-101-15/+12
* Linearize: More helpful message when tracelinearize failsCyril SIX2020-03-101-4/+12
* Bug fix in ftracelinearizeCyril SIX2020-03-101-4/+15
* Linearizeaux: forgotten printCyril SIX2020-03-091-1/+1
* Linearizeaux: Fixed bug where the output list was in reverse orderCyril SIX2020-03-091-4/+20
* Adding debug info in LinearizeauxCyril SIX2020-03-061-0/+12
* [UNTESTED] Sequence orderingCyril SIX2020-03-061-3/+27
* Linearize: Dependencies computing to decide which sequence to put firstCyril SIX2020-03-031-31/+132
* Linearizeaux: can_be_mergedCyril SIX2020-02-211-13/+48
* Linearizeaux: function try_mergeCyril SIX2020-02-211-11/+20
* WIP2Cyril SIX2020-02-201-16/+24
* WIPCyril SIX2020-02-201-0/+26
* First part of Hansen algorithm - build the sequencesCyril SIX2020-02-191-1/+43
* Added option -ftracelinearize which linearizes based on ifnot branchesCyril SIX2020-02-121-3/+54
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-1/+1
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
* Code cleanup.Bernhard Schommer2016-03-101-8/+5
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-2/+2
* Change interface of Kildall solvers to avoid precomputing the map pc -> list ...xleroy2013-08-121-2/+3
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-13/+15
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.xleroy2013-01-291-17/+4
* Support for inlined built-ins.xleroy2010-06-291-0/+1
* Added support for jump tables in back end.xleroy2009-11-101-0/+2
* Cil2Csyntax: added goto and labels; added assignment between structsxleroy2009-08-161-1/+2
* New linearization heuristicxleroy2009-02-271-32/+72
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...xleroy2009-01-291-2/+1
* Elimination of "alloc" instruction in Caml files and test files.xleroy2009-01-111-1/+0
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+85
generated by cgit (git 2.34.1) at 2024-05-09 03:48:59 +0000