Changes between Version 32 and Version 33 of NestedCPR
- Jan 13, 2014 2:09:44 PM (3 months ago)
v32 v33 11 11 Tickets with example of code that would benefit from nested CRP: 12 12 13 * #1600, *2289, #2387 (see [wiki:.#Motivatingexamples below] for an analysis) 13 * #1600, 2289, #2387 (see [wiki:.#Motivatingexamples below] for an analysis) 14 14 15 15 === Related testcases === … … 24 24 * Try passing CPR information from the scrunitee to the pattern variables. For that: Reverse flow of analysis for complex scrunitees (for simple, we want the demand coming from the body, for complex, this is not so important.) 25 25 * Use ticky-profiling to learn more about the effects of nested CPR. 26 * Look at !DmdAnal-related [ SLPJ-Tickets] and see which ones are affected by nested-cpr. 26 * Look at !DmdAnal-related [SLPJ-Tickets] and see which ones are affected by nested-cpr. 27 27 * Do not destroy join points or improve the code genrator (see below). 28 28 * Can we make sure more stuff gets the `Converging` flag, e.g. after a `case` of an unboxed value? Should case binders get the `Converging` flag? What about pattern match variables in strict data constructors? Unboxed values? See below.