aboutsummaryrefslogtreecommitdiffstats
path: root/kvx
Commit message (Expand)AuthorAgeFilesLines
* Zdiv_neDavid Monniaux2021-12-061-0/+12
* ExtZDavid Monniaux2021-12-061-0/+12
* documentation says it's 15David Monniaux2021-10-201-1/+2
* Merge branch 'bitfields_fix' of /home/monniaux/work/Kalray/bitfields_fix into...David Monniaux2021-09-272-3/+80
|\
| * generate insfDavid Monniaux2021-09-271-32/+32
| * tests in another wayDavid Monniaux2021-09-271-10/+10
| * more cases detectedDavid Monniaux2021-09-271-1/+33
| * progress in selectopDavid Monniaux2021-09-271-4/+4
| * progress in selectopDavid Monniaux2021-09-271-1/+9
| * recognize insf (missing one case)David Monniaux2021-09-272-0/+37
* | same changes as for RISC-VDavid Monniaux2021-09-241-2/+2
|/
* Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1David Monniaux2021-09-172-14/+138
* FIX CODEGEN BUG PallocframeDavid Monniaux2021-09-171-1/+1
* reachableDavid Monniaux2021-09-161-1/+1
* cleanupLéo Gourdin2021-09-011-1/+0
* [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-014-519/+4
|\
| * op simplify BTL introLéo Gourdin2021-07-201-0/+1
* | Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-166-5/+532
* | Replacing default notrap load value by Vundef everywherecsix-PhDCyril SIX2021-06-184-17/+16
* | fix modeling issue (Vundef for load outside of bounds)David Monniaux2021-06-161-2/+7
|/
* replacing omega with lia in some fileLéo Gourdin2021-03-2913-141/+154
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-233-23/+38
* fix ci ?Léo Gourdin2021-03-022-0/+2
* Conditions now propagated by CSE3David Monniaux2021-01-201-13/+36
|\
| * Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-0810-45/+44
| |\
| * | simpl -> cbnDavid Monniaux2020-12-021-9/+9
| * | cond_depends_on_memory for KVXDavid Monniaux2020-12-021-4/+17
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-0223-3313/+117
| |\ \
| * | | cond_valid_pointer_eqDavid Monniaux2020-11-251-0/+10
* | | | update kvxSylvain Boulmé2021-01-074-98/+45
* | | | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-1711-53/+57
|\ \ \ \
| * | | | upgrade kvx backend to coq.8.12.2Sylvain Boulmé2020-12-165-33/+41
| | |_|/ | |/| |
| * | | Fixing test/regression for KVXv3.8_kvxCyril SIX2020-12-074-2/+16
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-0426-3325/+159
| |\ \ \ | | | |/ | | |/|
| | * | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassCyril SIX2020-12-011-1/+0
| | |\|
| * | | Fixing compilation for KVXCyril SIX2020-12-041-0/+3
| * | | still issues with FR in kvxDavid Monniaux2020-12-033-27/+26
| * | | some fixes for KVXDavid Monniaux2020-12-032-6/+0
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-182-11/+0
* | | | Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy...David Monniaux2020-11-2736-9674/+117
|\ \ \ \ | | |/ / | |/| |
| * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-242-12/+22
| |\ \ \
| * | | | new OpWeightsDavid Monniaux2020-10-222-0/+25
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-182-7/+16
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | update op_valid_pointer_eq proof on the KVXSylvain Boulmé2020-10-171-22/+4
| * | | | fixing the move of the verified prepass scheduler into scheduling/ directorySylvain Boulmé2020-10-171-872/+0
| * | | | Merge remote-tracking branch 'origin/kvx-test-prepass' into mppa-RTLpathSE-verifCyril SIX2020-10-1655-11464/+859
| |\ \ \ \
| | * | | | so that all architectures compileDavid Monniaux2020-10-021-0/+1
| | * | | | non pipelined units = none on KVXDavid Monniaux2020-09-301-1/+3
| | * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-09-2923-769/+765
| | |\ \ \ \
| | * \ \ \ \ Merge remote-tracking branch 'origin/kvx-work-riscV' into kvx-test-prepassDavid Monniaux2020-09-221-14/+0
| | |\ \ \ \ \
generated by cgit (git 2.34.1) at 2024-06-02 22:17:14 +0000