[PATCH] D38577: [IRCE] Do not process empty safe ranges

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.

IRCE should not apply when the safe iteration range is proved to be empty.
In this case we do unneeded job creating pre/post loops and then never
go to them.

This patch makes IRCE not apply to empty safe ranges, adds test for this
situation and also modifies one of existing tests where it used to happen
slightly.


https://reviews.llvm.org/D38577

Files:
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  test/Transforms/IRCE/correct-loop-info.ll
  test/Transforms/IRCE/single-access-no-preloop.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D38577.117788.patch
Type: text/x-patch
Size: 6972 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171005/4b0b7e77/attachment.bin>