[PATCH] Use invariants in ScalarEvolution
hfinkel at anl.gov
hfinkel at anl.gov
Thu Jul 17 11:00:43 PDT 2014
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>
More information about the llvm-commits
mailing list