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 22 namespace spvtools { 23 namespace opt { 24 25 // See optimizer.hpp for documentation. 26 class SimplificationPass : public Pass { 27 public: name()28 const char* name() const override { return "simplify-instructions"; } 29 Status Process() override; 30 GetPreservedAnalyses()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