[PATCH] D89548: [SCEV] Prove implications of different type via truncation

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

Hi @mkazantsev ,

The following hang started occuring with this patch:
 https://bugs.llvm.org/show_bug.cgi?id=51869

I've also seen hangs in loop-idiom-recognizer with the patch so I suppose many passes using SCEV might run into the same kind of problems.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89548