diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2009-10-28 07:03:15 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2009-10-28 07:03:15 +0000 |
| commit | 40cc524edee857eab238338200d2cc80f840f52f (patch) | |
| tree | d3e2f3d6d5f54d108a452f947445975a899dfbf9 /include | |
| parent | c59420867eec22f7fb562b5b53deffe98b511505 (diff) | |
| download | external_llvm-40cc524edee857eab238338200d2cc80f840f52f.zip external_llvm-40cc524edee857eab238338200d2cc80f840f52f.tar.gz external_llvm-40cc524edee857eab238338200d2cc80f840f52f.tar.bz2 | |
Add ABCD, a generalized implementation of the Elimination of Array Bounds
Checks on Demand algorithm which looks at arbitrary branches instead of loop
iterations. This is GSoC work by Andre Tavares with only editorial changes
applied!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85382 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/llvm/LinkAllPasses.h | 1 | ||||
| -rw-r--r-- | include/llvm/Transforms/Scalar.h | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/include/llvm/LinkAllPasses.h b/include/llvm/LinkAllPasses.h index 201dbe4..6038425 100644 --- a/include/llvm/LinkAllPasses.h +++ b/include/llvm/LinkAllPasses.h @@ -142,6 +142,7 @@ namespace { (void) llvm::createSSIEverythingPass(); (void) llvm::createGEPSplitterPass(); (void) llvm::createSCCVNPass(); + (void) llvm::createABCDPass(); (void)new llvm::IntervalPartition(); (void)new llvm::FindUsedTypes(); diff --git a/include/llvm/Transforms/Scalar.h b/include/llvm/Transforms/Scalar.h index 3cebefc..f019d35 100644 --- a/include/llvm/Transforms/Scalar.h +++ b/include/llvm/Transforms/Scalar.h @@ -344,6 +344,12 @@ FunctionPass *createGEPSplitterPass(); // FunctionPass *createSCCVNPass(); +//===----------------------------------------------------------------------===// +// +// ABCD - Elimination of Array Bounds Checks on Demand +// +FunctionPass *createABCDPass(); + } // End llvm namespace #endif |