encounter
/
dawn-cmake
mirror of https://github.com/encounter/dawn-cmake.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tests: Regenerate expected outputs for HLSL / FXC 

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

Bug: tint:998
Bug: tint:1080
Bug: tint:1038
Bug: tint:1081
Bug: tint:1082
Bug: tint:1083
Change-Id: I0d14370f94647dfd9c7088e0b782c3b415c78ee7
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/60211
Kokoro: Kokoro <noreply+kokoro@google.com>
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
This commit is contained in:
Ben Clayton 2021-07-29 18:05:19 +00:00
parent 9d4c24fa5e
commit a52324fde1
115 changed files with 913 additions and 1628 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/bug/tint/1083.wgsl Normal file
View File

@ -0,0 +1,6 @@
[[stage(compute), workgroup_size(1)]]
fn f() {
let a = 1;
let b = 0;
let c = a / b;
}

9
test/bug/tint/1083.wgsl.expected.hlsl Normal file
View File

@ -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

10
test/bug/tint/1083.wgsl.expected.msl Normal file
View File

@ -0,0 +1,10 @@
#include <metal_stdlib>
using namespace metal;
kernel void f() {
int const a = 1;
int const b = 0;
int const c = (a / b);
return;
}

20
test/bug/tint/1083.wgsl.expected.spvasm Normal file
View File

@ -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

6
test/bug/tint/1083.wgsl.expected.wgsl Normal file
View File

@ -0,0 +1,6 @@
[[stage(compute), workgroup_size(1)]]
fn f() {
let a = 1;
let b = 0;
let c = (a / b);
}

4
test/bug/tint/998.wgsl.expected.hlsl
View File

@ -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

13
test/loops/continue_in_switch.wgsl Normal file
View File

@ -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;
}
}
}
}

21
test/loops/continue_in_switch.wgsl.expected.hlsl Normal file
View File

@ -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

18
test/loops/continue_in_switch.wgsl.expected.msl Normal file
View File

@ -0,0 +1,18 @@
#include <metal_stdlib>
using namespace metal;
kernel void f() {
for(int i = 0; (i < 4); i = (i + 1)) {
switch(i) {
case 0: {
continue;
break;
}
default: {
break;
}
}
}
return;
}

54
test/loops/continue_in_switch.wgsl.expected.spvasm Normal file
View File

@ -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

13
test/loops/continue_in_switch.wgsl.expected.wgsl Normal file
View File

@ -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;
}
}
}
}

12
test/switch/fallthrough.wgsl Normal file
View File

@ -0,0 +1,12 @@
[[stage(compute), workgroup_size(1)]]
fn f() {
var i : i32;
switch(i) {
case 0: {
fallthrough;
}
default: {
break;
}
}
}

17
test/switch/fallthrough.wgsl.expected.hlsl Normal file
View File

@ -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

16
test/switch/fallthrough.wgsl.expected.msl Normal file
View File

@ -0,0 +1,16 @@
#include <metal_stdlib>
using namespace metal;
kernel void f() {
int i = 0;
switch(i) {
case 0: {
/* fallthrough */
}
default: {
break;
}
}
return;
}

29
test/switch/fallthrough.wgsl.expected.spvasm Normal file
View File

@ -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

12
test/switch/fallthrough.wgsl.expected.wgsl Normal file
View File

@ -0,0 +1,12 @@
[[stage(compute), workgroup_size(1)]]
fn f() {
var i : i32;
switch(i) {
case 0: {
fallthrough;
}
default: {
break;
}
}
}

27
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.msl Normal file
View File

