[LLVMdev] Sparse propagation framework
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
> 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.
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