[llvm-dev] Questions about jump threading optimization and what we can do

[Karl Rehm via llvm-dev]

Since the bug report here: https://bugs.llvm.org/show_bug.cgi?id=44679 I've
been thinking about cases like it, such as: https://godbolt.org/z/Fwq8mn

I wonder what we can do about this in a general sense. As far as I can
tell, the jump threading algorithm is *really* conservative, which is one
reason this isn't working as well as I'd hope; however, we don't want to
produce irreducible control flow that the other passes would work less
effectively on. Thoughts?

- Karl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200130/579f396d/attachment.html>