aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-887/+0
* Adding copyrightsCyril SIX2020-05-041-16/+14
* Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-featuresDavid Monniaux2020-04-201-4/+50
|\
| * Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2020-04-201-29/+93
| |\
| * | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-291-2/+8
| * | arranging for selection of divisor as optionDavid Monniaux2019-05-291-4/+44
* | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-2/+28
|\ \ \
| * | | 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
| | |/ | |/|
* | | update it's now @tlsle not @tprelDavid Monniaux2020-04-091-2/+4
* | | thread local declarations now workDavid Monniaux2020-02-241-2/+6
* | | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-4/+8
|/ /
* | 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