Check-in [c388c8737b]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment: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.
Timelines: family | ancestors | descendants | both | notworking | kbk-jumpthread
Files: files | file ages | folders
SHA3-256: c388c8737b3f39611b81eff62c989bff40f1d7f05e3bb1b1e826cd5127655fc4
User & Date: kbk 2018-12-16 05:18:01.433
Original Comment: Add constant folding for unary +. It probably ought to be folded out altogether, since it serves only to trigger type checking.
Context
2018-12-17
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
04:55
Add a 'cos2' test case to illustrate the cost of non-numeric ordering comparisons check-in: 86167d6917 user: kbk tags: notworking, kbk-jumpthread
Changes
Unified Diff Side-by-Side Diff Patch
Changes to quadcode/constfold.tcl.
Changes to quadcode/jumpthread.tcl.