| void set_vector_element(inout int3 vec, int idx, int val) { |
| vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec; |
| } |
| |
| void deref() { |
| int3 a = int3(0, 0, 0); |
| int tint_symbol_1 = 0; |
| set_vector_element(a, min(uint(tint_symbol_1), 2u), (a[min(uint(tint_symbol_1), 2u)] + 42)); |
| } |
| |
| void no_deref() { |
| int3 a = int3(0, 0, 0); |
| int tint_symbol_3 = 0; |
| set_vector_element(a, min(uint(tint_symbol_3), 2u), (a[min(uint(tint_symbol_3), 2u)] + 42)); |
| } |
| |
| void deref_inc() { |
| int3 a = int3(0, 0, 0); |
| int tint_symbol_5 = 0; |
| set_vector_element(a, min(uint(tint_symbol_5), 2u), (a[min(uint(tint_symbol_5), 2u)] + 1)); |
| } |
| |
| void no_deref_inc() { |
| int3 a = int3(0, 0, 0); |
| int tint_symbol_7 = 0; |
| set_vector_element(a, min(uint(tint_symbol_7), 2u), (a[min(uint(tint_symbol_7), 2u)] + 1)); |
| } |
| |
| [numthreads(1, 1, 1)] |
| void main() { |
| deref(); |
| no_deref(); |
| deref_inc(); |
| no_deref_inc(); |
| return; |
| } |