[PATCH] D48283: [SCEV] Properly solve quadratic equations

[Krzysztof Parzyszek via Phabricator via llvm-commits]

kparzysz updated this revision to Diff 154658.
kparzysz edited the summary of this revision.
kparzysz added a comment.

1. Added solving for arbitrary overflow, i.e. q(x) = 2^n for n \in Z-{0}, (or mod 2^n).
2. Expanded comments.
3. Added more testcases (incl. from PR38024).


Repository:
  rL LLVM

https://reviews.llvm.org/D48283

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/solve-quadratic-i1.ll
  test/Analysis/ScalarEvolution/solve-quadratic-overflow.ll
  test/Analysis/ScalarEvolution/solve-quadratic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48283.154658.patch
Type: text/x-patch
Size: 25618 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180709/0c5f5362/attachment.bin>