<div dir="ltr"><div>Since the bug report here: <a href="https://bugs.llvm.org/show_bug.cgi?id=44679">https://bugs.llvm.org/show_bug.cgi?id=44679</a> I've been thinking about cases like it, such as: <a href="https://godbolt.org/z/Fwq8mn">https://godbolt.org/z/Fwq8mn</a></div><div><br></div><div>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?</div><div><br></div><div>- Karl<br></div></div>