[llvm-commits] [llvm] r58351 - in /llvm/trunk: lib/Transforms/Scalar/InstructionCombining.cpp test/Transforms/InstCombine/logical-select.ll

[Chris Lattner]

On Oct 28, 2008, at 3:39 PM, Dan Gohman wrote:
> URL: http://llvm.org/viewvc/llvm-project?rev=58351&view=rev
> Log:
> (A & sext(C)) | (B & ~sext(C)  ->  C ? A : B

Is sext from i1 really the canonical form or is select c, -1, 0?  If  
so, do we turn "c ? -1 : 0" into sext(c)?  If not, do we already do  
this xform for the ?: form?

-Chris