1 // Copyright (c) 2017 Google Inc. 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 // This file implements a pass to cleanup the CFG to remove superfluous 16 // constructs (e.g., unreachable basic blocks, empty control flow structures, 17 // etc) 18 19 #include <queue> 20 #include <unordered_set> 21 22 #include "source/opt/cfg_cleanup_pass.h" 23 24 #include "source/opt/function.h" 25 #include "source/opt/module.h" 26 27 namespace spvtools { 28 namespace opt { 29 Process()30Pass::Status CFGCleanupPass::Process() { 31 // Process all entry point functions. 32 ProcessFunction pfn = [this](Function* fp) { return CFGCleanup(fp); }; 33 bool modified = context()->ProcessReachableCallTree(pfn); 34 return modified ? Pass::Status::SuccessWithChange 35 : Pass::Status::SuccessWithoutChange; 36 } 37 38 } // namespace opt 39 } // namespace spvtools 40