Antonio Maiorano | 08d9279 | 2024-01-11 20:51:50 +0000 | [diff] [blame] | 1 | void deref_const() { |
2 | int a[10] = (int[10])0; | ||||
3 | int b = a[0]; | ||||
4 | a[0] = 42; | ||||
5 | } | ||||
6 | |||||
7 | void no_deref_const() { | ||||
8 | int a[10] = (int[10])0; | ||||
9 | int b = a[0]; | ||||
10 | a[0] = 42; | ||||
11 | } | ||||
12 | |||||
13 | void deref_let() { | ||||
14 | int a[10] = (int[10])0; | ||||
Antonio Maiorano | 144ebed | 2024-01-30 16:30:15 +0000 | [diff] [blame] | 15 | int i = 0; |
Antonio Maiorano | 08d9279 | 2024-01-11 20:51:50 +0000 | [diff] [blame] | 16 | int b = a[i]; |
17 | a[0] = 42; | ||||
18 | } | ||||
19 | |||||
20 | void no_deref_let() { | ||||
21 | int a[10] = (int[10])0; | ||||
Antonio Maiorano | 144ebed | 2024-01-30 16:30:15 +0000 | [diff] [blame] | 22 | int i = 0; |
Antonio Maiorano | 08d9279 | 2024-01-11 20:51:50 +0000 | [diff] [blame] | 23 | int b = a[i]; |
24 | a[0] = 42; | ||||
25 | } | ||||
26 | |||||
27 | void deref_var() { | ||||
28 | int a[10] = (int[10])0; | ||||
29 | int i = 0; | ||||
30 | int b = a[i]; | ||||
31 | a[0] = 42; | ||||
32 | } | ||||
33 | |||||
34 | void no_deref_var() { | ||||
35 | int a[10] = (int[10])0; | ||||
36 | int i = 0; | ||||
37 | int b = a[i]; | ||||
38 | a[0] = 42; | ||||
39 | } | ||||
40 | |||||
41 | [numthreads(1, 1, 1)] | ||||
42 | void main() { | ||||
43 | deref_const(); | ||||
44 | no_deref_const(); | ||||
45 | deref_let(); | ||||
46 | no_deref_let(); | ||||
47 | deref_var(); | ||||
48 | no_deref_var(); | ||||
49 | return; | ||||
50 | } |