aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Reorganized the test/mppa/ tests to have fewer of themCyril SIX2019-03-2282-30/+238
|
* I think it should now compile for all architectures.David Monniaux2019-03-221-613/+0
|
* try to be portable across archsDavid Monniaux2019-03-2114-11/+43
|
* 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
| | | | This reverts commit 5ad25465f77c3009eaff7e9a124c254c1e9f33cd.
* 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 ↵David Monniaux2019-03-192-17/+33
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-madd
| | * 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
| | | | | | | | | | | | This reverts commit fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd.
| * | 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 ↵Cyril SIX2019-03-1815-18/+273
|\ \ \ | | |/ | |/| | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * | 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
| |
* | The parent frame pointer is now R17 instead of R14Cyril SIX2019-03-187-27/+21
|/
* stats on chunks etc.David Monniaux2019-03-171-3/+5
|
generated by cgit (git 2.34.1) at 2024-07-11 22:00:25 +0000