| #include <metal_stdlib> |
| using namespace metal; |
| |
| #define TINT_ISOLATE_UB(VOLATILE_NAME) \ |
| {volatile bool VOLATILE_NAME = false; if (VOLATILE_NAME) break;} |
| |
| void f() { |
| { |
| int i0520 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i62 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_1) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i0520 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_2) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i62 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_3) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i62 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_4) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i60 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_5) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i62 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_6) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| { |
| int i60 = 0; |
| while(true) { |
| TINT_ISOLATE_UB(tint_volatile_false_7) |
| if (false) { |
| } else { |
| break; |
| } |
| { |
| } |
| continue; |
| } |
| } |
| } |