1 // RUN: %clang_cc1 -triple spir64 -aux-triple x86_64-unknown-linux-gnu \
2 // RUN:    -fsycl-is-device -verify -fsyntax-only %s
3 
4 typedef __uint128_t 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   __int128 field1;
13   using BIGTYPE = __int128;
14   // expected-note@+1 {{'bigfield' defined here}}
15   BIGTYPE bigfield;
16 };
17 
18 void host_ok(void) {
19   __int128 A;
20   int B = sizeof(__int128);
21   Z<__int128> C;
22   C.field1 = A;
23 }
24 
25 void usage() {
26   // expected-note@+1 3{{'A' defined here}}
27   __int128 A;
28   Z<__int128> C;
29   // expected-error@+3 2{{expression requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
30   // expected-error@+2 {{'A' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
31   // expected-error@+1 {{'field1' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
32   C.field1 = A;
33   // expected-error@+2 {{expression requires 128 bit size 'Z::BIGTYPE' (aka '__int128') type support, but target 'spir64' does not support it}}
34   // expected-error@+1 {{'bigfield' requires 128 bit size 'Z::BIGTYPE' (aka '__int128') type support, but target 'spir64' does not support it}}
35   C.bigfield += 1.0;
36 
37   // expected-error@+1 {{'A' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
38   auto foo1 = [=]() {
39     __int128 AA;
40     // expected-note@+2 {{'BB' defined here}}
41     // expected-error@+1 {{'A' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
42     auto BB = A;
43     // expected-error@+2 {{expression requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
44     // expected-error@+1 {{'BB' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
45     BB += 1;
46   };
47 
48   // expected-note@+1 {{called by 'usage'}}
49   foo1();
50 }
51 
52 template <typename t>
53 void foo2(){};
54 
55 // expected-note@+3 {{'P' defined here}}
56 // expected-error@+2 {{'P' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
57 // expected-note@+1 2{{'foo' defined here}}
58 __int128 foo(__int128 P) { return P; }
59 
60 void foobar() {
61   // expected-note@+1 {{'operator __int128' defined here}}
62   struct X { operator  __int128() const; } x;
63   bool a = false;
64   // expected-error@+2 2{{expression requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
65   // expected-error@+1 {{'operator __int128' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
66   a = x == __int128(0);
67 }
68 
69 template <typename Name, typename Func>
70 __attribute__((sycl_kernel)) void kernel(Func kernelFunc) {
71   // expected-note@+1 6{{called by 'kernel}}
72   kernelFunc();
73 }
74 
75 int main() {
76   // expected-note@+1 {{'CapturedToDevice' defined here}}
77   __int128 CapturedToDevice = 1;
78   host_ok();
79   kernel<class variables>([=]() {
80     decltype(CapturedToDevice) D;
81     // expected-error@+1 {{'CapturedToDevice' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
82     auto C = CapturedToDevice;
83     Z<__int128> S;
84     // expected-error@+2 {{expression requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
85     // expected-error@+1 {{'field1' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
86     S.field1 += 1;
87     // expected-error@+2 {{expression requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
88     // expected-error@+1 {{'field' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
89     S.field = 1;
90   });
91 
92   kernel<class functions>([=]() {
93     // expected-note@+1 2{{called by 'operator()'}}
94     usage();
95     // expected-note@+1 {{'BBBB' defined here}}
96     BIGTY BBBB;
97     // expected-error@+3 {{'BBBB' requires 128 bit size 'BIGTY' (aka 'unsigned __int128') type support, but target 'spir64' does not support it}}
98     // expected-error@+2 2{{'foo' requires 128 bit size '__int128' type support, but target 'spir64' does not support it}}
99     // expected-note@+1 1{{called by 'operator()'}}
100     auto A = foo(BBBB);
101     // expected-note@+1 {{called by 'operator()'}}
102     foobar();
103   });
104 
105   kernel<class ok>([=]() {
106     Z<__int128> S;
107     foo2<__int128>();
108     auto A = sizeof(CapturedToDevice);
109   });
110 
111   return 0;
112 }
113 
114 // no error expected
115 BIGTY zoo(BIGTY h) {
116   h = 1;
117   return h;
118 }
119 
120 namespace PR12964 {
121   struct X { operator  __int128() const; } x;
122   bool a = x == __int128(0);
123 }
124 
125