#include <metal_stdlib> | |
using namespace metal; | |
#define TINT_ISOLATE_UB(VOLATILE_NAME) \ | |
{volatile bool VOLATILE_NAME = false; if (VOLATILE_NAME) break;} | |
int f() { | |
int i = 0; | |
int j = 0; | |
{ | |
while(true) { | |
TINT_ISOLATE_UB(tint_volatile_false) | |
if ((i > 4)) { | |
return 1; | |
} | |
{ | |
while(true) { | |
TINT_ISOLATE_UB(tint_volatile_false_1) | |
if ((j > 4)) { | |
return 2; | |
} | |
{ | |
j = as_type<int>((as_type<uint>(j) + as_type<uint>(1))); | |
} | |
continue; | |
} | |
} | |
/* unreachable */ | |
} | |
} | |
/* unreachable */ | |
} |