| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | | | | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd... | Cyril SIX | 2020-10-09 | 1 | -34/+43 | |
| * | | | | | | Performing branch prediction before loop unrolling | Cyril SIX | 2020-10-07 | 1 | -8/+10 | |
| * | | | | | | [EXP] First draft of 1st iteration unrolling | Cyril SIX | 2020-10-07 | 1 | -73/+102 | |
| * | | | | | | [BROKEN] Some progress, need to figure out conversion HashedPSet -> List | Cyril SIX | 2020-10-06 | 1 | -14/+111 | |
| * | | | | | | Detecting inner loops with LICMaux.inner_loops | Cyril SIX | 2020-10-02 | 1 | -12/+75 | |
| * | | | | | | Rewriting some print to use a oc argument | Cyril SIX | 2020-10-02 | 1 | -16/+11 | |
| * | | | | | | Moving some code from Duplicateaux to LICMaux to prevent cyclic deps | Cyril SIX | 2020-10-02 | 2 | -55/+63 | |
| |/ / / / / | ||||||
| * | | / / | Duplicate no longer overwrites existing prediction information | Cyril SIX | 2020-10-01 | 1 | -2/+9 | |
| | |_|/ / |/| | | | ||||||
| * | | | | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -1/+1 | |
| * | | | | backport to coq 8.10.2 | Sylvain Boulmé | 2020-05-11 | 2 | -4/+9 | |
| * | | | | -fcse3-glb | David Monniaux | 2020-05-06 | 2 | -14/+28 | |
| * | | | | CSE3 across merges | David Monniaux | 2020-05-06 | 1 | -11/+25 | |
| * | | | | Adding copyrights | Cyril SIX | 2020-05-04 | 30 | -3/+358 | |
| * | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-23 | 3 | -31/+106 | |
| |\ \ \ \ | ||||||
| | * | | | | CSE3 across calls | David Monniaux | 2020-04-23 | 2 | -10/+33 | |
| | * | | | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-23 | 3 | -21/+73 | |
| | |\ \ \ \ | ||||||
| | | * | | | | make tracing output optional | David Monniaux | 2020-04-23 | 1 | -6/+9 | |
| | | * | | | | fix in CSE3 move propagation | David Monniaux | 2020-04-23 | 3 | -22/+62 | |
| | | * | | | | CSE3analysisaux: pp_rhs | David Monniaux | 2020-04-23 | 1 | -0/+9 | |
| * | | | | | | automated writing Compiler.v | David Monniaux | 2020-04-22 | 3 | -2/+2 | |
| * | | | | | | begin scripting the Compiler.v file | David Monniaux | 2020-04-21 | 2 | -3/+3 | |
| * | | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-21 | 6 | -18/+52 | |
| |\| | | | | | ||||||
| | * | | | | | Merge branch 'mppa-cse3' of ../mppa-cse3 into mppa-licm | David Monniaux | 2020-04-21 | 2 | -6/+34 | |
| | |\| | | | | ||||||
| | | * | | | | improvement in precision | David Monniaux | 2020-04-21 | 2 | -6/+34 | |
| | * | | | | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-21 | 6 | -12/+18 | |
| | |\| | | | | ||||||
| | | * | | | | forward moves through CSE3 store | David Monniaux | 2020-04-21 | 4 | -8/+11 | |
| | | * | | | | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-20 | 2 | -4/+7 | |
| | | |\ \ \ \ | ||||||
| | | | * | | | | forward moves into store source | David Monniaux | 2020-04-20 | 2 | -4/+7 | |
| * | | | | | | | do not print debug stuff | David Monniaux | 2020-04-20 | 1 | -2/+4 | |
| * | | | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-20 | 11 | -44/+2323 | |
| |\| | | | | | | ||||||
| | * | | | | | | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 1 | -1/+2 | |
| | * | | | | | | activate LICM | David Monniaux | 2020-04-19 | 1 | -1/+1 | |
| | * | | | | | | test whether the instructions are allowed | David Monniaux | 2020-04-19 | 1 | -8/+6 | |
| | * | | | | | | compute injections | David Monniaux | 2020-04-19 | 1 | -11/+28 | |
| | * | | | | | | synthesize injection lists | David Monniaux | 2020-04-19 | 1 | -8/+30 | |
| | * | | | | | | try building injection lists | David Monniaux | 2020-04-19 | 1 | -0/+52 | |
| | * | | | | | | pp_list | David Monniaux | 2020-04-18 | 1 | -3/+6 | |
| | * | | | | | | compute inner loops | David Monniaux | 2020-04-18 | 1 | -2/+11 | |
| | * | | | | | | backward iterator | David Monniaux | 2020-04-18 | 1 | -2/+31 | |
| | * | | | | | | dominated sets | David Monniaux | 2020-04-18 | 1 | -4/+30 | |
| | * | | | | | | dominated parts | David Monniaux | 2020-04-18 | 1 | -2/+15 | |
| | * | | | | | | headers vs dominators | David Monniaux | 2020-04-18 | 1 | -4/+6 | |
| | * | | | | | | find inner loops | David Monniaux | 2020-04-17 | 1 | -1/+57 | |
| | * | | | | | | moved to extra | David Monniaux | 2020-04-16 | 1 | -16/+9 | |
| | * | | | | | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-16 | 5 | -35/+111 | |
| | |\| | | | | | ||||||
| | | * | | | | | CSE3: better builtin handling | David Monniaux | 2020-04-16 | 4 | -5/+60 | |
| | | * | | | | | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-16 | 3 | -33/+55 | |
| | | |\| | | | | ||||||
| | | | * | | | | refine the rules for builtins | David Monniaux | 2020-04-16 | 2 | -5/+37 | |
| | | | * | | | | progress on CSE2 builtins | David Monniaux | 2020-04-16 | 2 | -31/+20 | |
| | * | | | | | | adapt for Icond with predicted direction | David Monniaux | 2020-04-16 | 4 | -13/+13 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |