
An irreducible SCC is one which has multiple "header" blocks, i.e., blocks with control-flow edges incident from outside the SCC. This pass converts an irreducible SCC into a natural loop by introducing a single new header block and redirecting all the edges on the original headers to this new block. This is a useful workaround for a limitation in the structurizer which, which produces incorrect control flow in the presence of irreducible regions. The AMDGPU backend provides an option to enable this pass before the structurizer, which may eventually be enabled by default. Reviewed By: nhaehnle Differential Revision: https://reviews.llvm.org/D77198
63 lines
2.3 KiB
C++
63 lines
2.3 KiB
C++
//===-- Utils.cpp - TransformUtils Infrastructure -------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines the common initialization infrastructure for the
|
|
// TransformUtils library.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Transforms/Utils.h"
|
|
#include "llvm-c/Initialization.h"
|
|
#include "llvm-c/Transforms/Utils.h"
|
|
#include "llvm/IR/LegacyPassManager.h"
|
|
#include "llvm/InitializePasses.h"
|
|
#include "llvm/PassRegistry.h"
|
|
|
|
using namespace llvm;
|
|
|
|
/// initializeTransformUtils - Initialize all passes in the TransformUtils
|
|
/// library.
|
|
void llvm::initializeTransformUtils(PassRegistry &Registry) {
|
|
initializeAddDiscriminatorsLegacyPassPass(Registry);
|
|
initializeBreakCriticalEdgesPass(Registry);
|
|
initializeCanonicalizeAliasesLegacyPassPass(Registry);
|
|
initializeInstNamerPass(Registry);
|
|
initializeLCSSAWrapperPassPass(Registry);
|
|
initializeLibCallsShrinkWrapLegacyPassPass(Registry);
|
|
initializeLoopSimplifyPass(Registry);
|
|
initializeLowerInvokeLegacyPassPass(Registry);
|
|
initializeLowerSwitchPass(Registry);
|
|
initializeNameAnonGlobalLegacyPassPass(Registry);
|
|
initializePromoteLegacyPassPass(Registry);
|
|
initializeStripNonLineTableDebugInfoPass(Registry);
|
|
initializeUnifyFunctionExitNodesPass(Registry);
|
|
initializeMetaRenamerPass(Registry);
|
|
initializeStripGCRelocatesPass(Registry);
|
|
initializePredicateInfoPrinterLegacyPassPass(Registry);
|
|
initializeInjectTLIMappingsLegacyPass(Registry);
|
|
initializeFixIrreduciblePass(Registry);
|
|
initializeUnifyLoopExitsPass(Registry);
|
|
}
|
|
|
|
/// LLVMInitializeTransformUtils - C binding for initializeTransformUtilsPasses.
|
|
void LLVMInitializeTransformUtils(LLVMPassRegistryRef R) {
|
|
initializeTransformUtils(*unwrap(R));
|
|
}
|
|
|
|
void LLVMAddLowerSwitchPass(LLVMPassManagerRef PM) {
|
|
unwrap(PM)->add(createLowerSwitchPass());
|
|
}
|
|
|
|
void LLVMAddPromoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
|
|
unwrap(PM)->add(createPromoteMemoryToRegisterPass());
|
|
}
|
|
|
|
void LLVMAddAddDiscriminatorsPass(LLVMPassManagerRef PM) {
|
|
unwrap(PM)->add(createAddDiscriminatorsPass());
|
|
}
|