aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* [Draft] Flattened levels of binstLéo Gourdin2020-10-271-49/+180
* [Draft] Problems with coercionsLéo Gourdin2020-10-261-1078/+166
* Asm gen proof for aarch64 from Asmblock is complete.Léo Gourdin2020-10-231-116/+35
* Merge remote-tracking branch 'origin/aarch64_block' into aarch64_blockLéo Gourdin2020-10-2310-613/+964
|\
| * aarch64 compiles again (but ccomp generates incorrect assembly)Sylvain Boulmé2020-10-2310-613/+964
* | [Draft] some lemmas copied for undef_regs.Léo Gourdin2020-10-231-27/+73
|/
* [Draft] Improvements on buitin cfi proof and new lemmas for set_res.Léo Gourdin2020-10-221-1/+143
* Adding buitin_args lemmasLéo Gourdin2020-10-213-24/+68
* Merge branch 'aarch64_block_bodystar' into aarch64_blockSylvain Boulmé2020-10-2163-1293/+2096
|\
| * Merge branch 'kvx-work' into aarch64_block_bodystarSylvain Boulmé2020-10-2163-1293/+2096
| |\
| | * link on Cyril's short videoSylvain Boulmé2020-10-192-10/+14
| | * 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
| | | * | [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
generated by cgit (git 2.34.1) at 2024-07-02 10:54:59 +0000