On Fri, Aug 15, 2014 at 10:38 AM, Artyom Skrobov <[email protected]> wrote:
> Many thanks -- committed as r215650 > > Alexander, can you confirm that the analyzer performance is now acceptable > for your use cases? > Artyom, sorry for the long delay. These files now work fine, but I still see up to 8-10 hours analysis time on a couple of other files. I'm sure I didn't see this before your first patch, but I can't yet tell in which revision it was introduced. I'll post more details and a repro later today. > > > -----Original Message----- > From: Ted kremenek [mailto:[email protected]] > Sent: 14 August 2014 16:36 > To: Artyom Skrobov > Cc: Alexander Kornienko; [email protected] > Subject: Re: [PATCH] Inverse post-order traversal for LiveVariables > analysis, to recover the performance after r214064 > > Looks great to me. > > > On Aug 14, 2014, at 3:08 AM, Artyom Skrobov <[email protected]> > wrote: > > > > Thank you Ted! > > > > Attaching the updated patch for a final review. > > > > Summary of changes: > > > > * Comments updated to reflect the two possible CFG traversal orders > > * PostOrderCFGView::po_iterator taken out of the header file > > * Iteration order for PostOrderCFGView changed to "reverse inverse > > post-order", the one required for a backward analysis > > * ReversePostOrderCFGView created, with the same iteration order that > > PostOrderCFGView used to have, the one required for a forward analysis > > * The two previous consumers of PostOrderCFGView, ThreadSafetyCommon.h > and > > Consumed.cpp, switched to use ReversePostOrderCFGView > > * DataflowWorklistBase renamed to DataflowWorklist, and the two > > specializations named BackwardDataflowWorklist and > ForwardDataflowWorklist > > > > I believe this naming scheme matches the accepted terminology best. > >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
