| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | Comments | Justus Fasse | 2021-07-04 | 1 | -3/+12 | |
| | * | | | | | Fix call-site (missing argument) | Justus Fasse | 2021-07-04 | 1 | -1/+1 | |
| | * | | | | | Make it easier to insert ad-hoc debugging calls | Justus Fasse | 2021-07-04 | 1 | -0/+11 | |
| | * | | | | | Remove (commented out) debugging information | Justus Fasse | 2021-07-04 | 1 | -8/+0 | |
| | * | | | | | Better scheduling heuristic function | Justus Fasse | 2021-07-04 | 1 | -0/+144 | |
| | * | | | | | Move function to find "idealized" schedule to separate function | Justus Fasse | 2021-07-02 | 1 | -15/+23 | |
| | * | | | | | Copy trailer length code for intra_path_dependency extraction | Justus Fasse | 2021-07-02 | 1 | -1/+12 | |
| | * | | | | | Reuse RTLpathScheduleraux's get_superblocks properly | Justus Fasse | 2021-07-02 | 1 | -44/+3 | |
| | * | | | | | Refactor add_aliasing_code to simply stage the new instructions | Justus Fasse | 2021-07-02 | 1 | -114/+26 | |
| | * | | | | | Mostly variable renaming | Justus Fasse | 2021-07-01 | 1 | -38/+37 | |
| | * | | | | | Cleanup: Remove now useless code | Justus Fasse | 2021-07-01 | 1 | -663/+1 | |
| | * | | | | | Use function side_exit_pcs | Justus Fasse | 2021-07-01 | 1 | -12/+7 | |
| | * | | | | | Consolidate code that inserts instructions into a superblock | Justus Fasse | 2021-07-01 | 1 | -72/+12 | |
| | * | | | | | Use scheduling as heuristic for downward scheduling/code duplication | Justus Fasse | 2021-07-01 | 2 | -94/+299 | |
| | * | | | | | Staging duplication code in the new "schedule-abusing" style | Justus Fasse | 2021-06-29 | 1 | -1/+48 | |
| | * | | | | | Extract icond frames | Justus Fasse | 2021-06-29 | 1 | -0/+20 | |
| | * | | | | | Add Inops before Iconds | Justus Fasse | 2021-06-29 | 1 | -2/+98 | |
| | * | | | | | Register renaming and restoration based on apply_schedule | Justus Fasse | 2021-06-28 | 1 | -7/+153 | |
| | * | | | | | Local (to a superblock) renaming WITHOUT restoration code | Justus Fasse | 2021-06-28 | 1 | -4/+78 | |
| | * | | | | | Add preparation code for register aliasing | Justus Fasse | 2021-06-28 | 1 | -15/+291 | |
| | * | | | | | Re-generate superblock information instead of trying to update as needed | Justus Fasse | 2021-06-11 | 1 | -14/+4 | |
| | * | | | | | Add "early" exit condition to `bfs_until` | Justus Fasse | 2021-06-10 | 1 | -15/+27 | |
| | * | | | | | Dirty code to lift multiple ifs | Justus Fasse | 2021-06-08 | 1 | -96/+89 | |
| | * | | | | | Fix bug about incorrect pathmap updates | Justus Fasse | 2021-06-08 | 1 | -3/+11 | |
| | * | | | | | Don't try to lift ifs that are... | Justus Fasse | 2021-06-07 | 1 | -10/+10 | |
| | * | | | | | Tracking down bugs with regard to "lifting" multiple ifs at once | Justus Fasse | 2021-06-07 | 1 | -6/+17 | |
| | * | | | | | Cautious progress towards lifting multiple ifs at once | Justus Fasse | 2021-06-04 | 1 | -4/+106 | |
| | * | | | | | Make it possible to lift on single path multiple times | Justus Fasse | 2021-06-01 | 1 | -10/+18 | |
| | * | | | | | Pre-"schedule" instruction below first if-cond | Justus Fasse | 2021-05-26 | 1 | -6/+109 | |
| | * | | | | | Ugly proof of hsok_local_eval_cond | Justus Fasse | 2021-05-24 | 1 | -20/+37 | |
| | * | | | | | Complete fscond_proj_correct | Justus Fasse | 2021-05-24 | 1 | -2/+5 | |
| | * | | | | | Only try to lift the first Icond if a load follows it in the path | Justus Fasse | 2021-05-23 | 1 | -12/+30 | |
| | * | | | | | First attempt at allowing to choose which registers to rename. | Justus Fasse | 2021-05-23 | 1 | -3/+22 | |
| | * | | | | | Minor reformatting | Justus Fasse | 2021-05-22 | 1 | -5/+3 | |
| | * | | | | | Add note about if-lifting of the final if of a path | Justus Fasse | 2021-05-21 | 1 | -2/+5 | |
| | * | | | | | Turn pmSSA off by default | Justus Fasse | 2021-05-21 | 1 | -1/+1 | |
| | * | | | | | Make pmSSA and if-lifting play well-together | Justus Fasse | 2021-05-21 | 1 | -87/+93 | |
| | * | | | | | Fixed but dirty if-lifting | Justus Fasse | 2021-05-21 | 1 | -39/+49 | |
| | * | | | | | Reimplement if-lifting on superblocks | Justus Fasse | 2021-05-20 | 1 | -56/+65 | |
| | * | | | | | Complete change_arg_regs | Justus Fasse | 2021-05-20 | 1 | -7/+26 | |
| | * | | | | | Base extract_if_chain on superblocks | Justus Fasse | 2021-05-19 | 1 | -33/+40 | |
| | * | | | | | Superficial changes to poor man's ssa | Justus Fasse | 2021-05-19 | 1 | -111/+111 | |
| | * | | | | | Fix issue in orace that applied if-lifting to non-applicable code | Justus Fasse | 2021-05-17 | 1 | -2/+2 | |
| | * | | | | | Pass correct state to exit | Justus Fasse | 2021-05-17 | 2 | -12/+21 | |
| | * | | | | | Add revmap to if-lifting preparation | Justus Fasse | 2021-05-16 | 1 | -25/+40 | |
| | * | | | | | Experiment with hash-consing for conditions while admitting proofs | Justus Fasse | 2021-05-12 | 1 | -25/+38 | |
| | * | | | | | First step(?) towards hash-consing conditions (if-branhces) | Justus Fasse | 2021-05-10 | 2 | -20/+89 | |
| | * | | | | | Fix silly typo introduced in a previous commit | Justus Fasse | 2021-05-07 | 1 | -1/+1 | |
| | * | | | | | Prove hsiexec_inst_correct | Justus Fasse | 2021-05-07 | 1 | -7/+15 | |
| | * | | | | | Admitted -> Qed | Justus Fasse | 2021-05-06 | 1 | -1/+1 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |