[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")

[Sanjoy Das via llvm-dev]

On Thu, Feb 25, 2016 at 11:27 AM, Andy Ayers <andya at microsoft.com> wrote:
> For non-LTO compiles: block bottom-up propagation of facts that
> depend on optimization levels -- eg register kills and parameter usage
> summaries. Allow other IP information to flow upwards, since at least
> in our world all comdat-foldable definitions are supposed to be
> "equivalent". Requires some discipline so you are confident you know
> how information is derived.

For Phoenix, what kinds of things constituted "other IP information"?

-- Sanjoy