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

Sanjoy Das via llvm-dev llvm-dev at lists.llvm.org
Thu Feb 25 11:36:05 PST 2016

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

More information about the llvm-dev mailing list