blob: 0e6acb78c45c64a83d5a755d74c2586b4bf11302 [file] [log] [blame]
John McCall9dd74c52013-02-12 01:29:43 +00001// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -Wno-unused-value
Joey Gouly19dbb202013-01-23 11:56:20 +00002
3#pragma OPENCL EXTENSION cl_khr_fp16 : disable
4
5half half_disabled(half *p, // expected-error{{declaring function return value of type 'half' is not allowed}}
6 half h) // expected-error{{declaring function argument of type 'half' is not allowed}}
7{
8 half a[2]; // expected-error{{declaring variable of type 'half [2]' is not allowed}}
9 half b; // expected-error{{declaring variable of type 'half' is not allowed}}
John McCall9dd74c52013-02-12 01:29:43 +000010 *p; // expected-error{{loading directly from pointer to type 'half' is not allowed}}
11 p[1]; // expected-error{{loading directly from pointer to type 'half' is not allowed}}
Joey Gouly19dbb202013-01-23 11:56:20 +000012
13 float c = 1.0f;
14 b = (half) c; // expected-error{{casting to type 'half' is not allowed}}
John McCall9dd74c52013-02-12 01:29:43 +000015
16 half *allowed = &p[1];
17 half *allowed2 = &*p;
18 half *allowed3 = p + 1;
Joey Gouly19dbb202013-01-23 11:56:20 +000019
20 return h;
21}
22
23// Exactly the same as above but with the cl_khr_fp16 extension enabled.
24#pragma OPENCL EXTENSION cl_khr_fp16 : enable
25half half_enabled(half *p, half h)
26{
27 half a[2];
28 half b;
John McCall9dd74c52013-02-12 01:29:43 +000029 *p;
30 p[1];
Joey Gouly19dbb202013-01-23 11:56:20 +000031
32 float c = 1.0f;
33 b = (half) c;
John McCall9dd74c52013-02-12 01:29:43 +000034
35 half *allowed = &p[1];
36 half *allowed2 = &*p;
37 half *allowed3 = p + 1;
Joey Gouly19dbb202013-01-23 11:56:20 +000038
39 return h;
40}