Skip to content

Commit

Permalink
[BasicAA] Rename deprecated -basicaa to -basic-aa
Browse files Browse the repository at this point in the history 
Follow-up to D82607
Revert an accidental change (empty.ll) of D82683
  • Loading branch information
@MaskRay
MaskRay committed Jun 27, 2020
1 parent d94526b commit f31811f
Show file tree
Hide file tree
Showing 287 changed files with 331 additions and 331 deletions.
6 changes: 3 additions & 3 deletions llvm/lib/Analysis/BasicAliasAnalysis.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -65,16 +65,16 @@
using namespace llvm;

/// Enable analysis of recursive PHI nodes.
static cl::opt<bool> EnableRecPhiAnalysis("basicaa-recphi", cl::Hidden,
static cl::opt<bool> EnableRecPhiAnalysis("basic-aa-recphi", cl::Hidden,
cl::init(false));

/// By default, even on 32-bit architectures we use 64-bit integers for
/// calculations. This will allow us to more-aggressively decompose indexing
/// expressions calculated using i64 values (e.g., long long in C) which is
/// common enough to worry about.
static cl::opt<bool> ForceAtLeast64Bits("basicaa-force-at-least-64b",
static cl::opt<bool> ForceAtLeast64Bits("basic-aa-force-at-least-64b",
cl::Hidden, cl::init(true));
static cl::opt<bool> DoubleCalcBits("basicaa-double-calc-bits",
static cl::opt<bool> DoubleCalcBits("basic-aa-double-calc-bits",
cl::Hidden, cl::init(false));

/// SearchLimitReached / SearchTimes shows how often the limit of
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/AliasSet/argmemonly.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s

@s = global i8 1, align 1
@d = global i8 2, align 1
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/AliasSet/guards.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
declare void @llvm.experimental.guard(i1, ...)

; CHECK: Alias sets for function 'test0':
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/AliasSet/intrinsics.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s

; CHECK: Alias sets for function 'test1':
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/AliasSet/memset.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s

@s = global i8 1, align 1
@d = global i8 2, align 1
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/AliasSet/memtransfer.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s

@s = global i8 1, align 1
@d = global i8 2, align 1
Expand Down
4 changes: 2 additions & 2 deletions llvm/test/Analysis/AliasSet/saturation.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt -basicaa -print-alias-sets -alias-set-saturation-threshold=2 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=NOSAT
; RUN: opt -basicaa -print-alias-sets -alias-set-saturation-threshold=1 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=SAT
; RUN: opt -basic-aa -print-alias-sets -alias-set-saturation-threshold=2 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=NOSAT
; RUN: opt -basic-aa -print-alias-sets -alias-set-saturation-threshold=1 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=SAT

; CHECK-LABEL: 'allmust'
; CHECK: AliasSet[{{.*}}, 1] must alias, Mod Pointers: (i32* %a, LocationSize::precise(4))
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/BasicAA/empty.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/BasicAA/gep-and-alias.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -basicaa-force-at-least-64b=0 < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -basic-aa-force-at-least-64b=0 < %s | FileCheck %s

target datalayout = "e-m:o-p:32:32-f64:32:64-f80:128-n8:16:32-S128"
target triple = "i386-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/BasicAA/phi-loop.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basic-aa -basicaa-recphi=1 -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -basic-aa-recphi=1 -gvn -S | FileCheck %s
;
; Check that section->word_ofs doesn't get reloaded in every iteration of the
; for loop.
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/Delinearization/gcd_multiply_expr.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -da -analyze -delinearize
; RUN: opt < %s -basic-aa -da -analyze -delinearize
;
; a, b, c, d, g, h;
; char *f;
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -da -analyze < %s
; RUN: opt -basic-aa -da -analyze < %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 triple = "x86_64-unknown-linux-gnu"

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/AA.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -tbaa -da | FileCheck %s

; CHECK-LABEL: 'Dependence Analysis' for function 'test_no_noalias'
; CHECK: da analyze - none!
Expand Down
4 changes: 2 additions & 2 deletions llvm/test/Analysis/DependenceAnalysis/Banerjee.ll
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
; 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 -basic-aa -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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/BasePtrBug.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; Test that the dependence analysis generates the correct results when using
; an aliased object that points to a different element in the same array.
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Constraints.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da
; RUN: opt < %s -analyze -basic-aa -da
;; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Coupled.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/DADelin.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/ExactRDIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/ExactSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/GCD.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Invariant.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; Test for a bug, which caused an assert when an invalid
; SCEVAddRecExpr is created in addToCoefficient.
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -basicaa -da
; RUN: opt < %s -analyze -basic-aa -da
; RUN: opt < %s -passes="print<da>"

; Test that the dependence analysis pass does seg-fault due to a null pointer
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/NonAffineExpr.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da
; RUN: opt < %s -analyze -basic-aa -da
;
; CHECK: da analyze - consistent input [S S]!
; CHECK: da analyze - confused!
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/PR21585.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -globals-aa -da | FileCheck %s
define void @i32_subscript(i32* %a) {
entry:
br label %for.body
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Preliminary.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Propagating.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/Separability.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -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 triple = "x86_64-apple-macosx10.6.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/UsefulGEP.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
; RUN: opt < %s -analyze -basicaa -da
; RUN: opt < %s -analyze -basic-aa -da
;; Check this doesn't crash.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/DependenceAnalysis/ZIV.ll
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
; 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 -basic-aa -da | FileCheck %s

; 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"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/aliastest.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes="require<globals-aa>,function(gvn)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
;
; Note that this test relies on an unsafe feature of GlobalsModRef. While this
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/chaining-analysis.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -S | FileCheck %s

; This test requires the use of previous analyses to determine that
; doesnotmodX does not modify X (because 'sin' doesn't).
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/comdat-ipo.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -S | FileCheck %s

; See PR26774

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/indirect-global.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -instcombine -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -instcombine -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes="require<globals-aa>,function(gvn,instcombine)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
;
; Note that this test relies on an unsafe feature of GlobalsModRef. While this
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/modreftest.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -S | FileCheck %s

@X = internal global i32 4 ; <i32*> [#uses=2]

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/no-escape.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -S -licm | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -S -licm | FileCheck %s

target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.10.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/pr12351.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -globals-aa -gvn -S -disable-verify | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -S -disable-verify | FileCheck %s

declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1)
define void @foo(i8* %x, i8* %y) {
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/GlobalsModRef/volatile-instrs.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -dse -S | FileCheck %s
; RUN: opt < %s -basic-aa -dse -S | 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 triple = "x86_64-apple-macosx10.8.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s

target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s

; For this loop:
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s

; If the arrays don't alias this loop is safe with no memchecks:
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s

; In:
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
; RUN: opt -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s

; This loop:
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s -check-prefix=LAA
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s -check-prefix=LAA
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=LAA
; RUN: opt -loop-versioning -S < %s | FileCheck %s -check-prefix=LV

Expand Down
4 changes: 2 additions & 2 deletions llvm/test/Analysis/MemoryDependenceAnalysis/memdep-block-scan-limit.ll
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
; RUN: opt -S -memdep -gvn -basicaa < %s | FileCheck %s
; RUN: opt -S -memdep -memdep-block-scan-limit=1 -gvn -basicaa < %s | FileCheck %s --check-prefix=WITH-LIMIT
; RUN: opt -S -memdep -gvn -basic-aa < %s | FileCheck %s
; RUN: opt -S -memdep -memdep-block-scan-limit=1 -gvn -basic-aa < %s | FileCheck %s --check-prefix=WITH-LIMIT
; CHECK-LABEL: @test(
; CHECK: load
; CHECK-NOT: load
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/MemorySSA/assume.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -memoryssa -analyze < %s 2>&1 | FileCheck %s
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
;
; Ensures that assumes are treated as not reading or writing memory.
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/MemorySSA/atomic-clobber.ll
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
;
; Ensures that atomic loads count as MemoryDefs
Expand Down
Loading

0 comments on commit f31811f

Please sign in to comment.