[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.


-------------- 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