DAG: Combine (and (setne X, 0), (setne X, -1)) -> (setuge (add X, 1), 2)
authorJim Grosbach <grosbach@apple.com>
Tue, 13 Aug 2013 21:30:58 +0000 (21:30 +0000)
committerJim Grosbach <grosbach@apple.com>
Tue, 13 Aug 2013 21:30:58 +0000 (21:30 +0000)
commit51a0280d296405cb1fdb268e5387867e0db2e46e
treea353cfd76a552d24b9873dc5b7d2e560a11678f7
parentaf9e3557552c341615052a05d4eeb36d7fd5c33f
DAG: Combine (and (setne X, 0), (setne X, -1)) -> (setuge (add X, 1), 2)

A common idiom is to use zero and all-ones as sentinal values and to
check for both in a single conditional ("x != 0 && x != (unsigned)-1").
That generates code, for i32, like:
  testl %edi, %edi
  setne %al
  cmpl  $-1, %edi
  setne %cl
  andb  %al, %cl

With this transform, we generate the simpler:
  incl  %edi
  cmpl  $1, %edi
  seta  %al

Similar improvements for other integer sizes and on other platforms. In
general, combining the two setcc instructions into one is better.

rdar://14689217

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188315 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/SelectionDAG/DAGCombiner.cpp
test/CodeGen/ARM/setcc-sentinals.ll [new file with mode: 0644]
test/CodeGen/X86/setcc-sentinals.ll [new file with mode: 0644]