mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-10-19 11:30:15 +00:00
5f599e700e
* Create structed cfg analysis. There are lots of optimization that have to traverse the CFG in a structured order just because it wants to know which constructs a basic block in contained in. This adds extra complexity to these optimizations, for causes too much refactoring of older optimizations. To help with this problem, I have written an analysis that can give this information. * Identify branches breaking from loops. Dead branch elimination does a search for a conditional branch to the end of the current selection construct. This search assumes that the only way to leave the construct is through the merge node. But that is not true. The code can jump to the merge node of a loop that contains the construct. The search needs to take this into consideration.
90 lines
3.1 KiB
C++
90 lines
3.1 KiB
C++
// Copyright (c) 2018 Google LLC.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#ifndef SOURCE_OPT_STRUCT_CFG_ANALYSIS_H_
|
|
#define SOURCE_OPT_STRUCT_CFG_ANALYSIS_H_
|
|
|
|
#include <unordered_map>
|
|
|
|
#include "ir_context.h"
|
|
|
|
namespace spvtools {
|
|
namespace opt {
|
|
|
|
// An analysis that, for each basic block, finds the constructs in which it is
|
|
// contained, so we can easily get headers and merge nodes.
|
|
class StructuredCFGAnalysis {
|
|
public:
|
|
explicit StructuredCFGAnalysis(IRContext* ctx);
|
|
|
|
// Returns the id of the header of the innermost merge construct
|
|
// that contains |bb_id|. Returns |0| if |bb_id| is not contained in any
|
|
// merge construct.
|
|
uint32_t ContainingConstruct(uint32_t bb_id) {
|
|
auto it = bb_to_construct_.find(bb_id);
|
|
if (it == bb_to_construct_.end()) {
|
|
return 0;
|
|
}
|
|
return it->second.containing_construct;
|
|
}
|
|
|
|
// Returns the id of the merge block of the innermost merge construct
|
|
// that contains |bb_id|. Returns |0| if |bb_id| is not contained in any
|
|
// merge construct.
|
|
uint32_t MergeBlock(uint32_t bb_id);
|
|
|
|
// Returns the id of the header of the innermost loop construct
|
|
// that contains |bb_id|. Return |0| if |bb_id| is not contained in any loop
|
|
// construct.
|
|
uint32_t ContainingLoop(uint32_t bb_id) {
|
|
auto it = bb_to_construct_.find(bb_id);
|
|
if (it == bb_to_construct_.end()) {
|
|
return 0;
|
|
}
|
|
return it->second.containing_loop;
|
|
}
|
|
|
|
// Returns the id of the merge block of the innermost loop construct
|
|
// that contains |bb_id|. Return |0| if |bb_id| is not contained in any loop
|
|
// construct.
|
|
uint32_t LoopMergeBlock(uint32_t bb_id);
|
|
|
|
private:
|
|
// Struct used to hold the information for a basic block.
|
|
// |containing_construct| is the header for the innermost containing
|
|
// construct, or 0 if no such construct exists. It could be a selection
|
|
// construct or a loop construct. |containing_loop| is the innermost
|
|
// containing loop construct, or 0 if the basic bloc is not in a loop. If the
|
|
// basic block is in a selection construct that is contained in a loop
|
|
// construct, then these two values will not be the same.
|
|
struct ConstructInfo {
|
|
uint32_t containing_construct;
|
|
uint32_t containing_loop;
|
|
};
|
|
|
|
// Populates |bb_to_construct_| with the innermost containing merge and loop
|
|
// constructs for each basic block in |func|.
|
|
void AddBlocksInFunction(Function* func);
|
|
|
|
IRContext* context_;
|
|
|
|
// A map from a basic block to the headers of its inner most containing
|
|
// constructs.
|
|
std::unordered_map<uint32_t, ConstructInfo> bb_to_construct_;
|
|
};
|
|
|
|
} // namespace opt
|
|
} // namespace spvtools
|
|
#endif // SOURCE_OPT_STRUCT_CFG_ANALYSIS_H_
|