| #include <metal_stdlib> | |
| using namespace metal; | |
| #define TINT_ISOLATE_UB(VOLATILE_NAME) \ | |
| {volatile bool VOLATILE_NAME = false; if (VOLATILE_NAME) break;} | |
| kernel void tint_symbol() { | |
| { | |
| int i = 0; | |
| while(true) { | |
| TINT_ISOLATE_UB(tint_volatile_false) | |
| if ((i < 2)) { | |
| } else { | |
| break; | |
| } | |
| { | |
| int j = 0; | |
| while(true) { | |
| TINT_ISOLATE_UB(tint_volatile_false_1) | |
| if ((j < 2)) { | |
| } else { | |
| break; | |
| } | |
| switch(i) { | |
| case 0: | |
| { | |
| { | |
| j = as_type<int>((as_type<uint>(j) + as_type<uint>(2))); | |
| } | |
| continue; | |
| } | |
| default: | |
| { | |
| break; | |
| } | |
| } | |
| { | |
| j = as_type<int>((as_type<uint>(j) + as_type<uint>(2))); | |
| } | |
| continue; | |
| } | |
| } | |
| { | |
| i = as_type<int>((as_type<uint>(i) + as_type<uint>(2))); | |
| } | |
| continue; | |
| } | |
| } | |
| } |