| 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]; } |
| #define TINT_ISOLATE_UB(VOLATILE_NAME) \ |
| volatile bool VOLATILE_NAME = true; \ |
| struct tint_module_vars_struct { |
| device tint_array<int, 4>* tint_symbol; |
| void foo(device tint_array<int, 4>* const arg) { |
| TINT_ISOLATE_UB(tint_volatile_true) while(true) { |
| i = as_type<int>((as_type<uint>(i) + as_type<uint>(1))); |
| i = as_type<int>((as_type<uint>(i) + as_type<uint>(1))); |
| fragment void tint_symbol_1(device tint_array<int, 4>* tint_symbol [[buffer(0)]]) { |
| tint_module_vars_struct const tint_module_vars = tint_module_vars_struct{.tint_symbol=tint_symbol}; |
| foo(tint_module_vars.tint_symbol); |