kbz_8/Vulkan-CTS-bin
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Files
master
Vulkan-CTS-bin/vulkan/amber/graphicsfuzz/spv-stable-bifurcation-Os-mutate-var-vector-shuffle.amber
T
kbz_8 fd7038b853 yes
2026-05-06 23:44:13 +02:00

447 lines
16 KiB
Plaintext
Raw Permalink Blame History

#!amber
# Copyright 2020 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
# A test for a bug found by the GraphicsFuzz project.
# Short description: Three shaders diff: mutate var, vector shuffle
# The test renders three images using semantically equivalent shaders, and then
# checks that the images are similar.
# The test passes because the shaders have the same semantics and so the images
# should be the same.
SHADER vertex reference_vertex_shader PASSTHROUGH
SHADER fragment reference_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 7
; Bound: 107
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %12 %74
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %12 "gl_FragCoord"
OpName %15 "buf0"
OpMemberName %15 0 "resolution"
OpName %17 ""
OpName %74 "_GLF_color"
OpName %100 "indexable"
OpDecorate %12 BuiltIn FragCoord
OpMemberDecorate %15 0 Offset 0
OpDecorate %15 Block
OpDecorate %17 DescriptorSet 0
OpDecorate %17 Binding 0
OpDecorate %74 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypeVector %6 2
%10 = OpTypeVector %6 4
%11 = OpTypePointer Input %10
%12 = OpVariable %11 Input
%15 = OpTypeStruct %7
%16 = OpTypePointer Uniform %15
%17 = OpVariable %16 Uniform
%18 = OpTypeInt 32 1
%19 = OpConstant %18 0
%20 = OpTypePointer Uniform %7
%27 = OpTypeInt 32 0
%32 = OpConstant %6 10
%47 = OpConstant %18 10
%51 = OpConstant %18 100
%60 = OpTypeBool
%62 = OpConstant %18 4
%65 = OpConstant %18 1000
%71 = OpConstant %18 1
%73 = OpTypePointer Output %10
%74 = OpVariable %73 Output
%75 = OpConstant %27 16
%76 = OpTypeArray %10 %75
%77 = OpConstant %6 0
%78 = OpConstant %6 1
%79 = OpConstantComposite %10 %77 %77 %77 %78
%80 = OpConstant %6 0.5
%81 = OpConstantComposite %10 %80 %77 %77 %78
%82 = OpConstantComposite %10 %77 %80 %77 %78
%83 = OpConstantComposite %10 %80 %80 %77 %78
%84 = OpConstantComposite %10 %77 %77 %80 %78
%85 = OpConstantComposite %10 %80 %77 %80 %78
%86 = OpConstantComposite %10 %77 %80 %80 %78
%87 = OpConstantComposite %10 %80 %80 %80 %78
%88 = OpConstantComposite %10 %78 %77 %77 %78
%89 = OpConstantComposite %10 %77 %78 %77 %78
%90 = OpConstantComposite %10 %78 %78 %77 %78
%91 = OpConstantComposite %10 %77 %77 %78 %78
%92 = OpConstantComposite %10 %78 %77 %78 %78
%93 = OpConstantComposite %10 %77 %78 %78 %78
%94 = OpConstantComposite %10 %78 %78 %78 %78
%95 = OpConstantComposite %76 %79 %81 %82 %83 %84 %85 %86 %87 %79 %88 %89 %90 %91 %92 %93 %94
%97 = OpConstant %18 16
%99 = OpTypePointer Function %76
%101 = OpTypePointer Function %10
%4 = OpFunction %2 None %3
%5 = OpLabel
%100 = OpVariable %99 Function
%13 = OpLoad %10 %12
%14 = OpVectorShuffle %7 %13 %13 0 1
%21 = OpAccessChain %20 %17 %19
%22 = OpLoad %7 %21
%23 = OpFDiv %7 %14 %22
%31 = OpCompositeExtract %6 %23 0
%33 = OpFMul %6 %31 %32
%34 = OpConvertFToS %18 %33
%37 = OpCompositeExtract %6 %23 1
%38 = OpFMul %6 %37 %32
%39 = OpConvertFToS %18 %38
%48 = OpIMul %18 %39 %47
%49 = OpIAdd %18 %34 %48
OpBranch %53
%53 = OpLabel
%106 = OpPhi %18 %51 %5 %69 %54
%104 = OpPhi %18 %19 %5 %72 %54
%61 = OpSLessThan %60 %104 %49
OpLoopMerge %55 %54 None
OpBranchConditional %61 %54 %55
%54 = OpLabel
%64 = OpIMul %18 %62 %106
%67 = OpISub %18 %65 %106
%68 = OpIMul %18 %64 %67
%69 = OpSDiv %18 %68 %65
%72 = OpIAdd %18 %104 %71
OpBranch %53
%55 = OpLabel
%98 = OpSMod %18 %106 %97
OpStore %100 %95
%102 = OpAccessChain %101 %100 %98
%103 = OpLoad %10 %102
OpStore %74 %103
OpReturn
OpFunctionEnd
END
# uniforms for reference
# resolution
BUFFER reference_resolution DATA_TYPE vec2<float> STD140 DATA
256.0 256.0
END
BUFFER reference_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics reference_pipeline
ATTACH reference_vertex_shader
ATTACH reference_fragment_shader
FRAMEBUFFER_SIZE 256 256
BIND BUFFER reference_framebuffer AS color LOCATION 0
BIND BUFFER reference_resolution AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR reference_pipeline 0 0 0 255
CLEAR reference_pipeline
RUN reference_pipeline DRAW_RECT POS 0 0 SIZE 256 256
SHADER vertex variant_vertex_shader PASSTHROUGH
SHADER fragment variant_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 7
; Bound: 263
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %12 %74
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %12 "gl_FragCoord"
OpName %15 "buf0"
OpMemberName %15 0 "resolution"
OpName %17 ""
OpName %74 "_GLF_color"
OpName %100 "indexable"
OpDecorate %12 BuiltIn FragCoord
OpMemberDecorate %15 0 Offset 0
OpDecorate %15 Block
OpDecorate %17 DescriptorSet 0
OpDecorate %17 Binding 0
OpDecorate %74 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypeVector %6 2
%10 = OpTypeVector %6 4
%11 = OpTypePointer Input %10
%12 = OpVariable %11 Input
%15 = OpTypeStruct %7
%16 = OpTypePointer Uniform %15
%17 = OpVariable %16 Uniform
%18 = OpTypeInt 32 1
%19 = OpConstant %18 0
%20 = OpTypePointer Uniform %7
%27 = OpTypeInt 32 0
%32 = OpConstant %6 10
%47 = OpConstant %18 10
%51 = OpConstant %18 100
%60 = OpTypeBool
%62 = OpConstant %18 4
%65 = OpConstant %18 1000
%71 = OpConstant %18 1
%73 = OpTypePointer Output %10
%74 = OpVariable %73 Output
%75 = OpConstant %27 16
%76 = OpTypeArray %10 %75
%77 = OpConstant %6 0
%78 = OpConstant %6 1
%79 = OpConstantComposite %10 %77 %77 %77 %78
%80 = OpConstant %6 0.5
%81 = OpConstantComposite %10 %80 %77 %77 %78
%82 = OpConstantComposite %10 %77 %80 %77 %78
%83 = OpConstantComposite %10 %80 %80 %77 %78
%84 = OpConstantComposite %10 %77 %77 %80 %78
%85 = OpConstantComposite %10 %80 %77 %80 %78
%86 = OpConstantComposite %10 %77 %80 %80 %78
%87 = OpConstantComposite %10 %80 %80 %80 %78
%88 = OpConstantComposite %10 %78 %77 %77 %78
%89 = OpConstantComposite %10 %77 %78 %77 %78
%90 = OpConstantComposite %10 %78 %78 %77 %78
%91 = OpConstantComposite %10 %77 %77 %78 %78
%92 = OpConstantComposite %10 %78 %77 %78 %78
%93 = OpConstantComposite %10 %77 %78 %78 %78
%94 = OpConstantComposite %10 %78 %78 %78 %78
%95 = OpConstantComposite %76 %79 %81 %82 %83 %84 %85 %86 %87 %79 %88 %89 %90 %91 %92 %93 %94
%97 = OpConstant %18 16
%99 = OpTypePointer Function %76
%101 = OpTypePointer Function %10
%234 = OpConstant %6 0
%235 = OpConstantComposite %10 %234 %234 %234 %234
%236 = OpConstantComposite %76 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235
%4 = OpFunction %2 None %3
%5 = OpLabel
%100 = OpVariable %99 Function
%13 = OpLoad %10 %12
%14 = OpVectorShuffle %7 %13 %13 0 1
%21 = OpAccessChain %20 %17 %19
%22 = OpLoad %7 %21
%23 = OpFDiv %7 %14 %22
%31 = OpCompositeExtract %6 %23 0
%33 = OpFMul %6 %31 %32
%34 = OpConvertFToS %18 %33
%37 = OpCompositeExtract %6 %23 1
%38 = OpFMul %6 %37 %32
%39 = OpConvertFToS %18 %38
%48 = OpIMul %18 %39 %47
%49 = OpIAdd %18 %34 %48
OpBranch %53
%53 = OpLabel
%106 = OpPhi %18 %51 %5 %69 %54
%104 = OpPhi %18 %19 %5 %72 %54
%61 = OpSLessThan %60 %104 %49
OpLoopMerge %55 %54 None
OpBranchConditional %61 %54 %55
%54 = OpLabel
%64 = OpIMul %18 %62 %106
%67 = OpISub %18 %65 %106
%68 = OpIMul %18 %64 %67
%69 = OpSDiv %18 %68 %65
%72 = OpIAdd %18 %104 %71
OpBranch %53
%55 = OpLabel
%98 = OpSMod %18 %106 %97
OpStore %100 %95
%262 = OpLoad %76 %100
OpStore %100 %236
OpStore %100 %262
%231 = OpVectorShuffle %7 %89 %85 1 4
%102 = OpAccessChain %101 %100 %98
%103 = OpLoad %10 %102
OpStore %74 %103
OpReturn
OpFunctionEnd
END
# uniforms for variant
# resolution
BUFFER variant_resolution DATA_TYPE vec2<float> STD140 DATA
256.0 256.0
END
BUFFER variant_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics variant_pipeline
ATTACH variant_vertex_shader
ATTACH variant_fragment_shader
FRAMEBUFFER_SIZE 256 256
BIND BUFFER variant_framebuffer AS color LOCATION 0
BIND BUFFER variant_resolution AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR variant_pipeline 0 0 0 255
CLEAR variant_pipeline
RUN variant_pipeline DRAW_RECT POS 0 0 SIZE 256 256
SHADER vertex variant_2_vertex_shader PASSTHROUGH
SHADER fragment variant_2_fragment_shader SPIRV-ASM TARGET_ENV spv1.0
; SPIR-V
; Version: 1.0
; Generator: Khronos Glslang Reference Front End; 7
; Bound: 237
; Schema: 0
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %12 %74
OpExecutionMode %4 OriginUpperLeft
OpSource ESSL 320
OpName %4 "main"
OpName %12 "gl_FragCoord"
OpName %15 "buf0"
OpMemberName %15 0 "resolution"
OpName %17 ""
OpName %74 "_GLF_color"
OpName %100 "indexable"
OpDecorate %12 BuiltIn FragCoord
OpMemberDecorate %15 0 Offset 0
OpDecorate %15 Block
OpDecorate %17 DescriptorSet 0
OpDecorate %17 Binding 0
OpDecorate %74 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypeVector %6 2
%10 = OpTypeVector %6 4
%11 = OpTypePointer Input %10
%12 = OpVariable %11 Input
%15 = OpTypeStruct %7
%16 = OpTypePointer Uniform %15
%17 = OpVariable %16 Uniform
%18 = OpTypeInt 32 1
%19 = OpConstant %18 0
%20 = OpTypePointer Uniform %7
%27 = OpTypeInt 32 0
%32 = OpConstant %6 10
%47 = OpConstant %18 10
%51 = OpConstant %18 100
%60 = OpTypeBool
%62 = OpConstant %18 4
%65 = OpConstant %18 1000
%71 = OpConstant %18 1
%73 = OpTypePointer Output %10
%74 = OpVariable %73 Output
%75 = OpConstant %27 16
%76 = OpTypeArray %10 %75
%77 = OpConstant %6 0
%78 = OpConstant %6 1
%79 = OpConstantComposite %10 %77 %77 %77 %78
%80 = OpConstant %6 0.5
%81 = OpConstantComposite %10 %80 %77 %77 %78
%82 = OpConstantComposite %10 %77 %80 %77 %78
%83 = OpConstantComposite %10 %80 %80 %77 %78
%84 = OpConstantComposite %10 %77 %77 %80 %78
%85 = OpConstantComposite %10 %80 %77 %80 %78
%86 = OpConstantComposite %10 %77 %80 %80 %78
%87 = OpConstantComposite %10 %80 %80 %80 %78
%88 = OpConstantComposite %10 %78 %77 %77 %78
%89 = OpConstantComposite %10 %77 %78 %77 %78
%90 = OpConstantComposite %10 %78 %78 %77 %78
%91 = OpConstantComposite %10 %77 %77 %78 %78
%92 = OpConstantComposite %10 %78 %77 %78 %78
%93 = OpConstantComposite %10 %77 %78 %78 %78
%94 = OpConstantComposite %10 %78 %78 %78 %78
%95 = OpConstantComposite %76 %79 %81 %82 %83 %84 %85 %86 %87 %79 %88 %89 %90 %91 %92 %93 %94
%97 = OpConstant %18 16
%99 = OpTypePointer Function %76
%101 = OpTypePointer Function %10
%234 = OpConstant %6 0
%235 = OpConstantComposite %10 %234 %234 %234 %234
%236 = OpConstantComposite %76 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235 %235
%4 = OpFunction %2 None %3
%5 = OpLabel
%100 = OpVariable %99 Function
%13 = OpLoad %10 %12
%14 = OpVectorShuffle %7 %13 %13 0 1
%21 = OpAccessChain %20 %17 %19
%22 = OpLoad %7 %21
%23 = OpFDiv %7 %14 %22
%31 = OpCompositeExtract %6 %23 0
%33 = OpFMul %6 %31 %32
%34 = OpConvertFToS %18 %33
%37 = OpCompositeExtract %6 %23 1
%38 = OpFMul %6 %37 %32
%39 = OpConvertFToS %18 %38
%48 = OpIMul %18 %39 %47
%49 = OpIAdd %18 %34 %48
OpBranch %53
%53 = OpLabel
%106 = OpPhi %18 %51 %5 %69 %54
%104 = OpPhi %18 %19 %5 %72 %54
%61 = OpSLessThan %60 %104 %49
OpLoopMerge %55 %54 None
OpBranchConditional %61 %54 %55
%54 = OpLabel
%64 = OpIMul %18 %62 %106
%67 = OpISub %18 %65 %106
%68 = OpIMul %18 %64 %67
%69 = OpSDiv %18 %68 %65
%72 = OpIAdd %18 %104 %71
OpBranch %53
%55 = OpLabel
%98 = OpSMod %18 %106 %97
OpStore %100 %95
%231 = OpVectorShuffle %7 %89 %85 1 4
%102 = OpAccessChain %101 %100 %98
%103 = OpLoad %10 %102
OpStore %74 %103
OpReturn
OpFunctionEnd
END
# uniforms for variant_2
# resolution
BUFFER variant_2_resolution DATA_TYPE vec2<float> STD140 DATA
256.0 256.0
END
BUFFER variant_2_framebuffer FORMAT B8G8R8A8_UNORM
PIPELINE graphics variant_2_pipeline
ATTACH variant_2_vertex_shader
ATTACH variant_2_fragment_shader
FRAMEBUFFER_SIZE 256 256
BIND BUFFER variant_2_framebuffer AS color LOCATION 0
BIND BUFFER variant_2_resolution AS uniform DESCRIPTOR_SET 0 BINDING 0
END
CLEAR_COLOR variant_2_pipeline 0 0 0 255
CLEAR variant_2_pipeline
RUN variant_2_pipeline DRAW_RECT POS 0 0 SIZE 256 256
EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_framebuffer TOLERANCE 0.005
EXPECT reference_framebuffer EQ_HISTOGRAM_EMD_BUFFER variant_2_framebuffer TOLERANCE 0.005
Reference in New Issue View Git Blame Copy Permalink