blob: e80132cf3568cafff558d1399cb9419cd4947f74 [file] [log] [blame]
SKIP: FAILED
static uint x_1 = 0u;
static bool x_7 = false;
static bool x_8 = false;
void main_1() {
[loop] while (true) {
uint x_2_phi = 0u;
uint x_3_phi = 0u;
const bool x_101 = x_7;
const bool x_102 = x_8;
x_2_phi = 0u;
x_3_phi = 1u;
if (x_101) {
break;
}
[loop] while (true) {
uint x_4 = 0u;
const uint x_2 = x_2_phi;
const uint x_3 = x_3_phi;
if (x_102) {
break;
}
{
x_4 = (x_2 + 1u);
x_2_phi = x_4;
x_3_phi = x_3;
}
}
}
return;
}
void main() {
main_1();
return;
}
warning: DXIL.dll not found. Resulting DXIL will not be signed for use in release environments.
error: validation errors
/tmp/tint_zJdet0:33: error: Loop must have break.
Validation failed.