aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asmblockgen.v
Commit message (Expand)AuthorAgeFilesLines
* removing more coq8.10 warningsSylvain Boulmé2020-03-091-0/+2
* finish mergeDavid Monniaux2019-12-021-1/+1
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-12-021-1/+3
|\
| * Un espace en tropCyril SIX2019-10-211-1/+1
| * Fixing fp_is_parent too weak (#165)Cyril SIX2019-10-111-1/+3
* | moving forward on K1CDavid Monniaux2019-09-071-21/+17
* | more on notrapDavid Monniaux2019-09-051-7/+12
|/
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-0/+40
|\
| * fmaDavid Monniaux2019-08-301-0/+25
| * add finvw ; not yet generatedDavid Monniaux2019-08-301-0/+3
| * fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-0/+12
* | (#156) - Un peu de cleaning et de docCyril SIX2019-07-301-60/+6
|/
* osel immDavid Monniaux2019-06-041-0/+43
* shortcuts for cmoveDavid Monniaux2019-06-041-4/+4
* Osel -> assembleurDavid Monniaux2019-06-041-22/+49
* rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-031-21/+0
* Merge remote-tracking branch 'origin/mppa-work' into mppa-msubDavid Monniaux2019-05-121-4/+5
|\
| * Asmblockgen prologue is now 1 basicblock (instead of 3)Cyril SIX2019-05-101-4/+5
* | apply .xs onto addx4 etcDavid Monniaux2019-05-111-0/+6
* | Pmsub compiledDavid Monniaux2019-05-111-0/+12
* | more gen O -> PDavid Monniaux2019-05-111-0/+9
* | more gen O -> PDavid Monniaux2019-05-111-0/+6
* | Oaddx -> PDavid Monniaux2019-05-111-0/+6
* | begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-0/+3
|/
* Exploiting immediate comparisonsCyril SIX2019-05-091-6/+14
* rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-031-2/+2
* does not yet work, arity mismatchDavid Monniaux2019-05-011-0/+1
* it compilesDavid Monniaux2019-05-011-15/+21
* ça avanceDavid Monniaux2019-05-011-7/+7
* translate load.xsDavid Monniaux2019-05-011-1/+19
* indexed2XS beginDavid Monniaux2019-05-011-0/+1
* removed fake ops for int32 -> doubleDavid Monniaux2019-04-291-6/+0
* srsdDavid Monniaux2019-04-291-5/+1
* begin using shrxDavid Monniaux2019-04-291-5/+1
* instruction translation for bitfield insertionDavid Monniaux2019-04-271-0/+12
* some more folding of codeDavid Monniaux2019-04-271-6/+13
* read from bit fieldsDavid Monniaux2019-04-251-0/+14
* make_prologue à partDavid Monniaux2019-04-241-3/+6
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-081-0/+43
|\
| * Oselectf, Oselectfs with conditionDavid Monniaux2019-04-051-9/+3
| * selectl with conditionDavid Monniaux2019-04-051-2/+2
| * Select cmpluDavid Monniaux2019-04-051-1/+14
| * select cmpuDavid Monniaux2019-04-051-0/+14
| * some more Oselect comparisonsDavid Monniaux2019-04-041-0/+2
| * OselectDavid Monniaux2019-04-041-1/+11
| * for floats and doubles, asmgen supportDavid Monniaux2019-04-031-8/+4
| * ternary ops in AES and TEADavid Monniaux2019-04-031-1/+1
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-54/+66
| |\
| * | selectl generationDavid Monniaux2019-03-261-1/+1
| * | selectlDavid Monniaux2019-03-251-0/+7
generated by cgit (git 2.34.1) at 2024-07-06 15:21:41 +0000