This is an archive of the discontinued LLVM Phabricator instance.

Differential D56386

[DA][NewPM] Add a printerpass and port the testsuite
ClosedPublic

Authored by philip.pfaffe on Jan 7 2019, 4:29 AM.

Details

Reviewers
chandlerc
bogner
dmgreen
Commits
rGefb5ad1c58e2: [DA][NewPM] Add a printerpass and port the testsuite
rL350624: [DA][NewPM] Add a printerpass and port the testsuite
Summary

The new-pm version of DA is untested. Testing requires a printer, so
add that and use it in the existing DA tests.

Diff Detail

Event Timeline

philip.pfaffe created this revision.Jan 7 2019, 4:29 AM
Herald added subscribers: bollu, hiraditya. · View Herald TranscriptJan 7 2019, 4:29 AM
Harbormaster completed remote builds in B26444: Diff 180457.Jan 7 2019, 4:30 AM
philip.pfaffe mentioned this in D56381: [DA][NewPM] Handle transitive dependencies in the new-pm version of DA.Jan 7 2019, 4:31 AM
dmgreen accepted this revision.Jan 8 2019, 5:38 AM

LGTM, with a couple of minor points.

llvm/include/llvm/Analysis/DependenceAnalysis.h
948

class DependenceAnalysisPrinterPass

llvm/lib/Passes/PassRegistry.def
214

These look like they should be in alphabetical ordering

This revision is now accepted and ready to land.Jan 8 2019, 5:38 AM
Closed by commit rL350624: [DA][NewPM] Add a printerpass and port the testsuite (authored by pfaffe). · Explain WhyJan 8 2019, 6:10 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
include/
llvm/
Analysis/
11 lines
lib/
Analysis/
7 lines
Passes/
1 line
test/
Analysis/
DependenceAnalysis/
2 lines
4 lines
2 lines
1 line
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
1 line
1 line
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
1 line
2 lines
2 lines
2 lines
2 lines

Diff 180457

llvm/include/llvm/Analysis/DependenceAnalysis.h

Show First 20 Lines • Show All 930 Lines • ▼ Show 20 Lines public:
typedef DependenceInfo Result; typedef DependenceInfo Result;
Result run(Function &F, FunctionAnalysisManager &FAM); Result run(Function &F, FunctionAnalysisManager &FAM);
private: private:
static AnalysisKey Key; static AnalysisKey Key;
friend struct AnalysisInfoMixin<DependenceAnalysis>; friend struct AnalysisInfoMixin<DependenceAnalysis>;
}; // class DependenceAnalysis }; // class DependenceAnalysis
/// Printer pass to dump DA results.
struct DependenceAnalysisPrinterPass
: public PassInfoMixin<DependenceAnalysisPrinterPass> {
DependenceAnalysisPrinterPass(raw_ostream &OS) : OS(OS) {}
PreservedAnalyses run(Function &F, FunctionAnalysisManager &FAM);
private:
raw_ostream &OS;
}; // class DependenceAnalysis
dmgreenUnsubmitted
Not Done
ReplyInline Actions

class DependenceAnalysisPrinterPass

dmgreen: class DependenceAnalysisPrinterPass
/// Legacy pass manager pass to access dependence information /// Legacy pass manager pass to access dependence information
class DependenceAnalysisWrapperPass : public FunctionPass { class DependenceAnalysisWrapperPass : public FunctionPass {
public: public:
static char ID; // Class identification, replacement for typeinfo static char ID; // Class identification, replacement for typeinfo
DependenceAnalysisWrapperPass() : FunctionPass(ID) { DependenceAnalysisWrapperPass() : FunctionPass(ID) {
initializeDependenceAnalysisWrapperPassPass( initializeDependenceAnalysisWrapperPassPass(
*PassRegistry::getPassRegistry()); *PassRegistry::getPassRegistry());
} }
Show All 18 Lines

llvm/lib/Analysis/DependenceAnalysis.cpp

Show First 20 Lines • Show All 188 Lines • ▼ Show 20 Linesstatic void dumpExampleDependence(raw_ostream &OS, DependenceInfo *DA) {
} }
} }
void DependenceAnalysisWrapperPass::print(raw_ostream &OS, void DependenceAnalysisWrapperPass::print(raw_ostream &OS,
const Module *) const { const Module *) const {
dumpExampleDependence(OS, info.get()); dumpExampleDependence(OS, info.get());
} }
PreservedAnalyses
DependenceAnalysisPrinterPass::run(Function &F, FunctionAnalysisManager &FAM) {
OS << "'Dependence Analysis' for function '" << F.getName() << "':\n";
dumpExampleDependence(OS, &FAM.getResult<DependenceAnalysis>(F));
return PreservedAnalyses::all();
}
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// Dependence methods // Dependence methods
// Returns true if this is an input dependence. // Returns true if this is an input dependence.
bool Dependence::isInput() const { bool Dependence::isInput() const {
return Src->mayReadFromMemory() && Dst->mayReadFromMemory(); return Src->mayReadFromMemory() && Dst->mayReadFromMemory();
} }
▲ Show 20 Lines • Show All 3,777 Lines • Show Last 20 Lines

