cbuffer cbuffer_x : register(b0, space0) {
  uint4 x[1];
};

[numthreads(1, 1, 1)]
void main() {
  switch(asint(x[0].x)) {
    case 0: {
      while (true) {
        return;
      }
      break;
    }
    default: {
      break;
    }
  }
  return;
}