Another SCEV issue from PR2607; essentially the same issue, but this
authorEli Friedman <eli.friedman@gmail.com>
Wed, 30 Jul 2008 04:36:32 +0000 (04:36 +0000)
committerEli Friedman <eli.friedman@gmail.com>
Wed, 30 Jul 2008 04:36:32 +0000 (04:36 +0000)
commit1fbffe0cef92ee284f44cfef3ce0db7ec7d86f18
tree82b806bd65764d77de7439d195f9c321aa6f731b
parent9382b9310f008a3347e565d76aadda6a97351de9
Another SCEV issue from PR2607; essentially the same issue, but this
time applying to the implicit comparison in smin expressions. The
correct way to transform an inequality into the opposite
inequality, either signed or unsigned, is with a not expression.

I looked through the SCEV code, and I don't think there are any more
occurrences of this issue.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54194 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/2008-07-29-SMinExpr.ll [new file with mode: 0644]