mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Andrea Gussoni
27 lines
953 B
C
27 lines
953 B
C
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "llvm/ADT/SetVector.h"
|
|
#include "llvm/IR/BasicBlock.h"
|
|
|
|
/// Helper function to retrieve the successors of a block on the `ScopeGraph`
|
|
llvm::SmallSetVector<llvm::BasicBlock *, 2>
|
|
getScopeGraphSuccessors(llvm::BasicBlock *N);
|
|
|
|
/// Helper function to retrieve the predecessors of a block on the `ScopeGraph`
|
|
llvm::SmallSetVector<llvm::BasicBlock *, 2>
|
|
getScopeGraphPredecessors(llvm::BasicBlock *N);
|
|
|
|
/// Helper function to collect all the nodes, on the `ScopeGraph`, between a
|
|
/// block and its immediate postdominator, using a _dfs_ext`
|
|
llvm::SmallVector<llvm::BasicBlock *>
|
|
getNodesInScope(llvm::BasicBlock *ScopeEntryBlock,
|
|
llvm::BasicBlock *PostDominator);
|
|
|
|
/// Helper function which verifies the decidedness of the `ScopeGraph`
|
|
/// employing the _absolute decidedness_ definition
|
|
bool isScopeGraphDecided(llvm::Function &F);
|