aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* refining CSE3 nodesDavid Monniaux2020-10-313-14/+84
* seems to work betterDavid Monniaux2020-10-312-3/+37
* also match IstoreDavid Monniaux2020-10-301-1/+2
* reinstated old versionDavid Monniaux2020-10-304-216/+39
* reinstated previous forward_move functionDavid Monniaux2020-10-292-11/+98
* CSE3 trivial_ops flagDavid Monniaux2020-10-292-3/+3
* in CSE3 choose lowest variable as representative for movesDavid Monniaux2020-10-294-45/+106
* deactivate LICMDavid Monniaux2020-10-281-1/+1
* DuplicateParam -> DuplicateOracle + simpler DuplicatepassesSylvain Boulmé2020-10-283-40/+24
* restore URL on the coqdocSylvain Boulmé2020-10-281-2/+3
* Correcting typoCyril SIX2020-10-271-3/+3
* Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-278-41/+370
|\
| * new option for CSE3 (trivial ops)David Monniaux2020-10-273-0/+7
| * new CSE3David Monniaux2020-10-273-41/+107
| * Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2020-10-202-10/+14
| |\
| * \ Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2020-10-183-2/+52
| |\ \
| * \ \ Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-workDavid Monniaux2020-10-162-0/+256
| |\ \ \
| | * | | forgot theseDavid Monniaux2020-10-162-0/+256
* | | | | Oops forgot Duplicatepasses.vCyril SIX2020-10-271-0/+64
* | | | | Splitting Duplicate in several passesCyril SIX2020-10-272-54/+71
* | | | | Adding Duplicatepasses.v to MakefileCyril SIX2020-10-271-1/+1
* | | | | Reworked Duplicate to be parametrizedCyril SIX2020-10-273-5/+27
| |_|_|/ |/| | |
* | | | link on Cyril's short videoSylvain Boulmé2020-10-192-10/+14
| |_|/ |/| |
* | | Loop body unrolling with -funrollbody nCyril SIX2020-10-163-3/+9
* | | Loop body unrollingCyril SIX2020-10-161-1/+39
* | | Comment updateCyril SIX2020-10-161-1/+7
|/ /
* | Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-workDavid Monniaux2020-10-169-17/+491
|\|
| * reorder phasesDavid Monniaux2020-10-162-2/+4
| * kill useless moves (not yet connected)David Monniaux2020-10-162-0/+401
| * extracted from Polybench syrkDavid Monniaux2020-10-161-0/+28
| * larger stack size for yarpgen 89David Monniaux2020-10-151-1/+1
| * some more tuning of CSE3David Monniaux2020-10-152-10/+23
| * a bit of progressDavid Monniaux2020-10-143-4/+34
* | Comment updateCyril SIX2020-10-161-0/+1
* | test/kvx/sort : timeout of 20s instead of 10sCyril SIX2020-10-161-1/+1
* | Merge branch 'kvx-work-unroll' into kvx-workCyril SIX2020-10-167-142/+355
|\|
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unrollCyril SIX2020-10-145-15/+24
| |\
| * | -O0 desactivates -fpredict and -ftracelinearizeCyril SIX2020-10-141-0/+1
| * | Ignoring Inops for counting number of instructionsCyril SIX2020-10-141-6/+15
| * | Updated --helpCyril SIX2020-10-141-9/+5
| * | Only unrolling on a given instruction limitCyril SIX2020-10-091-12/+16
| * | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just -fd...Cyril SIX2020-10-093-39/+53
| * | Changing duplicate verifier to be non optionalCyril SIX2020-10-093-6/+1
| * | Performing branch prediction before loop unrollingCyril SIX2020-10-071-8/+10
| * | [EXP] First draft of 1st iteration unrollingCyril SIX2020-10-071-73/+102
| * | [BROKEN] Some progress, need to figure out conversion HashedPSet -> ListCyril SIX2020-10-061-14/+111
| * | Detecting inner loops with LICMaux.inner_loopsCyril SIX2020-10-021-12/+75
| * | 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-022-55/+63
* | | Updating builtins for Accesscore 4.2 (atomic stuff)Cyril SIX2020-10-141-1/+14
| |/ |/|
generated by cgit (git 2.34.1) at 2024-07-11 21:13:33 +0000