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#ifndef SOURCE_OPT_SIMPLIFICATION_PASS_H_
16#define SOURCE_OPT_SIMPLIFICATION_PASS_H_
17
18#include "source/opt/function.h"
19#include "source/opt/ir_context.h"
20#include "source/opt/pass.h"
21
22namespace spvtools {
23namespace opt {
24
25// See optimizer.hpp for documentation.
26class SimplificationPass : public Pass {
27 public:
28 const char* name() const override { return "simplify-instructions"; }
29 Status Process() override;
30
31 IRContext::Analysis GetPreservedAnalyses() override {
32 return IRContext::kAnalysisDefUse |
33 IRContext::kAnalysisInstrToBlockMapping |
34 IRContext::kAnalysisDecorations | IRContext::kAnalysisCombinators |
35 IRContext::kAnalysisCFG | IRContext::kAnalysisDominatorAnalysis |
36 IRContext::kAnalysisNameMap | IRContext::kAnalysisConstants |
37 IRContext::kAnalysisTypes;
38 }
39
40 private:
41 // Returns true if the module was changed. The simplifier is called on every
42 // instruction in |function| until nothing else in the function can be
43 // simplified.
44 bool SimplifyFunction(Function* function);
45
46 // FactorAddMul can create |folded_inst| Mul of new Add. If Mul, push any Add
47 // operand not in |seen_inst| into |worklist|. This is heavily restricted to
48 // improve compile time but can be expanded for future simplifications which
49 // simiarly create new operations.
50 void AddNewOperands(Instruction* folded_inst,
51 std::unordered_set<Instruction*>* inst_seen,
52 std::vector<Instruction*>* work_list);
53};
54
55} // namespace opt
56} // namespace spvtools
57
58#endif // SOURCE_OPT_SIMPLIFICATION_PASS_H_
59