aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
Commit message (Collapse)AuthorAgeFilesLines
* dirty fix for issue #112David Monniaux2019-04-131-3/+7
| | | | That should not be the final say on this.
* more builtinsDavid Monniaux2019-04-111-1/+10
|
* afaddd / afaddwDavid Monniaux2019-04-111-0/+4
|
* instruction cache builtinsDavid Monniaux2019-04-111-0/+6
|
* data cache builtinsDavid Monniaux2019-04-111-0/+8
|
* some more builtinsDavid Monniaux2019-04-111-0/+10
|
* __builtin_k1_lduDavid Monniaux2019-04-111-1/+4
|
* wfxl / wfxmDavid Monniaux2019-04-111-0/+4
|
* get / set k1David Monniaux2019-04-101-1/+7
|
* Merge remote-tracking branch 'origin/mppa-work' into mppa-refactorCyril SIX2019-04-081-0/+4
|\ | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmblock.v
| * select cmpuDavid Monniaux2019-04-051-1/+1
| |
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-31/+49
| |\
| * | ternary / cmove demo now worksDavid Monniaux2019-03-261-2/+2
| | |
| * | progress on cmoveDavid Monniaux2019-03-251-0/+4
| | |
| * | FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
| | |
* | | #90 Asmvliw/Asmblock refactoring attemptCyril SIX2019-04-051-8/+8
| |/ |/|
* | Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yetCyril SIX2019-04-021-20/+24
| |
* | fix for jump tablesv3.5_k1c_1.0David Monniaux2019-03-301-14/+18
| |
* | FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
| |
* | Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-221-4/+0
|\|
| * rm Pdiv / PdivuDavid Monniaux2019-03-221-4/+0
| |
* | Jump tables now work. There is still an "Admitted" subcase in a proof.David Monniaux2019-03-221-3/+13
|/
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-191-0/+12
|\
| * mul immediate beginDavid Monniaux2019-03-191-0/+4
| |
| * begin implementing multiply-addDavid Monniaux2019-03-181-2/+10
| |
* | Pseudo instruction for 32 bits division, no code generation yetCyril SIX2019-03-191-0/+4
| |
* | bug de pretty printingDavid Monniaux2019-03-181-2/+2
|/
* some more about andn/ornDavid Monniaux2019-03-181-0/+16
|
* long nand, nor, nxorDavid Monniaux2019-03-161-0/+12
|
* nxorDavid Monniaux2019-03-161-0/+4
|
* partial norwDavid Monniaux2019-03-161-0/+4
|
* nand is implementedDavid Monniaux2019-03-161-0/+4
|
* 32-bit rotate finishedDavid Monniaux2019-03-161-0/+3
|
* Minor fix on TargetPrinter (coqint instead of coqint64 for adequate types)Cyril SIX2019-03-081-8/+8
|
* Added double comparisonsCyril SIX2019-03-011-0/+2
|
* Implemented float comparisons (no branching yet, and no negation)Cyril SIX2019-03-011-0/+15
|
* Ointuofsingle doneCyril SIX2019-03-011-0/+2
|
* Float conversion fixes + some more conversionsCyril SIX2019-02-271-3/+7
|
* Fixed some additional operands inversionsCyril SIX2019-02-271-4/+4
|
* FIX the order of operands of float sub was invertedCyril SIX2019-02-271-2/+2
|
* Remove unnecessary and error prone FR constructor for pregsCyril SIX2019-02-201-2/+0
|
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-151-2/+27
|
* Added Olongoffloat, Ofloatoflong and doubleconv testCyril SIX2019-02-121-0/+4
|
* Added Ointofsingle + floatconv unit testCyril SIX2019-02-121-0/+2
|
* Added OsingleofintCyril SIX2019-02-121-0/+2
|
* Added Ofloatconst and Osingleconst (not integrated in scheduler yet)Cyril SIX2019-02-121-0/+12
|
* Added indirect tailcallsCyril SIX2019-02-081-0/+2
|
* Ugly hack to get at the k1c standard library stdin/stdout/stderrDavid Monniaux2019-02-011-1/+6
|
* implemented builtin memcpyDavid Monniaux2019-02-011-1/+3
|
* Adding indirect calls (icall instruction)Cyril SIX2019-01-291-0/+2
|
generated by cgit (git 2.34.1) at 2024-07-21 04:36:11 +0000