llvm/lib/Passes/PassRegistry.def

Show First 20 Lines • Show All 205 Lines • ▼ Show 20 Lines
FUNCTION_PASS("print<demanded-bits>", DemandedBitsPrinterPass(dbgs())) FUNCTION_PASS("print<demanded-bits>", DemandedBitsPrinterPass(dbgs()))
FUNCTION_PASS("print<domfrontier>", DominanceFrontierPrinterPass(dbgs())) FUNCTION_PASS("print<domfrontier>", DominanceFrontierPrinterPass(dbgs()))
FUNCTION_PASS("print<loops>", LoopPrinterPass(dbgs())) FUNCTION_PASS("print<loops>", LoopPrinterPass(dbgs()))
FUNCTION_PASS("print<memoryssa>", MemorySSAPrinterPass(dbgs())) FUNCTION_PASS("print<memoryssa>", MemorySSAPrinterPass(dbgs()))
FUNCTION_PASS("print<phi-values>", PhiValuesPrinterPass(dbgs())) FUNCTION_PASS("print<phi-values>", PhiValuesPrinterPass(dbgs()))
FUNCTION_PASS("print<regions>", RegionInfoPrinterPass(dbgs())) FUNCTION_PASS("print<regions>", RegionInfoPrinterPass(dbgs()))
FUNCTION_PASS("print<scalar-evolution>", ScalarEvolutionPrinterPass(dbgs())) FUNCTION_PASS("print<scalar-evolution>", ScalarEvolutionPrinterPass(dbgs()))
FUNCTION_PASS("print<stack-safety-local>", StackSafetyPrinterPass(dbgs())) FUNCTION_PASS("print<stack-safety-local>", StackSafetyPrinterPass(dbgs()))
FUNCTION_PASS("print<da>", DependenceAnalysisPrinterPass(dbgs()))
dmgreenUnsubmitted
Not Done
ReplyInline Actions

These look like they should be in alphabetical ordering

dmgreen: These look like they should be in alphabetical ordering
FUNCTION_PASS("reassociate", ReassociatePass()) FUNCTION_PASS("reassociate", ReassociatePass())
FUNCTION_PASS("scalarizer", ScalarizerPass()) FUNCTION_PASS("scalarizer", ScalarizerPass())
FUNCTION_PASS("sccp", SCCPPass()) FUNCTION_PASS("sccp", SCCPPass())
FUNCTION_PASS("simplify-cfg", SimplifyCFGPass()) FUNCTION_PASS("simplify-cfg", SimplifyCFGPass())
FUNCTION_PASS("sink", SinkingPass()) FUNCTION_PASS("sink", SinkingPass())
FUNCTION_PASS("slp-vectorizer", SLPVectorizerPass()) FUNCTION_PASS("slp-vectorizer", SLPVectorizerPass())
FUNCTION_PASS("speculative-execution", SpeculativeExecutionPass()) FUNCTION_PASS("speculative-execution", SpeculativeExecutionPass())
FUNCTION_PASS("spec-phis", SpeculateAroundPHIsPass()) FUNCTION_PASS("spec-phis", SpeculateAroundPHIsPass())
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/AA.ll

