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 < %s | llvm-dis > %t1.ll
   4 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   5 ; RUN: diff %t1.ll %t2.ll
   6 ; XFAIL: *
   7
   8 %ivec_type = type <4 x i8>
   9 %ivec1  = constant %ivec_type < i8 1, i8 1, i8 1, i8 1 >
  10 %ivec2  = constant %ivec_type < i8 0, i8 0, i8 0, i8 0 >
  11
  12 %fvec_type = type <4 x float>
  13 %fvec1 = constant %fvec_type <float 1.0, float 1.0, float 1.0, float 1.0>
  14 %fvec2 = constant %fvec_type <float 0.0, float 0.0, float 0.0, float 0.0>
  15
  16
  17 define bool %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 bool %res
  22 }
  23
  24 define bool %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 bool %res
  29 }
  30
  31 define bool %fvectest1() {
  32     %v1 = load %fvec_type* %fvec1
  33     %v2 = load %fvec_type* %fvec2
  34     %res = fcmp one %fvec_type %v1, %v2
  35     ret bool %res
  36 }
  37
  38 define bool %fvectest2() {
  39     %v1 = load %fvec_type* %fvec1
  40     %v2 = load %fvec_type* %fvec2
  41     %res = fcmp oeq %fvec_type %v1, %v2
  42     ret bool %res
  43 }
  44
  45 define bool %fvectest3() {
  46     %v1 = load %fvec_type* %fvec1
  47     %v2 = load %fvec_type* %fvec2
  48     %res = fcmp une %fvec_type %v1, %v2
  49     ret bool %res
  50 }
  51
  52 define bool %fvectest4() {
  53     %v1 = load %fvec_type* %fvec1
  54     %v2 = load %fvec_type* %fvec2
  55     %res = fcmp ueq %fvec_type %v1, %v2
  56     ret bool %res
  57 }