Patch by Shuxin Yang <shuxin.llvm@gmail.com>.
authorNadav Rotem <nrotem@apple.com>
Wed, 10 Oct 2012 21:31:55 +0000 (21:31 +0000)
committerNadav Rotem <nrotem@apple.com>
Wed, 10 Oct 2012 21:31:55 +0000 (21:31 +0000)
commit17418964f8133a7200ab708338c5faefae36da6d
tree8e0b4d0136085a65f0766dd2281f6a20996c4111
parentfb29410c85a632e328877a6310b57b33908156ac
Patch by Shuxin Yang <shuxin.llvm@gmail.com>.

Original message:

The attached is the fix to radar://11663049. The optimization can be outlined by following rules:

   (select (x != c), e, c) -> select (x != c), e, x),
   (select (x == c), c, e) -> select (x == c), x, e)
where the <c> is an integer constant.

 The reason for this change is that : on x86, conditional-move-from-constant needs two instructions;
however, conditional-move-from-register need only one instruction.

  While the LowerSELECT() sounds to be the most convenient place for this optimization, it turns out to be a bad place. The reason is that by replacing the constant <c> with a symbolic value, it obscure some instruction-combining opportunities which would otherwise be very easy to spot. For that reason, I have to postpone the change to last instruction-combining phase.

  The change passes the test of "make check-all -C <build-root/test" and "make -C project/test-suite/SingleSource".

llvm-svn: 165661
llvm/lib/Target/X86/X86ISelLowering.cpp
llvm/test/CodeGen/X86/select_const.ll [new file with mode: 0644]