Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Finish jump threading - actually do the block duplication and redirection of jumps. Add the logic for SSA deconstruction (required by jump threading) and make SSA construction work with the deconstructed result. |
|---|---|
| Timelines: | family | ancestors | descendants | both | notworking | kbk-jumpthread |
| Files: | files | file ages | folders |
| SHA3-256: |
a41b93130ee45c3523f3555fb2aab904 |
| User & Date: | kbk 2018-12-17 22:08:21.794 |
Context
|
2018-12-17
| ||
| 23:13 | result, returnCode, returnOptions must be split into FAIL and non-FAIL paths because the backend isn't prepared to deal with all combinations of FAIL + someOtherType. closed check-in: 94358b53ea user: kbk tags: kbk-jumpthread | |
| 22:08 | Finish jump threading - actually do the block duplication and redirection of jumps. Add the logic for SSA deconstruction (required by jump threading) and make SSA construction work with the deconstructed result. check-in: a41b93130e user: kbk tags: notworking, kbk-jumpthread | |
|
2018-12-16
| ||
| 05:18 | Add constant folding for unary +. It probably ought to be folded out altogether, since it serves only to trigger type checking. Add an outline of the actual process of jump threading once the threads have been determined. check-in: c388c8737b user: kbk tags: notworking, kbk-jumpthread | |
Changes
Changes to quadcode/jumpthread.tcl.
Changes to quadcode/ssa.tcl.