[PM/AA] Wire up SCEVAA to the new pass manager's registry and test it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@261409 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chandler Carruth 2016-02-20 04:01:45 +00:00
parent 3883deb9ef
commit 10ab5d9cac
3 changed files with 4 additions and 0 deletions

View File

@ -25,6 +25,7 @@
#include "llvm/Analysis/LazyCallGraph.h" #include "llvm/Analysis/LazyCallGraph.h"
#include "llvm/Analysis/LoopInfo.h" #include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ScalarEvolution.h" #include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h"
#include "llvm/Analysis/TargetLibraryInfo.h" #include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/TargetTransformInfo.h" #include "llvm/Analysis/TargetTransformInfo.h"
#include "llvm/IR/Dominators.h" #include "llvm/IR/Dominators.h"

View File

@ -70,6 +70,7 @@ FUNCTION_ANALYSIS("targetir",
#endif #endif
FUNCTION_ALIAS_ANALYSIS("basic-aa", BasicAA()) FUNCTION_ALIAS_ANALYSIS("basic-aa", BasicAA())
FUNCTION_ALIAS_ANALYSIS("cfl-aa", CFLAA()) FUNCTION_ALIAS_ANALYSIS("cfl-aa", CFLAA())
FUNCTION_ALIAS_ANALYSIS("scev-aa", SCEVAA())
#undef FUNCTION_ALIAS_ANALYSIS #undef FUNCTION_ALIAS_ANALYSIS
#undef FUNCTION_ANALYSIS #undef FUNCTION_ANALYSIS

View File

@ -1,5 +1,7 @@
; RUN: opt -disable-output < %s -disable-basicaa -scev-aa -aa-eval -print-all-alias-modref-info \ ; RUN: opt -disable-output < %s -disable-basicaa -scev-aa -aa-eval -print-all-alias-modref-info \
; RUN: 2>&1 | FileCheck %s ; RUN: 2>&1 | FileCheck %s
; RUN: opt -disable-output < %s -aa-pipeline=scev-aa -passes=aa-eval -print-all-alias-modref-info \
; RUN: 2>&1 | FileCheck %s
; At the time of this writing, -basicaa misses the example of the form ; At the time of this writing, -basicaa misses the example of the form
; A[i+(j+1)] != A[i+j], which can arise from multi-dimensional array references, ; A[i+(j+1)] != A[i+j], which can arise from multi-dimensional array references,