| void deref_const() { | |
| int a[10] = (int[10])0; | |
| int b = a[int(0)]; | |
| a[int(0)] = int(42); | |
| } | |
| void no_deref_const() { | |
| int a[10] = (int[10])0; | |
| int b = a[int(0)]; | |
| a[int(0)] = int(42); | |
| } | |
| void deref_let() { | |
| int a[10] = (int[10])0; | |
| int i = int(0); | |
| int b = a[i]; | |
| a[int(0)] = int(42); | |
| } | |
| void no_deref_let() { | |
| int a[10] = (int[10])0; | |
| int i = int(0); | |
| int b = a[i]; | |
| a[int(0)] = int(42); | |
| } | |
| void deref_var() { | |
| int a[10] = (int[10])0; | |
| int i = int(0); | |
| int v = i; | |
| int b = a[v]; | |
| a[int(0)] = int(42); | |
| } | |
| void no_deref_var() { | |
| int a[10] = (int[10])0; | |
| int i = int(0); | |
| int v_1 = i; | |
| int b = a[v_1]; | |
| a[int(0)] = int(42); | |
| } | |
| [numthreads(1, 1, 1)] | |
| void main() { | |
| deref_const(); | |
| no_deref_const(); | |
| deref_let(); | |
| no_deref_let(); | |
| deref_var(); | |
| no_deref_var(); | |
| } | |