aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-301-7/+45
|\
| * Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-301-7/+45
| |\
| | * Merge remote-tracking branch 'origin/mppa-work' into mppa-msubDavid Monniaux2019-05-121-3/+16
| | |\
| | * | begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-6/+6
| | * | use shift 1-4 in backendDavid Monniaux2019-05-101-32/+22
| | * | new instructions at asm levelDavid Monniaux2019-05-101-7/+55
* | | | to be able to use DDR we need 8-byte pointers in jump tablesDavid Monniaux2019-05-291-5/+5
|/ / /
* | / directly call float and double division from gcc lib instead of a stubDavid Monniaux2019-05-151-0/+2
| |/ |/|
* | directly branch to certain division functions from gccDavid Monniaux2019-05-121-3/+16
|/
* Replacing tabs by spaces in TargetPrinterCyril SIX2019-05-091-20/+20
* simplification d'un code moche pour les variables thread-localDavid Monniaux2019-05-081-1/+1
* it compiles!David Monniaux2019-05-041-1/+26
* begin add PlqDavid Monniaux2019-05-031-0/+2
* use sq to save pairs of registersDavid Monniaux2019-05-031-1/+1
* it compilesDavid Monniaux2019-05-031-2/+41
* rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-031-3/+1
* fix targetprinter bug for .xsDavid Monniaux2019-05-011-4/+4
* begin load.xsDavid Monniaux2019-05-011-7/+11
* 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/+2
* start of extfzl/extfslDavid Monniaux2019-04-251-2/+2
* progressDavid Monniaux2019-04-251-0/+2
* begin bitfieldsDavid Monniaux2019-04-241-0/+2
* dirty fix for issue #112David Monniaux2019-04-131-3/+7
* 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
|\
| * 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
generated by cgit (git 2.34.1) at 2024-07-04 13:12:37 +0000