aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * link on Cyril's short videoSylvain Boulmé2020-10-192-10/+14
* | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2020-10-183-2/+52
|\|
| * 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-162-0/+256
|\ \ | |/ |/|
| * forgot theseDavid Monniaux2020-10-162-0/+256
* | 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
| |/ |/|
* | centralize if_sameDavid Monniaux2020-10-093-12/+6
* | do not synthesize select if both operands are identicalDavid Monniaux2020-10-092-7/+22
* | update the title of our paperSylvain Boulmé2020-10-071-2/+2
|/
* Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
* Updating test/kvx for KVX toolsCyril SIX2020-10-016-17/+29
* simpl -> cbnDavid Monniaux2020-09-2923-793/+789
* config for KVX ELFDavid Monniaux2020-09-101-0/+1
* use scheduler_by_nameDavid Monniaux2020-09-103-9/+11
* remettre yarpgenDavid Monniaux2020-09-021-1/+1
* fix issue 198 (incorrect reservation table for multiply-add)David Monniaux2020-09-021-5/+5
* "nop" is not even printed out and thus uses no resourcesDavid Monniaux2020-09-011-13/+21
* example prog where list scheduler can be reoptimized using ILPDavid Monniaux2020-08-311-0/+14
* clean solution to close channelsDavid Monniaux2020-08-311-21/+24
* fix problem with some file descriptors possibly never getting closedDavid Monniaux2020-08-311-4/+10
* links to the impure library on githubSylvain Boulmé2020-07-312-2/+3
* Improving Coqdoc on abstractbbSylvain Boulmé2020-07-315-47/+72
generated by cgit (git 2.34.1) at 2024-07-12 04:39:48 +0000