aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c
Commit message (Expand)AuthorAgeFilesLines
* ternary unsignedDavid Monniaux2019-03-262-0/+47
* rm cruftDavid Monniaux2019-03-262-167/+9
* cmoved worksDavid Monniaux2019-03-261-4/+5
* ternary / cmove demo now worksDavid Monniaux2019-03-261-2/+2
* ternary begins workingDavid Monniaux2019-03-262-13/+11
* some progressDavid Monniaux2019-03-262-19/+12
* implemented ternary patternDavid Monniaux2019-03-262-1/+57
* more on ternaryDavid Monniaux2019-03-262-6/+149
* select basic operatorsDavid Monniaux2019-03-261-0/+24
* selectlDavid Monniaux2019-03-252-0/+21
* more on cmoveDavid Monniaux2019-03-254-66/+42
* progress on cmoveDavid Monniaux2019-03-255-3/+17
* draft commentDavid Monniaux2019-03-251-0/+3
* some version of select/selectl that runs through ValueAOpDavid Monniaux2019-03-251-5/+32
* NeedOp advancingDavid Monniaux2019-03-251-0/+43
* better Op select/selectlDavid Monniaux2019-03-251-32/+24
* progressing on select/selectlDavid Monniaux2019-03-252-0/+12
* going forward with select/selectlDavid Monniaux2019-03-251-12/+26
* begin ternaryDavid Monniaux2019-03-242-1/+49
* Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-03-221-1/+1
|\
| * FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd)David Monniaux2019-03-221-1/+1
* | 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
|\|
| * XLeroy's suggested fix for shared float/int register file.David 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
|\ \ \ | |/ / |/| / | |/
| * 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
generated by cgit (git 2.34.1) at 2024-07-04 03:02:15 +0000