aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
...
* | smart memcpy for arbitrary sizesDavid Monniaux2019-05-092-12/+30
* | copy 16 by 16David Monniaux2019-05-092-14/+15
* | slightly improved memcpyDavid Monniaux2019-05-091-12/+23
* | structure copy through 4 byte registers instead of 1David Monniaux2019-05-091-24/+47
* | simplification d'un code moche pour les variables thread-localDavid Monniaux2019-05-081-1/+1
* | generalize bblock_equiv into bblock_simu (abstract_bb)Sylvain Boulmé2019-05-076-73/+59
* | fix linking bug (my fault)David Monniaux2019-05-071-1/+1
* | put the get ra in same bundle as allocframeDavid Monniaux2019-05-071-1/+1
* | gain d'un cycle au moment du freeframe (passer au ret dans le même bundle)David Monniaux2019-05-071-1/+6
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-074-29/+28
|\ \
| * | generalize bblock_equiv into bblock_simuSylvain Boulmé2019-05-074-29/+28
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-064-267/+74
|\| |
| * | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workCyril SIX2019-05-064-267/+74
| |\ \
| | * | simplification semantique+preuve des load_q+load_oSylvain Boulmé2019-05-064-267/+74
* | | | one cycle less in allocframeDavid Monniaux2019-05-061-3/+3
* | | | wrong srsd arith unit assignmentDavid Monniaux2019-05-051-2/+2
|/ / /
* / / little fixDavid Monniaux2019-05-041-1/+1
|/ /
* | generates loDavid Monniaux2019-05-041-1/+21
* | mergedDavid Monniaux2019-05-041-4/+3
* | Merge branch 'mppa-peephole' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-05-041-5/+2
|\ \
| * | legere simplification de preuveSylvain Boulmé2019-05-041-70/+26
| * | Merge branch 'mppa-work' into mppa-peepholeSylvain Boulmé2019-05-041-9/+15
| |\ \
* | | | store oDavid Monniaux2019-05-041-14/+19
* | | | store octupleDavid Monniaux2019-05-041-1/+38
* | | | it compiles!David Monniaux2019-05-044-7/+87
* | | | big proofs for so / loDavid Monniaux2019-05-044-6/+306
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-031-9/+15
|\ \ \ \ | |/ / / |/| / / | |/ /
| * | [FIX #101] PostpassSchedulingOracle:separate_opaque was not computing correctlyCyril SIX2019-05-031-9/+15
| * | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-0311-21/+280
| |\ \
* | | | Lq finished ?David Monniaux2019-05-033-18/+31
* | | | begin add PlqDavid Monniaux2019-05-038-12/+117
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-034-10/+7
|\| | | | |/ / |/| |
| * | Renaming "dumb" scheduling into "greedy"Cyril SIX2019-05-033-9/+4
| * | Fixing mppa_k1c/Chunks.v for Coq 8.9Cyril SIX2019-05-031-1/+3
* | | -fcoalesce-memDavid Monniaux2019-05-031-7/+12
* | | use sq to save pairs of registersDavid Monniaux2019-05-035-11/+27
* | | it compilesDavid Monniaux2019-05-035-5/+65
* | | ça avanceDavid Monniaux2019-05-031-0/+27
* | | rm OfslowDavid Monniaux2019-05-031-1/+1
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-peepholeDavid Monniaux2019-05-0310-93/+61
|\| |
| * | rm Ofslow (résidu du Risc-V, inutilisé et complique les preuves)David Monniaux2019-05-0310-93/+61
* | | getting stuck need to move offsetsDavid Monniaux2019-05-034-10/+40
* | | find consecutive writesDavid Monniaux2019-05-022-6/+83
* | | detect consecutive onesDavid Monniaux2019-05-021-2/+6
* | | found peepholeDavid Monniaux2019-05-022-1/+24
* | | seems to workDavid Monniaux2019-05-022-2/+19
|/ /
* | allow disabling + xx global symbolsDavid Monniaux2019-05-022-4/+9
* | Merge branch 'mppa-xsaddr' into mppa-workDavid Monniaux2019-05-0218-54/+396
|\ \
| * | fix slow globals etc.David Monniaux2019-05-022-2/+2
| * | command line options (still incomplete)David Monniaux2019-05-022-11/+24
generated by cgit (git 2.34.1) at 2024-07-12 04:23:32 +0000