[PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation

[Bjorn Pettersson via Phabricator via llvm-commits]

bjope added a comment.

In D104066#2813641 <https://reviews.llvm.org/D104066#2813641>, @reames wrote:

> I agree with the request to hold until latent miscompile in underlying code is addressed.  I will hold this patch until that happens, and then land without further review.  Max, good suggestion on condition ordering, will address in landed patch.

I guess it will be "safe" to land this downstream meanwhile (as everyone thinks this looks good).

Out-of-curiosity. What are these known/latent miscompiles that is being referred to? Is there a bug report somewhere?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D104066/new/

https://reviews.llvm.org/D104066