[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / ConstProp / 2008-07-07-VectorCompare.ll
blobfd5495445b7952a85df60ad65596b5c4435342ba
1 ; RUN: opt < %s -constprop -disable-output
2 ; PR2529
3 define <4 x i1> @test1(i32 %argc, i8** %argv) {
4 entry:  
5         %foo = icmp slt <4 x i32> undef, <i32 14, i32 undef, i32 undef, i32 undef>
6         ret <4 x i1> %foo
9 define <4 x i1> @test2(i32 %argc, i8** %argv) {
10 entry:  
11         %foo = icmp slt <4 x i32> <i32 undef, i32 undef, i32 undef, i32
12 undef>, <i32 undef, i32 undef, i32 undef, i32 undef>
13         ret <4 x i1> %foo
17 define <4 x i1> @test3() {
18        %foo = fcmp ueq <4 x float> <float 0.0, float 0.0, float 0.0, float
19 undef>, <float 1.0, float 1.0, float 1.0, float undef>
20         ret <4 x i1> %foo
23 define <4 x i1> @test4() {
24         %foo = fcmp ueq <4 x float> <float 0.0, float 0.0, float 0.0, float 0.0>, <float 1.0, float 1.0, float 1.0, float 0.0>
26         ret <4 x i1> %foo