aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* select cmpuDavid Monniaux2019-04-051-1/+1
* Merge remote-tracking branch 'origin/mppa-work' into mppa-ternaryDavid Monniaux2019-04-031-31/+49
|\
| * 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
| |\
| * | Jump tables now work. There is still an "Admitted" subcase in a proof.David Monniaux2019-03-221-3/+13
* | | 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
| |/ |/|
* | rm Pdiv / PdivuDavid Monniaux2019-03-221-4/+0
|/
* 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
* Added sxwd and zxwd supportCyril SIX2019-01-221-3/+5
* Merge correctionsCyril SIX2019-01-171-69/+69
* Merge branch 'mppa_k1c' into mppa_postpassCyril SIX2019-01-171-65/+65
|\
| * Fixed bundles (back to 1 instruction per bundle)Cyril SIX2018-12-071-65/+65
* | More instruction definitions in the oracleCyril SIX2019-01-161-1/+2
* | [BROKEN] trying to link the test in mppa_k1c/unittest/postpass_testCyril SIX2019-01-111-2/+1
|/
* Introducing ;; as Pcomma in Asm.vCyril SIX2018-12-031-64/+65
* Fixed BaR mentions in the ML filesCyril SIX2018-09-281-9/+3
* Rebase avec le commit qui fixe les tests + librairiesCyril SIX2018-09-061-0/+4
* Asmblock & cie - ça compileCyril SIX2018-09-061-85/+69
* MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-051-1/+1
generated by cgit (git 2.34.1) at 2024-07-06 17:53:54 +0000