diff --git a/test/bug/tint/1083.wgsl b/test/bug/tint/1083.wgsl new file mode 100644 index 0000000000..3dc8fb23e1 --- /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 0000000000..30e2a726ae --- /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 0000000000..08beb2b6ee --- /dev/null +++ b/test/bug/tint/1083.wgsl.expected.msl @@ -0,0 +1,10 @@ +#include + +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 0000000000..47589eb15f --- /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 0000000000..57303cb560 --- /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 88f4d37b64..9e4b25a5ed 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 @@ void main() { 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 0000000000..a08c7ddf4e --- /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 0000000000..966973fbdc --- /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 0000000000..589d7e31aa --- /dev/null +++ b/test/loops/continue_in_switch.wgsl.expected.msl @@ -0,0 +1,18 @@ +#include + +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 0000000000..d9378ba27c --- /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 0000000000..0d375d438a --- /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 0000000000..20eae21cd4 --- /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 0000000000..21a359b51e --- /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 0000000000..93fa98e1d9 --- /dev/null +++ b/test/switch/fallthrough.wgsl.expected.msl @@ -0,0 +1,16 @@ +#include + +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 0000000000..4e8b98921f --- /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 0000000000..37163f5ab9 --- /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 0000000000..4561db66ed --- /dev/null +++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.msl @@ -0,0 +1,27 @@ +#include + +using namespace metal; +void main_1(texture2d_array 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 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 0000000000..50eaee4cfe --- /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; + +[[group(0), binding(1)]] var x_30 : sampler; + +fn main_1() { + var float_var : f32; + let i1 : i32 = 1; + let vi12 : vec2 = vec2(1, 2); + let vi123 : vec3 = vec3(1, 2, 3); + let vi1234 : vec4 = vec4(1, 2, 3, 4); + let u1 : u32 = 1u; + let vu12 : vec2 = vec2(1u, 2u); + let vu123 : vec3 = vec3(1u, 2u, 3u); + let vu1234 : vec4 = vec4(1u, 2u, 3u, 4u); + let f1 : f32 = 1.0; + let vf12 : vec2 = vec2(1.0, 2.0); + let vf123 : vec3 = vec3(1.0, 2.0, 3.0); + let vf1234 : vec4 = vec4(1.0, 2.0, 3.0, 4.0); + let x_73 : vec4 = textureLoad(x_20, vec2(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 0000000000..62c3466878 --- /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 + +using namespace metal; +void main_1(texture2d_array 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 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 0000000000..73814bb1ce --- /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; + +[[group(0), binding(1)]] var x_30 : sampler; + +fn main_1() { + var float_var : f32; + let i1 : i32 = 1; + let vi12 : vec2 = vec2(1, 2); + let vi123 : vec3 = vec3(1, 2, 3); + let vi1234 : vec4 = vec4(1, 2, 3, 4); + let u1 : u32 = 1u; + let vu12 : vec2 = vec2(1u, 2u); + let vu123 : vec3 = vec3(1u, 2u, 3u); + let vu1234 : vec4 = vec4(1u, 2u, 3u, 4u); + let f1 : f32 = 1.0; + let vf12 : vec2 = vec2(1.0, 2.0); + let vf123 : vec3 = vec3(1.0, 2.0, 3.0); + let vf1234 : vec4 = vec4(1.0, 2.0, 3.0, 4.0); + let x_71 : vec4 = textureLoad(x_20, vec2(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 0000000000..f737a4fc0e --- /dev/null +++ b/test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.msl @@ -0,0 +1,27 @@ +#include + +using namespace metal; +void main_1(texture2d_array 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 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 0000000000..39db0b1614 --- /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; + +[[group(0), binding(1)]] var x_30 : sampler; + +fn main_1() { + var float_var : f32; + let i1 : i32 = 1; + let vi12 : vec2 = vec2(1, 2); + let vi123 : vec3 = vec3(1, 2, 3); + let vi1234 : vec4 = vec4(1, 2, 3, 4); + let u1 : u32 = 1u; + let vu12 : vec2 = vec2(1u, 2u); + let vu123 : vec3 = vec3(1u, 2u, 3u); + let vu1234 : vec4 = vec4(1u, 2u, 3u, 4u); + let f1 : f32 = 1.0; + let vf12 : vec2 = vec2(1.0, 2.0); + let vf123 : vec3 = vec3(1.0, 2.0, 3.0); + let vf1234 : vec4 = vec4(1.0, 2.0, 3.0, 4.0); + textureStore(x_20, vec2(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 1dab6f0c01..af1e00b972 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 @@ tint_symbol main() { 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 1dab6f0c01..0054dcd18c 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 @@ tint_symbol main() { 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 4f12524597..4d3c036428 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 @@ tint_symbol main() { 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 a19c1f6a35..31f66dfb2b 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 @@ tint_symbol main() { 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 847747946d..b2ee8b3bbb 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 @@ tint_symbol main() { 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 847747946d..19fe83a57f 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 @@ tint_symbol main() { 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 3be4868932..4e2320a240 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 @@ tint_symbol main() { 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 3be4868932..0cdf29fb4c 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 @@ tint_symbol main() { 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 d17d70d26a..4ab54a0e5f 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 d17d70d26a..1a4ffc5b5c 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 2ab5b03f2d..7587b70c7c 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 2ab5b03f2d..7587b70c7c 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 1bc001a838..e6a3560cee 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 @@ tint_symbol main() { 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 1bc001a838..07402c437a 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 @@ tint_symbol main() { 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 71686c8251..1425e4f0c8 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 @@ tint_symbol main() { 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 71686c8251..397d79df6d 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 @@ tint_symbol main() { 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 bb5b30efd6..edf514e9c8 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 @@ tint_symbol main() { 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 bb5b30efd6..cea07e1954 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 @@ tint_symbol main() { 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 98be400dee..f916986352 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 a507a03396..d4c253c4a6 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 000228a67c..72454e8278 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 @@ tint_symbol main() { 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 000228a67c..6ed529ddcc 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 @@ tint_symbol main() { 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 df48733a2d..ada7447739 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 df48733a2d..bd2158c69c 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 362d95239e..20ec5cde7a 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 362d95239e..20ec5cde7a 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 fb22331d6d..20ec5cde7a 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 fb22331d6d..20ec5cde7a 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 1a025de8b9..2ac4c9b46b 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 @@ tint_symbol main() { 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 34889eead4..756e3f6002 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 @@ tint_symbol main() { 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 55b3cc6b5f..39916ef22b 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 @@ tint_symbol main() { 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 55b3cc6b5f..f277b37967 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 @@ tint_symbol main() { 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 aea4365c1c..cb6868a4b4 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 @@ tint_symbol main() { 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 aea4365c1c..e4348c5b8e 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 @@ tint_symbol main() { 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 c182316735..58c4da7ec0 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 @@ tint_symbol main() { 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 c182316735..f5f76a6271 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 @@ tint_symbol main() { 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 1653b58822..ef48576792 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 @@ tint_symbol main() { 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 94afa1ba8c..a9573d88aa 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 @@ tint_symbol main() { 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 75c82eaf65..b3c1f40c4f 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 @@ tint_symbol main() { 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 75c82eaf65..c5b21ba739 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 @@ tint_symbol main() { 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 9409852da8..4465561d85 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 @@ tint_symbol main() { 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 258443f925..46543743c0 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 @@ tint_symbol main() { 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 60bd73365b..80249a8c47 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 @@ tint_symbol main() { 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 60bd73365b..d7b3211d8c 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 @@ tint_symbol main() { 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 279a0dd7e8..8c33320a0d 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 279a0dd7e8..38923d2f11 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 db312d41f7..d8ac54b9ae 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 @@ tint_symbol main() { 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 3ba9bc4688..89c14b0327 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 @@ tint_symbol main() { 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 d2685c795b..a5af68fa05 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 @@ tint_symbol main() { 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 d2685c795b..37131173f9 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 @@ tint_symbol main() { 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 658f19ba85..f3f906136c 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 color : vec4; - -fn drawShape_vf2_(pos : ptr>) -> vec3 { - 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(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(1.0, 1.0, 1.0); + return float3(1.0f, 1.0f, 1.0f); } -fn main_1() { - var param : vec2; - param = vec2(1.0, 1.0); - let x_29 : vec3 = drawShape_vf2_(&(param)); - color = vec4(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; + 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 028dc34fad..f3f906136c 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 color : vec4; - -fn drawShape_vf2_(pos : ptr>) -> vec3 { - 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(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(1.0, 1.0, 1.0); + return float3(1.0f, 1.0f, 1.0f); } -fn main_1() { - var param : vec2; - param = vec2(1.0, 1.0); - let x_29 : vec3 = drawShape_vf2_(&(param)); - color = vec4(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; + 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 4b3e3a82d6..b6eade19e9 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 e4b794307a..1db853d11f 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 583cd9775f..06a84957d3 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 @@ tint_symbol main() { 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 583cd9775f..0910790bfd 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 @@ tint_symbol main() { 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 f57ad42d75..37f384ffd3 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 f57ad42d75..5bb26c18cb 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 69942c8c45..d6635f992d 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 69942c8c45..1ba4ded9e4 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 c45a7a534d..75f1ec9ab2 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 c45a7a534d..734bbd1228 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 b1d646dbab..4a4c1b87a0 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 @@ tint_symbol main() { 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 b1d646dbab..4a4c1b87a0 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 @@ tint_symbol main() { 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 5e07bc7391..bb466077bc 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 46480e1b9d..42418f3c08 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 bc5fdac8f1..4f182fb8e8 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 @@ tint_symbol main() { 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 bc5fdac8f1..05f41b9225 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 @@ tint_symbol main() { 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 d3b022e76d..306359bda3 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 d3b022e76d..390b21a6cf 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 1a82ba823b..000501740b 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 @@ tint_symbol main() { 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 1a82ba823b..adebc998cb 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 @@ tint_symbol main() { 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 ece942a82b..b843916e8e 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 @@ tint_symbol main() { 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 ece942a82b..53667a8009 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 @@ tint_symbol main() { 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 7c360661e5..c39795d6bc 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 7c360661e5..757f1195c1 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 017bbe6300..6e863ba349 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 017bbe6300..29e705c6c5 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 @@ tint_symbol_2 main(tint_symbol_1 tint_symbol) { 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 68b63f97a9..a4328559ba 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 @@ tint_symbol main() { 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 68b63f97a9..17e7f25316 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 @@ tint_symbol main() { 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 437ce7447b..70d1d9c5af 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 @@ tint_symbol main() { 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 437ce7447b..dbcd029479 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 @@ tint_symbol main() { 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 8a64f0cfb5..251e7b93de 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 @@ fn main([[builtin(position)]] gl_FragCoord_param : vec4) -> main_out { 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 6b19022f4e..6bc6cf81f2 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 @@ tint_symbol main() { 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 05c271772a..26bd184f40 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 @@ tint_symbol main() { 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 cd1e8944fc..3679800bab 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 @@ tint_symbol main() { 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 633f6e3e1e..af486afbfc 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 @@ tint_symbol main() { 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 807cb12bf5..7e1efdcaea 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 @@ tint_symbol main() { 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 a35bdfcb53..7c25c75419 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 @@ tint_symbol main() { 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 423d10190b..a81d4585f9 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 @@ tint_symbol main() { 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 423d10190b..a81d4585f9 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 @@ tint_symbol main() { 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 66b4a0e350..945035dd76 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 @@ void main_1() { { 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 @@ tint_symbol main() { 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 b2cb2a37a5..c4f06be7c5 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 @@ tint_symbol main() { 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.