aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | also match IstoreDavid Monniaux2020-10-301-1/+2
| | | |_|/ / | | |/| | |
| * | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-304-168/+78
| |\| | | |
| * | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-295-48/+109
| |\ \ \ \ \ | | | |_|/ / | | |/| | |
| * | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-284-42/+27
| |\ \ \ \ \
* | \ \ \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssaDavid Monniaux2020-10-304-168/+78
|\ \ \ \ \ \ \ | | |_|_|/ / / | |/| | | | |
| * | | | | | reinstated old versionDavid Monniaux2020-10-304-216/+39
| * | | | | | reinstated previous forward_move functionDavid Monniaux2020-10-292-11/+98
| | |_|/ / / | |/| | | |
* | | | | | two useless casesDavid Monniaux2020-10-291-4/+4
* | | | | | fix ValueAOpSSA for Risc-VDavid Monniaux2020-10-292-17/+17
* | | | | | fix mergeDavid Monniaux2020-10-292-9/+0
* | | | | | add stuff to ValueAOpSSADavid Monniaux2020-10-292-12/+491
* | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssaDavid 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-ssa' into kvx-test-prepass-ssaDavid Monniaux2020-10-2895-42/+55420
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | deactivate LICMDavid Monniaux2020-10-281-1/+1
| * | | | SSA chain now integrated with oursDavid Monniaux2020-10-282-93/+26
| * | | | begin split passes to insert SSADavid Monniaux2020-10-282-28/+64
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-284-42/+27
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-2728-240/+1436
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-10-0330-812/+827
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'kvx-work-ssa' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Com...David Monniaux2020-09-1818-255/+290
| |\ \ \ \ \ \ \
| | * \ \ \ \ \ \ Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-09-1718-255/+290
| | |\ \ \ \ \ \ \
| * | | | | | | | | larger stackDavid Monniaux2020-09-181-1/+1
| |/ / / / / / / /
| * | | | | | | | turn SSA on for testsDavid Monniaux2020-07-281-1/+1
| * | | | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-07-282-36/+25
| |\ \ \ \ \ \ \ \
| * | | | | | | | | test SSADavid Monniaux2020-07-222-2/+2
| * | | | | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssaDavid Monniaux2020-07-223-5/+5
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | patch de DelphineDavid Monniaux2020-07-221-3/+5
| * | | | | | | | | | try to get it to compileDavid Monniaux2020-07-201-0/+885
| * | | | | | | | | | no more admittedDavid Monniaux2020-07-201-2/+2
| * | | | | | | | | | remove some 'Admitted'David Monniaux2020-07-203-5/+31
| * | | | | | | | | | no more admit in RTLnormproofDavid Monniaux2020-07-201-9/+22
| * | | | | | | | | | notrap caes in SSAvalidproofDavid Monniaux2020-07-201-0/+29
| * | | | | | | | | | rm admittedDavid Monniaux2020-07-201-3/+47
| * | | | | | | | | | one less admittedDavid Monniaux2020-07-201-3/+43
| * | | | | | | | | | more on RTLparDavid Monniaux2020-07-202-0/+45
| * | | | | | | | | | notrap in RTLparproofDavid Monniaux2020-07-201-0/+146
| * | | | | | | | | | some more notrap casesDavid Monniaux2020-07-201-0/+36
| * | | | | | | | | | two more casesDavid Monniaux2020-07-201-0/+54
| * | | | | | | | | | one less admittedDavid Monniaux2020-07-202-3/+64
| * | | | | | | | | | one less 'admitted'David Monniaux2020-07-201-3/+15
| * | | | | | | | | | one less 'admitted'David Monniaux2020-07-201-3/+11
| * | | | | | | | | | added NOTRAP to SSA semantics, now lots of 'admitted'David Monniaux2020-07-206-6/+51
| * | | | | | | | | | use cbn not simplDavid Monniaux2020-07-171-24/+24
| * | | | | | | | | | compile with "admitteds" wrt loadsDavid Monniaux2020-07-1711-64/+77
| * | | | | | | | | | Iload and Icond are now slightly differentDavid Monniaux2020-07-1727-152/+153
| * | | | | | | | | | Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kv...David Monniaux2020-07-1791-11/+53945
| |\ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|/ | | |/| | | | | | | |
| | * | | | | | | | | minor cosmetic changes in SSA fileDelphine Demange2020-07-116-49/+37
| | * | | | | | | | | minor cosmetic changes in SSA fileDelphine Demange2020-07-1010-642/+546
generated by cgit (git 2.34.1) at 2024-06-12 20:36:37 +0000