| // GENERATED FILE - DO NOT EDIT. |
| // Generated by generate_tests.py |
| // |
| // Copyright (c) 2022 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. |
| |
| #include "../diff_test_utils.h" |
| |
| #include "gtest/gtest.h" |
| |
| namespace spvtools { |
| namespace diff { |
| namespace { |
| |
| // Test where src and dst have a few large functions with small differences. |
| constexpr char kSrc[] = R"( OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpName %4 "main" |
| OpName %6 "f1(" |
| OpName %8 "f2(" |
| OpName %12 "x" |
| OpName %15 "gl_LocalInvocationID" |
| OpName %20 "y" |
| OpName %27 "image" |
| OpName %44 "sum" |
| OpName %46 "i" |
| OpName %56 "j" |
| OpName %80 "BufferOut" |
| OpMemberName %80 0 "o_uv4" |
| OpMemberName %80 1 "o_v3" |
| OpMemberName %80 2 "o_i" |
| OpName %82 "" |
| OpName %88 "BufferIn" |
| OpMemberName %88 0 "i_u" |
| OpMemberName %88 1 "i_v4" |
| OpMemberName %88 2 "i_f" |
| OpName %90 "" |
| OpName %101 "i" |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| %129 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %135 = OpFunctionCall %2 %6 |
| %136 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| %71 = OpIAdd %24 %70 %69 |
| OpStore %44 %71 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %128 = OpLoad %25 %27 |
| %130 = OpImageRead %38 %128 %129 |
| %131 = OpCompositeExtract %24 %130 0 |
| %132 = OpConvertSToF %78 %131 |
| %133 = OpCompositeConstruct %79 %132 %132 %132 |
| %134 = OpAccessChain %110 %82 %73 |
| OpStore %134 %133 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| constexpr char kDst[] = R"( OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpName %4 "main" |
| OpName %6 "f1(" |
| OpName %8 "f2(" |
| OpName %12 "x" |
| OpName %15 "gl_LocalInvocationID" |
| OpName %20 "y" |
| OpName %27 "image" |
| OpName %44 "sum" |
| OpName %46 "i" |
| OpName %56 "j" |
| OpName %80 "BufferOut" |
| OpMemberName %80 0 "o_uv4" |
| OpMemberName %80 1 "o_v3" |
| OpMemberName %80 2 "o_i" |
| OpName %82 "" |
| OpName %88 "BufferIn" |
| OpMemberName %88 0 "i_u" |
| OpMemberName %88 1 "i_v4" |
| OpMemberName %88 2 "i_f" |
| OpName %90 "" |
| OpName %101 "i" |
| OpName %128 "image2" |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| OpDecorate %128 DescriptorSet 0 |
| OpDecorate %128 Binding 3 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| %128 = OpVariable %26 UniformConstant |
| %130 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %136 = OpFunctionCall %2 %6 |
| %137 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| %71 = OpIMul %24 %70 %69 |
| OpStore %44 %71 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %129 = OpLoad %25 %128 |
| %131 = OpImageRead %38 %129 %130 |
| %132 = OpCompositeExtract %24 %131 0 |
| %133 = OpConvertSToF %78 %132 |
| %134 = OpCompositeConstruct %79 %133 %133 %133 |
| %135 = OpAccessChain %110 %82 %73 |
| OpStore %135 %134 |
| OpReturn |
| OpFunctionEnd |
| |
| )"; |
| |
| TEST(DiffTest, LargeFunctionsSmallDiffs) { |
| constexpr char kDiff[] = R"( ; SPIR-V |
| ; Version: 1.6 |
| ; Generator: Khronos SPIR-V Tools Assembler; 0 |
| -; Bound: 137 |
| +; Bound: 140 |
| ; Schema: 0 |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpName %4 "main" |
| OpName %6 "f1(" |
| OpName %8 "f2(" |
| OpName %12 "x" |
| OpName %15 "gl_LocalInvocationID" |
| OpName %20 "y" |
| OpName %27 "image" |
| OpName %44 "sum" |
| OpName %46 "i" |
| OpName %56 "j" |
| OpName %80 "BufferOut" |
| OpMemberName %80 0 "o_uv4" |
| OpMemberName %80 1 "o_v3" |
| OpMemberName %80 2 "o_i" |
| OpName %82 "" |
| OpName %88 "BufferIn" |
| OpMemberName %88 0 "i_u" |
| OpMemberName %88 1 "i_v4" |
| OpMemberName %88 2 "i_f" |
| OpName %90 "" |
| OpName %101 "i" |
| +OpName %138 "image2" |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| +OpDecorate %138 DescriptorSet 0 |
| +OpDecorate %138 Binding 3 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| +%138 = OpVariable %26 UniformConstant |
| %129 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %135 = OpFunctionCall %2 %6 |
| %136 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| -%71 = OpIAdd %24 %70 %69 |
| +%137 = OpIMul %24 %70 %69 |
| -OpStore %44 %71 |
| +OpStore %44 %137 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| -%128 = OpLoad %25 %27 |
| +%139 = OpLoad %25 %138 |
| -%130 = OpImageRead %38 %128 %129 |
| +%130 = OpImageRead %38 %139 %129 |
| %131 = OpCompositeExtract %24 %130 0 |
| %132 = OpConvertSToF %78 %131 |
| %133 = OpCompositeConstruct %79 %132 %132 %132 |
| %134 = OpAccessChain %110 %82 %73 |
| OpStore %134 %133 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| Options options; |
| DoStringDiffTest(kSrc, kDst, kDiff, options); |
| } |
| |
| TEST(DiffTest, LargeFunctionsSmallDiffsNoDebug) { |
| constexpr char kSrcNoDebug[] = R"( OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| %129 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %135 = OpFunctionCall %2 %6 |
| %136 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| %71 = OpIAdd %24 %70 %69 |
| OpStore %44 %71 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %128 = OpLoad %25 %27 |
| %130 = OpImageRead %38 %128 %129 |
| %131 = OpCompositeExtract %24 %130 0 |
| %132 = OpConvertSToF %78 %131 |
| %133 = OpCompositeConstruct %79 %132 %132 %132 |
| %134 = OpAccessChain %110 %82 %73 |
| OpStore %134 %133 |
| OpReturn |
| OpFunctionEnd |
| |
| )"; |
| constexpr char kDstNoDebug[] = R"( OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| OpDecorate %128 DescriptorSet 0 |
| OpDecorate %128 Binding 3 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| %128 = OpVariable %26 UniformConstant |
| %130 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %136 = OpFunctionCall %2 %6 |
| %137 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| %71 = OpIMul %24 %70 %69 |
| OpStore %44 %71 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %129 = OpLoad %25 %128 |
| %131 = OpImageRead %38 %129 %130 |
| %132 = OpCompositeExtract %24 %131 0 |
| %133 = OpConvertSToF %78 %132 |
| %134 = OpCompositeConstruct %79 %133 %133 %133 |
| %135 = OpAccessChain %110 %82 %73 |
| OpStore %135 %134 |
| OpReturn |
| OpFunctionEnd |
| |
| )"; |
| constexpr char kDiff[] = R"( ; SPIR-V |
| ; Version: 1.6 |
| ; Generator: Khronos SPIR-V Tools Assembler; 0 |
| -; Bound: 137 |
| +; Bound: 140 |
| ; Schema: 0 |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %4 "main" %15 |
| OpExecutionMode %4 LocalSize 1 1 1 |
| OpSource ESSL 310 |
| OpDecorate %15 BuiltIn LocalInvocationId |
| OpDecorate %27 DescriptorSet 0 |
| OpDecorate %27 Binding 2 |
| OpMemberDecorate %80 0 Offset 0 |
| OpMemberDecorate %80 1 Offset 16 |
| OpMemberDecorate %80 2 Offset 28 |
| OpDecorate %80 BufferBlock |
| OpDecorate %82 DescriptorSet 0 |
| OpDecorate %82 Binding 1 |
| OpMemberDecorate %88 0 Offset 0 |
| OpMemberDecorate %88 1 RowMajor |
| OpMemberDecorate %88 1 Offset 16 |
| OpMemberDecorate %88 1 MatrixStride 16 |
| OpMemberDecorate %88 2 Offset 80 |
| OpDecorate %88 Block |
| OpDecorate %90 DescriptorSet 0 |
| OpDecorate %90 Binding 0 |
| +OpDecorate %138 DescriptorSet 0 |
| +OpDecorate %138 Binding 3 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %10 = OpTypeInt 32 0 |
| %11 = OpTypePointer Function %10 |
| %13 = OpTypeVector %10 3 |
| %14 = OpTypePointer Input %13 |
| %15 = OpVariable %14 Input |
| %16 = OpConstant %10 0 |
| %17 = OpTypePointer Input %10 |
| %21 = OpConstant %10 1 |
| %24 = OpTypeInt 32 1 |
| %25 = OpTypeImage %24 2D 0 0 0 2 R32i |
| %26 = OpTypePointer UniformConstant %25 |
| %27 = OpVariable %26 UniformConstant |
| %29 = OpTypeVector %10 2 |
| %32 = OpTypeVector %24 2 |
| %38 = OpTypeVector %24 4 |
| %40 = OpConstant %10 2 |
| %41 = OpConstant %10 3400 |
| %42 = OpConstant %10 264 |
| %43 = OpTypePointer Function %24 |
| %45 = OpConstant %24 0 |
| %53 = OpConstant %24 2 |
| %54 = OpTypeBool |
| %73 = OpConstant %24 1 |
| %77 = OpTypeVector %10 4 |
| %78 = OpTypeFloat 32 |
| %79 = OpTypeVector %78 3 |
| %80 = OpTypeStruct %77 %79 %24 |
| %81 = OpTypePointer Uniform %80 |
| %82 = OpVariable %81 Uniform |
| %84 = OpTypePointer Uniform %24 |
| %86 = OpTypeVector %78 4 |
| %87 = OpTypeMatrix %86 4 |
| %88 = OpTypeStruct %10 %87 %78 |
| %89 = OpTypePointer Uniform %88 |
| %90 = OpVariable %89 Uniform |
| %91 = OpTypePointer Uniform %87 |
| %94 = OpTypePointer Uniform %77 |
| %108 = OpConstant %24 3 |
| %110 = OpTypePointer Uniform %79 |
| %113 = OpTypePointer Uniform %78 |
| +%138 = OpVariable %26 UniformConstant |
| %129 = OpConstantComposite %32 %45 %45 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %135 = OpFunctionCall %2 %6 |
| %136 = OpFunctionCall %2 %8 |
| OpReturn |
| OpFunctionEnd |
| %6 = OpFunction %2 None %3 |
| %7 = OpLabel |
| %12 = OpVariable %11 Function |
| %20 = OpVariable %11 Function |
| %44 = OpVariable %43 Function |
| %46 = OpVariable %43 Function |
| %56 = OpVariable %43 Function |
| %18 = OpAccessChain %17 %15 %16 |
| %19 = OpLoad %10 %18 |
| OpStore %12 %19 |
| %22 = OpAccessChain %17 %15 %21 |
| %23 = OpLoad %10 %22 |
| OpStore %20 %23 |
| %28 = OpLoad %25 %27 |
| %30 = OpLoad %13 %15 |
| %31 = OpVectorShuffle %29 %30 %30 0 1 |
| %33 = OpBitcast %32 %31 |
| %34 = OpLoad %10 %12 |
| %35 = OpLoad %10 %20 |
| %36 = OpIAdd %10 %34 %35 |
| %37 = OpBitcast %24 %36 |
| %39 = OpCompositeConstruct %38 %37 %37 %37 %37 |
| OpImageWrite %28 %33 %39 |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| OpStore %44 %45 |
| OpStore %46 %45 |
| OpBranch %47 |
| %47 = OpLabel |
| OpLoopMerge %49 %50 None |
| OpBranch %51 |
| %51 = OpLabel |
| %52 = OpLoad %24 %46 |
| %55 = OpSLessThan %54 %52 %53 |
| OpBranchConditional %55 %48 %49 |
| %48 = OpLabel |
| OpStore %56 %45 |
| OpBranch %57 |
| %57 = OpLabel |
| OpLoopMerge %59 %60 None |
| OpBranch %61 |
| %61 = OpLabel |
| %62 = OpLoad %24 %56 |
| %63 = OpSLessThan %54 %62 %53 |
| OpBranchConditional %63 %58 %59 |
| %58 = OpLabel |
| %64 = OpLoad %25 %27 |
| %65 = OpLoad %24 %46 |
| %66 = OpLoad %24 %56 |
| %67 = OpCompositeConstruct %32 %65 %66 |
| %68 = OpImageRead %38 %64 %67 |
| %69 = OpCompositeExtract %24 %68 0 |
| %70 = OpLoad %24 %44 |
| -%71 = OpIAdd %24 %70 %69 |
| +%137 = OpIMul %24 %70 %69 |
| -OpStore %44 %71 |
| +OpStore %44 %137 |
| OpBranch %60 |
| %60 = OpLabel |
| %72 = OpLoad %24 %56 |
| %74 = OpIAdd %24 %72 %73 |
| OpStore %56 %74 |
| OpBranch %57 |
| %59 = OpLabel |
| OpBranch %50 |
| %50 = OpLabel |
| %75 = OpLoad %24 %46 |
| %76 = OpIAdd %24 %75 %73 |
| OpStore %46 %76 |
| OpBranch %47 |
| %49 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| %83 = OpLoad %24 %44 |
| %85 = OpAccessChain %84 %82 %53 |
| OpStore %85 %83 |
| OpReturn |
| OpFunctionEnd |
| %8 = OpFunction %2 None %3 |
| %9 = OpLabel |
| %101 = OpVariable %43 Function |
| %92 = OpAccessChain %91 %90 %73 |
| %93 = OpLoad %87 %92 |
| %95 = OpAccessChain %94 %82 %45 |
| %96 = OpLoad %77 %95 |
| %97 = OpConvertUToF %86 %96 |
| %98 = OpMatrixTimesVector %86 %93 %97 |
| %99 = OpConvertFToU %77 %98 |
| %100 = OpAccessChain %94 %82 %45 |
| OpStore %100 %99 |
| OpStore %101 %45 |
| OpBranch %102 |
| %102 = OpLabel |
| OpLoopMerge %104 %105 None |
| OpBranch %106 |
| %106 = OpLabel |
| %107 = OpLoad %24 %101 |
| %109 = OpSLessThan %54 %107 %108 |
| OpBranchConditional %109 %103 %104 |
| %103 = OpLabel |
| %111 = OpAccessChain %110 %82 %73 |
| %112 = OpLoad %79 %111 |
| %114 = OpAccessChain %113 %90 %53 |
| %115 = OpLoad %78 %114 |
| %116 = OpVectorTimesScalar %79 %112 %115 |
| %117 = OpConvertFToU %13 %116 |
| %118 = OpCompositeExtract %10 %117 0 |
| %119 = OpCompositeExtract %10 %117 1 |
| %120 = OpCompositeExtract %10 %117 2 |
| %121 = OpCompositeConstruct %77 %118 %119 %120 %16 |
| %122 = OpAccessChain %94 %82 %45 |
| %123 = OpLoad %77 %122 |
| %124 = OpIAdd %77 %123 %121 |
| %125 = OpAccessChain %94 %82 %45 |
| OpStore %125 %124 |
| OpBranch %105 |
| %105 = OpLabel |
| %126 = OpLoad %24 %101 |
| %127 = OpIAdd %24 %126 %73 |
| OpStore %101 %127 |
| OpBranch %102 |
| %104 = OpLabel |
| OpMemoryBarrier %40 %41 |
| OpControlBarrier %40 %40 %42 |
| -%128 = OpLoad %25 %27 |
| +%139 = OpLoad %25 %138 |
| -%130 = OpImageRead %38 %128 %129 |
| +%130 = OpImageRead %38 %139 %129 |
| %131 = OpCompositeExtract %24 %130 0 |
| %132 = OpConvertSToF %78 %131 |
| %133 = OpCompositeConstruct %79 %132 %132 %132 |
| %134 = OpAccessChain %110 %82 %73 |
| OpStore %134 %133 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| Options options; |
| DoStringDiffTest(kSrcNoDebug, kDstNoDebug, kDiff, options); |
| } |
| |
| } // namespace |
| } // namespace diff |
| } // namespace spvtools |
