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/tint/vk-gl-cts/graphicsfuzz/undefined-integer-in-function/0-opt.spvasm

114 lines
4.2 KiB
Plaintext
Raw Permalink 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
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %main "main" %_GLF_color
OpExecutionMode %main OriginUpperLeft
OpSource ESSL 310
OpName %main "main"
OpName %performPartition_ "performPartition("
OpName %_GLF_color "_GLF_color"
OpName %buf0 "buf0"
OpMemberName %buf0 0 "injectionSwitch"
OpName %_ ""
OpName %GLF_live0i "GLF_live0i"
OpName %i "i"
OpDecorate %performPartition_ RelaxedPrecision
OpDecorate %_GLF_color Location 0
OpMemberDecorate %buf0 0 Offset 0
OpDecorate %buf0 Block
OpDecorate %_ DescriptorSet 0
OpDecorate %_ Binding 0
OpDecorate %GLF_live0i RelaxedPrecision
OpDecorate %i RelaxedPrecision
OpDecorate %9 RelaxedPrecision
OpDecorate %10 RelaxedPrecision
OpDecorate %11 RelaxedPrecision
OpDecorate %10 RelaxedPrecision
OpDecorate %10 RelaxedPrecision
%void = OpTypeVoid
%13 = OpTypeFunction %void
%int = OpTypeInt 32 1
%15 = OpTypeFunction %int
%float = OpTypeFloat 32
%v4float = OpTypeVector %float 4
%_ptr_Output_v4float = OpTypePointer Output %v4float
%_GLF_color = OpVariable %_ptr_Output_v4float Output
%float_1 = OpConstant %float 1
%float_0 = OpConstant %float 0
%21 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
%v2float = OpTypeVector %float 2
%buf0 = OpTypeStruct %v2float
%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
%_ = OpVariable %_ptr_Uniform_buf0 Uniform
%int_0 = OpConstant %int 0
%uint = OpTypeInt 32 0
%uint_1 = OpConstant %uint 1
%_ptr_Uniform_float = OpTypePointer Uniform %float
%bool = OpTypeBool
%_ptr_Function_int = OpTypePointer Function %int
%int_1 = OpConstant %int 1
%false = OpConstantFalse %bool
%32 = OpUndef %int
%true = OpConstantTrue %bool
%main = OpFunction %void None %13
%34 = OpLabel
%9 = OpFunctionCall %int %performPartition_
OpReturn
OpFunctionEnd
%performPartition_ = OpFunction %int None %15
%35 = OpLabel
%GLF_live0i = OpVariable %_ptr_Function_int Function
%i = OpVariable %_ptr_Function_int Function
OpStore %_GLF_color %21
OpBranch %36
%36 = OpLabel
%10 = OpPhi %int %32 %35 %11 %37
OpLoopMerge %38 %37 None
OpBranch %39
%39 = OpLabel
%40 = OpAccessChain %_ptr_Uniform_float %_ %int_0 %uint_1
%41 = OpLoad %float %40
%42 = OpFOrdLessThan %bool %41 %float_0
OpSelectionMerge %43 None
OpBranchConditional %42 %44 %45
%45 = OpLabel
OpStore %GLF_live0i %int_0
OpBranch %46
%46 = OpLabel
%47 = OpSLessThan %bool %int_0 %int_1
OpLoopMerge %48 %49 None
OpBranch %50
%50 = OpLabel
OpSelectionMerge %51 None
OpBranchConditional %42 %48 %51
%48 = OpLabel
OpSelectionMerge %52 None
OpBranchConditional %42 %53 %52
%51 = OpLabel
OpReturnValue %int_1
%49 = OpLabel
OpBranch %46
%53 = OpLabel
OpBranch %54
%54 = OpLabel
OpLoopMerge %55 %56 None
OpBranch %57
%57 = OpLabel
OpReturnValue %int_1
%56 = OpLabel
OpBranch %54
%55 = OpLabel
OpUnreachable
%52 = OpLabel
OpBranch %37
%44 = OpLabel
OpBranch %37
%43 = OpLabel
OpBranch %37
%37 = OpLabel
%11 = OpPhi %int %10 %44 %10 %52 %int_0 %43
OpBranchConditional %false %36 %38
%38 = OpLabel
OpReturnValue %11
OpFunctionEnd