aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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-215-8/+57
* XLeroy's suggested fix for shared float/int register file.David Monniaux2019-03-202-5/+5
* Revert "Better fix for register allocation?"David Monniaux2019-03-201-4/+3
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-209-25/+86
|\
| * maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-205-6/+34
| * 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-1916-1357/+327
|\|
| * mul+madd immediateDavid Monniaux2019-03-194-3/+28
| * mul immediateDavid Monniaux2019-03-196-3/+18
| * mul immediate beginDavid Monniaux2019-03-199-4/+32
| * fix classes for maddDavid Monniaux2019-03-191-4/+4
| * reverse maddDavid Monniaux2019-03-192-0/+4
| * seems to workDavid Monniaux2019-03-191-0/+7
| * Merge branch 'mppa-madd' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-03-192-17/+33
| |\
| | * 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
| * | Merge branch 'mppa_postpass' into mppa-maddDavid Monniaux2019-03-190-0/+0
| |\ \ | | |/ | |/|
| * | 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
| * | test for maddDavid Monniaux2019-03-191-0/+9
| * | 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
* | | Replacing all the - by * : it works!Cyril SIX2019-03-192-185/+185
* | | Trying to replace all the + by -Cyril SIX2019-03-192-185/+185
* | | [TEST BROKEN] Trying to replace some int by float in stackhell interop testCyril SIX2019-03-193-68/+69
* | | Added i64_shl and i64_shr to the runtime Makefile, needed by i64_dtosCyril SIX2019-03-191-1/+2
* | | Small improvements to interop test MakefileCyril SIX2019-03-192-4/+33
* | | 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-1815-18/+273
|\ \ \ | | |/ | |/|
| * | bug de pretty printingDavid Monniaux2019-03-181-2/+2
| |/
| * andn / orn long complete I thinkDavid Monniaux2019-03-182-0/+19
| * selection of andn/orn on longDavid Monniaux2019-03-182-0/+10
| * some more andn / ornDavid Monniaux2019-03-183-0/+28
| * andn/orn start being generatedDavid Monniaux2019-03-183-8/+22
| * andn / orn suiteDavid Monniaux2019-03-186-7/+34
| * orn / andn in asmDavid Monniaux2019-03-184-4/+50
| * some more about andn/ornDavid Monniaux2019-03-182-0/+24
| * begin andn ornDavid Monniaux2019-03-183-0/+87
generated by cgit (git 2.34.1) at 2024-07-14 05:26:49 +0000