@ -0,0 +1,27 @@
#include <metal_stdlib>
using namespace metal;
void main_1(texture2d_array<float, access::sample> tint_symbol_1) {
float float_var = 0.0f;
int const i1 = 1;
int2 const vi12 = int2(1, 2);
int3 const vi123 = int3(1, 2, 3);
int4 const vi1234 = int4(1, 2, 3, 4);
uint const u1 = 1u;
uint2 const vu12 = uint2(1u, 2u);
uint3 const vu123 = uint3(1u, 2u, 3u);
uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
float const f1 = 1.0f;
float2 const vf12 = float2(1.0f, 2.0f);
float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
float4 const x_73 = tint_symbol_1.read(uint2(int2(vu123.xy)), int(vu123.z), 0);
uint const x_1000 = 0u;
return;
}
fragment void tint_symbol(texture2d_array<float, access::sample> tint_symbol_2 [[texture(1)]]) {
main_1(tint_symbol_2);
return;
}

29
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_0.spvasm.expected.wgsl Normal file
View File

@ -0,0 +1,29 @@
[[group(0), binding(0)]] var x_10 : sampler;
[[group(2), binding(1)]] var x_20 : texture_2d_array<f32>;
[[group(0), binding(1)]] var x_30 : sampler;
fn main_1() {
var float_var : f32;
let i1 : i32 = 1;
let vi12 : vec2<i32> = vec2<i32>(1, 2);
let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
let u1 : u32 = 1u;
let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
let f1 : f32 = 1.0;
let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
let x_73 : vec4<f32> = textureLoad(x_20, vec2<i32>(vu123.xy), i32(vu123.z), 0);
let x_1000 : u32 = 0u;
return;
}
[[stage(fragment)]]
fn main() {
main_1();
}

28
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.msl Normal file
View File

@ -0,0 +1,28 @@
warning: use of deprecated intrinsic
#include <metal_stdlib>
using namespace metal;
void main_1(texture2d_array<float, access::read> tint_symbol_1) {
float float_var = 0.0f;
int const i1 = 1;
int2 const vi12 = int2(1, 2);
int3 const vi123 = int3(1, 2, 3);
int4 const vi1234 = int4(1, 2, 3, 4);
uint const u1 = 1u;
uint2 const vu12 = uint2(1u, 2u);
uint3 const vu123 = uint3(1u, 2u, 3u);
uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
float const f1 = 1.0f;
float2 const vf12 = float2(1.0f, 2.0f);
float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
float4 const x_71 = tint_symbol_1.read(uint2(int2(vu123.xy)), int(vu123.z));
uint const x_1000 = 0u;
return;
}
fragment void tint_symbol(texture2d_array<float, access::read> tint_symbol_2 [[texture(1)]]) {
main_1(tint_symbol_2);
return;
}

30
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_1.spvasm.expected.wgsl Normal file
View File

@ -0,0 +1,30 @@
warning: use of deprecated intrinsic
[[group(0), binding(0)]] var x_10 : sampler;
[[group(2), binding(1)]] var x_20 : texture_storage_2d_array<r32float, read>;
[[group(0), binding(1)]] var x_30 : sampler;
fn main_1() {
var float_var : f32;
let i1 : i32 = 1;
let vi12 : vec2<i32> = vec2<i32>(1, 2);
let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
let u1 : u32 = 1u;
let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
let f1 : f32 = 1.0;
let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
let x_71 : vec4<f32> = textureLoad(x_20, vec2<i32>(vu123.xy), i32(vu123.z));
let x_1000 : u32 = 0u;
return;
}
[[stage(fragment)]]
fn main() {
main_1();
}

27
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.msl Normal file
View File

@ -0,0 +1,27 @@
#include <metal_stdlib>
using namespace metal;
void main_1(texture2d_array<float, access::write> tint_symbol_1) {
float float_var = 0.0f;
int const i1 = 1;
int2 const vi12 = int2(1, 2);
int3 const vi123 = int3(1, 2, 3);
int4 const vi1234 = int4(1, 2, 3, 4);
uint const u1 = 1u;
uint2 const vu12 = uint2(1u, 2u);
uint3 const vu123 = uint3(1u, 2u, 3u);
uint4 const vu1234 = uint4(1u, 2u, 3u, 4u);
float const f1 = 1.0f;
float2 const vf12 = float2(1.0f, 2.0f);
float3 const vf123 = float3(1.0f, 2.0f, 3.0f);
float4 const vf1234 = float4(1.0f, 2.0f, 3.0f, 4.0f);
tint_symbol_1.write(vf1234, uint2(int2(vu123.xy)), int(vu123.z));
uint const x_1000 = 0u;
return;
}
fragment void tint_symbol(texture2d_array<float, access::write> tint_symbol_2 [[texture(1)]]) {
main_1(tint_symbol_2);
return;
}

