mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-21 18:29:46 +00:00
IRCE eliminates range checks of the form 0 <= A * I + B < Length by splitting a loop's iteration space into three segments in a way that the check is completely redundant in the middle segment. As an example, IRCE will convert len = < known positive > for (i = 0; i < n; i++) { if (0 <= i && i < len) { do_something(); } else { throw_out_of_bounds(); } } to len = < known positive > limit = smin(n, len) // no first segment for (i = 0; i < limit; i++) { if (0 <= i && i < len) { // this check is fully redundant do_something(); } else { throw_out_of_bounds(); } } for (i = limit; i < n; i++) { if (0 <= i && i < len) { do_something(); } else { throw_out_of_bounds(); } } IRCE can deal with multiple range checks in the same loop (it takes the intersection of the ranges that will make each of them redundant individually). Currently IRCE does not do any profitability analysis. That is a TODO. Please note that the status of this pass is *experimental*, and it is not part of any default pass pipeline. Having said that, I will love to get feedback and general input from people interested in trying this out. This pass was originally r226201. It was reverted because it used C++ features not supported by MSVC 2012. Differential Revision: http://reviews.llvm.org/D6693 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@226238 91177308-0d34-0410-b5e6-96231b3b80d8
183 lines
7.9 KiB
C++
183 lines
7.9 KiB
C++
//===- llvm/LinkAllPasses.h ------------ Reference All Passes ---*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This header file pulls in all transformation and analysis passes for tools
|
|
// like opt and bugpoint that need this functionality.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_LINKALLPASSES_H
|
|
#define LLVM_LINKALLPASSES_H
|
|
|
|
#include "llvm/Analysis/AliasSetTracker.h"
|
|
#include "llvm/Analysis/CallPrinter.h"
|
|
#include "llvm/Analysis/DomPrinter.h"
|
|
#include "llvm/Analysis/IntervalPartition.h"
|
|
#include "llvm/Analysis/Lint.h"
|
|
#include "llvm/Analysis/Passes.h"
|
|
#include "llvm/Analysis/PostDominators.h"
|
|
#include "llvm/Analysis/RegionPass.h"
|
|
#include "llvm/Analysis/RegionPrinter.h"
|
|
#include "llvm/Analysis/ScalarEvolution.h"
|
|
#include "llvm/CodeGen/Passes.h"
|
|
#include "llvm/IR/Function.h"
|
|
#include "llvm/IR/IRPrintingPasses.h"
|
|
#include "llvm/Transforms/IPO.h"
|
|
#include "llvm/Transforms/Instrumentation.h"
|
|
#include "llvm/Transforms/ObjCARC.h"
|
|
#include "llvm/Transforms/Scalar.h"
|
|
#include "llvm/Transforms/Utils/SymbolRewriter.h"
|
|
#include "llvm/Transforms/Utils/UnifyFunctionExitNodes.h"
|
|
#include "llvm/Transforms/Vectorize.h"
|
|
#include <cstdlib>
|
|
|
|
namespace {
|
|
struct ForcePassLinking {
|
|
ForcePassLinking() {
|
|
// We must reference the passes in such a way that compilers will not
|
|
// delete it all as dead code, even with whole program optimization,
|
|
// yet is effectively a NO-OP. As the compiler isn't smart enough
|
|
// to know that getenv() never returns -1, this will do the job.
|
|
if (std::getenv("bar") != (char*) -1)
|
|
return;
|
|
|
|
(void) llvm::createAAEvalPass();
|
|
(void) llvm::createAggressiveDCEPass();
|
|
(void) llvm::createAliasAnalysisCounterPass();
|
|
(void) llvm::createAliasDebugger();
|
|
(void) llvm::createArgumentPromotionPass();
|
|
(void) llvm::createAlignmentFromAssumptionsPass();
|
|
(void) llvm::createBasicAliasAnalysisPass();
|
|
(void) llvm::createLibCallAliasAnalysisPass(nullptr);
|
|
(void) llvm::createScalarEvolutionAliasAnalysisPass();
|
|
(void) llvm::createTypeBasedAliasAnalysisPass();
|
|
(void) llvm::createScopedNoAliasAAPass();
|
|
(void) llvm::createBoundsCheckingPass();
|
|
(void) llvm::createBreakCriticalEdgesPass();
|
|
(void) llvm::createCallGraphPrinterPass();
|
|
(void) llvm::createCallGraphViewerPass();
|
|
(void) llvm::createCFGSimplificationPass();
|
|
(void) llvm::createCFLAliasAnalysisPass();
|
|
(void) llvm::createStructurizeCFGPass();
|
|
(void) llvm::createConstantMergePass();
|
|
(void) llvm::createConstantPropagationPass();
|
|
(void) llvm::createCostModelAnalysisPass();
|
|
(void) llvm::createDeadArgEliminationPass();
|
|
(void) llvm::createDeadCodeEliminationPass();
|
|
(void) llvm::createDeadInstEliminationPass();
|
|
(void) llvm::createDeadStoreEliminationPass();
|
|
(void) llvm::createDependenceAnalysisPass();
|
|
(void) llvm::createDomOnlyPrinterPass();
|
|
(void) llvm::createDomPrinterPass();
|
|
(void) llvm::createDomOnlyViewerPass();
|
|
(void) llvm::createDomViewerPass();
|
|
(void) llvm::createGCOVProfilerPass();
|
|
(void) llvm::createInstrProfilingPass();
|
|
(void) llvm::createFunctionInliningPass();
|
|
(void) llvm::createAlwaysInlinerPass();
|
|
(void) llvm::createGlobalDCEPass();
|
|
(void) llvm::createGlobalOptimizerPass();
|
|
(void) llvm::createGlobalsModRefPass();
|
|
(void) llvm::createIPConstantPropagationPass();
|
|
(void) llvm::createIPSCCPPass();
|
|
(void) llvm::createInductiveRangeCheckEliminationPass();
|
|
(void) llvm::createIndVarSimplifyPass();
|
|
(void) llvm::createInstructionCombiningPass();
|
|
(void) llvm::createInternalizePass();
|
|
(void) llvm::createJumpInstrTableInfoPass();
|
|
(void) llvm::createJumpInstrTablesPass();
|
|
(void) llvm::createLCSSAPass();
|
|
(void) llvm::createLICMPass();
|
|
(void) llvm::createLazyValueInfoPass();
|
|
(void) llvm::createLoopExtractorPass();
|
|
(void) llvm::createLoopSimplifyPass();
|
|
(void) llvm::createLoopStrengthReducePass();
|
|
(void) llvm::createLoopRerollPass();
|
|
(void) llvm::createLoopUnrollPass();
|
|
(void) llvm::createLoopUnswitchPass();
|
|
(void) llvm::createLoopIdiomPass();
|
|
(void) llvm::createLoopRotatePass();
|
|
(void) llvm::createLowerExpectIntrinsicPass();
|
|
(void) llvm::createLowerInvokePass();
|
|
(void) llvm::createLowerSwitchPass();
|
|
(void) llvm::createNoAAPass();
|
|
(void) llvm::createObjCARCAliasAnalysisPass();
|
|
(void) llvm::createObjCARCAPElimPass();
|
|
(void) llvm::createObjCARCExpandPass();
|
|
(void) llvm::createObjCARCContractPass();
|
|
(void) llvm::createObjCARCOptPass();
|
|
(void) llvm::createPAEvalPass();
|
|
(void) llvm::createPromoteMemoryToRegisterPass();
|
|
(void) llvm::createDemoteRegisterToMemoryPass();
|
|
(void) llvm::createPruneEHPass();
|
|
(void) llvm::createPostDomOnlyPrinterPass();
|
|
(void) llvm::createPostDomPrinterPass();
|
|
(void) llvm::createPostDomOnlyViewerPass();
|
|
(void) llvm::createPostDomViewerPass();
|
|
(void) llvm::createReassociatePass();
|
|
(void) llvm::createRegionInfoPass();
|
|
(void) llvm::createRegionOnlyPrinterPass();
|
|
(void) llvm::createRegionOnlyViewerPass();
|
|
(void) llvm::createRegionPrinterPass();
|
|
(void) llvm::createRegionViewerPass();
|
|
(void) llvm::createSCCPPass();
|
|
(void) llvm::createScalarReplAggregatesPass();
|
|
(void) llvm::createSingleLoopExtractorPass();
|
|
(void) llvm::createStripSymbolsPass();
|
|
(void) llvm::createStripNonDebugSymbolsPass();
|
|
(void) llvm::createStripDeadDebugInfoPass();
|
|
(void) llvm::createStripDeadPrototypesPass();
|
|
(void) llvm::createTailCallEliminationPass();
|
|
(void) llvm::createJumpThreadingPass();
|
|
(void) llvm::createUnifyFunctionExitNodesPass();
|
|
(void) llvm::createInstCountPass();
|
|
(void) llvm::createConstantHoistingPass();
|
|
(void) llvm::createCodeGenPreparePass();
|
|
(void) llvm::createEarlyCSEPass();
|
|
(void) llvm::createMergedLoadStoreMotionPass();
|
|
(void) llvm::createGVNPass();
|
|
(void) llvm::createMemCpyOptPass();
|
|
(void) llvm::createLoopDeletionPass();
|
|
(void) llvm::createPostDomTree();
|
|
(void) llvm::createInstructionNamerPass();
|
|
(void) llvm::createMetaRenamerPass();
|
|
(void) llvm::createFunctionAttrsPass();
|
|
(void) llvm::createMergeFunctionsPass();
|
|
(void) llvm::createPrintModulePass(*(llvm::raw_ostream*)nullptr);
|
|
(void) llvm::createPrintFunctionPass(*(llvm::raw_ostream*)nullptr);
|
|
(void) llvm::createPrintBasicBlockPass(*(llvm::raw_ostream*)nullptr);
|
|
(void) llvm::createModuleDebugInfoPrinterPass();
|
|
(void) llvm::createPartialInliningPass();
|
|
(void) llvm::createLintPass();
|
|
(void) llvm::createSinkingPass();
|
|
(void) llvm::createLowerAtomicPass();
|
|
(void) llvm::createCorrelatedValuePropagationPass();
|
|
(void) llvm::createMemDepPrinter();
|
|
(void) llvm::createInstructionSimplifierPass();
|
|
(void) llvm::createLoopVectorizePass();
|
|
(void) llvm::createSLPVectorizerPass();
|
|
(void) llvm::createBBVectorizePass();
|
|
(void) llvm::createPartiallyInlineLibCallsPass();
|
|
(void) llvm::createScalarizerPass();
|
|
(void) llvm::createSeparateConstOffsetFromGEPPass();
|
|
(void) llvm::createRewriteSymbolsPass();
|
|
|
|
(void)new llvm::IntervalPartition();
|
|
(void)new llvm::ScalarEvolution();
|
|
((llvm::Function*)nullptr)->viewCFGOnly();
|
|
llvm::RGPassManager RGM;
|
|
((llvm::RegionPass*)nullptr)->runOnRegion((llvm::Region*)nullptr, RGM);
|
|
llvm::AliasSetTracker X(*(llvm::AliasAnalysis*)nullptr);
|
|
X.add(nullptr, 0, llvm::AAMDNodes()); // for -print-alias-sets
|
|
}
|
|
} ForcePassLinking; // Force link by creating a global definition.
|
|
}
|
|
|
|
#endif
|