aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | | | Merge branch 'kvx-work' into mppa-RTLpathSECyril SIX2020-05-2852-391/+6967
| |\| | | | | | | | | | | | |
| * | | | | | | | | | | | | | [BROKEN] Merge branch 'mppa-work' into mppa-RTLpathSECyril SIX2020-04-1067-473/+5837
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | Compatibility Coq 8.11.0Cyril SIX2020-04-103-10/+10
* | | | | | | | | | | | | | | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-1812-63/+109
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | / | | |_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | |
| * | | | | | | | | | | | | | Add support for __builtin_fabsfXavier Leroy2020-07-272-0/+6
| * | | | | | | | | | | | | | Introduce additional "branch" build information.Bernhard Schommer2020-07-081-2/+2
| * | | | | | | | | | | | | | Move shared code in new file.Bernhard Schommer2020-06-286-5/+44
| * | | | | | | | | | | | | | Eliminate known builtins whose result is ignoredXavier Leroy2020-06-252-40/+54
| * | | | | | | | | | | | | | Transform non-recursive Fixpoint into DefinitionXavier Leroy2020-06-212-2/+2
| * | | | | | | | | | | | | | Move reserved_registers to CPragmas.Bernhard Schommer2020-04-202-7/+1
* | | | | | | | | | | | | | | Fixing issue with loops having branches leading to goto backedgeCyril SIX2020-11-052-27/+32
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |
* | | | | | | | | | | | | | Fixing get_loop_headers + alternative get_inner_loops (commented, not active)Cyril SIX2020-11-042-27/+107
* | | | | | | | | | | | | | do not print "refining" unless askedDavid Monniaux2020-11-041-1/+2
| |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |
* | | | | | | | | | | | | do not print "updates" to nodesDavid Monniaux2020-11-041-1/+2
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | |
* | | | | | | | | | | | refixcse3David Monniaux2020-11-032-34/+53
* | | | | | | | | | | | Loop Rotate with -flooprotateCyril SIX2020-11-032-1/+61
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | |
* | | | | | | | | | | refining CSE3 nodesDavid Monniaux2020-10-311-14/+81
* | | | | | | | | | | 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-293-45/+104
| |_|_|_|_|_|_|/ |/| | | | | | |
* | | | | | | | DuplicateParam -> DuplicateOracle + simpler DuplicatepassesSylvain Boulmé2020-10-283-40/+24
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Correcting typoCyril SIX2020-10-271-3/+3
* | | | | | | Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-273-41/+107
|\ \ \ \ \ \ \
| * | | | | | | new CSE3David Monniaux2020-10-273-41/+107
| | |_|_|_|_|/ | |/| | | | |
* | | | | | | Oops forgot Duplicatepasses.vCyril SIX2020-10-271-0/+64
* | | | | | | Splitting Duplicate in several passesCyril SIX2020-10-271-14/+20
* | | | | | | Reworked Duplicate to be parametrizedCyril SIX2020-10-272-5/+26
|/ / / / / /
* | | | | | Loop body unrolling with -funrollbody nCyril SIX2020-10-161-3/+6
* | | | | | 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-165-14/+458
|\ \ \ \ \ \
| * | | | | | kill useless moves (not yet connected)David Monniaux2020-10-162-0/+401
| * | | | | | 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
|/ / / / / /
* | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-unrollCyril SIX2020-10-141-6/+0
|\ \ \ \ \ \
| * | | | | | centralize if_sameDavid Monniaux2020-10-091-6/+0
| | |_|_|_|/ | |/| | | |
* | | | | | Ignoring Inops for counting number of instructionsCyril SIX2020-10-141-6/+15
* | | | | | 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-091-34/+43
* | | | | | 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
|/ / / / /
* | | | / Duplicate no longer overwrites existing prediction informationCyril SIX2020-10-011-2/+9
| |_|_|/ |/| | |
generated by cgit (git 2.34.1) at 2024-07-04 10:26:46 +0000