OSDN Git Service

[IRCE] Recognize loops with ne/eq latch conditions
authorMax Kazantsev <max.kazantsev@azul.com>
Tue, 18 Jul 2017 04:53:48 +0000 (04:53 +0000)
committerMax Kazantsev <max.kazantsev@azul.com>
Tue, 18 Jul 2017 04:53:48 +0000 (04:53 +0000)
commitaf4157c98cb5ab07f41ad78e2996bf02a709e701
tree801ca3888b263ba32f44ed250a3f9f7c37835a46
parent4d0cf69a5e3771963cb867f75206f7f1b4c55a0c
[IRCE] Recognize loops with ne/eq latch conditions

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.

Differential Revision: https://reviews.llvm.org/D35010

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@308264 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
test/Transforms/IRCE/eq_ne.ll [new file with mode: 0644]