| #include <metal_stdlib> |
| |
| using namespace metal; |
| |
| template<typename T, size_t N> |
| struct tint_array { |
| 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]; } |
| T elements[N]; |
| }; |
| |
| #define TINT_ISOLATE_UB(VOLATILE_NAME) \ |
| volatile bool VOLATILE_NAME = true; \ |
| if (VOLATILE_NAME) |
| |
| int foo() { |
| return 1; |
| } |
| |
| fragment void tint_symbol() { |
| tint_array<float, 4> arr = tint_array<float, 4>{}; |
| { |
| int const tint_symbol_1 = foo(); |
| int const a_save = tint_symbol_1; |
| TINT_ISOLATE_UB(tint_volatile_true) while(true) { |
| { |
| float const x = arr[a_save]; |
| break; |
| } |
| } |
| } |
| return; |
| } |
| |