aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asm.v
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-751/+0
* Adding copyrightsCyril SIX2020-05-041-16/+14
* Converting Asm.v and Asmblockgenproof.v back to Unix formatCyril SIX2019-12-031-753/+753
* moving forward on K1CDavid Monniaux2019-09-071-41/+41
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-1/+19
|\
| * fmaDavid Monniaux2019-08-301-0/+8
| * add finvw ; not yet generatedDavid Monniaux2019-08-301-1/+3
| * fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-0/+8
* | (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-301-2/+2
* | (#156) - Un peu de cleaning et de docCyril SIX2019-07-301-41/+9
|/
* added immediate cmoveDavid Monniaux2019-06-041-1/+8
* begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-12/+12
* use shift 1-4 in backendDavid Monniaux2019-05-101-8/+8
* new instructions at asm levelDavid Monniaux2019-05-101-0/+24
* gain d'un cycle au moment du freeframe (passer au ret dans le même bundle)David Monniaux2019-05-071-1/+6
* big proofs for so / loDavid Monniaux2019-05-041-2/+6
* begin add PlqDavid Monniaux2019-05-031-1/+4
* getting stuck need to move offsetsDavid Monniaux2019-05-031-1/+4
* it compilesDavid Monniaux2019-05-011-0/+9
* begin load.xsDavid Monniaux2019-05-011-0/+12
* removed fake ops for int32 -> doubleDavid Monniaux2019-04-291-4/+0
* Srsd / SrswDavid Monniaux2019-04-291-0/+8
* begin add bitfield insertionDavid Monniaux2019-04-271-0/+7
* moved operators to specific file instead of common fileDavid Monniaux2019-04-271-0/+1
* start of extfzl/extfslDavid Monniaux2019-04-251-0/+5
* progressDavid Monniaux2019-04-251-0/+3
* IT COMPILESDavid Monniaux2019-04-251-1/+1
* begin bitfieldsDavid Monniaux2019-04-241-0/+3
* more builtinsDavid Monniaux2019-04-111-0/+5
* afaddd / afaddwDavid Monniaux2019-04-111-0/+2
* instruction cache builtinsDavid Monniaux2019-04-111-0/+3
* data cache builtinsDavid Monniaux2019-04-111-0/+4
* some more builtinsDavid Monniaux2019-04-111-0/+5
* __builtin_k1_lduDavid Monniaux2019-04-111-2/+4
* wfxl / wfxmDavid Monniaux2019-04-111-0/+2
* get / set k1David Monniaux2019-04-101-0/+3
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-081-0/+4
|\
| * select cmpuDavid Monniaux2019-04-051-0/+2
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-36/+63
| |\
| * \ merge VLIW proofsDavid Monniaux2019-03-281-3/+3
| |\ \
| * | | progress on cmoveDavid Monniaux2019-03-251-0/+2
* | | | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-168/+168
| |_|/ |/| |
* | | Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yetCyril SIX2019-04-021-36/+61
* | | Merge remote-tracking branch 'origin/mppa_postpass' into mppa-jumptableCyril SIX2019-03-291-3/+3
|\ \ \ | | |/ | |/|
| * | Merge remote-tracking branch 'origin/mppa_vliw_essai_sylvain' into mppa_postpassDavid Monniaux2019-03-281-8/+3
| |\ \
| | * | Integrating Asmvliw.v in the proof chainCyril SIX2019-03-201-3/+3
* | | | Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-221-5/+0
|\ \ \ \ | | |_|/ | |/| |
| * | | rm Pdiv / PdivuDavid Monniaux2019-03-221-5/+0
| |/ /
* / / begin jumptables (does not work)David Monniaux2019-03-211-0/+2
|/ /
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-191-1/+19
|\ \
generated by cgit (git 2.34.1) at 2024-07-04 12:43:31 +0000