xref: /llvm-project/clang/test/SemaSYCL/float128.cpp (revision 15f3cd6bfc670ba6106184a903eb04be059e5977)
1 // RUN: %clang_cc1 -triple spir64 -fsycl-is-device -verify -fsyntax-only %s
2 // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsycl-is-device -fsyntax-only %s
3 
4 typedef __float128 BIGTY;
5 
6 template <class T>
7 class Z {
8 public:
9   // expected-note@+1 {{'field' defined here}}
10   T field;
11   // expected-note@+1 2{{'field1' defined here}}
12   __float128 field1;
13   using BIGTYPE = __float128;
14   // expected-note@+1 {{'bigfield' defined here}}
15   BIGTYPE bigfield;
16 };
17 
host_ok(void)18 void host_ok(void) {
19   __float128 A;
20   int B = sizeof(__float128);
21   Z<__float128> C;
22   C.field1 = A;
23 }
24 
25 long double ld_func(long double arg);
26 
usage()27 void usage() {
28   // expected-note@+1 3{{'A' defined here}}
29   __float128 A;
30   Z<__float128> C;
31   // expected-error@+3 2{{expression requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
32   // expected-error@+2 {{'A' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
33   // expected-error@+1 {{'field1' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
34   C.field1 = A;
35   // expected-error@+2 {{expression requires 128 bit size 'BIGTYPE' (aka '__float128') type support, but target 'spir64' does not support it}}
36   // expected-error@+1 {{'bigfield' requires 128 bit size 'BIGTYPE' (aka '__float128') type support, but target 'spir64' does not support it}}
37   C.bigfield += 1.0;
38 
39   // expected-error@+1 {{'A' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
40   auto foo1 = [=]() {
41     __float128 AA;
42     // expected-note@+2 {{'BB' defined here}}
43     // expected-error@+1 {{'A' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
44     auto BB = A;
45     // expected-error@+2 {{expression requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
46     // expected-error@+1 {{'BB' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
47     BB += 1;
48 
49     float F1 = 0.1f;
50     float F2 = 0.1f;
51     // expected-error@+1 3{{expression requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
52     float F3 = ((__float128)F1 * (__float128)F2) / 2.0f;
53 
54     // assume that long double is supported
55     float F4 = ld_func(F3);
56   };
57 
58   // expected-note@+1 {{called by 'usage'}}
59   foo1();
60 }
61 
62 template <typename t>
foo2()63 void foo2(){};
64 
65 // expected-note@+3 {{'P' defined here}}
66 // expected-error@+2 {{'P' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
67 // expected-note@+1 2{{'foo' defined here}}
foo(__float128 P)68 __float128 foo(__float128 P) { return P; }
69 
70 template <typename Name, typename Func>
kernel(Func kernelFunc)71 __attribute__((sycl_kernel)) void kernel(Func kernelFunc) {
72   // expected-note@+1 5{{called by 'kernel}}
73   kernelFunc();
74 }
75 
main()76 int main() {
77   // expected-note@+1 {{'CapturedToDevice' defined here}}
78   __float128 CapturedToDevice = 1;
79   host_ok();
80   kernel<class variables>([=]() {
81     decltype(CapturedToDevice) D;
82     // expected-error@+1 {{'CapturedToDevice' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
83     auto C = CapturedToDevice;
84     Z<__float128> S;
85     // expected-error@+2 {{expression requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
86     // expected-error@+1 {{'field1' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
87     S.field1 += 1;
88     // expected-error@+2 {{expression requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
89     // expected-error@+1 {{'field' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
90     S.field = 1;
91   });
92 
93   kernel<class functions>([=]() {
94     // expected-note@+1 2{{called by 'operator()'}}
95     usage();
96     // expected-note@+1 {{'BBBB' defined here}}
97     BIGTY BBBB;
98     // expected-note@+3 {{called by 'operator()'}}
99     // expected-error@+2 {{'BBBB' requires 128 bit size 'BIGTY' (aka '__float128') type support, but target 'spir64' does not support it}}
100     // expected-error@+1 2{{'foo' requires 128 bit size '__float128' type support, but target 'spir64' does not support it}}
101     auto A = foo(BBBB);
102   });
103 
104   kernel<class ok>([=]() {
105     Z<__float128> S;
106     foo2<__float128>();
107     auto A = sizeof(CapturedToDevice);
108   });
109 
110   return 0;
111 }
112