aboutsummaryrefslogtreecommitdiffstats
path: root/kvx
Commit message (Expand)AuthorAgeFilesLines
* some more gappaDavid Monniaux2021-12-161-6/+21
* one admit lessDavid Monniaux2021-12-161-1/+4
* finish proof but some admitted stuffDavid Monniaux2021-12-161-4/+27
* test gappaDavid Monniaux2021-12-161-15/+17
* patineDavid Monniaux2021-12-151-12/+3
* progressDavid Monniaux2021-12-151-7/+28
* progressDavid Monniaux2021-12-151-0/+11
* progressDavid Monniaux2021-12-151-6/+15
* progressDavid Monniaux2021-12-151-6/+10
* progressDavid Monniaux2021-12-151-5/+40
* progressDavid Monniaux2021-12-151-15/+30
* progressDavid Monniaux2021-12-151-5/+13
* progressDavid Monniaux2021-12-151-14/+64
* correct pour Flocq externeDavid Monniaux2021-12-141-1/+1
* stuffDavid Monniaux2021-12-141-1/+3
* more on FPDivisionDavid Monniaux2021-12-141-3/+133
* approx_invDavid Monniaux2021-12-141-4/+10
* begin work on fp divisionDavid Monniaux2021-12-141-0/+43
* begin div algoDavid Monniaux2021-12-132-52/+68
* div_approx_reals_correct simplified proofDavid Monniaux2021-12-131-1/+1
* div_approx_reals_correctDavid Monniaux2021-12-131-2/+54
* fix assembly syntaxDavid Monniaux2021-12-125-5/+27
* connect Asm to the rest for nearest roundingDavid Monniaux2021-12-122-2/+14
* some more fixed etc. constructsDavid Monniaux2021-12-125-9/+50
* Asm levelDavid Monniaux2021-12-123-1/+28
* 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
| |\
generated by cgit (git 2.34.1) at 2024-07-14 16:38:38 +0000