1 // Copyright (c) 2018 Google LLC
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 // http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14
15 #include "reduce_test_util.h"
16 #include "source/opt/build_module.h"
17 #include "source/reduce/operand_to_const_reduction_pass.h"
18
19 namespace spvtools {
20 namespace reduce {
21 namespace {
22
TEST(OperandToConstantReductionPassTest,BasicCheck)23 TEST(OperandToConstantReductionPassTest, BasicCheck) {
24 std::string prologue = R"(
25 OpCapability Shader
26 %1 = OpExtInstImport "GLSL.std.450"
27 OpMemoryModel Logical GLSL450
28 OpEntryPoint Fragment %4 "main" %37
29 OpExecutionMode %4 OriginUpperLeft
30 OpSource ESSL 310
31 OpName %4 "main"
32 OpName %9 "buf1"
33 OpMemberName %9 0 "f"
34 OpName %11 ""
35 OpName %24 "buf2"
36 OpMemberName %24 0 "i"
37 OpName %26 ""
38 OpName %37 "_GLF_color"
39 OpMemberDecorate %9 0 Offset 0
40 OpDecorate %9 Block
41 OpDecorate %11 DescriptorSet 0
42 OpDecorate %11 Binding 1
43 OpMemberDecorate %24 0 Offset 0
44 OpDecorate %24 Block
45 OpDecorate %26 DescriptorSet 0
46 OpDecorate %26 Binding 2
47 OpDecorate %37 Location 0
48 %2 = OpTypeVoid
49 %3 = OpTypeFunction %2
50 %6 = OpTypeFloat 32
51 %9 = OpTypeStruct %6
52 %10 = OpTypePointer Uniform %9
53 %11 = OpVariable %10 Uniform
54 %12 = OpTypeInt 32 1
55 %13 = OpConstant %12 0
56 %14 = OpTypePointer Uniform %6
57 %20 = OpConstant %6 2
58 %24 = OpTypeStruct %12
59 %25 = OpTypePointer Uniform %24
60 %26 = OpVariable %25 Uniform
61 %27 = OpTypePointer Uniform %12
62 %33 = OpConstant %12 3
63 %35 = OpTypeVector %6 4
64 %36 = OpTypePointer Output %35
65 %37 = OpVariable %36 Output
66 %4 = OpFunction %2 None %3
67 %5 = OpLabel
68 %15 = OpAccessChain %14 %11 %13
69 %16 = OpLoad %6 %15
70 %19 = OpFAdd %6 %16 %16
71 %21 = OpFAdd %6 %19 %20
72 %28 = OpAccessChain %27 %26 %13
73 %29 = OpLoad %12 %28
74 )";
75
76 std::string epilogue = R"(
77 %45 = OpConvertSToF %6 %34
78 %46 = OpCompositeConstruct %35 %16 %21 %43 %45
79 OpStore %37 %46
80 OpReturn
81 OpFunctionEnd
82 )";
83
84 std::string original = prologue + R"(
85 %32 = OpIAdd %12 %29 %29
86 %34 = OpIAdd %12 %32 %33
87 %43 = OpConvertSToF %6 %29
88 )" + epilogue;
89
90 std::string expected = prologue + R"(
91 %32 = OpIAdd %12 %13 %13 ; %29 -> %13 x 2
92 %34 = OpIAdd %12 %13 %33 ; %32 -> %13
93 %43 = OpConvertSToF %6 %13 ; %29 -> %13
94 )" + epilogue;
95
96 const auto env = SPV_ENV_UNIVERSAL_1_3;
97 const auto consumer = nullptr;
98 const auto context =
99 BuildModule(env, consumer, original, kReduceAssembleOption);
100 const auto pass = TestSubclass<OperandToConstReductionPass>(env);
101 const auto ops = pass.WrapGetAvailableOpportunities(context.get());
102 ASSERT_EQ(17, ops.size());
103 ASSERT_TRUE(ops[0]->PreconditionHolds());
104 ops[0]->TryToApply();
105 ASSERT_TRUE(ops[1]->PreconditionHolds());
106 ops[1]->TryToApply();
107 ASSERT_TRUE(ops[2]->PreconditionHolds());
108 ops[2]->TryToApply();
109 ASSERT_TRUE(ops[3]->PreconditionHolds());
110 ops[3]->TryToApply();
111
112 CheckEqual(env, expected, context.get());
113 }
114
TEST(OperandToConstantReductionPassTest,WithCalledFunction)115 TEST(OperandToConstantReductionPassTest, WithCalledFunction) {
116 std::string shader = R"(
117 OpCapability Shader
118 %1 = OpExtInstImport "GLSL.std.450"
119 OpMemoryModel Logical GLSL450
120 OpEntryPoint Fragment %4 "main" %10 %12
121 OpExecutionMode %4 OriginUpperLeft
122 OpSource ESSL 310
123 %2 = OpTypeVoid
124 %3 = OpTypeFunction %2
125 %6 = OpTypeFloat 32
126 %7 = OpTypeVector %6 4
127 %8 = OpTypeFunction %7
128 %9 = OpTypePointer Output %7
129 %10 = OpVariable %9 Output
130 %11 = OpTypePointer Input %7
131 %12 = OpVariable %11 Input
132 %13 = OpConstant %6 0
133 %14 = OpConstantComposite %7 %13 %13 %13 %13
134 %4 = OpFunction %2 None %3
135 %5 = OpLabel
136 %15 = OpFunctionCall %7 %16
137 OpReturn
138 OpFunctionEnd
139 %16 = OpFunction %7 None %8
140 %17 = OpLabel
141 OpReturnValue %14
142 OpFunctionEnd
143 )";
144
145 const auto env = SPV_ENV_UNIVERSAL_1_3;
146 const auto consumer = nullptr;
147 const auto context =
148 BuildModule(env, consumer, shader, kReduceAssembleOption);
149 const auto pass = TestSubclass<OperandToConstReductionPass>(env);
150 const auto ops = pass.WrapGetAvailableOpportunities(context.get());
151 ASSERT_EQ(0, ops.size());
152 }
153
154 } // namespace
155 } // namespace reduce
156 } // namespace spvtools
157