clang/test/Sema/arithmetic-fence-builtin.c

   1 // RUN: %clang_cc1 -triple i386-pc-linux-gnu -emit-llvm -o - -verify -x c++ %s
   2 // RUN: %clang_cc1 -triple i386-pc-linux-gnu -emit-llvm -o - -verify -x c++ %s -fexperimental-new-constant-interpreter
   3 // RUN: %clang_cc1 -triple ppc64le -DPPC     -emit-llvm -o - -verify -x c++ %s
   4 // RUN: %clang_cc1 -triple ppc64le -DPPC     -emit-llvm -o - -verify -x c++ %s -fexperimental-new-constant-interpreter
   5 // RUN: not %clang_cc1 -triple ppc64le -DPPC     -emit-llvm -o - -x c++ %s \
   6 // RUN:            -fprotect-parens 2>&1 | FileCheck -check-prefix=PPC %s
   7 // RUN: not %clang_cc1 -triple ppc64le -DPPC     -emit-llvm -o - -x c++ %s -fexperimental-new-constant-interpreter \
   8 // RUN:            -fprotect-parens 2>&1 | FileCheck -check-prefix=PPC %s
   9 // RUN: %clang_cc1 -triple spir64 -emit-llvm -o - -verify -x c++ %s
  10 // RUN: %clang_cc1 -triple spir64 -emit-llvm -o - -verify -x c++ %s -fexperimental-new-constant-interpreter
  11 #ifndef PPC
  12 int v;
  13 template <typename T> T addT(T a, T b) {
  14   T *q = __arithmetic_fence(&a);
  15   // expected-error@-1 {{invalid operand of type 'float *' where floating, complex or a vector of such types is required}}
  16   // expected-error@-2 {{invalid operand of type 'int *' where floating, complex or a vector of such types is required}}
  17   return __arithmetic_fence(a + b);
  18   // expected-error@-1 {{invalid operand of type 'int' where floating, complex or a vector of such types is required}}
  19 }
  20 int addit(int a, int b) {
  21   float x, y;
  22   typedef struct {
  23     int a, b;
  24   } stype;
  25   stype s;
  26   s = __arithmetic_fence(s);    // expected-error {{invalid operand of type 'stype' where floating, complex or a vector of such types is required}}
  27   x = __arithmetic_fence();     // expected-error {{too few arguments to function call, expected 1, have 0}}
  28   x = __arithmetic_fence(x, y); // expected-error {{too many arguments to function call, expected 1, have 2}}
  29   // Complex is supported.
  30   _Complex double cd, cd1;
  31   cd = __arithmetic_fence(cd1);
  32   // Vector is supported.
  33   typedef float __v4hi __attribute__((__vector_size__(8)));
  34   __v4hi vec1, vec2;
  35   vec1 = __arithmetic_fence(vec2);
  36
  37   v = __arithmetic_fence(a + b); // expected-error {{invalid operand of type 'int' where floating, complex or a vector of such types is required}}
  38   float f = addT<float>(a, b);   // expected-note {{in instantiation of function template specialization 'addT<float>' requested here}}
  39   int i = addT<int>(1, 2);       // expected-note {{in instantiation of function template specialization 'addT<int>' requested here}}
  40   constexpr float d = 1.0 + 2.0;
  41   constexpr float c = __arithmetic_fence(1.0 + 2.0);
  42   constexpr float e = __arithmetic_fence(d);
  43   return 0;
  44 }
  45 bool func(float f1, float f2, float f3) {
  46   return (f1 == f2 && f1 == f3) || f2 == f3; // Should not warn here
  47 }
  48 static_assert( __arithmetic_fence(1.0 + 2.0), "message" );
  49 #else
  50 float addit(float a, float b) {
  51   return __arithmetic_fence(a+b); // expected-error {{builtin is not supported on this target}}
  52 }
  53 #endif
  54 //PPC: error: option '-fprotect-parens' cannot be specified on this target