Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | reinstated old version | David Monniaux | 2020-10-30 | 4 | -216/+39 |
| | |||||
* | reinstated previous forward_move function | David Monniaux | 2020-10-29 | 2 | -11/+98 |
| | |||||
* | CSE3 trivial_ops flag | David Monniaux | 2020-10-29 | 2 | -3/+3 |
| | |||||
* | in CSE3 choose lowest variable as representative for moves | David Monniaux | 2020-10-29 | 3 | -45/+104 |
| | |||||
* | DuplicateParam -> DuplicateOracle + simpler Duplicatepasses | Sylvain Boulmé | 2020-10-28 | 3 | -40/+24 |
| | |||||
* | Correcting typo | Cyril SIX | 2020-10-27 | 1 | -3/+3 |
| | |||||
* | Merge branch 'kvx-work' into duplicate-param | Cyril SIX | 2020-10-27 | 3 | -41/+107 |
|\ | |||||
| * | new CSE3 | David Monniaux | 2020-10-27 | 3 | -41/+107 |
| | | |||||
* | | Oops forgot Duplicatepasses.v | Cyril SIX | 2020-10-27 | 1 | -0/+64 |
| | | |||||
* | | Splitting Duplicate in several passes | Cyril SIX | 2020-10-27 | 1 | -14/+20 |
| | | |||||
* | | Reworked Duplicate to be parametrized | Cyril SIX | 2020-10-27 | 2 | -5/+26 |
|/ | |||||
* | Loop body unrolling with -funrollbody n | Cyril SIX | 2020-10-16 | 1 | -3/+6 |
| | |||||
* | Loop body unrolling | Cyril SIX | 2020-10-16 | 1 | -1/+39 |
| | |||||
* | Comment update | Cyril SIX | 2020-10-16 | 1 | -1/+7 |
| | |||||
* | Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-work | David Monniaux | 2020-10-16 | 5 | -14/+458 |
|\ | |||||
| * | kill useless moves (not yet connected) | David Monniaux | 2020-10-16 | 2 | -0/+401 |
| | | |||||
| * | some more tuning of CSE3 | David Monniaux | 2020-10-15 | 2 | -10/+23 |
| | | |||||
| * | a bit of progress | David Monniaux | 2020-10-14 | 3 | -4/+34 |
| | | |||||
* | | Comment update | Cyril SIX | 2020-10-16 | 1 | -0/+1 |
|/ | |||||
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unroll | Cyril SIX | 2020-10-14 | 1 | -6/+0 |
|\ | |||||
| * | centralize if_same | David Monniaux | 2020-10-09 | 1 | -6/+0 |
| | | |||||
* | | Ignoring Inops for counting number of instructions | Cyril SIX | 2020-10-14 | 1 | -6/+15 |
| | | |||||
* | | Only unrolling on a given instruction limit | Cyril SIX | 2020-10-09 | 1 | -12/+16 |
| | | |||||
* | | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just ↵ | Cyril SIX | 2020-10-09 | 1 | -34/+43 |
| | | | | | | | | -fduplicate n | ||||
* | | 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 |
| | |\ |