| template<typename T, size_t N> |
| const constant T& operator[](size_t i) const constant { return elements[i]; } |
| device T& operator[](size_t i) device { return elements[i]; } |
| const device T& operator[](size_t i) const device { return elements[i]; } |
| thread T& operator[](size_t i) thread { return elements[i]; } |
| const thread T& operator[](size_t i) const thread { return elements[i]; } |
| threadgroup T& operator[](size_t i) threadgroup { return elements[i]; } |
| const threadgroup T& operator[](size_t i) const threadgroup { return elements[i]; } |
| int foo(thread int* const tint_symbol_4) { |
| *(tint_symbol_4) = as_type<int>((as_type<uint>(*(tint_symbol_4)) + as_type<uint>(1))); |
| int bar(thread int* const tint_symbol_5) { |
| *(tint_symbol_5) = as_type<int>((as_type<uint>(*(tint_symbol_5)) + as_type<uint>(2))); |
| void tint_symbol(thread int* const tint_symbol_6) { |
| int const tint_symbol_3 = foo(tint_symbol_6); |
| int const tint_symbol_1_save = tint_symbol_3; |
| int const tint_symbol_2 = bar(tint_symbol_6); |
| x.a[tint_symbol_1_save][tint_symbol_2] = as_type<int>((as_type<uint>(x.a[tint_symbol_1_save][tint_symbol_2]) + as_type<uint>(5))); |