| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | RTLTunneling: fix comments and authors information | Sylvain Boulmé | 2021-08-24 | 5 | -89/+24 |
| * | Merge remote-tracking branch 'origin/kvx-sched-w-reg-press' into kvx-work | David Monniaux | 2021-08-23 | 1 | -6/+12 |
| |\ | |||||
| | * | Changes heuristic for case "no instruction decreases pressure" | nicolas.nardino | 2021-07-28 | 1 | -9/+12 |
| * | | remove default_notrap_load_value | Sylvain Boulmé | 2021-07-24 | 1 | -1/+1 |
| * | | Merge branch 'kvx-work' into rtl-tunneling | Sylvain Boulmé | 2021-07-24 | 64 | -170/+2394 |
| |\ \ | |||||
| | * | | Fix can't schedule issues | David Monniaux | 2021-07-19 | 3 | -55/+48 |
| | |\| | |||||
| | | * | Fix scheduling fails (forgot a case) | nicolas.nardino | 2021-07-19 | 1 | -8/+11 |
| | | * | Merge branch 'kvx-work' into kvx-sched-w-reg-press | nicolas.nardino | 2021-07-19 | 1 | -52/+38 |
| | | |\ | |||||
| | | | * | start fixing | nicolas.nardino | 2021-07-19 | 1 | -52/+38 |
| | | * | | comment for authors | David Monniaux | 2021-07-16 | 1 | -0/+13 |
| | | * | | activate register pressure by default | David Monniaux | 2021-07-16 | 2 | -5/+5 |
| | | * | | use a more recognizable option name | David Monniaux | 2021-07-16 | 13 | -15/+1089 |
| | | * | | fix for KVX | David Monniaux | 2021-07-16 | 1 | -2/+8 |
| | | * | | setup registers | David Monniaux | 2021-07-16 | 2 | -0/+5 |
| | | * | | rm useless code | David Monniaux | 2021-07-16 | 1 | -48/+0 |
| | | * | | rm "Admitted" | David Monniaux | 2021-07-16 | 1 | -11/+10 |
| | | * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-sched-w-reg-press | David Monniaux | 2021-07-16 | 22 | -50/+41 |
| | | |\ \ | |||||
| | | * | | | rm TODO | David Monniaux | 2021-07-16 | 1 | -1/+0 |
| | | * | | | add more debug info | nicolas.nardino | 2021-07-08 | 1 | -2/+10 |
| | | * | | | Deactivate sched validator (i think) | nicolas.nardino | 2021-07-08 | 1 | -10/+11 |
| | | * | | | Add debug info | nicolas.nardino | 2021-07-06 | 1 | -0/+2 |
| | | * | | | Change temporary solution (see prev commits), and add option for it | nicolas.nardino | 2021-06-28 | 3 | -4/+20 |
| | | * | | | Changed printfs into debugs | nicolas.nardino | 2021-06-25 | 1 | -6/+5 |
| | | * | | | Another scheduler | nicolas.nardino | 2021-06-24 | 3 | -1/+204 |
| | | * | | | Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:... | nicolas.nardino | 2021-06-22 | 16 | -86/+225 |
| | | |\ \ \ | |||||
| | | | * \ \ | Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:... | David Monniaux | 2021-06-17 | 1 | -1/+2 |
| | | | |\ \ \ | |||||
| | | | * \ \ \ | Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:... | David Monniaux | 2021-06-17 | 0 | -0/+0 |
| | | | |\ \ \ \ | |||||
| | | | * | | | | | fix for Risc-V | David Monniaux | 2021-06-17 | 2 | -0/+4 |
| | | | * | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-sched-w-reg-press | David Monniaux | 2021-06-17 | 14 | -84/+221 |
| | | | |\ \ \ \ \ | |||||
| | | * | | | | | | | Changed default threshold value following tests | nicolas.nardino | 2021-06-22 | 2 | -9/+3 |
| | | | |_|_|/ / / | | |/| | | | | | |||||
| | | * | | | | | | changed type of schedule_seq in x86 for compatibility | nicolas.nardino | 2021-06-17 | 1 | -1/+2 |
| | | | |_|/ / / | | |/| | | | | |||||
| | | * | | | | | fix riscv/Machregsaux.mli | nicolas.nardino | 2021-06-17 | 1 | -0/+2 |
| | | |/ / / / | |||||
| | | * | | | | Add option to set thresold and support for riscv | nicolas.nardino | 2021-06-17 | 4 | -2/+12 |
| | | * | | | | Now working, tests show a decrease in spillage | nicolas.nardino | 2021-06-16 | 2 | -59/+61 |
| | | * | | | | kinda fixed | nicolas.nardino | 2021-06-15 | 2 | -25/+57 |
| | | * | | | | fixing | nicolas.nardino | 2021-06-15 | 4 | -53/+139 |
| | | * | | | | was very wrong, fixing | nicolas.nardino | 2021-06-14 | 5 | -20/+80 |
| | | * | | | | One fewer spill with new sched on `test/.../spille_forw.c` | nicolas.nardino | 2021-06-14 | 1 | -3/+50 |
| | | * | | | | scheduler written, need to test now | nicolas.nardino | 2021-06-14 | 2 | -18/+68 |
| | | * | | | | work on the scheduler | nicolas.nardino | 2021-06-12 | 4 | -41/+114 |
| | | * | | | | Work on new schedluer | nicolas.nardino | 2021-06-10 | 9 | -16/+165 |
| | | * | | | | Fix RTLpathScheduleraux.get_live_regs_entry | nicolas.nardino | 2021-06-08 | 1 | -2/+3 |
| | | * | | | | Another test : one spill when scheduled forward, none if not | nicolas.nardino | 2021-06-08 | 1 | -0/+119 |
| | | * | | | | Add some tests | nicolas.nardino | 2021-06-08 | 4 | -3/+133 |
| | | * | | | | Adding debug info | nicolas.nardino | 2021-06-06 | 1 | -42/+53 |
| | | * | | | | Fixing scope error, and non-exhaustive pattern matching | nicolas.nardino | 2021-06-06 | 1 | -5/+6 |
| | | * | | | | function written, now needs testing | nicolas.nardino | 2021-06-05 | 1 | -10/+40 |
| | | * | | | | computing live regs at sb entry from its live output regs | nicolas.nardino | 2021-06-04 | 2 | -6/+24 |
| | | * | | | | Passing info of live regs to scheduler: beginning | nicolas.nardino | 2021-06-04 | 5 | -2/+17 |
| | * | | | | | use regpres_bis not regpres | David Monniaux | 2021-07-19 | 1 | -1/+1 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |