aboutsummaryrefslogtreecommitdiffstats
path: root/backend/LICMaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Moving common tools, adding liveness input/output information to BTL generati...Léo Gourdin2021-05-241-1/+1
* Grouping common RTL functions, printer improvementLéo Gourdin2021-05-191-4/+1
* get_loop_headers simplification (using the new get_loop_backedges)Cyril SIX2021-04-021-39/+7
* Simple backedge detection (modified code from get_loop_headers)Cyril SIX2021-04-021-0/+40
* Uniformizing a couple of debug print functionsCyril SIX2020-12-171-42/+1
* Flushing debug outputCyril SIX2020-12-091-1/+1
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-061-0/+14
|\
| * Fixing issue with loops having branches leading to goto backedgeCyril SIX2020-11-051-0/+14
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-051-4/+37
|\|
| * Fixing get_loop_headers + alternative get_inner_loops (commented, not active)Cyril SIX2020-11-041-4/+37
| * also match IstoreDavid Monniaux2020-10-301-1/+2
* | attempt at store -> load.sDavid Monniaux2020-10-261-2/+3
|/
* Moving some code from Duplicateaux to LICMaux to prevent cyclic depsCyril SIX2020-10-021-2/+58
* Adding copyrightsCyril SIX2020-05-041-0/+12
* add options for controlling madd and notrap selectionDavid Monniaux2020-04-191-1/+2
* activate LICMDavid Monniaux2020-04-191-1/+1
* test whether the instructions are allowedDavid Monniaux2020-04-191-8/+6
* compute injectionsDavid Monniaux2020-04-191-11/+28
* synthesize injection listsDavid Monniaux2020-04-191-8/+30
* try building injection listsDavid Monniaux2020-04-191-0/+52
* pp_listDavid Monniaux2020-04-181-3/+6
* compute inner loopsDavid Monniaux2020-04-181-2/+11
* backward iteratorDavid Monniaux2020-04-181-2/+31
* dominated setsDavid Monniaux2020-04-181-4/+30
* dominated partsDavid Monniaux2020-04-181-2/+15
* headers vs dominatorsDavid Monniaux2020-04-181-4/+6
* find inner loopsDavid Monniaux2020-04-171-1/+57
* moved to extraDavid Monniaux2020-04-161-16/+9
* toy example for injecting codeDavid Monniaux2020-04-011-2/+29
* route through LICMauxDavid Monniaux2020-04-011-0/+4
generated by cgit (git 2.34.1) at 2024-05-09 03:40:12 +0000