8 Commits

Author	SHA1	Message	Date
Chris Lattner	64ffd11d49	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	1b35bbe813	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
Dan Gohman	72a13d2476	Use opt -S instead of piping bitcode output through llvm-dis. ... llvm-svn: 81257	2009-09-08 22:34:10 +00:00
Dan Gohman	9737a63ed8	Change these tests to feed the assembly files to opt directly, instead ... of using llvm-as, now that opt supports this. llvm-svn: 81226	2009-09-08 16:50:01 +00:00
Chris Lattner	c3f3b059d0	Handle the case where there is no "not". It is possible it got ... folded into the select. llvm-svn: 59389	2008-11-16 04:25:26 +00:00
Chris Lattner	645f60141b	make this actually test what it is trying to. ... llvm-svn: 59386	2008-11-16 04:21:51 +00:00
Dan Gohman	13cbcf1c18	Canonicalize sext(i1) to i1?-1:0, and update various instcombine ... optimizations accordingly. llvm-svn: 58457	2008-10-30 20:40:10 +00:00
Dan Gohman	2c34c130bf	(A & sext(C)) | (B & ~sext(C) -> C ? A : B ... llvm-svn: 58351	2008-10-28 22:38:57 +00:00