This is an archive of the discontinued LLVM Phabricator instance.

Differential D87665

[DependenceAnalysis][NewPM] Fix tests to work under NPM
ClosedPublic

Authored by aeubanks on Sep 14 2020, 6:46 PM.

Details

Reviewers
ychen
asbirlea
fhahn
Commits
rG6f66ad13c50c: [DependenceAnalysis][NewPM] Fix tests to work under NPM
Summary

All tests had corresponding NPM lines, simply pin non-NPM lines to legacy PM.

Diff Detail

Event Timeline

aeubanks created this revision.Sep 14 2020, 6:46 PM
Herald added a project: Restricted Project. · View Herald TranscriptSep 14 2020, 6:46 PM
Herald added subscribers: llvm-commits, bmahjour. · View Herald Transcript
aeubanks requested review of this revision.Sep 14 2020, 6:46 PM
Harbormaster completed remote builds in B71668: Diff 291756.Sep 14 2020, 7:16 PM
bmahjour removed a subscriber: bmahjour.Sep 14 2020, 7:46 PM
fhahn accepted this revision.Sep 15 2020, 1:17 AM
fhahn added a subscriber: fhahn.

This is in line with similar patches for other passes. LGTM, thanks!

This revision is now accepted and ready to land.Sep 15 2020, 1:17 AM
Closed by commit rG6f66ad13c50c: [DependenceAnalysis][NewPM] Fix tests to work under NPM (authored by aeubanks). · Explain WhySep 15 2020, 11:11 AM
This revision was automatically updated to reflect the committed changes.
aeubanks added a commit: rG6f66ad13c50c: [DependenceAnalysis][NewPM] Fix tests to work under NPM.

Revision Contents

Diff 291756

llvm/test/Analysis/DependenceAnalysis/AA.ll

; RUN: opt < %s -disable-output "-passes=print<da>" \ ; RUN: opt < %s -disable-output "-passes=print<da>" \
; RUN: "-aa-pipeline=basic-aa,tbaa" 2>&1 | FileCheck %s ; RUN: "-aa-pipeline=basic-aa,tbaa" 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -tbaa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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
store i32 2, i32* %B store i32 2, i32* %B
▲ Show 20 Lines • Show All 131 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/Banerjee.ll

; RUN: opt < %s -disable-output -da-delinearize=false "-passes=print<da>" \ ; RUN: opt < %s -disable-output -da-delinearize=false "-passes=print<da>" \
; RUN: -aa-pipeline=basic-aa 2>&1 | FileCheck %s ; RUN: -aa-pipeline=basic-aa 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da -da-delinearize=false | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -da -da-delinearize=false | FileCheck %s
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \ ; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN ; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[10*i + j] = 0; ;; A[10*i + j] = 0;
▲ Show 20 Lines • Show All 779 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
; int *bot = A + N/2; ; int *bot = A + N/2;
▲ Show 20 Lines • Show All 71 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 -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basic-aa -da ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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
@W = common global [10 x [10 x i32]] zeroinitializer @W = common global [10 x [10 x i32]] zeroinitializer
▲ Show 20 Lines • Show All 94 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; *B++ = A[i + 10][i + 9]; ;; *B++ = A[i + 10][i + 9];
▲ Show 20 Lines • Show All 652 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++)
;; for (int k = 0; k < o; k++) ;; for (int k = 0; k < o; k++)
▲ Show 20 Lines • Show All 581 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++)
;; A[4*i + 10] = i; ;; A[4*i + 10] = i;
▲ Show 20 Lines • Show All 609 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; *B++ = A[2*i + 1]; ;; *B++ = A[2*i + 1];
▲ Show 20 Lines • Show All 516 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN ; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[2*i - 4*j] = i; ;; A[2*i - 4*j] = i;
▲ Show 20 Lines • Show All 651 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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 [* *|<]!
; CHECK: da analyze - none! ; CHECK: da analyze - none!
Show All 32 Lines

llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll

; RUN: opt < %s -analyze -basic-aa -da ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -da
; RUN: opt < %s -passes="print<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"
▲ Show 20 Lines • Show All 65 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 -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basic-aa -da ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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 27 Lines

llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll

; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \ ; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s -check-prefix=DELIN ; RUN: | FileCheck %s -check-prefix=DELIN
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
; a[i][5] = t1; ; a[i][5] = t1;
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/PR21585.ll

; RUN: opt < %s -disable-output "-passes=print<da>" \ ; RUN: opt < %s -disable-output "-passes=print<da>" \
; RUN: "-aa-pipeline=basic-aa,globals-aa" 2>&1 | FileCheck %s ; RUN: "-aa-pipeline=basic-aa,globals-aa" 2>&1 | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -globals-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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
%a.addr.2 = getelementptr i32, i32* %a, i32 5 %a.addr.2 = getelementptr i32, i32* %a, i32 5
▲ Show 20 Lines • Show All 96 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; return B[1]; ;; return B[1];
▲ Show 20 Lines • Show All 701 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[i + 1][i + j] = i; ;; A[i + 1][i + j] = i;
▲ Show 20 Lines • Show All 533 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++)
;; for (long int k = 0; k < 50; k++) ;; for (long int k = 0; k < 50; k++)
▲ Show 20 Lines • Show All 293 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheck.ll

; RUN: opt < %s -disable-output -passes="print<da>" \ ; RUN: opt < %s -disable-output -passes="print<da>" \
; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s ; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s
; RUN: opt < %s -da -analyze -da-disable-delinearization-checks | FileCheck %s ; RUN: opt < %s -da -analyze -enable-new-pm=0 -da-disable-delinearization-checks | FileCheck %s
; CHECK-LABEL: t1 ; CHECK-LABEL: t1
; CHECK: da analyze - none! ; CHECK: da analyze - none!
; CHECK: da analyze - consistent anti [1 -2]! ; CHECK: da analyze - consistent anti [1 -2]!
; CHECK: da analyze - none! ; CHECK: da analyze - none!
;; void t1(int n, int m, int a[][m]) { ;; void t1(int n, int m, int a[][m]) {
;; for (int i = 0; i < n-1; ++i) ;; for (int i = 0; i < n-1; ++i)
▲ Show 20 Lines • Show All 227 Lines • Show Last 20 Lines

llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheckFixedSize.ll

; RUN: opt < %s -disable-output -passes="print<da>" \ ; RUN: opt < %s -disable-output -passes="print<da>" \
; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s ; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s
; RUN: opt < %s -da -analyze -da-disable-delinearization-checks | FileCheck %s ; RUN: opt < %s -da -analyze -enable-new-pm=0 -da-disable-delinearization-checks | FileCheck %s
; CHECK-LABEL: t1 ; CHECK-LABEL: t1
; CHECK: da analyze - none! ; CHECK: da analyze - none!
; CHECK: da analyze - consistent anti [1 -2]! ; CHECK: da analyze - consistent anti [1 -2]!
; CHECK: da analyze - none! ; CHECK: da analyze - none!
;; #define N 1024 ;; #define N 1024
;; #define M 2048 ;; #define M 2048
▲ Show 20 Lines • Show All 109 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; *B++ = A[i]; ;; *B++ = A[i];
▲ Show 20 Lines • Show All 426 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++)
;; A[2*i + n1] = i; ;; A[2*i + n1] = i;
▲ Show 20 Lines • Show All 437 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; *B++ = A[3*i + 3*n]; ;; *B++ = A[3*i + 3*n];
▲ Show 20 Lines • Show All 414 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 -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basic-aa -da ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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];
;; } S; ;; } S;
▲ Show 20 Lines • Show All 42 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[1 + n*i] = i; ;; A[1 + n*i] = i;
▲ Show 20 Lines • Show All 271 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[i] = 1; ;; A[i] = 1;
▲ Show 20 Lines • Show All 286 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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++) {
;; A[0] = 1; ;; A[0] = 1;
▲ Show 20 Lines • Show All 284 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: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
; RUN: | FileCheck %s ; RUN: | FileCheck %s
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s ; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -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;
;; *B = A[1 + n]; ;; *B = A[1 + n];
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines