Add a new LangOpt NativeHalfType. This option allows for native half/fp16

operations (as opposed to storage only half/fp16).

Also add some semantic checks for OpenCL half types.



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173254 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 42 insertions, 0 deletions

diff --git a/test/SemaOpenCL/half.cl b/test/SemaOpenCL/half.cl
new file mode 100644
index 0000000000..830d178d7c
--- /dev/null
+++ b/test/SemaOpenCL/half.cl
@@ -0,0 +1,42 @@
+// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only
+
+#pragma OPENCL EXTENSION cl_khr_fp16 : disable
+
+half half_disabled(half *p, // expected-error{{declaring function return value of type 'half' is not allowed}}
+                   half h)  // expected-error{{declaring function argument of type 'half' is not allowed}} 
+{
+  half a[2]; // expected-error{{declaring variable of type 'half [2]' is not allowed}}
+  half b;    // expected-error{{declaring variable of type 'half' is not allowed}}
+
+  b = *p;    // expected-error{{dereferencing pointer of type 'half *' is not allowed}}
+  *p = b;    // expected-error{{dereferencing pointer of type 'half *' is not allowed}}
+
+  b = p[1];  // expected-error {{subscript to array of type 'half' is not allowed}}
+  p[1] = b;  // expected-error {{subscript to array of type 'half' is not allowed}}
+
+  float c = 1.0f;
+  b = (half) c;  // expected-error{{casting to type 'half' is not allowed}}
+  c = (float) h; // expected-error{{casting from type 'half' is not allowed}}
+
+  return h;
+}
+
+// Exactly the same as above but with the cl_khr_fp16 extension enabled.
+#pragma OPENCL EXTENSION cl_khr_fp16 : enable
+half half_enabled(half *p, half h)
+{
+  half a[2];
+  half b;
+
+  b = *p;
+  *p = b;
+
+  b = p[1];
+  p[1] = b;
+
+  float c = 1.0f;
+  b = (half) c;
+  c = (float) h;
+
+  return h;
+}