aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'mppa-mul' into mppa-jumptableDavid Monniaux2019-03-2214-719/+123
|\
| * Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-2213-783/+14
| |\
| | * rm Pdiv / PdivuDavid Monniaux2019-03-226-66/+1
| | * restructuration pour compilation toute archiDavid Monniaux2019-03-223-1/+5
| | * ça recompile sur x86David Monniaux2019-03-222-103/+1
| | * Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-223-613/+7
| | |\
| | | * I think it should now compile for all architectures.David Monniaux2019-03-221-613/+0
| | | * try to be portable across archsDavid Monniaux2019-03-212-0/+7
| * | | rm tests inherited from Risc-VDavid Monniaux2019-03-201-30/+5
| |/ /
| * | Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-201-2/+2
| |\|
| * | Proof of div32/mod32/divf32/divf64 lemmasCyril SIX2019-03-201-6/+21
| * | la division flottante fonctionneDavid Monniaux2019-03-202-2/+27
| * | begin float divisionDavid Monniaux2019-03-201-0/+4
| * | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-201-6/+47
| |\ \
| | * | Proving eval_divs_baseCyril SIX2019-03-201-6/+47
| * | | les divisions entieres passentDavid Monniaux2019-03-202-9/+11
| * | | Merge branch 'mppa_postpass' into mppa-mulDavid Monniaux2019-03-2020-1449/+461
| |\ \ \ | | |/ / | |/| |
| * | | added helper functions but strangeDavid Monniaux2019-03-193-5/+162
* | | | Jump tables now work. There is still an "Admitted" subcase in a proof.David Monniaux2019-03-223-5/+15
* | | | on avance sur la jumptableDavid Monniaux2019-03-222-3/+3
* | | | jumptable avanceDavid Monniaux2019-03-221-1/+8
* | | | Fixed proof of Asmblockdeps wrt PjumptableCyril SIX2019-03-221-25/+28
* | | | begin jumptables (does not work)David Monniaux2019-03-214-3/+57
| |_|/ |/| |
* | | XLeroy's suggested fix for shared float/int register file.David Monniaux2019-03-201-2/+2
| |/ |/|
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-207-20/+65
|\ \
| * | maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-203-1/+13
| * | maddl gets to assemblyDavid Monniaux2019-03-201-2/+0
| * | maddl declaredDavid Monniaux2019-03-203-17/+52
* | | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-1914-1357/+307
|\| |
| * | mul+madd immediateDavid Monniaux2019-03-194-3/+28
| * | mul immediateDavid Monniaux2019-03-196-3/+18
| * | mul immediate beginDavid Monniaux2019-03-198-4/+28
| * | fix classes for maddDavid Monniaux2019-03-191-4/+4
| * | reverse maddDavid Monniaux2019-03-192-0/+4
| * | improve robustness of Asmblockdeps.arith_op_eq.Sylvain Boulmé2019-03-191-13/+29
| * | fix missing case in Asmblockdeps.arith_op_eqSylvain Boulmé2019-03-191-2/+2
| * | remove a FAILWITH that forbids some debugging information to be printedSylvain Boulmé2019-03-191-3/+3
| * | specify instructions that write to first operand (madd)David Monniaux2019-03-192-1324/+1
| * | Revert "implemented -fno-postpass normally"David Monniaux2019-03-193-45/+18
| * | implemented -fno-postpass normallyDavid Monniaux2019-03-193-18/+45
| * | mandw mais ça coinceDavid Monniaux2019-03-183-3/+12
| * | maddw dans la générationDavid Monniaux2019-03-182-1/+9
| * | plus d'infrastructure pour maddDavid Monniaux2019-03-183-0/+49
| * | maddw exists now in postpass schedulerDavid Monniaux2019-03-181-0/+14
| * | ça passe mais pas encore l'oracleDavid Monniaux2019-03-183-1/+98
| * | begin implementing multiply-addDavid Monniaux2019-03-182-3/+15
* | | Pseudo instruction for 32 bits division, no code generation yetCyril SIX2019-03-198-19/+87
* | | Psemi manquant dans l'expansion de PallocframeCyril SIX2019-03-191-0/+2
* | | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...Cyril SIX2019-03-1814-18/+257
|\ \ \ | | |/ | |/|
| * | bug de pretty printingDavid Monniaux2019-03-181-2/+2
| |/
generated by cgit (git 2.34.1) at 2024-07-14 02:08:06 +0000