aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* sdiv seems to work, udiv/umod/smod BOGUSDavid Monniaux2019-05-162-12/+18
* directly call float and double division from gcc lib instead of a stubDavid Monniaux2019-05-151-0/+2
* detailDavid Monniaux2019-05-151-1/+1
* more lemmas on divisionDavid Monniaux2019-05-151-0/+48
* more lemmas on divisionDavid Monniaux2019-05-151-1/+55
* some lemmas on division etc.David Monniaux2019-05-141-0/+258
* 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-133-3/+59
* we directly call 64-bit unsigned divisionDavid Monniaux2019-05-133-4/+24
* begin proving that we can use 64-bit division for doing 32David Monniaux2019-05-131-0/+64
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-123-64/+72
|\
| * Asmblockgen prologue is now 1 basicblock (instead of 3)Cyril SIX2019-05-103-64/+72
* | directly branch to certain division functions from gccDavid Monniaux2019-05-121-3/+16
|/
* Exploiting immediate comparisonsCyril SIX2019-05-092-36/+145
* Replacing tabs by spaces in TargetPrinterCyril SIX2019-05-091-20/+20
* 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
generated by cgit (git 2.34.1) at 2024-06-11 23:37:11 +0000