[PATCH] D105942: [SCEV] Fix unsound reasoning in howManyLessThans

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Er, there may be an issue with this.  I ran my brute force checker program, and am getting results which confuse me.  There's a good chance this is operator error - I'm currently brain dead - but I'll take a closer look in the morning and share refined results.

Current results seem to indicate the original code does hold for unsigned comparisons, and neither the original nor patched version holds for signed comparisons.  I'm suspicious of that result, but I'll look more closely in the morning.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D105942