[PATCH] D44776: [IRCE] Enable decreasing loops of variable bounds

[Sam Parker via Phabricator via llvm-commits]

samparker created this revision.
samparker added a reviewer: mkazantsev.

As a part 2 to my previous patch, this updates the logic for the decreasing safety checks in a similar manner:

- CanBeMax is replaced by CannotBeMaxInLoop which queries isLoopEntryGuardedByCond on the maximum value.
- SumCanReachMin is replaced by isSafeDecreasingBound which includes some logic from parseLoopStructure and, again, has been updated to use isLoopEntryGuardedByCond on the given bounds.


https://reviews.llvm.org/D44776

Files:
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  test/Transforms/IRCE/variable-loop-bounds.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D44776.139425.patch
Type: text/x-patch
Size: 15978 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180322/4aba6e57/attachment-0001.bin>