new testcase.
[oota-llvm.git] / test / Feature / packed_cmp.ll
1 ; This test checks to make sure that NE and EQ comparisons of
2 ; vector types work.
3 ; RUN: llvm-as | llvm-dis > /dev/null -f &&
4 ; RUN: llvm-as | llvm-dis > %t1.ll
5 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
6 ; RUN: diff %t1.ll %t2.ll
7 ; XFAIL: *
8
9 %ivec_type = type <4 x i8> 
10 @ivec1  = constant %ivec_type < i8 1, i8 1, i8 1, i8 1 >
11 @ivec2  = constant %ivec_type < i8 0, i8 0, i8 0, i8 0 >
12
13 %fvec_type = type <4 x float>
14 @fvec1 = constant %fvec_type <float 1.0, float 1.0, float 1.0, float 1.0>
15 @fvec2 = constant %fvec_type <float 0.0, float 0.0, float 0.0, float 0.0>
16
17 define i1 @ivectest1() {
18     %v1 = load %ivec_type* getelementptr(%ivec_type* @ivec1, i32 0)
19     %v2 = load %ivec_type* getelementptr(%ivec_type* @ivec2, i32 0)
20     %res = icmp ne %ivec_type %v1, %v2
21     ret i1 %res
22 }
23
24 define i1 @ivectest2() {
25     %v1 = load %ivec_type* getelementptr(%ivec_type* @ivec1, i32 0)
26     %v2 = load %ivec_type* getelementptr(%ivec_type* @ivec2, i32 0)
27     %res = icmp eq %ivec_type %v1, %v2
28     ret i1 %res
29 }
30
31 define i1 @fvectest1() {
32     %v1 = load %fvec_type* @fvec1
33     %v2 = load %fvec_type* @fvec2
34     %res = fcmp one %fvec_type %v1, %v2
35     ret i1 %res
36 }
37
38 define i1 @fvectest2() {
39     %v1 = load %fvec_type* @fvec1
40     %v2 = load %fvec_type* @fvec2
41     %res = fcmp oeq %fvec_type %v1, %v2
42     ret i1 %res
43 }
44
45 define i1 @fvectest3() {
46     %v1 = load %fvec_type* @fvec1
47     %v2 = load %fvec_type* @fvec2
48     %res = fcmp une %fvec_type %v1, %v2
49     ret i1 %res
50 }
51
52 define i1 @fvectest4() {
53     %v1 = load %fvec_type* @fvec1
54     %v2 = load %fvec_type* @fvec2
55     %res = fcmp ueq %fvec_type %v1, %v2
56     ret i1 %res
57 }