6 Commits

Author	SHA1	Message	Date
Chris Lattner	44965f1107	fix logical-select to invoke filecheck right, and fix hte instcombine ... xform it is checking to actually pass. There is no need to match m_SelectCst<0, -1> since instcombine canonicalizes that into not(sext). Add matches for sext(not(x)) in addition to not(sext(x)). llvm-svn: 95420	2010-02-05 19:53:02 +00:00
Chris Lattner	9f50341a96	don't turn (A & (C0?-1:0)) | (B & ~(C0?-1:0)) -> C0 ? A : B ... for vectors. Codegen is generating awful code or segfaulting in various cases (e.g. PR6204). llvm-svn: 95058	2010-02-02 02:43:51 +00:00
Chris Lattner	91fafbd4e8	change the canonical form of "cond ? -1 : 0" to be ... "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339	2010-01-24 00:09:49 +00:00
Chris Lattner	e0124f19f9	optimize ~(~X >>s Y) --> (X >>s Y), patch by Edmund Grimley ... Evans! llvm-svn: 93884	2010-01-19 18:16:19 +00:00
Chris Lattner	85a6f02b94	add one more bitfield optimization, allowing clang to generate ... good code on PR4216: _test_bitfield: ## @test_bitfield orl $32962, %edi movl $4294941946, %eax andq %rdi, %rax ret instead of: _test_bitfield: movl $4294941696, %ecx movl %edi, %eax orl $194, %edi orl $32768, %eax andq $250, %rdi andq %rax, %rcx movq %rdi, %rax orq %rcx, %rax ret Evan is looking into the remaining andq+imm -> andl optimization. llvm-svn: 93147	2010-01-11 06:55:24 +00:00
Chris Lattner	58ddbda58c	split and/or/xor out into one overly-large (2000LOC) file. However, I think ... it does make sense to keep them together, at least for now. llvm-svn: 92711	2010-01-05 07:50:36 +00:00