test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.ir.dxc.hlsl

SKIP: INVALID

struct main_out {
  float4 x_GLF_color_1;
};

struct main_outputs {
  float4 main_out_x_GLF_color_1 : SV_Target0;
};


cbuffer cbuffer_x_9 : register(b0) {
  uint4 x_9[1];
};
static float4 x_GLF_color = (0.0f).xxxx;
void main_1() {
  int idx = int(0);
  float4x3 m43 = float4x3((0.0f).xxx, (0.0f).xxx, (0.0f).xxx, (0.0f).xxx);
  int ll_1 = int(0);
  int GLF_live6rows = int(0);
  int z = int(0);
  int ll_2 = int(0);
  int ctr = int(0);
  float4x3 tempm43 = float4x3((0.0f).xxx, (0.0f).xxx, (0.0f).xxx, (0.0f).xxx);
  int ll_3 = int(0);
  int c = int(0);
  int d = int(0);
  float GLF_live6sums[9] = (float[9])0;
  idx = int(0);
  m43 = float4x3(float3(1.0f, 0.0f, 0.0f), float3(0.0f, 1.0f, 0.0f), float3(0.0f, 0.0f, 1.0f), (0.0f).xxx);
  ll_1 = int(0);
  GLF_live6rows = int(2);
  {
    while(true) {
      int x_18 = ll_1;
      int x_19 = asint(x_9[0u].x);
      if ((x_18 >= x_19)) {
        x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f);
        break;
      }
      int x_20 = ll_1;
      ll_1 = (x_20 + int(1));
      int x_22 = asint(x_9[0u].x);
      z = x_22;
      ll_2 = int(0);
      ctr = int(0);
      {
        while(true) {
          int x_23 = ctr;
          if ((x_23 < int(1))) {
          } else {
            break;
          }
          int x_24 = ll_2;
          int x_25 = asint(x_9[0u].x);
          if ((x_24 >= x_25)) {
            break;
          }
          int x_26 = ll_2;
          ll_2 = (x_26 + int(1));
          float4x3 x_98 = m43;
          tempm43 = x_98;
          ll_3 = int(0);
          c = int(0);
          {
            while(true) {
              int x_28 = z;
              if ((int(1) < x_28)) {
              } else {
                break;
              }
              d = int(0);
              int x_29 = c;
              int x_30 = c;
              int x_31 = c;
              int x_32 = d;
              int x_33 = d;
              int x_34 = d;
              int v = ((((x_29 >= int(0)) & (x_30 < int(4)))) ? (x_31) : (int(0)));
              tempm43[v][((((x_32 >= int(0)) & (x_33 < int(3)))) ? (x_34) : (int(0)))] = 1.0f;
              {
                int x_35 = c;
                c = (x_35 + int(1));
              }
              continue;
            }
          }
          int x_37 = idx;
          int x_38 = idx;
          int x_39 = idx;
          int x_117 = ((((x_37 >= int(0)) & (x_38 < int(9)))) ? (x_39) : (int(0)));
          int x_40 = ctr;
          float x_119 = m43[x_40].y;
          float x_121 = GLF_live6sums[x_117];
          GLF_live6sums[x_117] = (x_121 + x_119);
          {
            int x_41 = ctr;
            ctr = (x_41 + int(1));
          }
          continue;
        }
      }
      int x_43 = idx;
      idx = (x_43 + int(1));
      {
      }
      continue;
    }
  }
}

main_out main_inner() {
  main_1();
  main_out v_1 = {x_GLF_color};
  return v_1;
}

main_outputs main() {
  main_out v_2 = main_inner();
  main_outputs v_3 = {v_2.x_GLF_color_1};
  return v_3;
}

DXC validation failure:
error: validation errors
hlsl.hlsl:116: error: Loop must have break.
Validation failed.



tint executable returned error: exit status 1