search for: abstractlatticefunction

...h SCCP > I guess I wasn't clear. I was referring to the code in include/llvm/Analysis/SparsePropagation.h and lib/Analysis/SparsePropagation.cpp which use the same optimistic worklist based algorithm that SCCP uses, but allow for pluggable lattices/transfer-functions via subclassing the AbstractLatticeFunction class. It looks like this was written to be a more general framework that worklist based algorithms (esp. ones that have a notion of executable edges) could be built on, but was never used within LLVM. Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http:/...

On Wed, May 27, 2009 at 5:26 PM, Mark Lacey <superoptimizer at gmail.com> wrote: > Hi All, > Hi Mark, > I'm relatively new to LLVM (but not optimizing compilers), and have been > reading docs and browsing code. > Bienvenue! > I noticed in the 2.4 release notes that a sparse propagation framework had > been added based on the SCCP algorithm. I might have a need for

Hi All, I'm relatively new to LLVM (but not optimizing compilers), and have been reading docs and browsing code. I noticed in the 2.4 release notes that a sparse propagation framework had been added based on the SCCP algorithm. I might have a need for exactly this kind of framework in order to prototype an analysis I have in mind. I also noticed, however, that this doesn't appear to be