aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* fix for k1cDavid Monniaux2020-04-111-1/+1
* fix writing profiling info for Aarch64David Monniaux2020-04-101-1/+1
* various fixes for aarch64 profilingDavid Monniaux2020-04-101-1/+1
* moved to common placeDavid Monniaux2020-04-101-52/+0
* begin factorizing profilerDavid Monniaux2020-04-101-10/+18
* fixed a bug in support libraries; reload profiling infoDavid Monniaux2020-04-081-1/+1
* library support for writing profiling information to filesDavid Monniaux2020-04-081-4/+17
* print profiling idsDavid Monniaux2020-04-081-3/+23
* looks like it works?David Monniaux2020-04-081-4/+38
* print hashesDavid Monniaux2020-04-081-2/+2
* so that it gets printedDavid Monniaux2020-04-081-0/+3
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-101-4/+0
|\
| * Removing unused .all, .any, .nall and .none conditionsCyril SIX2019-09-051-4/+0
* | notrap in mppa_k1c ML codeDavid Monniaux2019-09-081-12/+16
|/
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-031-1/+21
|\
| * fmaDavid Monniaux2019-08-301-0/+8
| * add finvw ; not yet generatedDavid Monniaux2019-08-301-0/+2
| * fmin/fmax/fminf/fmaxf non bien testésDavid Monniaux2019-08-291-0/+8
| * various fixesDavid Monniaux2019-07-191-1/+3
* | Added more testsCyril SIX2019-08-301-2/+2
* | (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-301-2/+2
|/
* Typo in PrevsubxwCyril SIX2019-07-181-1/+1
* added immediate cmoveDavid Monniaux2019-06-041-0/+6
* 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