aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-277-10/+277
|\
| * 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
| |\|
| * | Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-workDavid Monniaux2020-10-162-0/+256
| |\ \
| | * | forgot theseDavid Monniaux2020-10-162-0/+256
* | | | improved CSE3David Monniaux2020-10-271-12/+12
* | | | progress in proofs on new CSE3David Monniaux2020-10-271-3/+34
* | | | deactivate LICM by defaultDavid Monniaux2020-10-272-21/+12
* | | | begin fixing CSE3 to keep more inductive stuffDavid Monniaux2020-10-272-10/+19
* | | | invariant printing more aligned with RTL dumpsDavid Monniaux2020-10-271-2/+2
* | | | print invariantsDavid Monniaux2020-10-271-11/+46
* | | | attempt at store -> load.sDavid Monniaux2020-10-261-2/+3
* | | | new OpWeightsDavid Monniaux2020-10-222-0/+25
* | | | new OpWeights for aarch64David Monniaux2020-10-221-318/+342
* | | | -mtune=David Monniaux2020-10-222-1/+5
* | | | allow changing target cpuDavid Monniaux2020-10-222-21/+40
* | | | allow changing the target coreDavid Monniaux2020-10-222-120/+160
* | | | prefix all calls to OpWeights as preparation to using a structureDavid Monniaux2020-10-221-14/+14
* | | | attempt at modeling RocketDavid Monniaux2020-10-221-0/+83
* | | | turn on cache emulationDavid Monniaux2020-10-191-9/+9
* | | | op_valid_pointer_eq x86David Monniaux2020-10-191-0/+14
* | | | op_valid_pointer_eq ppcDavid Monniaux2020-10-191-0/+14
* | | | op_valid_pointer_eq armDavid Monniaux2020-10-191-0/+15
* | | | op_valid_pointer_eq for aarch64David Monniaux2020-10-191-0/+14
* | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-1822-176/+939
|\ \ \ \ | | |_|/ | |/| |
| * | | 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
generated by cgit (git 2.34.1) at 2024-07-04 00:52:17 +0000