[PATCH] D37353: [SparsePropagation] Enable interprocedural analysis

[Matthew Simpson via Phabricator via llvm-commits]

mssimpso added a comment.

In https://reviews.llvm.org/D37353#871186, @davide wrote:

> Ideally we should consider moving to a model where the resolver doesn't really exist.
>  There are lots of subtleties in the way solver and resolver work in lockstep.
>  I'm pretty sure the only reason why SCCP didn't fall apart as GVN (the old one) or many other passes in tree is because Zhendong didn't fire up his fuzzer engine on it :)
>  I didn't have time to work on this (I had a couple of prototypes) and it's unlikely things will change in the near future (1-2 months).
>  So, for now I'm fine to leave the constant solver where it is but I'd still like to point out you just uncovered the tip of the iceberg.


Yes, and I just found your post about this very issue on llvm-dev from many months ago. Thanks!


https://reviews.llvm.org/D37353