[LLVMdev] Sparse propagation framework

[Chris Lattner]

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

-Chris