aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
| | * | [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
| |/
generated by cgit (git 2.34.1) at 2024-07-06 15:03:02 +0000