tests: Regenerate expected outputs for HLSL / FXC

The new vk-gl-cts tests have uncovered a whole bunch of FXC issues,
which have been filed as tint bugs.

Bug: tint:998
Bug: tint:1080
Bug: tint:1038
Bug: tint:1081
Bug: tint:1082
Bug: tint:1083
Change-Id: I0d14370f94647dfd9c7088e0b782c3b415c78ee7
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/60211
Kokoro: Kokoro <noreply+kokoro@google.com>
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
diff --git a/test/bug/tint/1083.wgsl b/test/bug/tint/1083.wgsl
new file mode 100644
index 0000000..3dc8fb2
--- /dev/null
+++ b/test/bug/tint/1083.wgsl
@@ -0,0 +1,6 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+    let a = 1;
+    let b = 0;
+    let c = a / b;
+}
diff --git a/test/bug/tint/1083.wgsl.expected.hlsl b/test/bug/tint/1083.wgsl.expected.hlsl
new file mode 100644
index 0000000..30e2a72
--- /dev/null
+++ b/test/bug/tint/1083.wgsl.expected.hlsl
@@ -0,0 +1,9 @@
+SKIP: FAILED
+
+[numthreads(1, 1, 1)]
+void f() {
+  const int c = (1 / 0);
+  return;
+}
+C:\src\tint\test\Shader@0x000001BC7A7DD8D0(3,18-22): error X4010: Unsigned integer divide by zero
+
diff --git a/test/bug/tint/1083.wgsl.expected.msl b/test/bug/tint/1083.wgsl.expected.msl
new file mode 100644
index 0000000..08beb2b
--- /dev/null
+++ b/test/bug/tint/1083.wgsl.expected.msl
@@ -0,0 +1,10 @@
+#include <metal_stdlib>
+
+using namespace metal;
+kernel void f() {
+  int const a = 1;
+  int const b = 0;
+  int const c = (a / b);
+  return;
+}
+
diff --git a/test/bug/tint/1083.wgsl.expected.spvasm b/test/bug/tint/1083.wgsl.expected.spvasm
new file mode 100644
index 0000000..47589eb
--- /dev/null
+++ b/test/bug/tint/1083.wgsl.expected.spvasm
@@ -0,0 +1,20 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 9
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint GLCompute %f "f"
+               OpExecutionMode %f LocalSize 1 1 1
+               OpName %f "f"
+       %void = OpTypeVoid
+          %1 = OpTypeFunction %void
+        %int = OpTypeInt 32 1
+      %int_1 = OpConstant %int 1
+      %int_0 = OpConstant %int 0
+          %f = OpFunction %void None %1
+          %4 = OpLabel
+          %8 = OpSDiv %int %int_1 %int_0
+               OpReturn
+               OpFunctionEnd
diff --git a/test/bug/tint/1083.wgsl.expected.wgsl b/test/bug/tint/1083.wgsl.expected.wgsl
new file mode 100644
index 0000000..57303cb
--- /dev/null
+++ b/test/bug/tint/1083.wgsl.expected.wgsl
@@ -0,0 +1,6 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+  let a = 1;
+  let b = 0;
+  let c = (a / b);
+}
diff --git a/test/bug/tint/998.wgsl.expected.hlsl b/test/bug/tint/998.wgsl.expected.hlsl
index 88f4d37..9e4b25a 100644
--- a/test/bug/tint/998.wgsl.expected.hlsl
+++ b/test/bug/tint/998.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_constants : register(b0, space1) {
   uint4 constants[1];
 };
@@ -15,3 +17,5 @@
   s.data[constants[0].x] = 0u;
   return;
 }
