[PATCH] D111066: Disable "[SCEV] Prove implications of different type via truncation"

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I ran `-analyze -scalar-evolution` on this test and it indeed works slowly. It doesn't hang, though. It's just extremely slow work due to exponential behavior during range inference. Not obvious that it is somehow caused by trunc inference. Pretty sure it's possible to construct same test without trunc/sexts.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111066