1 // Copyright (c) 2019 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_SPLIT_INVALID_UNREACHABLE_PASS_H_ 16 #define SOURCE_OPT_SPLIT_INVALID_UNREACHABLE_PASS_H_ 17 18 #include "source/opt/ir_context.h" 19 #include "source/opt/module.h" 20 #include "source/opt/pass.h" 21 22 namespace spvtools { 23 namespace opt { 24 25 // Attempts to legalize for WebGPU by splitting up invalid unreachable blocks. 26 // Specifically, looking for cases of unreachable merge-blocks and 27 // continue-targets that are used more then once, which is illegal in WebGPU. 28 class SplitInvalidUnreachablePass : public Pass { 29 public: name()30 const char* name() const override { return "split-invalid-unreachable"; } 31 Status Process() override; 32 GetPreservedAnalyses()33 IRContext::Analysis GetPreservedAnalyses() override { 34 return IRContext::kAnalysisInstrToBlockMapping | 35 IRContext::kAnalysisDecorations | IRContext::kAnalysisCombinators | 36 IRContext::kAnalysisCFG | IRContext::kAnalysisDominatorAnalysis | 37 IRContext::kAnalysisLoopAnalysis | IRContext::kAnalysisNameMap | 38 IRContext::kAnalysisScalarEvolution | 39 IRContext::kAnalysisRegisterPressure | 40 IRContext::kAnalysisValueNumberTable | 41 IRContext::kAnalysisStructuredCFG | 42 IRContext::kAnalysisBuiltinVarId | 43 IRContext::kAnalysisIdToFuncMapping | IRContext::kAnalysisTypes | 44 IRContext::kAnalysisDefUse | IRContext::kAnalysisConstants; 45 } 46 }; 47 48 } // namespace opt 49 } // namespace spvtools 50 51 #endif // SOURCE_OPT_SPLIT_INVALID_UNREACHABLE_PASS_H_ 52