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
27namespace spvtools {
28namespace opt {
29
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