[LLVMdev] Sparse propagation framework

Chris Lattner clattner at apple.com
Wed May 27 21:56:07 PDT 2009

On May 27, 2009, at 9:13 PM, Mark Lacey wrote:

> 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.

Hi Mark,

It is actively being used by out of tree code.  I don't know of any  
plans to change SCCP, or any reason to do so, but it could be done in  


More information about the llvm-dev mailing list