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

Sanjoy Das via llvm-dev llvm-dev at lists.llvm.org
Mon Jan 2 15:26:04 PST 2017

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?).


> 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

More information about the llvm-dev mailing list