aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-315-17/+121
|\
| * 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
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-304-168/+78
|\|
| * reinstated old versionDavid Monniaux2020-10-304-216/+39
| * reinstated previous forward_move functionDavid Monniaux2020-10-292-11/+98
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-295-48/+109
|\|
| * CSE3 trivial_ops flagDavid Monniaux2020-10-292-3/+3
| * in CSE3 choose lowest variable as representative for movesDavid Monniaux2020-10-294-45/+106
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-284-42/+27
|\|
| * 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
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-277-63/+166
|\|
| * Correcting typoCyril SIX2020-10-271-3/+3
| * Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-278-41/+370
| |\
| * | 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
* | | 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
generated by cgit (git 2.34.1) at 2024-07-04 00:19:56 +0000