Fix three bugs:

1) evaluate [v]fcmp true/false with undefs to true or false instead
   of undef.
2) fix vector comparisons with undef to return a vector result instead 
   of i1
3) fix vector comparisons with evaluatable results to return vector
   true/false instead of i1 true/false (PR2529)

llvm-svn: 53220

1 files changed, 14 insertions, 0 deletions

diff --git a/llvm/test/Transforms/ConstProp/2008-07-07-VectorCompare.ll b/llvm/test/Transforms/ConstProp/2008-07-07-VectorCompare.ll
new file mode 100644
index 00000000000..d50ed90b6f3
--- /dev/null
+++ b/llvm/test/Transforms/ConstProp/2008-07-07-VectorCompare.ll
@@ -0,0 +1,14 @@
+; RUN: llvm-as < %s | opt -constprop | llvm-dis
+; PR2529
+define <4 x i32> @test1(i32 %argc, i8** %argv) {
+entry:  
+        %foo = vicmp slt <4 x i32> undef, <i32 14, i32 undef, i32 undef, i32 undef>
+        ret <4 x i32> %foo
+}
+
+define <4 x i32> @main(i32 %argc, i8** %argv) {
+entry:  
+        %foo = vicmp slt <4 x i32> <i32 undef, i32 undef, i32 undef, i32
+undef>, <i32 undef, i32 undef, i32 undef, i32 undef>
+        ret <4 x i32> %foo
+}