summary refs log tree commit diff
path: root/lo2.ml
AgeCommit message (Expand)Author
2015-09-15bugfix in regalloc (Div,Rem) and in peuclQuentin Carbonneaux
2015-09-15attempt to implement euclide algorithmQuentin Carbonneaux
2015-09-15restore addition in testQuentin Carbonneaux
2015-09-15generate code for the divisionQuentin Carbonneaux
2015-09-15reserve edx in all cases for divisionsQuentin Carbonneaux
2015-09-15fix code emitting for x = y op xQuentin Carbonneaux
2015-09-15fix addition opcodesQuentin Carbonneaux
2015-09-15do a bigger test computationQuentin Carbonneaux
2015-09-15cleanup overflow computationQuentin Carbonneaux
2015-09-15fix spill codeQuentin Carbonneaux
2015-09-15add `Ret jump and dump elf filesQuentin Carbonneaux
2015-04-04write down some more ideasQuentin Carbonneaux
2015-04-01do not freeze r when allocating for r2Quentin Carbonneaux
2015-03-31tentative fix of messed up spills for phisQuentin Carbonneaux
2015-03-31avoid evicting argumentsQuentin Carbonneaux
2015-03-31add move constant to spillQuentin Carbonneaux
2015-03-31better support for constantsQuentin Carbonneaux
2015-03-25expect reg in brz, might not be trueQuentin Carbonneaux
2015-03-25simplify label logicQuentin Carbonneaux
2015-03-25branch codeQuentin Carbonneaux
2015-03-25more codegenQuentin Carbonneaux
2015-03-25start writing some codegenQuentin Carbonneaux
2015-02-20fix bugs in movgenQuentin Carbonneaux
2015-02-20start work on movgenQuentin Carbonneaux
2015-02-18cosmeticsQuentin Carbonneaux
2015-02-18add spill testQuentin Carbonneaux
2015-02-18kind of working!Quentin Carbonneaux
2015-02-18wipQuentin Carbonneaux
2015-02-18wipQuentin Carbonneaux
2015-02-15add notesQuentin Carbonneaux
2015-02-13finished interval building, untestedQuentin Carbonneaux
2015-02-13attempt a new linear scan implementationQuentin Carbonneaux
2015-01-22release also non-register locationsQuentin Carbonneaux
2015-01-22add some test programsQuentin Carbonneaux
2015-01-22implement linear scan ideas in lo2.mlQuentin Carbonneaux
2015-01-14start hacking new regallocQuentin Carbonneaux
2015-01-11more typesQuentin Carbonneaux
2015-01-09type surgeryQuentin Carbonneaux
2015-01-08try new presentation in lo2.mlQuentin Carbonneaux