encounter
/
dawn-cmake
mirror of https://github.com/encounter/dawn-cmake.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
dawn-cmake/test/vk-gl-cts/graphicsfuzz/dead-barriers-in-loops/0-opt.wgsl.expected.spvasm

236 lines
8.5 KiB
Plaintext
Raw Normal View History

Add tests derived from VK-GL-CTS This adds SPIR-V assembly and WGSL tests derived from VK-GL-CTS commit 571256871c2e2f03995373e1e4a02958d8cd8cf5. The following procedure was followed: - Those .amber files in VK-GL-CTS wholly owned by Google were identified - All GLSL and SPIR-V shaders were extracted from the Amber files and converted into SPIR-V binaries - The compact-ids pass of spirv-opt was applied to each binary - Duplicate binaries were removed - spirv-opt -O was used to obtain an optimized version of each remaining binary, with duplicates discarded - Binaries that failed validation using spirv-val with target environment SPIR-V 1.3 were discarded - Those binaries that tint could not successfully convert into WGSL were put aside for further investigation - SPIR-V assembly versions of the remaining binaries are included in this CL - test-runner with -generate-expected and -generate-skip was used to generate expected .spvasm, .msl, .hlsl and .wgsl outputs for these SPIR-V assembly tests - Each successfully-generated .expected.wgsl is included in this CL again, as a WGLSL test - test-runner with -generate-expected and -generate-skip was used again, to generate expected outputs for these WGSL tests Change-Id: Ibe9baf2729cf97e0b633db9a426f53362a5de540 Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/58842 Kokoro: Kokoro <noreply+kokoro@google.com> Commit-Queue: Ben Clayton <bclayton@google.com> Reviewed-by: Ben Clayton <bclayton@google.com>
2021-07-23 13:10:12 +00:00
SKIP: FAILED
; SPIR-V
; Version: 1.3
; Generator: Google Tint Compiler; 0
; Bound: 134
; Schema: 0
OpCapability Shader
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %main "main"
OpExecutionMode %main LocalSize 1 1 1
OpName %theSSBO "theSSBO"
OpMemberName %theSSBO 0 "out_data"
OpName %x_4 "x_4"
OpName %buf1 "buf1"
OpMemberName %buf1 0 "injectionSwitch"
OpName %x_6 "x_6"
OpName %main_1 "main_1"
OpName %i "i"
OpName %GLF_live3s "GLF_live3s"
OpName %i_1 "i_1"
OpName %z "z"
OpName %main "main"
OpDecorate %theSSBO Block
OpMemberDecorate %theSSBO 0 Offset 0
OpDecorate %x_4 DescriptorSet 0
OpDecorate %x_4 Binding 0
OpDecorate %buf1 Block
OpMemberDecorate %buf1 0 Offset 0
OpDecorate %x_6 NonWritable
OpDecorate %x_6 DescriptorSet 0
OpDecorate %x_6 Binding 1
%int = OpTypeInt 32 1
%theSSBO = OpTypeStruct %int
%_ptr_StorageBuffer_theSSBO = OpTypePointer StorageBuffer %theSSBO
%x_4 = OpVariable %_ptr_StorageBuffer_theSSBO StorageBuffer
%float = OpTypeFloat 32
%v2float = OpTypeVector %float 2
%buf1 = OpTypeStruct %v2float
%_ptr_Uniform_buf1 = OpTypePointer Uniform %buf1
%x_6 = OpVariable %_ptr_Uniform_buf1 Uniform
%void = OpTypeVoid
%10 = OpTypeFunction %void
%_ptr_Function_int = OpTypePointer Function %int
%16 = OpConstantNull %int
%_ptr_Function_float = OpTypePointer Function %float
%19 = OpConstantNull %float
%uint = OpTypeInt 32 0
%uint_0 = OpConstant %uint 0
%_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int
%int_42 = OpConstant %int 42
%_ptr_Uniform_float = OpTypePointer Uniform %float
%uint_1 = OpConstant %uint 1
%bool = OpTypeBool
%uint_2 = OpConstant %uint 2
%uint_264 = OpConstant %uint 264
%int_0 = OpConstant %int 0
%int_1 = OpConstant %int 1
%float_0 = OpConstant %float 0
%int_2 = OpConstant %int 2
%float_1 = OpConstant %float 1
%main_1 = OpFunction %void None %10
%13 = OpLabel
%i = OpVariable %_ptr_Function_int Function %16
%GLF_live3s = OpVariable %_ptr_Function_float Function %19
%i_1 = OpVariable %_ptr_Function_int Function %16
%z = OpVariable %_ptr_Function_int Function %16
%25 = OpAccessChain %_ptr_StorageBuffer_int %x_4 %uint_0
OpStore %25 %int_42
%28 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%29 = OpLoad %float %28
%31 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%32 = OpLoad %float %31
%33 = OpFOrdGreaterThan %bool %29 %32
OpSelectionMerge %35 None
OpBranchConditional %33 %36 %35
%36 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %35
%35 = OpLabel
%40 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%41 = OpLoad %float %40
%42 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%43 = OpLoad %float %42
%44 = OpFOrdGreaterThan %bool %41 %43
OpSelectionMerge %45 None
OpBranchConditional %44 %46 %45
%46 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %45
%45 = OpLabel
%48 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%49 = OpLoad %float %48
%50 = OpConvertFToS %int %49
OpStore %i %50
OpBranch %51
%51 = OpLabel
OpLoopMerge %52 %53 None
OpBranch %54
%54 = OpLabel
%55 = OpLoad %int %i
%57 = OpSGreaterThan %bool %55 %int_0
OpSelectionMerge %58 None
OpBranchConditional %57 %59 %60
%59 = OpLabel
OpBranch %58
%60 = OpLabel
OpBranch %52
%58 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %53
%53 = OpLabel
%62 = OpLoad %int %i
%64 = OpISub %int %62 %int_1
OpStore %i %64
OpBranch %51
%52 = OpLabel
OpStore %GLF_live3s %float_0
OpBranch %66
%66 = OpLabel
OpLoopMerge %67 %68 None
OpBranch %69
%69 = OpLabel
OpStore %i_1 %int_1
OpBranch %70
%70 = OpLabel
OpLoopMerge %71 %72 None
OpBranch %73
%73 = OpLabel
%74 = OpLoad %int %i_1
%76 = OpSLessThan %bool %74 %int_2
OpSelectionMerge %77 None
OpBranchConditional %76 %78 %79
%78 = OpLabel
OpBranch %77
%79 = OpLabel
OpBranch %71
%77 = OpLabel
%80 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%81 = OpLoad %float %80
%83 = OpFOrdGreaterThan %bool %81 %float_1
OpSelectionMerge %84 None
OpBranchConditional %83 %85 %84
%85 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %84
%84 = OpLabel
%87 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%88 = OpLoad %float %87
%89 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%90 = OpLoad %float %89
%91 = OpFOrdGreaterThan %bool %88 %90
OpSelectionMerge %92 None
OpBranchConditional %91 %93 %92
%93 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %92
%92 = OpLabel
%95 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%96 = OpLoad %float %95
%97 = OpConvertFToS %int %96
OpStore %z %97
OpBranch %98
%98 = OpLabel
OpLoopMerge %99 %100 None
OpBranch %101
%101 = OpLabel
%102 = OpLoad %int %z
%103 = OpSGreaterThan %bool %102 %int_0
OpSelectionMerge %104 None
OpBranchConditional %103 %105 %106
%105 = OpLabel
OpBranch %104
%106 = OpLabel
OpBranch %99
%104 = OpLabel
%107 = OpLoad %float %GLF_live3s
%108 = OpFAdd %float %107 %float_1
OpStore %GLF_live3s %108
OpBranch %100
%100 = OpLabel
%109 = OpLoad %int %z
%110 = OpISub %int %109 %int_1
OpStore %z %110
OpBranch %98
%99 = OpLabel
%111 = OpLoad %int %i_1
%112 = OpSGreaterThanEqual %bool %111 %int_1
OpSelectionMerge %113 None
OpBranchConditional %112 %114 %113
%114 = OpLabel
%115 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%116 = OpLoad %float %115
%117 = OpFOrdGreaterThan %bool %116 %float_1
OpSelectionMerge %118 None
OpBranchConditional %117 %119 %118
%119 = OpLabel
OpControlBarrier %uint_2 %uint_2 %uint_264
OpBranch %118
%118 = OpLabel
OpBranch %113
%113 = OpLabel
OpBranch %72
%72 = OpLabel
%121 = OpLoad %int %i_1
%122 = OpIAdd %int %121 %int_1
OpStore %i_1 %122
OpBranch %70
%71 = OpLabel
OpBranch %68
%68 = OpLabel
%123 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_0
%124 = OpLoad %float %123
%125 = OpAccessChain %_ptr_Uniform_float %x_6 %uint_0 %uint_1
%126 = OpLoad %float %125
%127 = OpFOrdGreaterThan %bool %124 %126
OpSelectionMerge %128 None
OpBranchConditional %127 %129 %130
%129 = OpLabel
OpBranch %128
%130 = OpLabel
OpBranch %67
%128 = OpLabel
OpBranch %66
%67 = OpLabel
OpReturn
OpFunctionEnd
%main = OpFunction %void None %10
%132 = OpLabel
%133 = OpFunctionCall %void %main_1
OpReturn
OpFunctionEnd
1:1: The continue construct with the continue target 68[%68] is not post dominated by the back-edge block 128[%128]
%128 = OpLabel