[PATCH] D35010: [IRCE] Recognize loops with ne/eq latch conditions

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.

In some particular cases eq/ne conditions can be turned into equivalent slt/sgt conditions.
This patch teaches parseLoopStructure to handle some of these cases.


https://reviews.llvm.org/D35010

Files:
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  test/Transforms/IRCE/eq_ne.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35010.105264.patch
Type: text/x-patch
Size: 7289 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170705/03dcba88/attachment.bin>