mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-30 23:10:05 +00:00
82663f34c9
Merge return assumes that the only unreachable blocks are those needed to keep the structured cfg valid. Even those must be essentially empty blocks. If this is not the case, we get unpredictable behaviour. This commit add a check in merge return, and emits an error if it is not the case. Added a pass of dead branch elimination before merge return in both the performance and size passes. It is a precondition of merge return. Fixes #1962.
102 lines
3.5 KiB
C++
102 lines
3.5 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 "source/opt/function.h"
|
|
#include "source/util/bit_vector.h"
|
|
|
|
namespace spvtools {
|
|
namespace opt {
|
|
|
|
class IRContext;
|
|
|
|
// 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);
|
|
|
|
// Returns the id of the continue block of the innermost loop construct
|
|
// that contains |bb_id|. Return |0| if |bb_id| is not contained in any loop
|
|
// construct.
|
|
uint32_t LoopContinueBlock(uint32_t bb_id);
|
|
|
|
bool IsContinueBlock(uint32_t bb_id);
|
|
bool IsMergeBlock(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_;
|
|
utils::BitVector merge_blocks_;
|
|
};
|
|
|
|
} // namespace opt
|
|
} // namespace spvtools
|
|
#endif // SOURCE_OPT_STRUCT_CFG_ANALYSIS_H_
|