From bf48ac622a514818c0b8873fc21894758a438609 Mon Sep 17 00:00:00 2001
From: Duncan Sands <baldrick@free.fr>
Date: Fri, 10 Feb 2012 14:26:42 +0000
Subject: Revert commit 149912 (lattner) and add a testcase that shows the
 problem (which is that patterns no longer match for vectors of booleans,
 because you only get ConstantDataVector when the vector element type is i8,
 i16, etc, not when it is i1).  Original commit message: Remove some dead code
 and tidy things up now that vectors use ConstantDataVector instead of always
 using ConstantVector.

llvm-svn: 150246
---
 llvm/test/Transforms/InstSimplify/compare.ll | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'llvm/test/Transforms/InstSimplify')

diff --git a/llvm/test/Transforms/InstSimplify/compare.ll b/llvm/test/Transforms/InstSimplify/compare.ll
index 9f3dffe603f..1ca23554aef 100644
--- a/llvm/test/Transforms/InstSimplify/compare.ll
+++ b/llvm/test/Transforms/InstSimplify/compare.ll
@@ -406,3 +406,12 @@ define i1 @mul3(i32 %X, i32 %Y) {
   ret i1 %C
 ; CHECK: ret i1 true
 }
+
+define <2 x i1> @vectorselect1(<2 x i1> %cond) {
+; CHECK: @vectorselect1
+  %invert = xor <2 x i1> %cond, <i1 1, i1 1>
+  %s = select <2 x i1> %invert, <2 x i32> <i32 0, i32 0>, <2 x i32> <i32 1, i32 1>
+  %c = icmp ne <2 x i32> %s, <i32 0, i32 0>
+  ret <2 x i1> %c
+; CHECK: ret <2 x i1> %cond
+}
-- 
cgit v1.2.3