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
diff --git a/test/SemaOpenCL/half.cl b/test/SemaOpenCL/half.cl
new file mode 100644
index 0000000..830d178
--- /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;
+}