[PATCH] D25287: [SCEVAffinator] Make precise modular math more correct.

[Eli Friedman via llvm-commits]

efriedma created this revision.
efriedma added reviewers: jdoerfert, Meinersbur.
efriedma added subscribers: llvm-commits, pollydev.
efriedma set the repository for this revision to rL LLVM.
Herald added a subscriber: sanjoy.

The most important piece here is removing the code which modified the SCEV flags; that didn't make any sense and caused correctness problems.

The rest of the patch is basically attempting to restore the holes in precise modular math exposed by fixing that. Basically, we have to make sure to consistently enforce the "precise" property after every operation.


Repository:
  rL LLVM

https://reviews.llvm.org/D25287

Files:
  include/polly/Support/SCEVAffinator.h
  lib/Support/SCEVAffinator.cpp
  test/ScopInfo/bool-addrec.ll
  test/ScopInfo/infeasible-rtc.ll
  test/ScopInfo/integers.ll
  test/ScopInfo/zero_ext_of_truncate.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25287.73674.patch
Type: text/x-patch
Size: 9484 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161005/79f9357e/attachment.bin>