[PATCH] Use invariants in ScalarEvolution

[hfinkel at anl.gov]

Hi chandlerc, atrick,

This patch adds a basic (but important) use of invariants in ScalarEvolution. When SE is attempting to validate a condition guarding a loop (such as whether or not the loop count can be zero), this check should also include dominating invariants.

http://reviews.llvm.org/D4568

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/nsw-offset-invariant.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4568.11598.patch
Type: text/x-patch
Size: 4953 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140717/f18f3444/attachment.bin>