clang/test/Sema/ext_vector_comparisons.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

// RUN: %clang_cc1 -fsyntax-only -verify -Wno-unreachable-code %s

typedef __attribute__(( ext_vector_type(4) )) int int4;

static int4 test1() {
  int4 vec, rv;

  // comparisons to self...
  return vec == vec; // expected-warning{{self-comparison always evaluates to a constant}}
  return vec != vec; // expected-warning{{self-comparison always evaluates to a constant}}
  return vec < vec; // expected-warning{{self-comparison always evaluates to a constant}}
  return vec <= vec; // expected-warning{{self-comparison always evaluates to a constant}}
  return vec > vec; // expected-warning{{self-comparison always evaluates to a constant}}
  return vec >= vec; // expected-warning{{self-comparison always evaluates to a constant}}
}


typedef __attribute__(( ext_vector_type(4) )) float float4;

static int4 test2() {
  float4 vec, rv;

  // comparisons to self.  no warning, they're floats
  return vec == vec; // no-warning
  return vec != vec; // no-warning
  return vec < vec;  // no-warning
  return vec <= vec; // no-warning
  return vec > vec;  // no-warning
  return vec >= vec; // no-warning
}