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

Krzysztof Parzyszek via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 24 14:43:05 PDT 2018


kparzysz added a comment.

Btw, earlier on I found this paper, but I decided against it because it wouldn't solve inequalities: https://arxiv.org/abs/1507.07513 (and it would be more work...).


Repository:
  rL LLVM

https://reviews.llvm.org/D48283





More information about the llvm-commits mailing list