+C:\src\tint\test\Shader@0x00000272D4538E60(15,3-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/loops/continue_in_switch.wgsl b/test/loops/continue_in_switch.wgsl
new file mode 100644
index 0000000..a08c7dd
--- /dev/null
+++ b/test/loops/continue_in_switch.wgsl
@@ -0,0 +1,13 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+    for (var i : i32 = 0; i < 4; i = i + 1) {
+        switch(i) {
+            case 0: {
+                continue;
+            }
+            default:{
+                break;
+            }
+        }
+    }
+}
diff --git a/test/loops/continue_in_switch.wgsl.expected.hlsl b/test/loops/continue_in_switch.wgsl.expected.hlsl
new file mode 100644
index 0000000..966973f
--- /dev/null
+++ b/test/loops/continue_in_switch.wgsl.expected.hlsl
@@ -0,0 +1,21 @@
+SKIP: FAILED
+
+[numthreads(1, 1, 1)]
+void f() {
+  {
+    for(int i = 0; (i < 4); i = (i + 1)) {
+      switch(i) {
+        case 0: {
+          continue;
+          break;
+        }
+        default: {
+          break;
+        }
+      }
+    }
+  }
+  return;
+}
+C:\src\tint\test\Shader@0x0000022998AE1EF0(7,11-19): error X3708: continue cannot be used in a switch
+
diff --git a/test/loops/continue_in_switch.wgsl.expected.msl b/test/loops/continue_in_switch.wgsl.expected.msl
new file mode 100644
index 0000000..589d7e3
--- /dev/null
+++ b/test/loops/continue_in_switch.wgsl.expected.msl
@@ -0,0 +1,18 @@
+#include <metal_stdlib>
+
+using namespace metal;
+kernel void f() {
+  for(int i = 0; (i < 4); i = (i + 1)) {
+    switch(i) {
+      case 0: {
+        continue;
+        break;
+      }
+      default: {
+        break;
+      }
+    }
+  }
+  return;
+}
+
diff --git a/test/loops/continue_in_switch.wgsl.expected.spvasm b/test/loops/continue_in_switch.wgsl.expected.spvasm
new file mode 100644
index 0000000..d9378ba
--- /dev/null
+++ b/test/loops/continue_in_switch.wgsl.expected.spvasm
@@ -0,0 +1,54 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 28
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint GLCompute %f "f"
+               OpExecutionMode %f LocalSize 1 1 1
+               OpName %f "f"
+               OpName %i "i"
+       %void = OpTypeVoid
+          %1 = OpTypeFunction %void
+        %int = OpTypeInt 32 1
+      %int_0 = OpConstant %int 0
+%_ptr_Function_int = OpTypePointer Function %int
+          %9 = OpConstantNull %int
+      %int_4 = OpConstant %int 4
+       %bool = OpTypeBool
+      %int_1 = OpConstant %int 1
+          %f = OpFunction %void None %1
+          %4 = OpLabel
+          %i = OpVariable %_ptr_Function_int Function %9
+               OpStore %i %int_0
+               OpBranch %10
+         %10 = OpLabel
+               OpLoopMerge %11 %12 None
+               OpBranch %13
+         %13 = OpLabel
+         %15 = OpLoad %int %i
+         %17 = OpSLessThan %bool %15 %int_4
+         %14 = OpLogicalNot %bool %17
+               OpSelectionMerge %19 None
+               OpBranchConditional %14 %20 %19
+         %20 = OpLabel
+               OpBranch %11
+         %19 = OpLabel
+         %22 = OpLoad %int %i
+               OpSelectionMerge %21 None
+               OpSwitch %22 %23 0 %24
+         %24 = OpLabel
+               OpBranch %12
+         %23 = OpLabel
+               OpBranch %21
+         %21 = OpLabel
+               OpBranch %12
+         %12 = OpLabel
+         %25 = OpLoad %int %i
+         %27 = OpIAdd %int %25 %int_1
+               OpStore %i %27
+               OpBranch %10
+         %11 = OpLabel
+               OpReturn
+               OpFunctionEnd
diff --git a/test/loops/continue_in_switch.wgsl.expected.wgsl b/test/loops/continue_in_switch.wgsl.expected.wgsl
new file mode 100644
index 0000000..0d375d4
--- /dev/null
+++ b/test/loops/continue_in_switch.wgsl.expected.wgsl
@@ -0,0 +1,13 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+  for(var i : i32 = 0; (i < 4); i = (i + 1)) {
+    switch(i) {
+      case 0: {
+        continue;
+      }
+      default: {
+        break;
+      }
+    }
+  }
+}
diff --git a/test/switch/fallthrough.wgsl b/test/switch/fallthrough.wgsl
new file mode 100644
index 0000000..20eae21
--- /dev/null
+++ b/test/switch/fallthrough.wgsl
@@ -0,0 +1,12 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+    var i : i32;
+    switch(i) {
+        case 0: {
+            fallthrough;
+        }
+        default: {
+            break;
+        }
+    }
+}
diff --git a/test/switch/fallthrough.wgsl.expected.hlsl b/test/switch/fallthrough.wgsl.expected.hlsl
new file mode 100644
index 0000000..21a359b
--- /dev/null
+++ b/test/switch/fallthrough.wgsl.expected.hlsl
@@ -0,0 +1,17 @@
+SKIP: FAILED
+
+[numthreads(1, 1, 1)]
+void f() {
+  int i = 0;
+  switch(i) {
+    case 0: {
+      /* fallthrough */
+    }
+    default: {
+      break;
+    }
+  }
+  return;
+}
+C:\src\tint\test\Shader@0x000001AF1A4F6940(5,5): error X3533: non-empty case statements must have break or return
+
diff --git a/test/switch/fallthrough.wgsl.expected.msl b/test/switch/fallthrough.wgsl.expected.msl
new file mode 100644
index 0000000..93fa98e
--- /dev/null
+++ b/test/switch/fallthrough.wgsl.expected.msl
@@ -0,0 +1,16 @@
+#include <metal_stdlib>
+
+using namespace metal;
+kernel void f() {
+  int i = 0;
+  switch(i) {
+    case 0: {
+      /* fallthrough */
+    }
+    default: {
+      break;
+    }
+  }
+  return;
+}
+
diff --git a/test/switch/fallthrough.wgsl.expected.spvasm b/test/switch/fallthrough.wgsl.expected.spvasm
new file mode 100644
index 0000000..4e8b989
--- /dev/null
+++ b/test/switch/fallthrough.wgsl.expected.spvasm
@@ -0,0 +1,29 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 0
+; Bound: 13
+; Schema: 0
+               OpCapability Shader
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint GLCompute %f "f"
+               OpExecutionMode %f LocalSize 1 1 1
+               OpName %f "f"
+               OpName %i "i"
+       %void = OpTypeVoid
+          %1 = OpTypeFunction %void
+        %int = OpTypeInt 32 1
+%_ptr_Function_int = OpTypePointer Function %int
+          %8 = OpConstantNull %int
+          %f = OpFunction %void None %1
+          %4 = OpLabel
+          %i = OpVariable %_ptr_Function_int Function %8
+         %10 = OpLoad %int %i
+               OpSelectionMerge %9 None
+               OpSwitch %10 %11 0 %12
+         %12 = OpLabel
+               OpBranch %11
+         %11 = OpLabel
+               OpBranch %9
+          %9 = OpLabel
+               OpReturn
+               OpFunctionEnd
diff --git a/test/switch/fallthrough.wgsl.expected.wgsl b/test/switch/fallthrough.wgsl.expected.wgsl
new file mode 100644
index 0000000..37163f5
--- /dev/null
+++ b/test/switch/fallthrough.wgsl.expected.wgsl
@@ -0,0 +1,12 @@
+[[stage(compute), workgroup_size(1)]]
+fn f() {
+  var i : i32;
+  switch(i) {
+    case 0: {
+      fallthrough;
+    }
+    default: {
+      break;
+    }
+  }
+}
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.msl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.msl
new file mode 100644
index 0000000..4561db6
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.msl
@@ -0,0 +1,27 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void main_1(texture2d_array<float, access::sample> tint_symbol_1) {
+  float float_var = 0.0f;
+  int const i1 = 1;
+  int2 const vi12 = int2(1, 2);
+  int3 const vi123 = int3(1, 2, 3);
+  int4 const vi1234 = int4(1, 2, 3, 4);
+  uint const u1 = 1u;
+  uint2 const vu12 = uint2(1u, 2u);
+  uint3 const vu123 = uint3(1u, 2u, 3u);
+  uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
+  float const f1 = 1.0f;
+  float2 const vf12 = float2(1.0f, 2.0f);
+  float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
+  float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
+  float4 const x_73 = tint_symbol_1.read(uint2(int2(vu123.xy)), int(vu123.z), 0);
+  uint const x_1000 = 0u;
+  return;
+}
+
+fragment void tint_symbol(texture2d_array<float, access::sample> tint_symbol_2 [[texture(1)]]) {
+  main_1(tint_symbol_2);
+  return;
+}
+
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.wgsl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.wgsl
new file mode 100644
index 0000000..50eaee4
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.wgsl
@@ -0,0 +1,29 @@
+[[group(0), binding(0)]] var x_10 : sampler;
+
+[[group(2), binding(1)]] var x_20 : texture_2d_array<f32>;
+
+[[group(0), binding(1)]] var x_30 : sampler;
+
+fn main_1() {
+  var float_var : f32;
+  let i1 : i32 = 1;
+  let vi12 : vec2<i32> = vec2<i32>(1, 2);
+  let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
+  let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
+  let u1 : u32 = 1u;
+  let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
+  let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
+  let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
+  let f1 : f32 = 1.0;
+  let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
+  let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
+  let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
+  let x_73 : vec4<f32> = textureLoad(x_20, vec2<i32>(vu123.xy), i32(vu123.z), 0);
+  let x_1000 : u32 = 0u;
+  return;
+}
+
+[[stage(fragment)]]
+fn main() {
+  main_1();
+}
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.msl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.msl
new file mode 100644
index 0000000..62c3466
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.msl
@@ -0,0 +1,28 @@
+warning: use of deprecated intrinsic
+#include <metal_stdlib>
+
+using namespace metal;
+void main_1(texture2d_array<float, access::read> tint_symbol_1) {
+  float float_var = 0.0f;
+  int const i1 = 1;
+  int2 const vi12 = int2(1, 2);
+  int3 const vi123 = int3(1, 2, 3);
+  int4 const vi1234 = int4(1, 2, 3, 4);
+  uint const u1 = 1u;
+  uint2 const vu12 = uint2(1u, 2u);
+  uint3 const vu123 = uint3(1u, 2u, 3u);
+  uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
+  float const f1 = 1.0f;
+  float2 const vf12 = float2(1.0f, 2.0f);
+  float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
+  float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
+  float4 const x_71 = tint_symbol_1.read(uint2(int2(vu123.xy)), int(vu123.z));
+  uint const x_1000 = 0u;
+  return;
+}
+
+fragment void tint_symbol(texture2d_array<float, access::read> tint_symbol_2 [[texture(1)]]) {
+  main_1(tint_symbol_2);
+  return;
+}
+
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.wgsl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.wgsl
new file mode 100644
index 0000000..73814bb
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.wgsl
@@ -0,0 +1,30 @@
+warning: use of deprecated intrinsic
+[[group(0), binding(0)]] var x_10 : sampler;
+
+[[group(2), binding(1)]] var x_20 : texture_storage_2d_array<r32float, read>;
+
+[[group(0), binding(1)]] var x_30 : sampler;
+
+fn main_1() {
+  var float_var : f32;
+  let i1 : i32 = 1;
+  let vi12 : vec2<i32> = vec2<i32>(1, 2);
+  let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
+  let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
+  let u1 : u32 = 1u;
+  let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
+  let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
+  let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
+  let f1 : f32 = 1.0;
+  let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
+  let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
+  let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
+  let x_71 : vec4<f32> = textureLoad(x_20, vec2<i32>(vu123.xy), i32(vu123.z));
+  let x_1000 : u32 = 0u;
+  return;
+}
+
+[[stage(fragment)]]
+fn main() {
+  main_1();
+}
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.msl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.msl
new file mode 100644
index 0000000..f737a4f
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.msl
@@ -0,0 +1,27 @@
+#include <metal_stdlib>
+
+using namespace metal;
+void main_1(texture2d_array<float, access::write> tint_symbol_1) {
+  float float_var = 0.0f;
+  int const i1 = 1;
+  int2 const vi12 = int2(1, 2);
+  int3 const vi123 = int3(1, 2, 3);
+  int4 const vi1234 = int4(1, 2, 3, 4);
+  uint const u1 = 1u;
+  uint2 const vu12 = uint2(1u, 2u);
+  uint3 const vu123 = uint3(1u, 2u, 3u);
+  uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
+  float const f1 = 1.0f;
+  float2 const vf12 = float2(1.0f, 2.0f);
+  float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
+  float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
+  tint_symbol_1.write(vf1234, uint2(int2(vu123.xy)), int(vu123.z));
+  uint const x_1000 = 0u;
+  return;
+}
+
+fragment void tint_symbol(texture2d_array<float, access::write> tint_symbol_2 [[texture(1)]]) {
+  main_1(tint_symbol_2);
+  return;
+}
+
diff --git a/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.wgsl b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.wgsl
new file mode 100644
index 0000000..39db0b1
--- /dev/null
+++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.wgsl
@@ -0,0 +1,29 @@
+[[group(0), binding(0)]] var x_10 : sampler;
+
+[[group(2), binding(1)]] var x_20 : texture_storage_2d_array<r32float, write>;
+
+[[group(0), binding(1)]] var x_30 : sampler;
+
+fn main_1() {
+  var float_var : f32;
+  let i1 : i32 = 1;
+  let vi12 : vec2<i32> = vec2<i32>(1, 2);
+  let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
+  let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
+  let u1 : u32 = 1u;
+  let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
+  let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
+  let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
+  let f1 : f32 = 1.0;
+  let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
+  let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
+  let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
+  textureStore(x_20, vec2<i32>(vu123.xy), i32(vu123.z), vf1234);
+  let x_1000 : u32 = 0u;
+  return;
+}
+
+[[stage(fragment)]]
+fn main() {
+  main_1();
+}
diff --git a/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.spvasm.expected.hlsl
index 1dab6f0..af1e00b 100644
--- a/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -83,3 +85,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000147CAC76330(47,9-17): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.wgsl.expected.hlsl
index 1dab6f0..0054dcd 100644
--- a/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -83,3 +85,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001DB60E578A0(47,9-17): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.spvasm.expected.hlsl
index 4f12524..4d3c036 100755
--- a/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.spvasm.expected.hlsl
@@ -30,9 +30,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\u2wg.0:25: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000002959F099FD0(9,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.wgsl.expected.hlsl
index a19c1f6..31f66df 100755
--- a/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.wgsl.expected.hlsl
@@ -30,9 +30,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\uc0s.0:25: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x0000018E509AFB50(9,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.spvasm.expected.hlsl
index 8477479..b2ee8b3 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_9 : register(b0, space0) {
   uint4 x_9[1];
 };
@@ -56,3 +58,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001D546D5DC90(6,12-25): error X3507: 'func_i1_': Not all control paths return a value
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.wgsl.expected.hlsl
index 8477479..19fe83a 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_9 : register(b0, space0) {
   uint4 x_9[1];
 };
@@ -56,3 +58,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000026EBFC3A3B0(6,12-25): error X3507: 'func_i1_': Not all control paths return a value
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.spvasm.expected.hlsl
index 3be4868..4e2320a 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct Array {
   int values[2];
 };
@@ -37,3 +39,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001FD1871BC40(15,3-16): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.wgsl.expected.hlsl
index 3be4868..0cdf29f 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct Array {
   int values[2];
 };
@@ -37,3 +39,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000002AA8074FF50(15,3-16): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.hlsl
index d17d70d..4ab54a0 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.hlsl
@@ -72,5 +72,13 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
-Internal compiler error: access violation. Attempted to read from address 0xFFFFFFFFFFFFFFE8
+C:\src\tint\test\Shader@0x0000019491823870(15,8-20): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000019491823870(23,9): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000019491823870(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.hlsl
index d17d70d..1a4ffc5 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.hlsl
@@ -72,5 +72,13 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
-Internal compiler error: access violation. Attempted to read from address 0xFFFFFFFFFFFFFFE8
+C:\src\tint\test\Shader@0x0000026803D7D2F0(15,8-20): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
+C:\src\tint\test\Shader@0x0000026803D7D2F0(23,9): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000026803D7D2F0(24,11-22): warning X3557: loop doesn't seem to do anything, forcing loop to unroll
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.hlsl
index 2ab5b03..7587b70 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.hlsl
@@ -1,95 +1,3 @@
-cbuffer cbuffer_x_7 : register(b0, space0) {
-  uint4 x_7[1];
-};
-cbuffer cbuffer_x_10 : register(b1, space0) {
-  uint4 x_10[4];
-};
-static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+SKIP: FAILED
 
-void main_1() {
-  float4 data[2] = (float4[2])0;
-  int b = 0;
-  int y = 0;
-  int i = 0;
-  const uint scalar_offset = ((16u * uint(0))) / 4;
-  const float x_42 = asfloat(x_7[scalar_offset / 4][scalar_offset % 4]);
-  const uint scalar_offset_1 = ((16u * uint(0))) / 4;
-  const float x_45 = asfloat(x_7[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-  const float4 tint_symbol_6[2] = {float4(x_42, x_42, x_42, x_42), float4(x_45, x_45, x_45, x_45)};
-  data = tint_symbol_6;
-  const int x_49 = asint(x_10[1].x);
-  b = x_49;
-  const float x_51 = gl_FragCoord.y;
-  const int x_54 = asint(x_10[1].x);
-  const float x_56 = gl_FragCoord.y;
-  const int x_60 = asint(x_10[1].x);
-  y = clamp(int(x_51), (x_54 | int(x_56)), x_60);
-  const int x_63 = asint(x_10[1].x);
-  i = x_63;
-  while (true) {
-    bool x_82 = false;
-    bool x_83_phi = false;
-    const int x_68 = i;
-    const uint scalar_offset_2 = ((16u * uint(0))) / 4;
-    const int x_70 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
-    if ((x_68 < x_70)) {
-    } else {
-      break;
-    }
-    const int x_73 = b;
-    const uint scalar_offset_3 = ((16u * uint(0))) / 4;
-    const int x_75 = asint(x_10[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-    const bool x_76 = (x_73 > x_75);
-    x_83_phi = x_76;
-    if (x_76) {
-      const int x_79 = y;
-      const int x_81 = asint(x_10[1].x);
-      x_82 = (x_79 > x_81);
-      x_83_phi = x_82;
-    }
-    if (x_83_phi) {
-      break;
-    }
-    b = (b + 1);
-    {
-      i = (i + 1);
-    }
-  }
-  const int x_90 = b;
-  const uint scalar_offset_4 = ((16u * uint(0))) / 4;
-  const int x_92 = asint(x_10[scalar_offset_4 / 4][scalar_offset_4 % 4]);
-  if ((x_90 == x_92)) {
-    const int x_97 = asint(x_10[2].x);
-    const int x_99 = asint(x_10[1].x);
-    const int x_101 = asint(x_10[3].x);
-    const int x_104 = asint(x_10[1].x);
-    const int x_107 = asint(x_10[2].x);
-    const int x_110 = asint(x_10[2].x);
-    const int x_113 = asint(x_10[1].x);
-    data[clamp(x_97, x_99, x_101)] = float4(float(x_104), float(x_107), float(x_110), float(x_113));
-  }
-  const int x_118 = asint(x_10[1].x);
-  const float4 x_120 = data[x_118];
-  x_GLF_color = float4(x_120.x, x_120.y, x_120.z, x_120.w);
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol_1 {
-  float4 gl_FragCoord_param : SV_Position;
-};
-struct tint_symbol_2 {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol_2 main(tint_symbol_1 tint_symbol) {
-  const float4 gl_FragCoord_param = tint_symbol.gl_FragCoord_param;
-  gl_FragCoord = gl_FragCoord_param;
-  main_1();
-  const main_out tint_symbol_3 = {x_GLF_color};
-  const tint_symbol_2 tint_symbol_7 = {tint_symbol_3.x_GLF_color_1};
-  return tint_symbol_7;
-}
+exit status 3221225725
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.hlsl
index 2ab5b03..7587b70 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.hlsl
@@ -1,95 +1,3 @@
-cbuffer cbuffer_x_7 : register(b0, space0) {
-  uint4 x_7[1];
-};
-cbuffer cbuffer_x_10 : register(b1, space0) {
-  uint4 x_10[4];
-};
-static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+SKIP: FAILED
 
-void main_1() {
-  float4 data[2] = (float4[2])0;
-  int b = 0;
-  int y = 0;
-  int i = 0;
-  const uint scalar_offset = ((16u * uint(0))) / 4;
-  const float x_42 = asfloat(x_7[scalar_offset / 4][scalar_offset % 4]);
-  const uint scalar_offset_1 = ((16u * uint(0))) / 4;
-  const float x_45 = asfloat(x_7[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-  const float4 tint_symbol_6[2] = {float4(x_42, x_42, x_42, x_42), float4(x_45, x_45, x_45, x_45)};
-  data = tint_symbol_6;
-  const int x_49 = asint(x_10[1].x);
-  b = x_49;
-  const float x_51 = gl_FragCoord.y;
-  const int x_54 = asint(x_10[1].x);
-  const float x_56 = gl_FragCoord.y;
-  const int x_60 = asint(x_10[1].x);
-  y = clamp(int(x_51), (x_54 | int(x_56)), x_60);
-  const int x_63 = asint(x_10[1].x);
-  i = x_63;
-  while (true) {
-    bool x_82 = false;
-    bool x_83_phi = false;
-    const int x_68 = i;
-    const uint scalar_offset_2 = ((16u * uint(0))) / 4;
-    const int x_70 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
-    if ((x_68 < x_70)) {
-    } else {
-      break;
-    }
-    const int x_73 = b;
-    const uint scalar_offset_3 = ((16u * uint(0))) / 4;
-    const int x_75 = asint(x_10[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-    const bool x_76 = (x_73 > x_75);
-    x_83_phi = x_76;
-    if (x_76) {
-      const int x_79 = y;
-      const int x_81 = asint(x_10[1].x);
-      x_82 = (x_79 > x_81);
-      x_83_phi = x_82;
-    }
-    if (x_83_phi) {
-      break;
-    }
-    b = (b + 1);
-    {
-      i = (i + 1);
-    }
-  }
-  const int x_90 = b;
-  const uint scalar_offset_4 = ((16u * uint(0))) / 4;
-  const int x_92 = asint(x_10[scalar_offset_4 / 4][scalar_offset_4 % 4]);
-  if ((x_90 == x_92)) {
-    const int x_97 = asint(x_10[2].x);
-    const int x_99 = asint(x_10[1].x);
-    const int x_101 = asint(x_10[3].x);
-    const int x_104 = asint(x_10[1].x);
-    const int x_107 = asint(x_10[2].x);
-    const int x_110 = asint(x_10[2].x);
-    const int x_113 = asint(x_10[1].x);
-    data[clamp(x_97, x_99, x_101)] = float4(float(x_104), float(x_107), float(x_110), float(x_113));
-  }
-  const int x_118 = asint(x_10[1].x);
-  const float4 x_120 = data[x_118];
-  x_GLF_color = float4(x_120.x, x_120.y, x_120.z, x_120.w);
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol_1 {
-  float4 gl_FragCoord_param : SV_Position;
-};
-struct tint_symbol_2 {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol_2 main(tint_symbol_1 tint_symbol) {
-  const float4 gl_FragCoord_param = tint_symbol.gl_FragCoord_param;
-  gl_FragCoord = gl_FragCoord_param;
-  main_1();
-  const main_out tint_symbol_3 = {x_GLF_color};
-  const tint_symbol_2 tint_symbol_7 = {tint_symbol_3.x_GLF_color_1};
-  return tint_symbol_7;
-}
+exit status 3221225725
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.spvasm.expected.hlsl
index 1bc001a..e6a3560 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -68,3 +70,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000001C5FF133840(29,14-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.wgsl.expected.hlsl
index 1bc001a..07402c4 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -68,3 +70,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000001D041DE1330(29,14-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.spvasm.expected.hlsl
index 71686c8..1425e4f 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -66,3 +68,5 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x000001FE2E0FB130(29,14-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.wgsl.expected.hlsl
index 71686c8..397d79d 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -66,3 +68,5 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x000001C458C00310(29,14-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.spvasm.expected.hlsl
index bb5b30e..edf514e 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[5];
 };
@@ -76,3 +78,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001CD53C8DD00(24,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001CD53C8DD00(28,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.wgsl.expected.hlsl
index bb5b30e..cea07e1 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[5];
 };
@@ -76,3 +78,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001A41A83AF00(24,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001A41A83AF00(28,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.spvasm.expected.hlsl
index 98be400..f916986 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -94,3 +96,6 @@
   const tint_symbol_2 tint_symbol_6 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_6;
 }
+C:\src\tint\test\Shader@0x00000219080386E0(35,16-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x00000219080386E0(20,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.wgsl.expected.hlsl
index a507a03..d4c253c 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -98,3 +100,6 @@
   const tint_symbol_2 tint_symbol_6 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_6;
 }
+C:\src\tint\test\Shader@0x000001FE6250D010(35,16-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000001FE6250D010(20,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.spvasm.expected.hlsl
index 000228a..72454e8 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[4];
 };
@@ -51,3 +53,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000021F05CF11C0(19,14-18): error X4010: Unsigned integer divide by zero
+C:\src\tint\test\Shader@0x0000021F05CF11C0(19,14-18): warning X3556: integer divides may be much slower, try using uints if possible.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.wgsl.expected.hlsl
index 000228a..6ed529d 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[4];
 };
@@ -51,3 +53,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000199CF77C330(19,14-18): error X4010: Unsigned integer divide by zero
+C:\src\tint\test\Shader@0x00000199CF77C330(19,14-18): warning X3556: integer divides may be much slower, try using uints if possible.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.spvasm.expected.hlsl
index df48733..ada7447 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_8 : register(b2, space0) {
   uint4 x_8[2];
 };
@@ -61,3 +63,5 @@
   const tint_symbol_2 tint_symbol_7 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_7;
 }
+C:\src\tint\test\Shader@0x000002787AC0C3C0(25,16-23): error X4010: Unsigned integer divide by zero
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.wgsl.expected.hlsl
index df48733..bd2158c 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_8 : register(b2, space0) {
   uint4 x_8[2];
 };
@@ -61,3 +63,5 @@
   const tint_symbol_2 tint_symbol_7 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_7;
 }
+C:\src\tint\test\Shader@0x0000020234C8C230(25,16-23): error X4010: Unsigned integer divide by zero
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.hlsl
index 362d952..20ec5cd 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.hlsl
@@ -1,324 +1,3 @@
-void set_float3(inout float3 vec, int idx, float val) {
-  vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
-}
+SKIP: FAILED
 
-void set_float4(inout float4 vec, int idx, float val) {
-  vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
-}
-
-void set_float2(inout float2 vec, int idx, float val) {
-  vec = (idx.xx == int2(0, 1)) ? val.xx : vec;
-}
-
-static int x_GLF_global_loop_count = 0;
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
-
-void main_1() {
-  float2x3 m23 = float2x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float2x4 m24 = float2x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x2 m32 = float3x2(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x3 m33 = float3x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x4 m34 = float3x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x2 m42 = float4x2(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x3 m43 = float4x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x4 m44 = float4x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  int i = 0;
-  int i_1 = 0;
-  int i_2 = 0;
-  int i_3 = 0;
-  int i_4 = 0;
-  int i_5 = 0;
-  int i_6 = 0;
-  int i_7 = 0;
-  int i_8 = 0;
-  int i_9 = 0;
-  int i_10 = 0;
-  int i_11 = 0;
-  int i_12 = 0;
-  int i_13 = 0;
-  int i_14 = 0;
-  int i_15 = 0;
-  int i_16 = 0;
-  int i_17 = 0;
-  int i_18 = 0;
-  int i_19 = 0;
-  int i_20 = 0;
-  int i_21 = 0;
-  int i_22 = 0;
-  int i_23 = 0;
-  int i_24 = 0;
-  int i_25 = 0;
-  int i_26 = 0;
-  int i_27 = 0;
-  int i_28 = 0;
-  int i_29 = 0;
-  int i_30 = 0;
-  int i_31 = 0;
-  int i_32 = 0;
-  int i_33 = 0;
-  int i_34 = 0;
-  int i_35 = 0;
-  int i_36 = 0;
-  int i_37 = 0;
-  float sum = 0.0f;
-  int r = 0;
-  x_GLF_global_loop_count = 0;
-  m23 = float2x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m24 = float2x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  m32 = float3x2(float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f));
-  m33 = float3x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m34 = float3x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  m42 = float4x2(float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f));
-  m43 = float4x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m44 = float4x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  i = 0;
-  {
-    for(; (i < 1); i = (i + 1)) {
-      i_1 = 0;
-      {
-        for(; (i_1 < 1); i_1 = (i_1 + 1)) {
-          i_2 = 0;
-          {
-            for(; (i_2 < 1); i_2 = (i_2 + 1)) {
-              i_3 = 0;
-              {
-                for(; (i_3 < 1); i_3 = (i_3 + 1)) {
-                  i_4 = 0;
-                  {
-                    for(; (i_4 < 1); i_4 = (i_4 + 1)) {
-                      i_5 = 0;
-                      {
-                        for(; (i_5 < 1); i_5 = (i_5 + 1)) {
-                          i_6 = 0;
-                          {
-                            for(; (i_6 < 1); i_6 = (i_6 + 1)) {
-                              i_7 = 0;
-                              {
-                                for(; (i_7 < 1); i_7 = (i_7 + 1)) {
-                                  i_8 = 0;
-                                  {
-                                    for(; (i_8 < 1); i_8 = (i_8 + 1)) {
-                                      i_9 = 0;
-                                      {
-                                        for(; (i_9 < 1); i_9 = (i_9 + 1)) {
-                                          i_10 = 0;
-                                          {
-                                            for(; (i_10 < 1); i_10 = (i_10 + 1)) {
-                                              i_11 = 0;
-                                              {
-                                                for(; (i_11 < 1); i_11 = (i_11 + 1)) {
-                                                  i_12 = 0;
-                                                  {
-                                                    for(; (i_12 < 1); i_12 = (i_12 + 1)) {
-                                                      i_13 = 0;
-                                                      {
-                                                        for(; (i_13 < 1); i_13 = (i_13 + 1)) {
-                                                          i_14 = 0;
-                                                          {
-                                                            for(; (i_14 < 1); i_14 = (i_14 + 1)) {
-                                                              i_15 = 0;
-                                                              {
-                                                                for(; (i_15 < 1); i_15 = (i_15 + 1)) {
-                                                                  i_16 = 0;
-                                                                  {
-                                                                    for(; (i_16 < 1); i_16 = (i_16 + 1)) {
-                                                                      i_17 = 0;
-                                                                      {
-                                                                        for(; (i_17 < 1); i_17 = (i_17 + 1)) {
-                                                                          i_18 = 0;
-                                                                          {
-                                                                            for(; (i_18 < 1); i_18 = (i_18 + 1)) {
-                                                                              i_19 = 0;
-                                                                              {
-                                                                                for(; (i_19 < 1); i_19 = (i_19 + 1)) {
-                                                                                  i_20 = 0;
-                                                                                  {
-                                                                                    for(; (i_20 < 1); i_20 = (i_20 + 1)) {
-                                                                                      i_21 = 0;
-                                                                                      {
-                                                                                        for(; (i_21 < 1); i_21 = (i_21 + 1)) {
-                                                                                          i_22 = 0;
-                                                                                          {
-                                                                                            for(; (i_22 < 1); i_22 = (i_22 + 1)) {
-                                                                                              i_23 = 0;
-                                                                                              {
-                                                                                                for(; (i_23 < 1); i_23 = (i_23 + 1)) {
-                                                                                                  i_24 = 0;
-                                                                                                  {
-                                                                                                    for(; (i_24 < 1); i_24 = (i_24 + 1)) {
-                                                                                                      i_25 = 0;
-                                                                                                      {
-                                                                                                        for(; (i_25 < 1); i_25 = (i_25 + 1)) {
-                                                                                                          i_26 = 0;
-                                                                                                          {
-                                                                                                            for(; (i_26 < 1); i_26 = (i_26 + 1)) {
-                                                                                                              i_27 = 0;
-                                                                                                              {
-                                                                                                                for(; (i_27 < 1); i_27 = (i_27 + 1)) {
-                                                                                                                  i_28 = 0;
-                                                                                                                  {
-                                                                                                                    for(; (i_28 < 1); i_28 = (i_28 + 1)) {
-                                                                                                                      i_29 = 0;
-                                                                                                                      {
-                                                                                                                        for(; (i_29 < 1); i_29 = (i_29 + 1)) {
-                                                                                                                          i_30 = 0;
-                                                                                                                          {
-                                                                                                                            for(; (i_30 < 1); i_30 = (i_30 + 1)) {
-                                                                                                                              i_31 = 0;
-                                                                                                                              {
-                                                                                                                                for(; (i_31 < 1); i_31 = (i_31 + 1)) {
-                                                                                                                                  i_32 = 0;
-                                                                                                                                  {
-                                                                                                                                    for(; (i_32 < 1); i_32 = (i_32 + 1)) {
-                                                                                                                                      i_33 = 0;
-                                                                                                                                      {
-                                                                                                                                        for(; (i_33 < 1); i_33 = (i_33 + 1)) {
-                                                                                                                                          i_34 = 0;
-                                                                                                                                          {
-                                                                                                                                            for(; (i_34 < 1); i_34 = (i_34 + 1)) {
-                                                                                                                                              i_35 = 0;
-                                                                                                                                              {
-                                                                                                                                                for(; (i_35 < 1); i_35 = (i_35 + 1)) {
-                                                                                                                                                  i_36 = 0;
-                                                                                                                                                  {
-                                                                                                                                                    for(; (i_36 < 1); i_36 = (i_36 + 1)) {
-                                                                                                                                                      i_37 = 0;
-                                                                                                                                                      {
-                                                                                                                                                        for(; (i_37 < 1); i_37 = (i_37 + 1)) {
-                                                                                                                                                          while (true) {
-                                                                                                                                                            x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-                                                                                                                                                            {
-                                                                                                                                                              if ((x_GLF_global_loop_count < 98)) {
-                                                                                                                                                              } else {
-                                                                                                                                                                break;
-                                                                                                                                                              }
-                                                                                                                                                            }
-                                                                                                                                                          }
-                                                                                                                                                          set_float3(m23[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m24[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float2(m32[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float3(m33[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m34[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float2(m42[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float3(m43[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m44[i_37], i_37, 1.0f);
-                                                                                                                                                        }
-                                                                                                                                                      }
-                                                                                                                                                    }
-                                                                                                                                                  }
-                                                                                                                                                }
-                                                                                                                                              }
-                                                                                                                                            }
-                                                                                                                                          }
-                                                                                                                                        }
-                                                                                                                                      }
-                                                                                                                                    }
-                                                                                                                                  }
-                                                                                                                                }
-                                                                                                                              }
-                                                                                                                            }
-                                                                                                                          }
-                                                                                                                        }
-                                                                                                                      }
-                                                                                                                    }
-                                                                                                                  }
-                                                                                                                }
-                                                                                                              }
-                                                                                                            }
-                                                                                                          }
-                                                                                                        }
-                                                                                                      }
-                                                                                                    }
-                                                                                                  }
-                                                                                                }
-                                                                                              }
-                                                                                            }
-                                                                                          }
-                                                                                        }
-                                                                                      }
-                                                                                    }
-                                                                                  }
-                                                                                }
-                                                                              }
-                                                                            }
-                                                                          }
-                                                                        }
-                                                                      }
-                                                                    }
-                                                                  }
-                                                                }
-                                                              }
-                                                            }
-                                                          }
-                                                        }
-                                                      }
-                                                    }
-                                                  }
-                                                }
-                                              }
-                                            }
-                                          }
-                                        }
-                                      }
-                                    }
-                                  }
-                                }
-                              }
-                            }
-                          }
-                        }
-                      }
-                    }
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
-    }
-  }
-  sum = 0.0f;
-  r = 0;
-  {
-    for(; (x_GLF_global_loop_count < 100); r = (r + 1)) {
-      x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-      const float x_486 = m23[0][r];
-      sum = (sum + x_486);
-      const float x_491 = m24[0][r];
-      sum = (sum + x_491);
-      const float x_496 = m32[0][r];
-      sum = (sum + x_496);
-      const float x_501 = m33[0][r];
-      sum = (sum + x_501);
-      const float x_506 = m34[0][r];
-      sum = (sum + x_506);
-      const float x_511 = m42[0][r];
-      sum = (sum + x_511);
-      const float x_516 = m43[0][r];
-      sum = (sum + x_516);
-      const float x_521 = m44[0][r];
-      sum = (sum + x_521);
-    }
-  }
-  if ((sum == 8.0f)) {
-    x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f);
-  } else {
-    x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
-  }
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol main() {
-  main_1();
-  const main_out tint_symbol_1 = {x_GLF_color};
-  const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
-  return tint_symbol_2;
-}
+test timed out after 30s
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.hlsl
index 362d952..20ec5cd 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.hlsl
@@ -1,324 +1,3 @@
-void set_float3(inout float3 vec, int idx, float val) {
-  vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
-}
+SKIP: FAILED
 
-void set_float4(inout float4 vec, int idx, float val) {
-  vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
-}
-
-void set_float2(inout float2 vec, int idx, float val) {
-  vec = (idx.xx == int2(0, 1)) ? val.xx : vec;
-}
-
-static int x_GLF_global_loop_count = 0;
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
-
-void main_1() {
-  float2x3 m23 = float2x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float2x4 m24 = float2x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x2 m32 = float3x2(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x3 m33 = float3x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float3x4 m34 = float3x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x2 m42 = float4x2(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x3 m43 = float4x3(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  float4x4 m44 = float4x4(0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f, 0.0f);
-  int i = 0;
-  int i_1 = 0;
-  int i_2 = 0;
-  int i_3 = 0;
-  int i_4 = 0;
-  int i_5 = 0;
-  int i_6 = 0;
-  int i_7 = 0;
-  int i_8 = 0;
-  int i_9 = 0;
-  int i_10 = 0;
-  int i_11 = 0;
-  int i_12 = 0;
-  int i_13 = 0;
-  int i_14 = 0;
-  int i_15 = 0;
-  int i_16 = 0;
-  int i_17 = 0;
-  int i_18 = 0;
-  int i_19 = 0;
-  int i_20 = 0;
-  int i_21 = 0;
-  int i_22 = 0;
-  int i_23 = 0;
-  int i_24 = 0;
-  int i_25 = 0;
-  int i_26 = 0;
-  int i_27 = 0;
-  int i_28 = 0;
-  int i_29 = 0;
-  int i_30 = 0;
-  int i_31 = 0;
-  int i_32 = 0;
-  int i_33 = 0;
-  int i_34 = 0;
-  int i_35 = 0;
-  int i_36 = 0;
-  int i_37 = 0;
-  float sum = 0.0f;
-  int r = 0;
-  x_GLF_global_loop_count = 0;
-  m23 = float2x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m24 = float2x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  m32 = float3x2(float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f));
-  m33 = float3x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m34 = float3x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  m42 = float4x2(float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f), float2(0.0f, 0.0f));
-  m43 = float4x3(float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f), float3(0.0f, 0.0f, 0.0f));
-  m44 = float4x4(float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f), float4(0.0f, 0.0f, 0.0f, 0.0f));
-  i = 0;
-  {
-    for(; (i < 1); i = (i + 1)) {
-      i_1 = 0;
-      {
-        for(; (i_1 < 1); i_1 = (i_1 + 1)) {
-          i_2 = 0;
-          {
-            for(; (i_2 < 1); i_2 = (i_2 + 1)) {
-              i_3 = 0;
-              {
-                for(; (i_3 < 1); i_3 = (i_3 + 1)) {
-                  i_4 = 0;
-                  {
-                    for(; (i_4 < 1); i_4 = (i_4 + 1)) {
-                      i_5 = 0;
-                      {
-                        for(; (i_5 < 1); i_5 = (i_5 + 1)) {
-                          i_6 = 0;
-                          {
-                            for(; (i_6 < 1); i_6 = (i_6 + 1)) {
-                              i_7 = 0;
-                              {
-                                for(; (i_7 < 1); i_7 = (i_7 + 1)) {
-                                  i_8 = 0;
-                                  {
-                                    for(; (i_8 < 1); i_8 = (i_8 + 1)) {
-                                      i_9 = 0;
-                                      {
-                                        for(; (i_9 < 1); i_9 = (i_9 + 1)) {
-                                          i_10 = 0;
-                                          {
-                                            for(; (i_10 < 1); i_10 = (i_10 + 1)) {
-                                              i_11 = 0;
-                                              {
-                                                for(; (i_11 < 1); i_11 = (i_11 + 1)) {
-                                                  i_12 = 0;
-                                                  {
-                                                    for(; (i_12 < 1); i_12 = (i_12 + 1)) {
-                                                      i_13 = 0;
-                                                      {
-                                                        for(; (i_13 < 1); i_13 = (i_13 + 1)) {
-                                                          i_14 = 0;
-                                                          {
-                                                            for(; (i_14 < 1); i_14 = (i_14 + 1)) {
-                                                              i_15 = 0;
-                                                              {
-                                                                for(; (i_15 < 1); i_15 = (i_15 + 1)) {
-                                                                  i_16 = 0;
-                                                                  {
-                                                                    for(; (i_16 < 1); i_16 = (i_16 + 1)) {
-                                                                      i_17 = 0;
-                                                                      {
-                                                                        for(; (i_17 < 1); i_17 = (i_17 + 1)) {
-                                                                          i_18 = 0;
-                                                                          {
-                                                                            for(; (i_18 < 1); i_18 = (i_18 + 1)) {
-                                                                              i_19 = 0;
-                                                                              {
-                                                                                for(; (i_19 < 1); i_19 = (i_19 + 1)) {
-                                                                                  i_20 = 0;
-                                                                                  {
-                                                                                    for(; (i_20 < 1); i_20 = (i_20 + 1)) {
-                                                                                      i_21 = 0;
-                                                                                      {
-                                                                                        for(; (i_21 < 1); i_21 = (i_21 + 1)) {
-                                                                                          i_22 = 0;
-                                                                                          {
-                                                                                            for(; (i_22 < 1); i_22 = (i_22 + 1)) {
-                                                                                              i_23 = 0;
-                                                                                              {
-                                                                                                for(; (i_23 < 1); i_23 = (i_23 + 1)) {
-                                                                                                  i_24 = 0;
-                                                                                                  {
-                                                                                                    for(; (i_24 < 1); i_24 = (i_24 + 1)) {
-                                                                                                      i_25 = 0;
-                                                                                                      {
-                                                                                                        for(; (i_25 < 1); i_25 = (i_25 + 1)) {
-                                                                                                          i_26 = 0;
-                                                                                                          {
-                                                                                                            for(; (i_26 < 1); i_26 = (i_26 + 1)) {
-                                                                                                              i_27 = 0;
-                                                                                                              {
-                                                                                                                for(; (i_27 < 1); i_27 = (i_27 + 1)) {
-                                                                                                                  i_28 = 0;
-                                                                                                                  {
-                                                                                                                    for(; (i_28 < 1); i_28 = (i_28 + 1)) {
-                                                                                                                      i_29 = 0;
-                                                                                                                      {
-                                                                                                                        for(; (i_29 < 1); i_29 = (i_29 + 1)) {
-                                                                                                                          i_30 = 0;
-                                                                                                                          {
-                                                                                                                            for(; (i_30 < 1); i_30 = (i_30 + 1)) {
-                                                                                                                              i_31 = 0;
-                                                                                                                              {
-                                                                                                                                for(; (i_31 < 1); i_31 = (i_31 + 1)) {
-                                                                                                                                  i_32 = 0;
-                                                                                                                                  {
-                                                                                                                                    for(; (i_32 < 1); i_32 = (i_32 + 1)) {
-                                                                                                                                      i_33 = 0;
-                                                                                                                                      {
-                                                                                                                                        for(; (i_33 < 1); i_33 = (i_33 + 1)) {
-                                                                                                                                          i_34 = 0;
-                                                                                                                                          {
-                                                                                                                                            for(; (i_34 < 1); i_34 = (i_34 + 1)) {
-                                                                                                                                              i_35 = 0;
-                                                                                                                                              {
-                                                                                                                                                for(; (i_35 < 1); i_35 = (i_35 + 1)) {
-                                                                                                                                                  i_36 = 0;
-                                                                                                                                                  {
-                                                                                                                                                    for(; (i_36 < 1); i_36 = (i_36 + 1)) {
-                                                                                                                                                      i_37 = 0;
-                                                                                                                                                      {
-                                                                                                                                                        for(; (i_37 < 1); i_37 = (i_37 + 1)) {
-                                                                                                                                                          while (true) {
-                                                                                                                                                            x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-                                                                                                                                                            {
-                                                                                                                                                              if ((x_GLF_global_loop_count < 98)) {
-                                                                                                                                                              } else {
-                                                                                                                                                                break;
-                                                                                                                                                              }
-                                                                                                                                                            }
-                                                                                                                                                          }
-                                                                                                                                                          set_float3(m23[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m24[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float2(m32[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float3(m33[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m34[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float2(m42[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float3(m43[i_37], i_37, 1.0f);
-                                                                                                                                                          set_float4(m44[i_37], i_37, 1.0f);
-                                                                                                                                                        }
-                                                                                                                                                      }
-                                                                                                                                                    }
-                                                                                                                                                  }
-                                                                                                                                                }
-                                                                                                                                              }
-                                                                                                                                            }
-                                                                                                                                          }
-                                                                                                                                        }
-                                                                                                                                      }
-                                                                                                                                    }
-                                                                                                                                  }
-                                                                                                                                }
-                                                                                                                              }
-                                                                                                                            }
-                                                                                                                          }
-                                                                                                                        }
-                                                                                                                      }
-                                                                                                                    }
-                                                                                                                  }
-                                                                                                                }
-                                                                                                              }
-                                                                                                            }
-                                                                                                          }
-                                                                                                        }
-                                                                                                      }
-                                                                                                    }
-                                                                                                  }
-                                                                                                }
-                                                                                              }
-                                                                                            }
-                                                                                          }
-                                                                                        }
-                                                                                      }
-                                                                                    }
-                                                                                  }
-                                                                                }
-                                                                              }
-                                                                            }
-                                                                          }
-                                                                        }
-                                                                      }
-                                                                    }
-                                                                  }
-                                                                }
-                                                              }
-                                                            }
-                                                          }
-                                                        }
-                                                      }
-                                                    }
-                                                  }
-                                                }
-                                              }
-                                            }
-                                          }
-                                        }
-                                      }
-                                    }
-                                  }
-                                }
-                              }
-                            }
-                          }
-                        }
-                      }
-                    }
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
-    }
-  }
-  sum = 0.0f;
-  r = 0;
-  {
-    for(; (x_GLF_global_loop_count < 100); r = (r + 1)) {
-      x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-      const float x_486 = m23[0][r];
-      sum = (sum + x_486);
-      const float x_491 = m24[0][r];
-      sum = (sum + x_491);
-      const float x_496 = m32[0][r];
-      sum = (sum + x_496);
-      const float x_501 = m33[0][r];
-      sum = (sum + x_501);
-      const float x_506 = m34[0][r];
-      sum = (sum + x_506);
-      const float x_511 = m42[0][r];
-      sum = (sum + x_511);
-      const float x_516 = m43[0][r];
-      sum = (sum + x_516);
-      const float x_521 = m44[0][r];
-      sum = (sum + x_521);
-    }
-  }
-  if ((sum == 8.0f)) {
-    x_GLF_color = float4(1.0f, 0.0f, 0.0f, 1.0f);
-  } else {
-    x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
-  }
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol main() {
-  main_1();
-  const main_out tint_symbol_1 = {x_GLF_color};
-  const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
-  return tint_symbol_2;
-}
+test timed out after 30s
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.hlsl
index fb22331..20ec5cd 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.hlsl
@@ -1,294 +1,3 @@
-static int x_GLF_global_loop_count = 0;
-cbuffer cbuffer_x_7 : register(b0, space0) {
-  uint4 x_7[3];
-};
-cbuffer cbuffer_x_10 : register(b1, space0) {
-  uint4 x_10[4];
-};
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+SKIP: FAILED
 
-void main_1() {
-  float f = 0.0f;
-  int i = 0;
-  int i_1 = 0;
-  int i_2 = 0;
-  int i_3 = 0;
-  int i_4 = 0;
-  int i_5 = 0;
-  int i_6 = 0;
-  int i_7 = 0;
-  int i_8 = 0;
-  int i_9 = 0;
-  int i_10 = 0;
-  int i_11 = 0;
-  int i_12 = 0;
-  int i_13 = 0;
-  int i_14 = 0;
-  float sum = 0.0f;
-  int r = 0;
-  x_GLF_global_loop_count = 0;
-  const float x_53 = asfloat(x_7[1].x);
-  f = x_53;
-  const int x_55 = asint(x_10[1].x);
-  i = x_55;
-  while (true) {
-    const int x_60 = i;
-    const uint scalar_offset = ((16u * uint(0))) / 4;
-    const int x_62 = asint(x_10[scalar_offset / 4][scalar_offset % 4]);
-    if ((x_60 < x_62)) {
-    } else {
-      break;
-    }
-    const int x_66 = asint(x_10[1].x);
-    i_1 = x_66;
-    while (true) {
-      const int x_71 = i_1;
-      const uint scalar_offset_1 = ((16u * uint(0))) / 4;
-      const int x_73 = asint(x_10[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-      if ((x_71 < x_73)) {
-      } else {
-        break;
-      }
-      const int x_77 = asint(x_10[1].x);
-      i_2 = x_77;
-      while (true) {
-        const int x_82 = i_2;
-        const uint scalar_offset_2 = ((16u * uint(0))) / 4;
-        const int x_84 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
-        if ((x_82 < x_84)) {
-        } else {
-          break;
-        }
-        const int x_88 = asint(x_10[1].x);
-        i_3 = x_88;
-        while (true) {
-          const int x_93 = i_3;
-          const uint scalar_offset_3 = ((16u * uint(0))) / 4;
-          const int x_95 = asint(x_10[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-          if ((x_93 < x_95)) {
-          } else {
-            break;
-          }
-          const int x_99 = asint(x_10[1].x);
-          i_4 = x_99;
-          while (true) {
-            const int x_104 = i_4;
-            const uint scalar_offset_4 = ((16u * uint(0))) / 4;
-            const int x_106 = asint(x_10[scalar_offset_4 / 4][scalar_offset_4 % 4]);
-            if ((x_104 < x_106)) {
-            } else {
-              break;
-            }
-            const int x_110 = asint(x_10[1].x);
-            i_5 = x_110;
-            while (true) {
-              const int x_115 = i_5;
-              const uint scalar_offset_5 = ((16u * uint(0))) / 4;
-              const int x_117 = asint(x_10[scalar_offset_5 / 4][scalar_offset_5 % 4]);
-              if ((x_115 < x_117)) {
-              } else {
-                break;
-              }
-              const int x_121 = asint(x_10[1].x);
-              i_6 = x_121;
-              while (true) {
-                const int x_126 = i_6;
-                const uint scalar_offset_6 = ((16u * uint(0))) / 4;
-                const int x_128 = asint(x_10[scalar_offset_6 / 4][scalar_offset_6 % 4]);
-                if ((x_126 < x_128)) {
-                } else {
-                  break;
-                }
-                const int x_132 = asint(x_10[1].x);
-                i_7 = x_132;
-                while (true) {
-                  const int x_137 = i_7;
-                  const uint scalar_offset_7 = ((16u * uint(0))) / 4;
-                  const int x_139 = asint(x_10[scalar_offset_7 / 4][scalar_offset_7 % 4]);
-                  if ((x_137 < x_139)) {
-                  } else {
-                    break;
-                  }
-                  const int x_143 = asint(x_10[1].x);
-                  i_8 = x_143;
-                  while (true) {
-                    const int x_148 = i_8;
-                    const uint scalar_offset_8 = ((16u * uint(0))) / 4;
-                    const int x_150 = asint(x_10[scalar_offset_8 / 4][scalar_offset_8 % 4]);
-                    if ((x_148 < x_150)) {
-                    } else {
-                      break;
-                    }
-                    const int x_154 = asint(x_10[1].x);
-                    i_9 = x_154;
-                    while (true) {
-                      const int x_159 = i_9;
-                      const uint scalar_offset_9 = ((16u * uint(0))) / 4;
-                      const int x_161 = asint(x_10[scalar_offset_9 / 4][scalar_offset_9 % 4]);
-                      if ((x_159 < x_161)) {
-                      } else {
-                        break;
-                      }
-                      const int x_165 = asint(x_10[1].x);
-                      i_10 = x_165;
-                      while (true) {
-                        const int x_170 = i_10;
-                        const uint scalar_offset_10 = ((16u * uint(0))) / 4;
-                        const int x_172 = asint(x_10[scalar_offset_10 / 4][scalar_offset_10 % 4]);
-                        if ((x_170 < x_172)) {
-                        } else {
-                          break;
-                        }
-                        const int x_176 = asint(x_10[1].x);
-                        i_11 = x_176;
-                        while (true) {
-                          const int x_181 = i_11;
-                          const int x_183 = asint(x_10[2].x);
-                          if ((x_181 < x_183)) {
-                          } else {
-                            break;
-                          }
-                          const int x_187 = asint(x_10[1].x);
-                          i_12 = x_187;
-                          while (true) {
-                            const int x_192 = i_12;
-                            const uint scalar_offset_11 = ((16u * uint(0))) / 4;
-                            const int x_194 = asint(x_10[scalar_offset_11 / 4][scalar_offset_11 % 4]);
-                            if ((x_192 < x_194)) {
-                            } else {
-                              break;
-                            }
-                            const int x_198 = asint(x_10[1].x);
-                            i_13 = x_198;
-                            while (true) {
-                              const int x_203 = i_13;
-                              const uint scalar_offset_12 = ((16u * uint(0))) / 4;
-                              const int x_205 = asint(x_10[scalar_offset_12 / 4][scalar_offset_12 % 4]);
-                              if ((x_203 < x_205)) {
-                              } else {
-                                break;
-                              }
-                              const int x_209 = asint(x_10[1].x);
-                              i_14 = x_209;
-                              while (true) {
-                                const int x_214 = i_14;
-                                const int x_216 = asint(x_10[2].x);
-                                if ((x_214 < x_216)) {
-                                } else {
-                                  break;
-                                }
-                                while (true) {
-                                  x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-                                  {
-                                    const int x_225 = x_GLF_global_loop_count;
-                                    const int x_227 = asint(x_10[3].x);
-                                    if ((x_225 < (100 - x_227))) {
-                                    } else {
-                                      break;
-                                    }
-                                  }
-                                }
-                                const uint scalar_offset_13 = ((16u * uint(0))) / 4;
-                                const float x_231 = asfloat(x_7[scalar_offset_13 / 4][scalar_offset_13 % 4]);
-                                f = (f + x_231);
-                                {
-                                  i_14 = (i_14 + 1);
-                                }
-                              }
-                              {
-                                i_13 = (i_13 + 1);
-                              }
-                            }
-                            {
-                              i_12 = (i_12 + 1);
-                            }
-                          }
-                          {
-                            i_11 = (i_11 + 1);
-                          }
-                        }
-                        {
-                          i_10 = (i_10 + 1);
-                        }
-                      }
-                      {
-                        i_9 = (i_9 + 1);
-                      }
-                    }
-                    {
-                      i_8 = (i_8 + 1);
-                    }
-                  }
-                  {
-                    i_7 = (i_7 + 1);
-                  }
-                }
-                {
-                  i_6 = (i_6 + 1);
-                }
-              }
-              {
-                i_5 = (i_5 + 1);
-              }
-            }
-            {
-              i_4 = (i_4 + 1);
-            }
-          }
-          {
-            i_3 = (i_3 + 1);
-          }
-        }
-        {
-          i_2 = (i_2 + 1);
-        }
-      }
-      {
-        i_1 = (i_1 + 1);
-      }
-    }
-    {
-      i = (i + 1);
-    }
-  }
-  const float x_265 = asfloat(x_7[1].x);
-  sum = x_265;
-  const int x_267 = asint(x_10[1].x);
-  r = x_267;
-  {
-    for(; (x_GLF_global_loop_count < 100); r = (r + 1)) {
-      x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-      sum = (sum + f);
-    }
-  }
-  const float x_282 = sum;
-  const float x_284 = asfloat(x_7[2].x);
-  if ((x_282 == x_284)) {
-    const uint scalar_offset_14 = ((16u * uint(0))) / 4;
-    const int x_290 = asint(x_10[scalar_offset_14 / 4][scalar_offset_14 % 4]);
-    const int x_293 = asint(x_10[1].x);
-    const int x_296 = asint(x_10[1].x);
-    const uint scalar_offset_15 = ((16u * uint(0))) / 4;
-    const int x_299 = asint(x_10[scalar_offset_15 / 4][scalar_offset_15 % 4]);
-    x_GLF_color = float4(float(x_290), float(x_293), float(x_296), float(x_299));
-  } else {
-    const int x_303 = asint(x_10[1].x);
-    const float x_304 = float(x_303);
-    x_GLF_color = float4(x_304, x_304, x_304, x_304);
-  }
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol main() {
-  main_1();
-  const main_out tint_symbol_1 = {x_GLF_color};
-  const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
-  return tint_symbol_4;
-}
+test timed out after 30s
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.hlsl
index fb22331..20ec5cd 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.hlsl
@@ -1,294 +1,3 @@
-static int x_GLF_global_loop_count = 0;
-cbuffer cbuffer_x_7 : register(b0, space0) {
-  uint4 x_7[3];
-};
-cbuffer cbuffer_x_10 : register(b1, space0) {
-  uint4 x_10[4];
-};
-static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
+SKIP: FAILED
 
-void main_1() {
-  float f = 0.0f;
-  int i = 0;
-  int i_1 = 0;
-  int i_2 = 0;
-  int i_3 = 0;
-  int i_4 = 0;
-  int i_5 = 0;
-  int i_6 = 0;
-  int i_7 = 0;
-  int i_8 = 0;
-  int i_9 = 0;
-  int i_10 = 0;
-  int i_11 = 0;
-  int i_12 = 0;
-  int i_13 = 0;
-  int i_14 = 0;
-  float sum = 0.0f;
-  int r = 0;
-  x_GLF_global_loop_count = 0;
-  const float x_53 = asfloat(x_7[1].x);
-  f = x_53;
-  const int x_55 = asint(x_10[1].x);
-  i = x_55;
-  while (true) {
-    const int x_60 = i;
-    const uint scalar_offset = ((16u * uint(0))) / 4;
-    const int x_62 = asint(x_10[scalar_offset / 4][scalar_offset % 4]);
-    if ((x_60 < x_62)) {
-    } else {
-      break;
-    }
-    const int x_66 = asint(x_10[1].x);
-    i_1 = x_66;
-    while (true) {
-      const int x_71 = i_1;
-      const uint scalar_offset_1 = ((16u * uint(0))) / 4;
-      const int x_73 = asint(x_10[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-      if ((x_71 < x_73)) {
-      } else {
-        break;
-      }
-      const int x_77 = asint(x_10[1].x);
-      i_2 = x_77;
-      while (true) {
-        const int x_82 = i_2;
-        const uint scalar_offset_2 = ((16u * uint(0))) / 4;
-        const int x_84 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
-        if ((x_82 < x_84)) {
-        } else {
-          break;
-        }
-        const int x_88 = asint(x_10[1].x);
-        i_3 = x_88;
-        while (true) {
-          const int x_93 = i_3;
-          const uint scalar_offset_3 = ((16u * uint(0))) / 4;
-          const int x_95 = asint(x_10[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-          if ((x_93 < x_95)) {
-          } else {
-            break;
-          }
-          const int x_99 = asint(x_10[1].x);
-          i_4 = x_99;
-          while (true) {
-            const int x_104 = i_4;
-            const uint scalar_offset_4 = ((16u * uint(0))) / 4;
-            const int x_106 = asint(x_10[scalar_offset_4 / 4][scalar_offset_4 % 4]);
-            if ((x_104 < x_106)) {
-            } else {
-              break;
-            }
-            const int x_110 = asint(x_10[1].x);
-            i_5 = x_110;
-            while (true) {
-              const int x_115 = i_5;
-              const uint scalar_offset_5 = ((16u * uint(0))) / 4;
-              const int x_117 = asint(x_10[scalar_offset_5 / 4][scalar_offset_5 % 4]);
-              if ((x_115 < x_117)) {
-              } else {
-                break;
-              }
-              const int x_121 = asint(x_10[1].x);
-              i_6 = x_121;
-              while (true) {
-                const int x_126 = i_6;
-                const uint scalar_offset_6 = ((16u * uint(0))) / 4;
-                const int x_128 = asint(x_10[scalar_offset_6 / 4][scalar_offset_6 % 4]);
-                if ((x_126 < x_128)) {
-                } else {
-                  break;
-                }
-                const int x_132 = asint(x_10[1].x);
-                i_7 = x_132;
-                while (true) {
-                  const int x_137 = i_7;
-                  const uint scalar_offset_7 = ((16u * uint(0))) / 4;
-                  const int x_139 = asint(x_10[scalar_offset_7 / 4][scalar_offset_7 % 4]);
-                  if ((x_137 < x_139)) {
-                  } else {
-                    break;
-                  }
-                  const int x_143 = asint(x_10[1].x);
-                  i_8 = x_143;
-                  while (true) {
-                    const int x_148 = i_8;
-                    const uint scalar_offset_8 = ((16u * uint(0))) / 4;
-                    const int x_150 = asint(x_10[scalar_offset_8 / 4][scalar_offset_8 % 4]);
-                    if ((x_148 < x_150)) {
-                    } else {
-                      break;
-                    }
-                    const int x_154 = asint(x_10[1].x);
-                    i_9 = x_154;
-                    while (true) {
-                      const int x_159 = i_9;
-                      const uint scalar_offset_9 = ((16u * uint(0))) / 4;
-                      const int x_161 = asint(x_10[scalar_offset_9 / 4][scalar_offset_9 % 4]);
-                      if ((x_159 < x_161)) {
-                      } else {
-                        break;
-                      }
-                      const int x_165 = asint(x_10[1].x);
-                      i_10 = x_165;
-                      while (true) {
-                        const int x_170 = i_10;
-                        const uint scalar_offset_10 = ((16u * uint(0))) / 4;
-                        const int x_172 = asint(x_10[scalar_offset_10 / 4][scalar_offset_10 % 4]);
-                        if ((x_170 < x_172)) {
-                        } else {
-                          break;
-                        }
-                        const int x_176 = asint(x_10[1].x);
-                        i_11 = x_176;
-                        while (true) {
-                          const int x_181 = i_11;
-                          const int x_183 = asint(x_10[2].x);
-                          if ((x_181 < x_183)) {
-                          } else {
-                            break;
-                          }
-                          const int x_187 = asint(x_10[1].x);
-                          i_12 = x_187;
-                          while (true) {
-                            const int x_192 = i_12;
-                            const uint scalar_offset_11 = ((16u * uint(0))) / 4;
-                            const int x_194 = asint(x_10[scalar_offset_11 / 4][scalar_offset_11 % 4]);
-                            if ((x_192 < x_194)) {
-                            } else {
-                              break;
-                            }
-                            const int x_198 = asint(x_10[1].x);
-                            i_13 = x_198;
-                            while (true) {
-                              const int x_203 = i_13;
-                              const uint scalar_offset_12 = ((16u * uint(0))) / 4;
-                              const int x_205 = asint(x_10[scalar_offset_12 / 4][scalar_offset_12 % 4]);
-                              if ((x_203 < x_205)) {
-                              } else {
-                                break;
-                              }
-                              const int x_209 = asint(x_10[1].x);
-                              i_14 = x_209;
-                              while (true) {
-                                const int x_214 = i_14;
-                                const int x_216 = asint(x_10[2].x);
-                                if ((x_214 < x_216)) {
-                                } else {
-                                  break;
-                                }
-                                while (true) {
-                                  x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-                                  {
-                                    const int x_225 = x_GLF_global_loop_count;
-                                    const int x_227 = asint(x_10[3].x);
-                                    if ((x_225 < (100 - x_227))) {
-                                    } else {
-                                      break;
-                                    }
-                                  }
-                                }
-                                const uint scalar_offset_13 = ((16u * uint(0))) / 4;
-                                const float x_231 = asfloat(x_7[scalar_offset_13 / 4][scalar_offset_13 % 4]);
-                                f = (f + x_231);
-                                {
-                                  i_14 = (i_14 + 1);
-                                }
-                              }
-                              {
-                                i_13 = (i_13 + 1);
-                              }
-                            }
-                            {
-                              i_12 = (i_12 + 1);
-                            }
-                          }
-                          {
-                            i_11 = (i_11 + 1);
-                          }
-                        }
-                        {
-                          i_10 = (i_10 + 1);
-                        }
-                      }
-                      {
-                        i_9 = (i_9 + 1);
-                      }
-                    }
-                    {
-                      i_8 = (i_8 + 1);
-                    }
-                  }
-                  {
-                    i_7 = (i_7 + 1);
-                  }
-                }
-                {
-                  i_6 = (i_6 + 1);
-                }
-              }
-              {
-                i_5 = (i_5 + 1);
-              }
-            }
-            {
-              i_4 = (i_4 + 1);
-            }
-          }
-          {
-            i_3 = (i_3 + 1);
-          }
-        }
-        {
-          i_2 = (i_2 + 1);
-        }
-      }
-      {
-        i_1 = (i_1 + 1);
-      }
-    }
-    {
-      i = (i + 1);
-    }
-  }
-  const float x_265 = asfloat(x_7[1].x);
-  sum = x_265;
-  const int x_267 = asint(x_10[1].x);
-  r = x_267;
-  {
-    for(; (x_GLF_global_loop_count < 100); r = (r + 1)) {
-      x_GLF_global_loop_count = (x_GLF_global_loop_count + 1);
-      sum = (sum + f);
-    }
-  }
-  const float x_282 = sum;
-  const float x_284 = asfloat(x_7[2].x);
-  if ((x_282 == x_284)) {
-    const uint scalar_offset_14 = ((16u * uint(0))) / 4;
-    const int x_290 = asint(x_10[scalar_offset_14 / 4][scalar_offset_14 % 4]);
-    const int x_293 = asint(x_10[1].x);
-    const int x_296 = asint(x_10[1].x);
-    const uint scalar_offset_15 = ((16u * uint(0))) / 4;
-    const int x_299 = asint(x_10[scalar_offset_15 / 4][scalar_offset_15 % 4]);
-    x_GLF_color = float4(float(x_290), float(x_293), float(x_296), float(x_299));
-  } else {
-    const int x_303 = asint(x_10[1].x);
-    const float x_304 = float(x_303);
-    x_GLF_color = float4(x_304, x_304, x_304, x_304);
-  }
-  return;
-}
-
-struct main_out {
-  float4 x_GLF_color_1;
-};
-struct tint_symbol {
-  float4 x_GLF_color_1 : SV_Target0;
-};
-
-tint_symbol main() {
-  main_1();
-  const main_out tint_symbol_1 = {x_GLF_color};
-  const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
-  return tint_symbol_4;
-}
+test timed out after 30s
\ No newline at end of file
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.spvasm.expected.hlsl
index 1a025de..2ac4c9b 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float2(inout float2 vec, int idx, float val) {
   vec = (idx.xx == int2(0, 1)) ? val.xx : vec;
 }
@@ -85,3 +87,7 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001C6DCCB8180(45,18-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000001C6DCCB8180(32,5-16): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000001C6DCCB8180(22,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.wgsl.expected.hlsl
index 34889ee..756e3f6 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float2(inout float2 vec, int idx, float val) {
   vec = (idx.xx == int2(0, 1)) ? val.xx : vec;
 }
@@ -89,3 +91,7 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001B29A7B25C0(45,18-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000001B29A7B25C0(32,5-16): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000001B29A7B25C0(22,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.hlsl
index 55b3cc6..39916ef 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_5 : register(b0, space0) {
   uint4 x_5[2];
@@ -48,3 +50,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001F1857EF790(18,12-15): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.hlsl
index 55b3cc6..f277b37 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_5 : register(b0, space0) {
   uint4 x_5[2];
@@ -48,3 +50,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000185C45B3230(18,12-15): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.spvasm.expected.hlsl
index aea4365..cb6868a 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -58,3 +60,8 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000183AD3AB240(28,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x00000183AD3AB240(33,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x00000183AD3AB240(32,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x00000183AD3AB240(35,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.wgsl.expected.hlsl
index aea4365..e4348c5 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -58,3 +60,8 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000021C30D8F880(28,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000021C30D8F880(33,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000021C30D8F880(32,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x0000021C30D8F880(35,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.spvasm.expected.hlsl
index c182316..58c4da7 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct S {
   float numbers[3];
 };
@@ -82,3 +84,5 @@
   const tint_symbol tint_symbol_9 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_9;
 }
+C:\src\tint\test\Shader@0x0000022951B91F60(33,3-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.wgsl.expected.hlsl
index c182316..f5f76a6 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct S {
   float numbers[3];
 };
@@ -82,3 +84,5 @@
   const tint_symbol tint_symbol_9 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_9;
 }
+C:\src\tint\test\Shader@0x000002E12CF56890(33,3-24): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.hlsl
index 1653b58..ef48576 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.hlsl
@@ -87,9 +87,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
-error: validation errors
-T:\tmp\uf58.0:82: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x0000020495BF5060(21,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.hlsl
index 94afa1b..a9573d8 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.hlsl
@@ -87,9 +87,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
-error: validation errors
-T:\tmp\u4dc.0:82: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x0000020110131FE0(21,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.spvasm.expected.hlsl
index 75c82ea..b3c1f40 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -107,3 +109,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000001D542C02010(32,14-22): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.wgsl.expected.hlsl
index 75c82ea..c5b21ba 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float3(inout float3 vec, int idx, float val) {
   vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
 }
@@ -107,3 +109,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000002A8E28000B0(32,14-22): error X3500: array reference cannot be used as an l-value; not natively addressable
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.spvasm.expected.hlsl
index 9409852..4465561 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -89,3 +91,7 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x00000204988F8F80(36,20-30): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x00000204988F8F80(36,16-32): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x00000204988F8F80(22,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.wgsl.expected.hlsl
index 258443f..4654374 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -101,3 +103,7 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x000002F8CC0810E0(36,20-30): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x000002F8CC0810E0(36,16-32): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000002F8CC0810E0(22,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.spvasm.expected.hlsl
index 60bd733..80249a8 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -42,3 +44,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000025EFE826FC0(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000025EFE826FC0(15,5): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.wgsl.expected.hlsl
index 60bd733..d7b3211 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -42,3 +44,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001FDE7828C30(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001FDE7828C30(15,5): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.spvasm.expected.hlsl
index 279a0dd..8c33320 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_10 : register(b0, space0) {
   uint4 x_10[1];
@@ -67,3 +69,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000001976079AA90(7,14-29): error X3507: 'func_f1_': Not all control paths return a value
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.wgsl.expected.hlsl
index 279a0dd..38923d2 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_10 : register(b0, space0) {
   uint4 x_10[1];
@@ -67,3 +69,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x0000020625AC68E0(7,14-29): error X3507: 'func_f1_': Not all control paths return a value
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.spvasm.expected.hlsl
index db312d4..d8ac54b 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.spvasm.expected.hlsl
@@ -65,8 +65,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
-T:\tmp\u93g.0:23:20: error: matrix row index '3' is out of bounds
-    set_float2(m32[3], x_45, x_40);
-                   ^
-
+C:\src\tint\test\Shader@0x0000029DDF1A00E0(23,16-21): error X3504: array index out of bounds
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.wgsl.expected.hlsl
index 3ba9bc4..89c14b0 100755
--- a/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.wgsl.expected.hlsl
@@ -65,8 +65,5 @@
   const tint_symbol tint_symbol_5 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_5;
 }
-T:\tmp\uffo.0:23:20: error: matrix row index '3' is out of bounds
-    set_float2(m32[3], x_45, x_40);
-                   ^
-
+C:\src\tint\test\Shader@0x0000020469C7EEA0(23,16-21): error X3504: array index out of bounds
 
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.spvasm.expected.hlsl
index d2685c7..a5af68f 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b1, space0) {
   uint4 x_6[3];
 };
@@ -112,3 +114,5 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x000001DCAB969A50(52,13-21): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.wgsl.expected.hlsl
index d2685c7..3713117 100644
--- a/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b1, space0) {
   uint4 x_6[3];
 };
@@ -112,3 +114,5 @@
   const tint_symbol tint_symbol_4 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x00000168838E90D0(52,13-21): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.spvasm.expected.hlsl
index 658f19b..f3f9061 100644
--- a/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.spvasm.expected.hlsl
@@ -1,47 +1,38 @@
-SKIP: FAILED
+static float4 color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 
-
-var<private> color : vec4<f32>;
-
-fn drawShape_vf2_(pos : ptr<function, vec2<f32>>) -> vec3<f32> {
-  var c3 : bool;
-  var x_35_phi : bool;
-  let x_32 : f32 = (*(pos)).y;
-  let x_33 : bool = (x_32 < 1.0);
+float3 drawShape_vf2_(inout float2 pos) {
+  bool c3 = false;
+  bool x_35_phi = false;
+  const float x_32 = pos.y;
+  const bool x_33 = (x_32 < 1.0f);
   c3 = x_33;
   x_35_phi = x_33;
-  loop {
-    let x_35 : bool = x_35_phi;
-    if (x_35) {
-    } else {
-      break;
-    }
-    return vec3<f32>(1.0, 1.0, 1.0);
-
-    continuing {
-      x_35_phi = false;
+  {
+    for(; x_35_phi; x_35_phi = false) {
+      return float3(1.0f, 1.0f, 1.0f);
     }
   }
-  return vec3<f32>(1.0, 1.0, 1.0);
+  return float3(1.0f, 1.0f, 1.0f);
 }
 
-fn main_1() {
-  var param : vec2<f32>;
-  param = vec2<f32>(1.0, 1.0);
-  let x_29 : vec3<f32> = drawShape_vf2_(&(param));
-  color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
+void main_1() {
+  float2 param = float2(0.0f, 0.0f);
+  param = float2(1.0f, 1.0f);
+  const float3 x_29 = drawShape_vf2_(param);
+  color = float4(1.0f, 0.0f, 0.0f, 1.0f);
   return;
 }
 
 struct main_out {
-  [[location(0)]]
-  color_1 : vec4<f32>;
+  float4 color_1;
+};
+struct tint_symbol {
+  float4 color_1 : SV_Target0;
 };
 
-[[stage(fragment)]]
-fn main() -> main_out {
+tint_symbol main() {
   main_1();
-  return main_out(color);
+  const main_out tint_symbol_1 = {color};
+  const tint_symbol tint_symbol_2 = {tint_symbol_1.color_1};
+  return tint_symbol_2;
 }
-
-Failed to generate: error: for-loop condition must be bool, got bool
diff --git a/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.wgsl.expected.hlsl
index 028dc34..f3f9061 100644
--- a/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.wgsl.expected.hlsl
@@ -1,50 +1,38 @@
-SKIP: FAILED
+static float4 color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 
-
-var<private> color : vec4<f32>;
-
-fn drawShape_vf2_(pos : ptr<function, vec2<f32>>) -> vec3<f32> {
-  var c3 : bool;
-  var x_35_phi : bool;
-  let x_32 : f32 = (*(pos)).y;
-  let x_33 : bool = (x_32 < 1.0);
+float3 drawShape_vf2_(inout float2 pos) {
+  bool c3 = false;
+  bool x_35_phi = false;
+  const float x_32 = pos.y;
+  const bool x_33 = (x_32 < 1.0f);
   c3 = x_33;
   x_35_phi = x_33;
-  loop {
-    let x_35 : bool = x_35_phi;
-    if (x_35) {
-    } else {
-      break;
-    }
-    return vec3<f32>(1.0, 1.0, 1.0);
-
-    continuing {
-      x_35_phi = false;
+  {
+    for(; x_35_phi; x_35_phi = false) {
+      return float3(1.0f, 1.0f, 1.0f);
     }
   }
-  return vec3<f32>(1.0, 1.0, 1.0);
+  return float3(1.0f, 1.0f, 1.0f);
 }
 
-fn main_1() {
-  var param : vec2<f32>;
-  param = vec2<f32>(1.0, 1.0);
-  let x_29 : vec3<f32> = drawShape_vf2_(&(param));
-  color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
+void main_1() {
+  float2 param = float2(0.0f, 0.0f);
+  param = float2(1.0f, 1.0f);
+  const float3 x_29 = drawShape_vf2_(param);
+  color = float4(1.0f, 0.0f, 0.0f, 1.0f);
   return;
 }
 
 struct main_out {
-  [[location(0)]]
-  color_1 : vec4<f32>;
+  float4 color_1;
+};
+struct tint_symbol {
+  float4 color_1 : SV_Target0;
 };
 
-[[stage(fragment)]]
-fn main() -> main_out {
+tint_symbol main() {
   main_1();
-  return main_out(color);
+  const main_out tint_symbol_1 = {color};
+  const tint_symbol tint_symbol_2 = {tint_symbol_1.color_1};
+  return tint_symbol_2;
 }
-
-Failed to generate: graphicsfuzz/for-condition-always-false/0-opt.wgsl:11:23 error: for-loop condition must be bool, got bool
-    let x_35 : bool = x_35_phi;
-                      ^^^^^^^^
-
diff --git a/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.hlsl
index 4b3e3a8..b6eade1 100755
--- a/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.hlsl
@@ -62,9 +62,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
-error: validation errors
-T:\tmp\u9kk.0:55: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x0000015B7FF57370(13,10-13): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.hlsl
index e4b7943..1db853d 100755
--- a/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.hlsl
@@ -62,9 +62,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
-error: validation errors
-T:\tmp\udf0.0:55: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x0000022DDADAA730(13,10-13): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.spvasm.expected.hlsl
index 583cd97..06a8495 100644
--- a/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -46,3 +48,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000027AB59F7F40(19,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000027AB59F7F40(22,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.wgsl.expected.hlsl
index 583cd97..0910790 100644
--- a/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/if-and-switch/0.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -46,3 +48,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x0000020777179050(19,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x0000020777179050(22,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.hlsl
index f57ad42..37f384f 100644
--- a/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
@@ -274,3 +276,10 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000002BFA0A3D040(8,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002BFA0A3D040(71,9-20): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002BFA0A3D040(186,7-18): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002BFA0A3D040(71,9-20): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002BFA0A3D040(186,7-18): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002BFA0A3D040(123,11-22): error X4029: infinite loop detected - loop never exits
+
diff --git a/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.hlsl
index f57ad42..5bb26c1 100644
--- a/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
@@ -274,3 +276,10 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000002E21608F310(8,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002E21608F310(71,9-20): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002E21608F310(186,7-18): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002E21608F310(71,9-20): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002E21608F310(186,7-18): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002E21608F310(123,11-22): error X4029: infinite loop detected - loop never exits
+
diff --git a/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.spvasm.expected.hlsl
index 69942c8..d6635f9 100644
--- a/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -77,3 +79,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x0000018B52EEB9C0(16,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.wgsl.expected.hlsl
index 69942c8..1ba4ded 100644
--- a/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 void set_float4(inout float4 vec, int idx, float val) {
   vec = (idx.xxxx == int4(0, 1, 2, 3)) ? val.xxxx : vec;
 }
@@ -77,3 +79,5 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000002906756D530(16,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.spvasm.expected.hlsl
index c45a7a5..75f1ec9 100644
--- a/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
@@ -53,3 +55,6 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000001A268ED57F0(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001A268ED57F0(27,5): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.wgsl.expected.hlsl
index c45a7a5..734bbd1 100644
--- a/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 static float4 x_GLF_color = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
@@ -53,3 +55,6 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x00000267DEB27120(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x00000267DEB27120(27,5): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.spvasm.expected.hlsl
index b1d646d..4a4c1b8 100755
--- a/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.spvasm.expected.hlsl
@@ -109,5 +109,4 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-Internal compiler error: access violation. Attempted to read from address 0x0000000000000048
 
diff --git a/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.wgsl.expected.hlsl
index b1d646d..4a4c1b8 100755
--- a/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.wgsl.expected.hlsl
@@ -109,5 +109,4 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-Internal compiler error: access violation. Attempted to read from address 0x0000000000000048
 
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.spvasm.expected.hlsl
index 5e07bc7..bb46607 100755
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.spvasm.expected.hlsl
@@ -1105,46 +1105,48 @@
   const tint_symbol_2 tint_symbol_24 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_24;
 }
-T:\tmp\ulw.0:1053:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_SR61vW:1053:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
         if ((x_570 == asint(x_574))) {
              ~~~~~~^~~~~~~~~~~~~~~
-T:\tmp\ulw.0:1053:20: note: remove extraneous parentheses around the comparison to silence this warning
+tint_SR61vW:1053:20: note: remove extraneous parentheses around the comparison to silence this warning
         if ((x_570 == asint(x_574))) {
             ~      ^              ~
-T:\tmp\ulw.0:1053:20: note: use '=' to turn this equality comparison into an assignment
+tint_SR61vW:1053:20: note: use '=' to turn this equality comparison into an assignment
         if ((x_570 == asint(x_574))) {
                    ^~
                    =
-T:\tmp\ulw.0:1063:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_SR61vW:1063:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
         if ((x_570 == asint(-1))) {
              ~~~~~~^~~~~~~~~~~~
-T:\tmp\ulw.0:1063:20: note: remove extraneous parentheses around the comparison to silence this warning
+tint_SR61vW:1063:20: note: remove extraneous parentheses around the comparison to silence this warning
         if ((x_570 == asint(-1))) {
             ~      ^           ~
-T:\tmp\ulw.0:1063:20: note: use '=' to turn this equality comparison into an assignment
+tint_SR61vW:1063:20: note: use '=' to turn this equality comparison into an assignment
         if ((x_570 == asint(-1))) {
                    ^~
                    =
-T:\tmp\ulw.0:1080:14: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_SR61vW:1080:14: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
   if ((x_572 == asint(20))) {
        ~~~~~~^~~~~~~~~~~~
-T:\tmp\ulw.0:1080:14: note: remove extraneous parentheses around the comparison to silence this warning
+tint_SR61vW:1080:14: note: remove extraneous parentheses around the comparison to silence this warning
   if ((x_572 == asint(20))) {
       ~      ^           ~
-T:\tmp\ulw.0:1080:14: note: use '=' to turn this equality comparison into an assignment
+tint_SR61vW:1080:14: note: use '=' to turn this equality comparison into an assignment
   if ((x_572 == asint(20))) {
              ^~
              =
+warning: DXIL.dll not found.  Resulting DXIL will not be signed for use in release environments.
+
 error: validation errors
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
-T:\tmp\ulw.0:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
+tint_SR61vW:1098: error: Loop must have break.
 Validation failed.
 
 
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl.expected.hlsl
index 46480e1..42418f3 100755
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl.expected.hlsl
@@ -1105,46 +1105,48 @@
   const tint_symbol_2 tint_symbol_24 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_24;
 }
-T:\tmp\uq0.0:1053:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_wDgsnM:1053:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
         if ((x_570 == asint(x_574))) {
              ~~~~~~^~~~~~~~~~~~~~~
-T:\tmp\uq0.0:1053:20: note: remove extraneous parentheses around the comparison to silence this warning
+tint_wDgsnM:1053:20: note: remove extraneous parentheses around the comparison to silence this warning
         if ((x_570 == asint(x_574))) {
             ~      ^              ~
-T:\tmp\uq0.0:1053:20: note: use '=' to turn this equality comparison into an assignment
+tint_wDgsnM:1053:20: note: use '=' to turn this equality comparison into an assignment
         if ((x_570 == asint(x_574))) {
                    ^~
                    =
-T:\tmp\uq0.0:1063:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_wDgsnM:1063:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
         if ((x_570 == asint(-1))) {
              ~~~~~~^~~~~~~~~~~~
-T:\tmp\uq0.0:1063:20: note: remove extraneous parentheses around the comparison to silence this warning
+tint_wDgsnM:1063:20: note: remove extraneous parentheses around the comparison to silence this warning
         if ((x_570 == asint(-1))) {
             ~      ^           ~
-T:\tmp\uq0.0:1063:20: note: use '=' to turn this equality comparison into an assignment
+tint_wDgsnM:1063:20: note: use '=' to turn this equality comparison into an assignment
         if ((x_570 == asint(-1))) {
                    ^~
                    =
-T:\tmp\uq0.0:1080:14: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
+tint_wDgsnM:1080:14: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
   if ((x_572 == asint(20))) {
        ~~~~~~^~~~~~~~~~~~
-T:\tmp\uq0.0:1080:14: note: remove extraneous parentheses around the comparison to silence this warning
+tint_wDgsnM:1080:14: note: remove extraneous parentheses around the comparison to silence this warning
   if ((x_572 == asint(20))) {
       ~      ^           ~
-T:\tmp\uq0.0:1080:14: note: use '=' to turn this equality comparison into an assignment
+tint_wDgsnM:1080:14: note: use '=' to turn this equality comparison into an assignment
   if ((x_572 == asint(20))) {
              ^~
              =
+warning: DXIL.dll not found.  Resulting DXIL will not be signed for use in release environments.
+
 error: validation errors
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
-T:\tmp\uq0.0:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
+tint_wDgsnM:1098: error: Loop must have break.
 Validation failed.
 
 
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.hlsl
index bc5fdac..4f182fb 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -230,3 +232,9 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
+C:\src\tint\test\Shader@0x0000021FA27400C0(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000021FA27400C0(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000021FA27400C0(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000021FA27400C0(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.hlsl
index bc5fdac..05f41b9 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -230,3 +232,9 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
+C:\src\tint\test\Shader@0x00000210665C00D0(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000210665C00D0(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000210665C00D0(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000210665C00D0(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.hlsl
index d3b022e..306359b 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -245,3 +247,9 @@
   const tint_symbol_2 tint_symbol_4 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x000001B9F45EF8C0(26,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001B9F45EF8C0(26,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001B9F45EF8C0(26,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001B9F45EF8C0(26,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.hlsl
index d3b022e..390b21a 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -245,3 +247,9 @@
   const tint_symbol_2 tint_symbol_4 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_4;
 }
+C:\src\tint\test\Shader@0x0000023E291817E0(26,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000023E291817E0(26,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000023E291817E0(26,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x0000023E291817E0(26,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.hlsl
index 1a82ba8..0005017 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -230,3 +232,9 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
+C:\src\tint\test\Shader@0x000001759DB96E70(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001759DB96E70(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001759DB96E70(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001759DB96E70(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.hlsl
index 1a82ba8..adebc99 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -230,3 +232,9 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
+C:\src\tint\test\Shader@0x000001C35344C010(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001C35344C010(25,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001C35344C010(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001C35344C010(25,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.hlsl
index ece942a..b843916 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -269,3 +271,10 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000206698D4050(32,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000206698D4050(32,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000206698D4050(32,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000206698D4050(32,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x00000206698D4050(90,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x00000206698D4050(203,5-35): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.hlsl
index ece942a..53667a8 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct BST {
   int data;
   int leftIndex;
@@ -269,3 +271,10 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000002670FAA27F0(32,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002670FAA27F0(32,3-14): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002670FAA27F0(32,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002670FAA27F0(32,3-14): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002670FAA27F0(90,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000002670FAA27F0(203,5-35): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.spvasm.expected.hlsl
index 7c36066..c39795d 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct QuicksortObject {
   int numbers[10];
 };
@@ -230,3 +232,9 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x00000212422D4360(146,7-22): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x00000212422D4360(101,19-29): warning X3556: integer divides may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x00000212422D4360(20,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x00000212422D4360(41,3-14): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x00000212422D4360(102,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.wgsl.expected.hlsl
index 7c36066..757f119 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct QuicksortObject {
   int numbers[10];
 };
@@ -230,3 +232,9 @@
   const tint_symbol_2 tint_symbol_5 = {tint_symbol_3.x_GLF_color_1};
   return tint_symbol_5;
 }
+C:\src\tint\test\Shader@0x000002356DF3F300(146,7-22): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x000002356DF3F300(101,19-29): warning X3556: integer divides may be much slower, try using uints if possible.
+C:\src\tint\test\Shader@0x000002356DF3F300(20,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000002356DF3F300(41,3-14): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000002356DF3F300(102,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.spvasm.expected.hlsl
index 017bbe6..6e863ba 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct QuicksortObject {
   int numbers[10];
 };
@@ -225,3 +227,8 @@
   const tint_symbol_2 tint_symbol_6 = {tint_symbol_3.frag_color_1, tint_symbol_3.gl_Position};
   return tint_symbol_6;
 }
+C:\src\tint\test\Shader@0x000001CC31585100(133,7-22): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x000001CC31585100(25,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000001CC31585100(46,3-14): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000001CC31585100(88,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.wgsl.expected.hlsl
index 017bbe6..29e705c 100644
--- a/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 struct QuicksortObject {
   int numbers[10];
 };
@@ -225,3 +227,8 @@
   const tint_symbol_2 tint_symbol_6 = {tint_symbol_3.frag_color_1, tint_symbol_3.gl_Position};
   return tint_symbol_6;
 }
+C:\src\tint\test\Shader@0x000001C13FF693E0(133,7-22): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x000001C13FF693E0(25,3-20): error X3500: array reference cannot be used as an l-value; not natively addressable
+C:\src\tint\test\Shader@0x000001C13FF693E0(46,3-14): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000001C13FF693E0(88,3-14): error X3511: forced to unroll loop, but unrolling failed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.spvasm.expected.hlsl
index 68b63f9..a432855 100644
--- a/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -70,3 +72,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x00000259291CFD70(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x00000259291CFD70(26,13-21): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.wgsl.expected.hlsl
index 68b63f9..17e7f25 100644
--- a/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/switch-loop-switch-if/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -70,3 +72,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001E28E944DC0(11,5): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001E28E944DC0(26,13-21): error X3708: continue cannot be used in a switch
+
diff --git a/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.spvasm.expected.hlsl
index 437ce74..70d1d9c 100644
--- a/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.spvasm.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -69,3 +71,10 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000002EAE8878270(27,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000002EAE8878270(33,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000002EAE8878270(39,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000002EAE8878270(32,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x000002EAE8878270(38,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x000002EAE8878270(41,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.wgsl.expected.hlsl
index 437ce74..dbcd029 100644
--- a/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/switch-with-fall-through-cases/0-opt.wgsl.expected.hlsl
@@ -1,3 +1,5 @@
+SKIP: FAILED
+
 cbuffer cbuffer_x_6 : register(b0, space0) {
   uint4 x_6[1];
 };
@@ -69,3 +71,10 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
+C:\src\tint\test\Shader@0x000001B3F8915FF0(27,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001B3F8915FF0(33,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001B3F8915FF0(39,7): error X3533: non-empty case statements must have break or return
+C:\src\tint\test\Shader@0x000001B3F8915FF0(32,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x000001B3F8915FF0(38,7): error X3537: Fall-throughs in switch statements are not allowed.
+C:\src\tint\test\Shader@0x000001B3F8915FF0(41,7): error X3537: Fall-throughs in switch statements are not allowed.
+
diff --git a/test/vk-gl-cts/graphicsfuzz/two-nested-do-whiles/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/two-nested-do-whiles/0-opt.wgsl.expected.hlsl
index 8a64f0c..251e7b9 100644
--- a/test/vk-gl-cts/graphicsfuzz/two-nested-do-whiles/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/two-nested-do-whiles/0-opt.wgsl.expected.hlsl
@@ -95,7 +95,7 @@
   return main_out(x_GLF_color);
 }
 
-Failed to generate: graphicsfuzz/two-nested-do-whiles/0-opt.wgsl:74:13 error: break statement must be in a loop or switch case
+Failed to generate: vk-gl-cts/graphicsfuzz/two-nested-do-whiles/0-opt.wgsl:74:13 error: break statement must be in a loop or switch case
             break;
             ^^^^^
 
diff --git a/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.spvasm.expected.hlsl
index 6b19022..6bc6cf8 100755
--- a/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.spvasm.expected.hlsl
@@ -46,12 +46,7 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-T:\tmp\udpk.0:26:19: error: expected expression
-      for(; true; const float3 x_46 = mand_()) {
-                  ^
-T:\tmp\udpk.0:26:19: error: expected ')'
-T:\tmp\udpk.0:26:10: note: to match this '('
-      for(; true; const float3 x_46 = mand_()) {
-         ^
-
+C:\src\tint\test\Shader@0x00000294138DDB00(26,19-23): error X3000: syntax error: unexpected token 'const'
+C:\src\tint\test\Shader@0x00000294138DDB00(41,17): error X3000: syntax error: unexpected token '('
+C:\src\tint\test\Shader@0x00000294138DDB00(45,3-23): error X3079: 'main_1': void functions cannot return a value
 
diff --git a/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.wgsl.expected.hlsl
index 05c2717..26bd184 100755
--- a/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/two-nested-infinite-loops-discard/0-opt.wgsl.expected.hlsl
@@ -46,12 +46,7 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-T:\tmp\ub0s.0:26:19: error: expected expression
-      for(; true; const float3 x_46 = mand_()) {
-                  ^
-T:\tmp\ub0s.0:26:19: error: expected ')'
-T:\tmp\ub0s.0:26:10: note: to match this '('
-      for(; true; const float3 x_46 = mand_()) {
-         ^
-
+C:\src\tint\test\Shader@0x000001DB32C08F00(26,19-23): error X3000: syntax error: unexpected token 'const'
+C:\src\tint\test\Shader@0x000001DB32C08F00(41,17): error X3000: syntax error: unexpected token '('
+C:\src\tint\test\Shader@0x000001DB32C08F00(45,3-23): error X3079: 'main_1': void functions cannot return a value
 
diff --git a/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.hlsl
index cd1e894..3679800 100755
--- a/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.hlsl
@@ -39,9 +39,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\u4lc.0:34: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000001A8C062E2C0(14,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.hlsl
index 633f6e3..af486af 100755
--- a/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.hlsl
@@ -39,9 +39,5 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\u4wo.0:34: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000001FA30492000(14,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.hlsl
index 807cb12..7e1efdc 100755
--- a/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.hlsl
@@ -44,9 +44,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\u8hw.0:39: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000002486363E830(12,5-16): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000002486363E830(21,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.hlsl
index a35bdfc..7c25c75 100755
--- a/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.hlsl
@@ -44,9 +44,6 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\u7ck.0:39: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000001F6ABD30970(12,5-16): warning X3557: loop only executes for 0 iteration(s), forcing loop to unroll
+C:\src\tint\test\Shader@0x000001F6ABD30970(21,12-15): error X3696: infinite loop detected - loop never exits
 
diff --git a/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.spvasm.expected.hlsl
index 423d101..a81d458 100755
--- a/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.spvasm.expected.hlsl
@@ -48,5 +48,4 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
-Internal compiler error: access violation. Attempted to read from address 0x0000000000000048
 
diff --git a/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.wgsl.expected.hlsl
index 423d101..a81d458 100755
--- a/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/unreachable-return-in-loop/0.wgsl.expected.hlsl
@@ -48,5 +48,4 @@
   const tint_symbol tint_symbol_2 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_2;
 }
-Internal compiler error: access violation. Attempted to read from address 0x0000000000000048
 
diff --git a/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.hlsl
index 66b4a0e..945035d 100755
--- a/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.hlsl
@@ -52,22 +52,10 @@
         {
           for(; (1 < z); c = (c + 1)) {
             d = 0;
-            bool tint_tmp = (c >= 0);
-            if (tint_tmp) {
-              tint_tmp = (c < 4);
-            }
-            bool tint_tmp_1 = (d >= 0);
-            if (tint_tmp_1) {
-              tint_tmp_1 = (d < 3);
-            }
-            set_float3(tempm43[((tint_tmp) ? c : 0)], ((tint_tmp_1) ? d : 0), 1.0f);
+            set_float3(tempm43[(((c >= 0) & (c < 4)) ? c : 0)], (((d >= 0) & (d < 3)) ? d : 0), 1.0f);
           }
         }
-        bool tint_tmp_2 = (idx >= 0);
-        if (tint_tmp_2) {
-          tint_tmp_2 = (idx < 9);
-        }
-        const int x_117 = ((tint_tmp_2) ? idx : 0);
+        const int x_117 = (((idx >= 0) & (idx < 9)) ? idx : 0);
         const float x_119 = m43[ctr].y;
         const float x_121 = GLF_live6sums[x_117];
         GLF_live6sums[x_117] = (x_121 + x_119);
@@ -91,9 +79,8 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\ufmo.0:86: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x000001DB72E101B0(53,24-62): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x000001DB72E101B0(51,11-37): error X3511: unable to unroll loop, loop does not appear to terminate in a timely manner (1024 iterations)
+C:\src\tint\test\Shader@0x000001DB72E101B0(40,7-39): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x000001DB72E101B0(27,3-14): error X3511: forced to unroll loop, but unrolling failed.
 
diff --git a/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.hlsl b/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.hlsl
index b2cb2a3..c4f06be 100755
--- a/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.hlsl
+++ b/test/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.hlsl
@@ -91,9 +91,8 @@
   const tint_symbol tint_symbol_3 = {tint_symbol_1.x_GLF_color_1};
   return tint_symbol_3;
 }
-error: validation errors
-T:\tmp\udx0.0:86: error: Loop must have break.
-Validation failed.
-
-
+C:\src\tint\test\Shader@0x00000232DC6E3D00(61,24-52): warning X3550: array reference cannot be used as an l-value; not natively addressable, forcing loop to unroll
+C:\src\tint\test\Shader@0x00000232DC6E3D00(51,11-37): error X3511: unable to unroll loop, loop does not appear to terminate in a timely manner (1024 iterations)
+C:\src\tint\test\Shader@0x00000232DC6E3D00(40,7-39): error X3511: forced to unroll loop, but unrolling failed.
+C:\src\tint\test\Shader@0x00000232DC6E3D00(27,3-14): error X3511: forced to unroll loop, but unrolling failed.