29
test/unittest/reader/spirv/ConvertUintCoords_Arrayed_SpvParserHandleTest_ImageCoordsTest_MakeCoordinateOperandsForImageAccess_2.spvasm.expected.wgsl Normal file
View File

@ -0,0 +1,29 @@
[[group(0), binding(0)]] var x_10 : sampler;
[[group(2), binding(1)]] var x_20 : texture_storage_2d_array<r32float, write>;
[[group(0), binding(1)]] var x_30 : sampler;
fn main_1() {
var float_var : f32;
let i1 : i32 = 1;
let vi12 : vec2<i32> = vec2<i32>(1, 2);
let vi123 : vec3<i32> = vec3<i32>(1, 2, 3);
let vi1234 : vec4<i32> = vec4<i32>(1, 2, 3, 4);
let u1 : u32 = 1u;
let vu12 : vec2<u32> = vec2<u32>(1u, 2u);
let vu123 : vec3<u32> = vec3<u32>(1u, 2u, 3u);
let vu1234 : vec4<u32> = vec4<u32>(1u, 2u, 3u, 4u);
let f1 : f32 = 1.0;
let vf12 : vec2<f32> = vec2<f32>(1.0, 2.0);
let vf123 : vec3<f32> = vec3<f32>(1.0, 2.0, 3.0);
let vf1234 : vec4<f32> = vec4<f32>(1.0, 2.0, 3.0, 4.0);
textureStore(x_20, vec2<i32>(vu123.xy), i32(vu123.z), vf1234);
let x_1000 : u32 = 0u;
return;
}
[[stage(fragment)]]
fn main() {
main_1();
}

4
test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/call-if-while-switch/0-opt.wgsl.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.spvasm.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/color-set-in-for-loop/0-opt.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-basic-block-discard-in-function/0-opt.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-no-stores/0-opt.wgsl.expected.hlsl
View File

@ -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

10
test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.spvasm.expected.hlsl
View File

@ -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

10
test/vk-gl-cts/graphicsfuzz/cov-dead-code-unreachable-merge/0-opt.wgsl.expected.hlsl
View File

@ -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

96
test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.spvasm.expected.hlsl
View File

@ -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

96
test/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-increment-vector-array-matrix-element/0-opt.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-increment-vector-component-with-matrix-copy/0-opt.wgsl.expected.hlsl
View File

@ -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

5
test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-inst-combine-and-or-xor-switch/0-opt.wgsl.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-loop-increment-matrix-element-break-after-first-iteration/0-opt.wgsl.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-loop-increment-or-divide-by-loop-index/0-opt.wgsl.expected.hlsl
View File

@ -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.

4
test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-modulo-zero-never-executed/0-opt.wgsl.expected.hlsl
View File

@ -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

325
test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.spvasm.expected.hlsl
View File

@ -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

325
test/vk-gl-cts/graphicsfuzz/cov-multiple-one-iteration-loops-global-counter-write-matrices/0-opt.wgsl.expected.hlsl
View File

@ -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

295
test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.spvasm.expected.hlsl
View File

@ -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

295
test/vk-gl-cts/graphicsfuzz/cov-nested-loops-global-loop-counter-do-while-accumulate-float/0-opt.wgsl.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.spvasm.expected.hlsl
View File

@ -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.

6
test/vk-gl-cts/graphicsfuzz/cov-reinitialize-matrix-after-undefined-value/0-opt.wgsl.expected.hlsl
View File

@ -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.

4
test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-return-after-do-while/0-opt.wgsl.expected.hlsl
View File

@ -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

7
test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.spvasm.expected.hlsl
View File

@ -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.

