[llvm-dev] SCCP is not always correct in presence of undef (+ proposed fix)

[Sanjoy Das via llvm-dev]

Hi Davide,

On Mon, Jan 2, 2017 at 2:48 PM, Davide Italiano <davide at freebsd.org> wrote:
> Your comments are of course very welcome (that goes without saying).
> Are you happy with me experimenting with something similar to what
> Danny proposed (a pre-solver computing the SCCs on the SSA graph?).

SGTM!

> At
> this point this is my favourite solution because we can stick with the
> default algorithm (which will keep me happier as somebody else did the
> hard work of proving correct on my behalf).

Sounds good!

-- Sanjoy