[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
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?).
> 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).
More information about the llvm-dev