7
test/vk-gl-cts/graphicsfuzz/cov-ssa-rewrite-case-with-default/0-opt.wgsl.expected.hlsl
View File

@ -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.

4
test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-struct-float-array-mix-uniform-vectors/0-opt.wgsl.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.spvasm.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/cov-tail-duplicator-infinite-loops/0-opt.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-unused-access-past-matrix-elements/0-opt.wgsl.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.spvasm.expected.hlsl
View File

@ -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.

6
test/vk-gl-cts/graphicsfuzz/cov-unused-matrix-copy-inside-loop/0-opt.wgsl.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/cov-val-cfg-case-fallthrough/0-opt.wgsl.expected.hlsl
View File

@ -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.

4
test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-wrap-op-kill-two-branches/0-opt.wgsl.expected.hlsl
View File

@ -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

5
test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.spvasm.expected.hlsl
View File

@ -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

5
test/vk-gl-cts/graphicsfuzz/cov-write-past-matrix-elements-unused/0.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.spvasm.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/cov-x86-isel-lowering-negative-left-shift/0-opt.wgsl.expected.hlsl
View File

@ -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

55
test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.spvasm.expected.hlsl
View File

@ -1,47 +1,38 @@
SKIP: FAILED
static float4 color = float4(0.0f, 0.0f, 0.0f, 0.0f);
var<private> color : vec4<f32>;
fn drawShape_vf2_(pos : ptr<function, vec2<f32>>) -> vec3<f32> {
var c3 : bool;
var x_35_phi : bool;
let x_32 : f32 = (*(pos)).y;
let x_33 : bool = (x_32 < 1.0);
float3 drawShape_vf2_(inout float2 pos) {
bool c3 = false;
bool x_35_phi = false;
const float x_32 = pos.y;
const bool x_33 = (x_32 < 1.0f);
c3 = x_33;
x_35_phi = x_33;
loop {
let x_35 : bool = x_35_phi;
if (x_35) {
} else {
break;
}
return vec3<f32>(1.0, 1.0, 1.0);
continuing {
x_35_phi = false;
{
for(; x_35_phi; x_35_phi = false) {
return float3(1.0f, 1.0f, 1.0f);
}
}
return vec3<f32>(1.0, 1.0, 1.0);
return float3(1.0f, 1.0f, 1.0f);
}
fn main_1() {
var param : vec2<f32>;
param = vec2<f32>(1.0, 1.0);
let x_29 : vec3<f32> = drawShape_vf2_(&(param));
color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
void main_1() {
float2 param = float2(0.0f, 0.0f);
param = float2(1.0f, 1.0f);
const float3 x_29 = drawShape_vf2_(param);
color = float4(1.0f, 0.0f, 0.0f, 1.0f);
return;
}
struct main_out {
[[location(0)]]
color_1 : vec4<f32>;
float4 color_1;
};
struct tint_symbol {
float4 color_1 : SV_Target0;
};
[[stage(fragment)]]
fn main() -> main_out {
tint_symbol main() {
main_1();
return main_out(color);
const main_out tint_symbol_1 = {color};
const tint_symbol tint_symbol_2 = {tint_symbol_1.color_1};
return tint_symbol_2;
}
Failed to generate: error: for-loop condition must be bool, got bool

58
test/vk-gl-cts/graphicsfuzz/for-condition-always-false/0-opt.wgsl.expected.hlsl
View File

@ -1,50 +1,38 @@
SKIP: FAILED
static float4 color = float4(0.0f, 0.0f, 0.0f, 0.0f);
var<private> color : vec4<f32>;
fn drawShape_vf2_(pos : ptr<function, vec2<f32>>) -> vec3<f32> {
var c3 : bool;
var x_35_phi : bool;
let x_32 : f32 = (*(pos)).y;
let x_33 : bool = (x_32 < 1.0);
float3 drawShape_vf2_(inout float2 pos) {
bool c3 = false;
bool x_35_phi = false;
const float x_32 = pos.y;
const bool x_33 = (x_32 < 1.0f);
c3 = x_33;
x_35_phi = x_33;
loop {
let x_35 : bool = x_35_phi;
if (x_35) {
} else {
break;
}
return vec3<f32>(1.0, 1.0, 1.0);
continuing {
x_35_phi = false;
{
for(; x_35_phi; x_35_phi = false) {
return float3(1.0f, 1.0f, 1.0f);
}
}
return vec3<f32>(1.0, 1.0, 1.0);
return float3(1.0f, 1.0f, 1.0f);
}
fn main_1() {
var param : vec2<f32>;
param = vec2<f32>(1.0, 1.0);
let x_29 : vec3<f32> = drawShape_vf2_(&(param));
color = vec4<f32>(1.0, 0.0, 0.0, 1.0);
void main_1() {
float2 param = float2(0.0f, 0.0f);
param = float2(1.0f, 1.0f);
const float3 x_29 = drawShape_vf2_(param);
color = float4(1.0f, 0.0f, 0.0f, 1.0f);
return;
}
struct main_out {
[[location(0)]]
color_1 : vec4<f32>;
float4 color_1;
};
struct tint_symbol {
float4 color_1 : SV_Target0;
};
[[stage(fragment)]]
fn main() -> main_out {
tint_symbol main() {
main_1();
return main_out(color);
const main_out tint_symbol_1 = {color};
const tint_symbol tint_symbol_2 = {tint_symbol_1.color_1};
return tint_symbol_2;
}
Failed to generate: graphicsfuzz/for-condition-always-false/0-opt.wgsl:11:23 error: for-loop condition must be bool, got bool
let x_35 : bool = x_35_phi;
^^^^^^^^

6
test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.spvasm.expected.hlsl
View File

@ -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

6
test/vk-gl-cts/graphicsfuzz/function-with-uniform-return/0-opt.wgsl.expected.hlsl
View File

@ -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

5
test/vk-gl-cts/graphicsfuzz/if-and-switch/0.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/if-and-switch/0.wgsl.expected.hlsl
View File

@ -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.

9
test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.hlsl
View File

@ -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

9
test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.hlsl
View File

@ -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

4
test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.spvasm.expected.hlsl
View File

@ -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.

4
test/vk-gl-cts/graphicsfuzz/nested-for-break-mat-color/0.wgsl.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.spvasm.expected.hlsl
View File

@ -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.

5
test/vk-gl-cts/graphicsfuzz/nested-switch-break-discard/0-opt.wgsl.expected.hlsl
View File

@ -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.

1
test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.spvasm.expected.hlsl
View File

@ -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

1
test/vk-gl-cts/graphicsfuzz/returned-boolean-in-vector/0-opt.wgsl.expected.hlsl
View File

@ -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

38
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.spvasm.expected.hlsl
View File

@ -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.

38
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-false-if-discard-loop/1.wgsl.expected.hlsl
View File

@ -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.

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.spvasm.expected.hlsl
View File

@ -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

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/0.wgsl.expected.hlsl
View File

@ -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

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.spvasm.expected.hlsl
View File

@ -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

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-fragcoord-less-than-zero/1.wgsl.expected.hlsl
View File

@ -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

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.spvasm.expected.hlsl
View File

@ -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

8
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/0-opt.wgsl.expected.hlsl
View File

@ -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

9
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.spvasm.expected.hlsl
View File

@ -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.

9
test/vk-gl-cts/graphicsfuzz/stable-binarysearch-tree-with-loop-read-write-global/1.wgsl.expected.hlsl
View File

@ -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.

8
test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.spvasm.expected.hlsl
View File

@ -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.

8
test/vk-gl-cts/graphicsfuzz/stable-quicksort-conditional-bitwise-or-clamp/1.wgsl.expected.hlsl
View File

@ -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.

7
test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.spvasm.expected.hlsl
View File

@ -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.

7
test/vk-gl-cts/graphicsfuzz/stable-quicksort-for-loop-with-injection/2-opt.wgsl.expected.hlsl
View File

@ -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.

Some files were not shown because too many files have changed in this diff Show More