On Wed, Aug 23, 2017 at 4:15 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > This series fixes the promotion of symbols accesses from > memory to pseudos. > The fix in itself is in the few of the last patches (40-43) > but is preceded by an extensive rework of the whole thing. > > As is, it seems to work quite well and of course more > accesses are promoted than the Simple SSA was able to do > (SSSA only cared about purely local vars of which the address > was never ever taken). > > For performance, the situation is highly dependent on the > type of code: the amount of work that is done in > simplify_loads() can easily take 80% of the time for complex > files. > > Warning 1: this is for review & testing only > Warning 2: it's not (yet) bissectable between patches 40 & 43 We might want to fix that. I will take a look later tonight. > Warning 3: simplify_loads is still broken and will need the same > fix (but the code is currently disabled) > > > This series is available in the git repository at: > > git://github.com/lucvoo/sparse.git mem2reg > Here comes the patch bombs again :-) I will take a look at it tonight. Thanks for the patches. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html