; RUN: opt < %s -disable-output "-passes=print<da>" \
; RUN: "-aa-pipeline=basic-aa,type-based-aa" 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basicaa -tbaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -tbaa -da | FileCheck %s
; CHECK-LABEL: 'Dependence Analysis' for function 'test_no_noalias' ; CHECK-LABEL: 'Dependence Analysis' for function 'test_no_noalias'
; CHECK: da analyze - none! ; CHECK: da analyze - none!
; CHECK: da analyze - confused! ; CHECK: da analyze - confused!
; CHECK: da analyze - none! ; CHECK: da analyze - none!
define void @test_no_noalias(i32* %A, i32* %B) { define void @test_no_noalias(i32* %A, i32* %B) {
store i32 1, i32* %A store i32 1, i32* %A
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Banerjee.ll

; RUN: opt < %s -disable-output -da-delinearize=false "-passes=print<da>" \
; RUN: -aa-pipeline=basic-aa 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 1; i <= 10; i++) ;; for (long int i = 1; i <= 10; i++)
;; for (long int j = 1; j <= 10; j++) { ;; for (long int j = 1; j <= 10; j++) {
▲ Show 20 Lines • Show All 780 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/BasePtrBug.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; Test that the dependence analysis generates the correct results when using ; Test that the dependence analysis generates the correct results when using
; an aliased object that points to a different element in the same array. ; an aliased object that points to a different element in the same array.
; PR33567 - https://bugs.llvm.org/show_bug.cgi?id=33567 ; PR33567 - https://bugs.llvm.org/show_bug.cgi?id=33567
; void test1(int *A, int *B, int N) { ; void test1(int *A, int *B, int N) {
; int *top = A; ; int *top = A;
▲ Show 20 Lines • Show All 72 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Constraints.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da ; RUN: opt < %s -analyze -basicaa -da
;; Check that this code doesn't abort. Test case is reduced version of lnt Polybench benchmark test case dynprog. ;; Check that this code doesn't abort. Test case is reduced version of lnt Polybench benchmark test case dynprog.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@sum_c = common global [10 x [10 x [10 x i32]]] zeroinitializer @sum_c = common global [10 x [10 x [10 x i32]]] zeroinitializer
@c = common global [10 x [10 x i32]] zeroinitializer @c = common global [10 x [10 x i32]] zeroinitializer
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Coupled.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < 50; i++) { ;; for (long int i = 0; i < 50; i++) {
;; A[i][i] = i; ;; A[i][i] = i;
▲ Show 20 Lines • Show All 653 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/DADelin.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "thumbv8m.main-arm-none-eabi" target triple = "thumbv8m.main-arm-none-eabi"
; CHECK-LABEL: t1 ; CHECK-LABEL: t1
;; for (int i = 0; i < n; i++) ;; for (int i = 0; i < n; i++)
;; for (int j = 0; j < m; j++) ;; for (int j = 0; j < m; j++)
▲ Show 20 Lines • Show All 582 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/ExactRDIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'ExactRDIV.bc' ; ModuleID = 'ExactRDIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < 10; i++) ;; for (long int i = 0; i < 10; i++)
▲ Show 20 Lines • Show All 610 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long unsigned i = 0; i < 10; i++) { ;; for (long unsigned i = 0; i < 10; i++) {
;; A[i + 10] = i; ;; A[i + 10] = i;
▲ Show 20 Lines • Show All 517 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/GCD.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < 100; i++) ;; for (long int i = 0; i < 100; i++)
;; for (long int j = 0; j < 100; j++) { ;; for (long int j = 0; j < 100; j++) {
▲ Show 20 Lines • Show All 652 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Invariant.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; Test for a bug, which caused an assert when an invalid ; Test for a bug, which caused an assert when an invalid
; SCEVAddRecExpr is created in addToCoefficient. ; SCEVAddRecExpr is created in addToCoefficient.
; CHECK-LABEL: foo ; CHECK-LABEL: foo
; CHECK: da analyze - consistent input [S 0]! ; CHECK: da analyze - consistent input [S 0]!
; CHECK: da analyze - input [* *|<]! ; CHECK: da analyze - input [* *|<]!
Show All 33 Lines

llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll

; RUN: opt < %s -analyze -basicaa -da ; RUN: opt < %s -analyze -basicaa -da
; RUN: opt < %s -passes="print<da>"
; Test that the dependence analysis pass does seg-fault due to a null pointer ; Test that the dependence analysis pass does seg-fault due to a null pointer
; dereference. The code in gcdMIVTest requires a null check for the result of ; dereference. The code in gcdMIVTest requires a null check for the result of
; getConstantPart. ; getConstantPart.
target datalayout = "e-m:e-p:32:32-i1:32-i64:64-a:0-v32:32-n16:32" target datalayout = "e-m:e-p:32:32-i1:32-i64:64-a:0-v32:32-n16:32"
%0 = type { i32 } %0 = type { i32 }
▲ Show 20 Lines • Show All 64 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/NonAffineExpr.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da ; RUN: opt < %s -analyze -basicaa -da
; ;
; CHECK: da analyze - consistent input [S S]! ; CHECK: da analyze - consistent input [S S]!
; CHECK: da analyze - confused! ; CHECK: da analyze - confused!
; CHECK: da analyze - input [* *]! ; CHECK: da analyze - input [* *]!
; ;
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
target triple = "thumbv7--linux-gnueabi" target triple = "thumbv7--linux-gnueabi"
Show All 28 Lines

llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
; for (int i = 0; i < 100; ++i) { ; for (int i = 0; i < 100; ++i) {
; int t0 = a[i][i]; ; int t0 = a[i][i];
; int t1 = t0 + 1; ; int t1 = t0 + 1;
▲ Show 20 Lines • Show All 93 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/PR21585.ll

; RUN: opt < %s -disable-output "-passes=print<da>" \
; RUN: "-aa-pipeline=basic-aa,globals-aa" 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basicaa -globals-aa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -globals-aa -da | FileCheck %s
define void @i32_subscript(i32* %a) { define void @i32_subscript(i32* %a) {
entry: entry:
br label %for.body br label %for.body
for.body: for.body:
%i = phi i32 [ 0, %entry ], [ %i.inc, %for.body ] %i = phi i32 [ 0, %entry ], [ %i.inc, %for.body ]
%a.addr = getelementptr i32, i32* %a, i32 %i %a.addr = getelementptr i32, i32* %a, i32 %i
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Preliminary.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;;int p0(int n, int *A, int *B) { ;;int p0(int n, int *A, int *B) {
;; A[0] = n; ;; A[0] = n;
▲ Show 20 Lines • Show All 702 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Propagating.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < 100; i++) ;; for (long int i = 0; i < 100; i++)
;; for (long int j = 0; j < 100; j++) { ;; for (long int j = 0; j < 100; j++) {
▲ Show 20 Lines • Show All 534 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Separability.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < 50; i++) ;; for (long int i = 0; i < 50; i++)
;; for (long int j = 0; j < 50; j++) ;; for (long int j = 0; j < 50; j++)
▲ Show 20 Lines • Show All 294 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (int i = 0; i < n; i++) { ;; for (int i = 0; i < n; i++) {
;; A[i + 2] = i; ;; A[i + 2] = i;
▲ Show 20 Lines • Show All 427 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'SymbolicRDIV.bc' ; ModuleID = 'SymbolicRDIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < n1; i++) ;; for (long int i = 0; i < n1; i++)
▲ Show 20 Lines • Show All 438 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long int i = 0; i < n; i++) { ;; for (long int i = 0; i < n; i++) {
;; A[2*i + n] = i; ;; A[2*i + n] = i;
▲ Show 20 Lines • Show All 415 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/UsefulGEP.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da ; RUN: opt < %s -analyze -basicaa -da
;; Check this doesn't crash. ;; Check this doesn't crash.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
;; struct s { ;; struct s {
;; int A[10][10]; ;; int A[10][10];
;; int C[10][10][10]; ;; int C[10][10][10];
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'WeakCrossingSIV.bc' ; ModuleID = 'WeakCrossingSIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (long unsigned i = 0; i < n; i++) { ;; for (long unsigned i = 0; i < n; i++) {
▲ Show 20 Lines • Show All 272 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'WeakZeroDstSIV.bc' ; ModuleID = 'WeakZeroDstSIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (int i = 0; i < N; i++) { ;; for (int i = 0; i < N; i++) {
▲ Show 20 Lines • Show All 287 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'WeakZeroSrcSIV.bc' ; ModuleID = 'WeakZeroSrcSIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; for (int i = 0; i < N; i++) { ;; for (int i = 0; i < N; i++) {
▲ Show 20 Lines • Show All 285 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/ZIV.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
; ModuleID = 'ZIV.bc' ; ModuleID = 'ZIV.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.6.0" target triple = "x86_64-apple-macosx10.6.0"
;; A[n + 1] = 0; ;; A[n + 1] = 0;
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines