diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_ClassifyCFGEdges_LoopBreak_FromLoopHeader_SingleBlockLoop_TrueBranch.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_ClassifyCFGEdges_LoopBreak_FromLoopHeader_SingleBlockLoop_TrueBranch.spvasm.expected.fxc.hlsl
index 46fd51b759..45a5d6a9ce 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_ClassifyCFGEdges_LoopBreak_FromLoopHeader_SingleBlockLoop_TrueBranch.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_ClassifyCFGEdges_LoopBreak_FromLoopHeader_SingleBlockLoop_TrueBranch.spvasm.expected.fxc.hlsl
@@ -4,7 +4,7 @@ static uint var_1 = 0u;
 
 void main_1() {
   {
-    [loop] for(; !(false); ) {
+    [loop] for(; true; ) {
     }
   }
   return;
@@ -14,3 +14,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000023A01048490(5,12-24): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000023A01048490(5,12-24): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000023A01048490(5,18-21): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_ComputeBlockOrder_Loop_HeaderHasBreakUnless.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_ComputeBlockOrder_Loop_HeaderHasBreakUnless.spvasm.expected.fxc.hlsl
index 4731e63a84..abd3f38ef5 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_ComputeBlockOrder_Loop_HeaderHasBreakUnless.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_ComputeBlockOrder_Loop_HeaderHasBreakUnless.spvasm.expected.fxc.hlsl
@@ -15,3 +15,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000262806C50A0(4,10-21): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x00000262806C50A0(4,10-21): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x00000262806C50A0(4,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_MultiBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_MultiBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
index 413885f5c1..52eafbf3d0 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_MultiBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_MultiBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
@@ -20,3 +20,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002368B5C30E0(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
index 945c429afa..8384f70b8d 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_LoopBreak_OnTrue.spvasm.expected.fxc.hlsl
@@ -18,3 +18,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000022316E83810(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Continue_OnFalse.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Continue_OnFalse.spvasm.expected.fxc.hlsl
index b704fdcbb6..ae6ef8bf11 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Continue_OnFalse.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Continue_OnFalse.spvasm.expected.fxc.hlsl
@@ -30,3 +30,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000014CDFA08540(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Forward_OnFalse.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Forward_OnFalse.spvasm.expected.fxc.hlsl
index 9c2a726687..7792d9a1e1 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Forward_OnFalse.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopBreak_Forward_OnFalse.spvasm.expected.fxc.hlsl
@@ -23,3 +23,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001D02A987360(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_IfSelection_TrueBranch_LoopBreak.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_IfSelection_TrueBranch_LoopBreak.spvasm.expected.fxc.hlsl
index 4731e63a84..c395ed7b99 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_IfSelection_TrueBranch_LoopBreak.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_IfSelection_TrueBranch_LoopBreak.spvasm.expected.fxc.hlsl
@@ -15,3 +15,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000029BD3CF5270(4,10-21): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000029BD3CF5270(4,10-21): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000029BD3CF5270(4,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue.spvasm.expected.fxc.hlsl
index ccef7a4e94..9db8808009 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue.spvasm.expected.fxc.hlsl
@@ -19,3 +19,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002E640B78D60(4,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue_Early.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue_Early.spvasm.expected.fxc.hlsl
index 75aaefc129..db10bd1b44 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue_Early.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_BodyConditionallyBreaks_FromTrue_Early.spvasm.expected.fxc.hlsl
@@ -20,3 +20,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000027D4D5AB130(4,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_SingleBlock_FalseBackedge.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_SingleBlock_FalseBackedge.spvasm.expected.fxc.hlsl
index b12844bc97..6c8837b122 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_SingleBlock_FalseBackedge.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Loop_SingleBlock_FalseBackedge.spvasm.expected.fxc.hlsl
@@ -18,3 +18,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002B299653E40(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserCFGTest_FindIfSelectionInternalHeaders_TrueBranch_LoopBreak_Ok.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserCFGTest_FindIfSelectionInternalHeaders_TrueBranch_LoopBreak_Ok.spvasm.expected.fxc.hlsl
index 4731e63a84..0bef05f5a4 100644
--- a/test/tint/unittest/reader/spirv/SpvParserCFGTest_FindIfSelectionInternalHeaders_TrueBranch_LoopBreak_Ok.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserCFGTest_FindIfSelectionInternalHeaders_TrueBranch_LoopBreak_Ok.spvasm.expected.fxc.hlsl
@@ -15,3 +15,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001FE0F8E0000(4,10-21): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001FE0F8E0000(4,10-21): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x000001FE0F8E0000(4,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_CombinatorialNonPointer_DefConstruct_DoesNotEncloseAllUses.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_CombinatorialNonPointer_DefConstruct_DoesNotEncloseAllUses.spvasm.expected.fxc.hlsl
index 2a99a69cca..35e5b3fe19 100644
--- a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_CombinatorialNonPointer_DefConstruct_DoesNotEncloseAllUses.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_CombinatorialNonPointer_DefConstruct_DoesNotEncloseAllUses.spvasm.expected.fxc.hlsl
@@ -12,7 +12,7 @@ void main_1() {
     }
     x_1 = 3u;
     if (true) {
-      x_2 = (1u + 1u);
+      x_2 = 2u;
     } else {
       return;
     }
@@ -32,3 +32,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000292BFA3C190(5,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromElseAndThen.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromElseAndThen.spvasm.expected.fxc.hlsl
index eddebbb939..caebf6076b 100644
--- a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromElseAndThen.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromElseAndThen.spvasm.expected.fxc.hlsl
@@ -36,3 +36,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000025B50880850(8,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromHeaderAndThen.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromHeaderAndThen.spvasm.expected.fxc.hlsl
index 935c533e6b..d2ffe5797d 100644
--- a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromHeaderAndThen.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_FromHeaderAndThen.spvasm.expected.fxc.hlsl
@@ -36,3 +36,6 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000025611B16C90(8,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_MultiBlockLoopIndex.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_MultiBlockLoopIndex.spvasm.expected.fxc.hlsl
index f4a795c411..6c8a071eda 100644
--- a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_MultiBlockLoopIndex.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_MultiBlockLoopIndex.spvasm.expected.fxc.hlsl
@@ -36,3 +36,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001C33AA1CA60(6,10-21): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001C33AA1CA60(6,10-21): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x000001C33AA1CA60(16,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_SingleBlockLoopIndex.spvasm.expected.fxc.hlsl b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_SingleBlockLoopIndex.spvasm.expected.fxc.hlsl
index f1cdbbfc89..b6b33a7f60 100644
--- a/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_SingleBlockLoopIndex.spvasm.expected.fxc.hlsl
+++ b/test/tint/unittest/reader/spirv/SpvParserFunctionVarTest_EmitStatement_Phi_SingleBlockLoopIndex.spvasm.expected.fxc.hlsl
@@ -31,3 +31,8 @@ void main() {
   main_1();
   return;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001E2F48F8070(6,10-21): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001E2F48F8070(6,10-21): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x000001E2F48F8070(16,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.fxc.hlsl
index e42f19ce79..f09493faf1 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.fxc.hlsl
@@ -82,3 +82,19 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(15,8-20): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022DCA4A8CB0(24,25-28): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.fxc.hlsl
index e42f19ce79..1790dfc85e 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.fxc.hlsl
@@ -1,5 +1,9 @@
 SKIP: FAILED
 
+vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl:45:9 warning: use of deprecated language feature: fallthrough is set to be removed from WGSL. Case can accept multiple selectors if the existing case bodies are empty. default is not yet supported in a case selector list.
+        fallthrough;
+        ^^^^^^^^^^^
+
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 static float array0[3] = (float[3])0;
 static float array1[3] = (float[3])0;
@@ -82,3 +86,19 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(15,8-20): warning X3556: integer modulus may be much slower, try using uints if possible.
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x0000022CA27671A0(24,25-28): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.fxc.hlsl
index 1b11f2846f..582837a88b 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.fxc.hlsl
@@ -1,102 +1,3 @@
 SKIP: FAILED
 
-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);
-
-void main_1() {
-  float4 data[2] = (float4[2])0;
-  int b = 0;
-  int y = 0;
-  int i = 0;
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const float x_42 = asfloat(x_7[scalar_offset / 4][scalar_offset % 4]);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const float x_45 = asfloat(x_7[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-  const float4 tint_symbol_5[2] = {float4(x_42, x_42, x_42, x_42), float4(x_45, x_45, x_45, x_45)};
-  data = tint_symbol_5;
-  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;
-  [loop] while (true) {
-    bool x_82 = false;
-    bool x_83_phi = false;
-    const int x_68 = i;
-    const uint scalar_offset_2 = ((16u * 0u)) / 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 * 0u)) / 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 * 0u)) / 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;
-};
-
-main_out main_inner(float4 gl_FragCoord_param) {
-  gl_FragCoord = gl_FragCoord_param;
-  main_1();
-  const main_out tint_symbol_6 = {x_GLF_color};
-  return tint_symbol_6;
-}
-
-tint_symbol_2 main(tint_symbol_1 tint_symbol) {
-  const main_out inner_result = main_inner(tint_symbol.gl_FragCoord_param);
-  tint_symbol_2 wrapper_result = (tint_symbol_2)0;
-  wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
-  return wrapper_result;
-}
+exit status 0xc00000fd
\ No newline at end of file
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.fxc.hlsl
index 1b11f2846f..582837a88b 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.fxc.hlsl
@@ -1,102 +1,3 @@
 SKIP: FAILED
 
-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);
-
-void main_1() {
-  float4 data[2] = (float4[2])0;
-  int b = 0;
-  int y = 0;
-  int i = 0;
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const float x_42 = asfloat(x_7[scalar_offset / 4][scalar_offset % 4]);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const float x_45 = asfloat(x_7[scalar_offset_1 / 4][scalar_offset_1 % 4]);
-  const float4 tint_symbol_5[2] = {float4(x_42, x_42, x_42, x_42), float4(x_45, x_45, x_45, x_45)};
-  data = tint_symbol_5;
-  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;
-  [loop] while (true) {
-    bool x_82 = false;
-    bool x_83_phi = false;
-    const int x_68 = i;
-    const uint scalar_offset_2 = ((16u * 0u)) / 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 * 0u)) / 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 * 0u)) / 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;
-};
-
-main_out main_inner(float4 gl_FragCoord_param) {
-  gl_FragCoord = gl_FragCoord_param;
-  main_1();
-  const main_out tint_symbol_6 = {x_GLF_color};
-  return tint_symbol_6;
-}
-
-tint_symbol_2 main(tint_symbol_1 tint_symbol) {
-  const main_out inner_result = main_inner(tint_symbol.gl_FragCoord_param);
-  tint_symbol_2 wrapper_result = (tint_symbol_2)0;
-  wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
-  return wrapper_result;
-}
+exit status 0xc00000fd
\ No newline at end of file
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.fxc.hlsl
index 6418ea5997..98a660539b 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 void set_scalar_float2x3(inout float2x3 mat, int col, int row, float val) {
   switch (col) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.fxc.hlsl
index 6418ea5997..98a660539b 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 void set_scalar_float2x3(inout float2x3 mat, int col, int row, float val) {
   switch (col) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.fxc.hlsl
index 5716a1551b..f4f1e65329 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 static int x_GLF_global_loop_count = 0;
 cbuffer cbuffer_x_7 : register(b0, space0) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.fxc.hlsl
index 5716a1551b..f4f1e65329 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 static int x_GLF_global_loop_count = 0;
 cbuffer cbuffer_x_7 : register(b0, space0) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.fxc.hlsl
index 556cf9162d..6cebb0d59a 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.fxc.hlsl
@@ -6,26 +6,21 @@ cbuffer cbuffer_x_5 : register(b0, space0) {
 };
 
 void main_1() {
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const int x_22 = asint(x_5[scalar_offset / 4][scalar_offset % 4]);
+  const int x_22 = asint(x_5[0].x);
   const int x_25 = asint(x_5[1].x);
   const int x_28 = asint(x_5[1].x);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const int x_31 = asint(x_5[scalar_offset_1 / 4][scalar_offset_1 % 4]);
+  const int x_31 = asint(x_5[0].x);
   x_GLF_color = float4(float(x_22), float(x_25), float(x_28), float(x_31));
   const int x_35 = asint(x_5[1].x);
-  const uint scalar_offset_2 = ((16u * 0u)) / 4;
-  const int x_37 = asint(x_5[scalar_offset_2 / 4][scalar_offset_2 % 4]);
+  const int x_37 = asint(x_5[0].x);
   if ((x_35 > x_37)) {
     [loop] while (true) {
-      const uint scalar_offset_3 = ((16u * 0u)) / 4;
-      const int x_46 = asint(x_5[scalar_offset_3 / 4][scalar_offset_3 % 4]);
+      const int x_46 = asint(x_5[0].x);
       const float x_47 = float(x_46);
       x_GLF_color = float4(x_47, x_47, x_47, x_47);
       {
         const int x_50 = asint(x_5[1].x);
-        const uint scalar_offset_4 = ((16u * 0u)) / 4;
-        const int x_52 = asint(x_5[scalar_offset_4 / 4][scalar_offset_4 % 4]);
+        const int x_52 = asint(x_5[0].x);
         if ((x_50 > x_52)) {
         } else {
           break;
@@ -56,3 +51,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002846F515BE0(15,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.fxc.hlsl
index 556cf9162d..2a79f4ea32 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.fxc.hlsl
@@ -6,26 +6,21 @@ cbuffer cbuffer_x_5 : register(b0, space0) {
 };
 
 void main_1() {
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const int x_22 = asint(x_5[scalar_offset / 4][scalar_offset % 4]);
+  const int x_22 = asint(x_5[0].x);
   const int x_25 = asint(x_5[1].x);
   const int x_28 = asint(x_5[1].x);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const int x_31 = asint(x_5[scalar_offset_1 / 4][scalar_offset_1 % 4]);
+  const int x_31 = asint(x_5[0].x);
   x_GLF_color = float4(float(x_22), float(x_25), float(x_28), float(x_31));
   const int x_35 = asint(x_5[1].x);
-  const uint scalar_offset_2 = ((16u * 0u)) / 4;
-  const int x_37 = asint(x_5[scalar_offset_2 / 4][scalar_offset_2 % 4]);
+  const int x_37 = asint(x_5[0].x);
   if ((x_35 > x_37)) {
     [loop] while (true) {
-      const uint scalar_offset_3 = ((16u * 0u)) / 4;
-      const int x_46 = asint(x_5[scalar_offset_3 / 4][scalar_offset_3 % 4]);
+      const int x_46 = asint(x_5[0].x);
       const float x_47 = float(x_46);
       x_GLF_color = float4(x_47, x_47, x_47, x_47);
       {
         const int x_50 = asint(x_5[1].x);
-        const uint scalar_offset_4 = ((16u * 0u)) / 4;
-        const int x_52 = asint(x_5[scalar_offset_4 / 4][scalar_offset_4 % 4]);
+        const int x_52 = asint(x_5[0].x);
         if ((x_50 > x_52)) {
         } else {
           break;
@@ -56,3 +51,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000021F2F7ADEC0(15,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.fxc.hlsl
index 5fbdf33bb8..8110951e4b 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.fxc.hlsl
@@ -13,12 +13,10 @@ cbuffer cbuffer_x_10 : register(b0, space0) {
 
 void main_1() {
   int i = 0;
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const float x_38 = asfloat(x_5[scalar_offset / 4][scalar_offset % 4]);
+  const float x_38 = asfloat(x_5[0].x);
   x_GLF_color = float4(x_38, x_38, x_38, x_38);
   const float x_41 = asfloat(x_7[0].x);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const float x_43 = asfloat(x_5[scalar_offset_1 / 4][scalar_offset_1 % 4]);
+  const float x_43 = asfloat(x_5[0].x);
   if ((x_41 > x_43)) {
     [loop] while (true) {
       const float x_53 = asfloat(x_5[1].x);
@@ -41,17 +39,14 @@ void main_1() {
         i = x_13;
         [loop] while (true) {
           const int x_14 = i;
-          const uint scalar_offset_2 = ((16u * 0u)) / 4;
-          const int x_15 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
+          const int x_15 = asint(x_10[0].x);
           if ((x_14 < x_15)) {
           } else {
             break;
           }
           const float x_73 = asfloat(x_5[1].x);
-          const uint scalar_offset_3 = ((16u * 0u)) / 4;
-          const float x_75 = asfloat(x_5[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-          const uint scalar_offset_4 = ((16u * 0u)) / 4;
-          const float x_77 = asfloat(x_5[scalar_offset_4 / 4][scalar_offset_4 % 4]);
+          const float x_75 = asfloat(x_5[0].x);
+          const float x_77 = asfloat(x_5[0].x);
           const float x_79 = asfloat(x_5[1].x);
           x_GLF_color = float4(x_73, x_75, x_77, x_79);
           {
@@ -62,8 +57,7 @@ void main_1() {
       }
       {
         const float x_82 = asfloat(x_7[0].x);
-        const uint scalar_offset_5 = ((16u * 0u)) / 4;
-        const float x_84 = asfloat(x_5[scalar_offset_5 / 4][scalar_offset_5 % 4]);
+        const float x_84 = asfloat(x_5[0].x);
         if ((x_82 > x_84)) {
         } else {
           break;
@@ -93,3 +87,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001929B3C3AD0(19,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.fxc.hlsl
index 5fbdf33bb8..5988ffdcc5 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.fxc.hlsl
@@ -13,12 +13,10 @@ cbuffer cbuffer_x_10 : register(b0, space0) {
 
 void main_1() {
   int i = 0;
-  const uint scalar_offset = ((16u * 0u)) / 4;
-  const float x_38 = asfloat(x_5[scalar_offset / 4][scalar_offset % 4]);
+  const float x_38 = asfloat(x_5[0].x);
   x_GLF_color = float4(x_38, x_38, x_38, x_38);
   const float x_41 = asfloat(x_7[0].x);
-  const uint scalar_offset_1 = ((16u * 0u)) / 4;
-  const float x_43 = asfloat(x_5[scalar_offset_1 / 4][scalar_offset_1 % 4]);
+  const float x_43 = asfloat(x_5[0].x);
   if ((x_41 > x_43)) {
     [loop] while (true) {
       const float x_53 = asfloat(x_5[1].x);
@@ -41,17 +39,14 @@ void main_1() {
         i = x_13;
         [loop] while (true) {
           const int x_14 = i;
-          const uint scalar_offset_2 = ((16u * 0u)) / 4;
-          const int x_15 = asint(x_10[scalar_offset_2 / 4][scalar_offset_2 % 4]);
+          const int x_15 = asint(x_10[0].x);
           if ((x_14 < x_15)) {
           } else {
             break;
           }
           const float x_73 = asfloat(x_5[1].x);
-          const uint scalar_offset_3 = ((16u * 0u)) / 4;
-          const float x_75 = asfloat(x_5[scalar_offset_3 / 4][scalar_offset_3 % 4]);
-          const uint scalar_offset_4 = ((16u * 0u)) / 4;
-          const float x_77 = asfloat(x_5[scalar_offset_4 / 4][scalar_offset_4 % 4]);
+          const float x_75 = asfloat(x_5[0].x);
+          const float x_77 = asfloat(x_5[0].x);
           const float x_79 = asfloat(x_5[1].x);
           x_GLF_color = float4(x_73, x_75, x_77, x_79);
           {
@@ -62,8 +57,7 @@ void main_1() {
       }
       {
         const float x_82 = asfloat(x_7[0].x);
-        const uint scalar_offset_5 = ((16u * 0u)) / 4;
-        const float x_84 = asfloat(x_5[scalar_offset_5 / 4][scalar_offset_5 % 4]);
+        const float x_84 = asfloat(x_5[0].x);
         if ((x_82 > x_84)) {
         } else {
           break;
@@ -93,3 +87,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001315FE521C0(19,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.fxc.hlsl
index 4e0e7573cf..ab86aeaba3 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.fxc.hlsl
@@ -67,3 +67,6 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000159B88568E0(13,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.fxc.hlsl
index 4e0e7573cf..5b9c663065 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.fxc.hlsl
@@ -67,3 +67,6 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001F512A7F040(13,17-20): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.fxc.hlsl
index 4455eec217..fd5cec698b 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.fxc.hlsl
@@ -281,3 +281,9 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000205982E68C0(8,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x00000205982E68C0(71,16-27): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x00000205982E68C0(186,14-25): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x00000205982E68C0(123,18-29): error X4029: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.fxc.hlsl
index 4455eec217..634b99560f 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.fxc.hlsl
@@ -281,3 +281,9 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001E775162FA0(8,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001E775162FA0(71,16-27): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001E775162FA0(186,14-25): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001E775162FA0(123,18-29): error X4029: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.spvasm.expected.fxc.hlsl
index 2eb487b2d2..4ad4efba59 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.spvasm.expected.fxc.hlsl
@@ -76,3 +76,8 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002A24C785290(27,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000002A24C785290(27,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x000002A24C785290(27,25-28): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.wgsl.expected.fxc.hlsl
index 2eb487b2d2..df2541d658 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/similar-nested-ifs/0-opt.wgsl.expected.fxc.hlsl
@@ -76,3 +76,8 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001E39C8906E0(27,18-29): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001E39C8906E0(27,18-29): warning X3551: infinite loop detected - loop writes no values
+C:\src\dawn\test\tint\Shader@0x000001E39C8906E0(27,25-28): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.spvasm.expected.fxc.hlsl
index cb62fbcc53..d1646325c1 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.spvasm.expected.fxc.hlsl
@@ -596,7 +596,7 @@ void main_1() {
     const int x_357 = x_357_phi;
     x_360 = x_360_phi;
     const int x_362 = x_362_phi;
-    const int x_365 = (6 - 15);
+    const int x_365 = -9;
     if ((x_362 < 20)) {
     } else {
       break;
@@ -624,7 +624,7 @@ void main_1() {
           x_393_phi = true;
           break;
         }
-        const float x_389 = x_GLF_color[((3u <= 3u) ? 3u : 3u)];
+        const float x_389 = x_GLF_color[(true ? 3u : 3u)];
         {
           x_374_phi = (!((x_362 <= x_382)) ? x_385 : x_383);
         }
@@ -709,3 +709,17 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(79,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(22,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(142,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(205,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(268,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(331,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(394,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(457,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(520,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(583,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000029BB7A67480(637,7-19): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.wgsl.expected.fxc.hlsl
index cb62fbcc53..74a6686e17 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/spv-load-from-frag-color/1.wgsl.expected.fxc.hlsl
@@ -596,7 +596,7 @@ void main_1() {
     const int x_357 = x_357_phi;
     x_360 = x_360_phi;
     const int x_362 = x_362_phi;
-    const int x_365 = (6 - 15);
+    const int x_365 = -9;
     if ((x_362 < 20)) {
     } else {
       break;
@@ -624,7 +624,7 @@ void main_1() {
           x_393_phi = true;
           break;
         }
-        const float x_389 = x_GLF_color[((3u <= 3u) ? 3u : 3u)];
+        const float x_389 = x_GLF_color[(true ? 3u : 3u)];
         {
           x_374_phi = (!((x_362 <= x_382)) ? x_385 : x_383);
         }
@@ -709,3 +709,17 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(79,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(22,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(142,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(205,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(268,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(331,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(394,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(457,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(520,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(583,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x000001EB80E00940(637,7-19): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.spvasm.expected.fxc.hlsl
index 6fbf32e38c..727429baf0 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.spvasm.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_7 : register(b0, space0) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.wgsl.expected.fxc.hlsl
index 6fbf32e38c..727429baf0 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/spv-stable-maze-flatten-copy-composite/1.wgsl.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 static float4 gl_FragCoord = float4(0.0f, 0.0f, 0.0f, 0.0f);
 cbuffer cbuffer_x_7 : register(b0, space0) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.spvasm.expected.fxc.hlsl
index c36a027bc4..75eef5be0e 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.spvasm.expected.fxc.hlsl
@@ -707,3 +707,17 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(79,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(22,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(142,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(205,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(268,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(331,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(394,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(457,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(520,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(583,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000011F088F06C0(635,7-19): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.wgsl.expected.fxc.hlsl
index c36a027bc4..8aba940c6f 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/0.wgsl.expected.fxc.hlsl
@@ -707,3 +707,17 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(79,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(22,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(142,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(205,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(268,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(331,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(394,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(457,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(520,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(583,5-17): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+C:\src\dawn\test\tint\Shader@0x0000021F032A8680(635,7-19): warning X3557: loop only executes for 1 iteration(s), forcing loop to unroll
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.fxc.hlsl
index 45ce82783a..85d8a76f40 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.fxc.hlsl
@@ -235,3 +235,7 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001F9C0869E40(25,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.fxc.hlsl
index fef3a806fc..06cd546ebb 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.fxc.hlsl
@@ -239,3 +239,7 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000208E2A6D440(25,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.fxc.hlsl
index 99177d42a4..a19ea4a76d 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.fxc.hlsl
@@ -249,3 +249,7 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001AA164DEC20(26,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.fxc.hlsl
index 78f51174c9..ed8188cecf 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.fxc.hlsl
@@ -253,3 +253,7 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002251BE22900(26,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.fxc.hlsl
index e8e3b26b21..fbbed46ba4 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.fxc.hlsl
@@ -235,3 +235,7 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000022C9AE1A880(25,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.fxc.hlsl
index 03552a837b..ce7cfe39e8 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.fxc.hlsl
@@ -239,3 +239,7 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000205ACC371A0(25,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.fxc.hlsl
index 7ccd78fa26..044479f2f2 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.fxc.hlsl
@@ -278,3 +278,7 @@ tint_symbol_2 main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002B78D2410A0(32,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.fxc.hlsl
index 482ab2b4bb..f42d43fe45 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.fxc.hlsl
@@ -282,3 +282,7 @@ tint_symbol_2 main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000025D3B8A9A00(32,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.fxc.hlsl
index bea15f81e7..ce1e2e21be 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.spvasm.expected.fxc.hlsl
@@ -45,3 +45,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x00000263B76FE810(14,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.fxc.hlsl
index bea15f81e7..d1beb2869f 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/undefined-assign-in-infinite-loop/0.wgsl.expected.fxc.hlsl
@@ -45,3 +45,6 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000028D946187E0(14,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.fxc.hlsl
index 212c426ab2..11aed25cd8 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.spvasm.expected.fxc.hlsl
@@ -50,3 +50,8 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000001487CF231C0(12,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001487CF231C0(12,12-23): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000001487CF231C0(21,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.fxc.hlsl
index 212c426ab2..c664335a0a 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/unreachable-loops/0-opt.wgsl.expected.fxc.hlsl
@@ -50,3 +50,8 @@ tint_symbol main() {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000024C845840A0(12,12-23): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000024C845840A0(12,12-23): warning X3557: loop doesn't seem to do anything, consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000024C845840A0(21,19-22): error X3696: infinite loop detected - loop never exits
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.fxc.hlsl
index 284b42dbec..6be60ce9ea 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.spvasm.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 void set_scalar_float4x3(inout float4x3 mat, int col, int row, float val) {
   switch (col) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.fxc.hlsl
index 284b42dbec..6be60ce9ea 100755
--- a/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/write-before-break/0-opt.wgsl.expected.fxc.hlsl
@@ -1,4 +1,4 @@
-SKIP: FAILED
+SKIP: FAILED - TIMEOUT
 
 void set_scalar_float4x3(inout float4x3 mat, int col, int row, float val) {
   switch (col) {
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.spvasm.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.spvasm.expected.fxc.hlsl
index 364fa17705..3278a80e16 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.spvasm.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.spvasm.expected.fxc.hlsl
@@ -368,3 +368,8 @@ tint_symbol_6 main(tint_symbol_5 tint_symbol_4) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x000002D18B941CE0(35,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x000002D18B941CE0(145,3): warning X4000: use of potentially uninitialized variable (makeFrame_f1_)
+internal error: compilation aborted unexpectedly
+
diff --git a/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.wgsl.expected.fxc.hlsl b/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.wgsl.expected.fxc.hlsl
index 7377385d44..deb435eb77 100644
--- a/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.wgsl.expected.fxc.hlsl
+++ b/test/tint/vk-gl-cts/graphicsfuzz/write-red-after-search/0-opt.wgsl.expected.fxc.hlsl
@@ -372,3 +372,8 @@ tint_symbol_6 main(tint_symbol_5 tint_symbol_4) {
   wrapper_result.x_GLF_color_1 = inner_result.x_GLF_color_1;
   return wrapper_result;
 }
+FXC validation failure:
+C:\src\dawn\test\tint\Shader@0x0000022A4FE263C0(35,10-21): warning X3557: loop only executes for 0 iteration(s), consider removing [loop]
+C:\src\dawn\test\tint\Shader@0x0000022A4FE263C0(145,3): warning X4000: use of potentially uninitialized variable (makeFrame_f1_)
+internal error: compilation aborted unexpectedly
+