Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | do not print debug stuff | David Monniaux | 2020-04-20 | 1 | -2/+4 |
* | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-20 | 11 | -44/+2323 |
|\ | |||||
| * | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 1 | -1/+2 |
| * | activate LICM | David Monniaux | 2020-04-19 | 1 | -1/+1 |
| * | test whether the instructions are allowed | David Monniaux | 2020-04-19 | 1 | -8/+6 |
| * | compute injections | David Monniaux | 2020-04-19 | 1 | -11/+28 |
| * | synthesize injection lists | David Monniaux | 2020-04-19 | 1 | -8/+30 |
| * | try building injection lists | David Monniaux | 2020-04-19 | 1 | -0/+52 |
| * | pp_list | David Monniaux | 2020-04-18 | 1 | -3/+6 |
| * | compute inner loops | David Monniaux | 2020-04-18 | 1 | -2/+11 |
| * | backward iterator | David Monniaux | 2020-04-18 | 1 | -2/+31 |
| * | dominated sets | David Monniaux | 2020-04-18 | 1 | -4/+30 |
| * | dominated parts | David Monniaux | 2020-04-18 | 1 | -2/+15 |
| * | headers vs dominators | David Monniaux | 2020-04-18 | 1 | -4/+6 |
| * | find inner loops | David Monniaux | 2020-04-17 | 1 | -1/+57 |
| * | moved to extra | David Monniaux | 2020-04-16 | 1 | -16/+9 |
| * | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-16 | 5 | -35/+111 |
| |\ | |||||
| | * | CSE3: better builtin handling | David Monniaux | 2020-04-16 | 4 | -5/+60 |
| | * | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-16 | 3 | -33/+55 |
| | |\ | |||||
| | | * | refine the rules for builtins | David Monniaux | 2020-04-16 | 2 | -5/+37 |
| | | * | progress on CSE2 builtins | David Monniaux | 2020-04-16 | 2 | -31/+20 |
| * | | | adapt for Icond with predicted direction | David Monniaux | 2020-04-16 | 4 | -13/+13 |
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-licm | David Monniaux | 2020-04-13 | 32 | -333/+533 |
| |\ \ \ | | | |/ | | |/| | |||||
| * | | | toy example for injecting code | David Monniaux | 2020-04-01 | 1 | -2/+29 |
| * | | | route through LICMaux | David Monniaux | 2020-04-01 | 2 | -4/+5 |
| * | | | fix Compiler.v | David Monniaux | 2020-04-01 | 1 | -0/+6 |
| * | | | clearer types | David Monniaux | 2020-04-01 | 1 | -1/+4 |
| * | | | attempt at compiling | David Monniaux | 2020-04-01 | 2 | -0/+30 |
| * | | | begin adapting for LICM phase | David Monniaux | 2020-04-01 | 2 | -32/+32 |
| * | | | adapting new stuff for ARM and AArch64 | David Monniaux | 2020-04-01 | 2 | -18/+14 |
| * | | | now able to inject on Call | David Monniaux | 2020-04-01 | 2 | -19/+16 |
| * | | | preparatory work for allowing injection after calls | David Monniaux | 2020-04-01 | 1 | -6/+40 |
| * | | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-03-31 | 2 | -26/+29 |
| |\ \ \ | |||||
| * | | | | no more admitted | David Monniaux | 2020-03-31 | 1 | -3/+5 |
| * | | | | fewer admits | David Monniaux | 2020-03-31 | 1 | -1/+11 |
| * | | | | resolved an "admit" | David Monniaux | 2020-03-31 | 1 | -3/+20 |
| * | | | | more about builtin args | David Monniaux | 2020-03-31 | 1 | -1/+83 |
| * | | | | except for builtins, finished the proof | David Monniaux | 2020-03-31 | 2 | -3/+9 |
| * | | | | external call | David Monniaux | 2020-03-31 | 1 | -1/+8 |
| * | | | | internal call | David Monniaux | 2020-03-31 | 1 | -1/+11 |
| * | | | | return | David Monniaux | 2020-03-31 | 1 | -1/+29 |
| * | | | | jumptable | David Monniaux | 2020-03-31 | 1 | -1/+22 |
| * | | | | cond | David Monniaux | 2020-03-31 | 1 | -2/+54 |
| * | | | | builtin (incomplete) | David Monniaux | 2020-03-31 | 1 | -0/+33 |
| * | | | | tailcall | David Monniaux | 2020-03-31 | 1 | -1/+58 |
| * | | | | call (could not handle it) | David Monniaux | 2020-03-31 | 1 | -1/+62 |
| * | | | | store | David Monniaux | 2020-03-31 | 1 | -1/+42 |
| * | | | | loads | David Monniaux | 2020-03-31 | 1 | -3/+126 |
| * | | | | lots of admits to be filled | David Monniaux | 2020-03-31 | 1 | -13/+134 |
| * | | | | transf_function_redirects | David Monniaux | 2020-03-31 | 1 | -0/+109 |