diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 4e426515d2e..658301cc9e0 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -65,16 +65,16 @@ using namespace llvm; /// Enable analysis of recursive PHI nodes. -static cl::opt EnableRecPhiAnalysis("basicaa-recphi", cl::Hidden, +static cl::opt 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 ForceAtLeast64Bits("basicaa-force-at-least-64b", +static cl::opt ForceAtLeast64Bits("basic-aa-force-at-least-64b", cl::Hidden, cl::init(true)); -static cl::opt DoubleCalcBits("basicaa-double-calc-bits", +static cl::opt DoubleCalcBits("basic-aa-double-calc-bits", cl::Hidden, cl::init(false)); /// SearchLimitReached / SearchTimes shows how often the limit of diff --git a/test/Analysis/AliasSet/argmemonly.ll b/test/Analysis/AliasSet/argmemonly.ll index 25b9bef90a0..0149a6651e2 100644 --- a/test/Analysis/AliasSet/argmemonly.ll +++ b/test/Analysis/AliasSet/argmemonly.ll @@ -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 diff --git a/test/Analysis/AliasSet/guards.ll b/test/Analysis/AliasSet/guards.ll index 732c540c981..3a162b5c21c 100644 --- a/test/Analysis/AliasSet/guards.ll +++ b/test/Analysis/AliasSet/guards.ll @@ -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': diff --git a/test/Analysis/AliasSet/intrinsics.ll b/test/Analysis/AliasSet/intrinsics.ll index bc4cbb43fb5..12c1a91e7b8 100644 --- a/test/Analysis/AliasSet/intrinsics.ll +++ b/test/Analysis/AliasSet/intrinsics.ll @@ -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. diff --git a/test/Analysis/AliasSet/memset.ll b/test/Analysis/AliasSet/memset.ll index 27f841e23b0..bfa5e1b2fc6 100644 --- a/test/Analysis/AliasSet/memset.ll +++ b/test/Analysis/AliasSet/memset.ll @@ -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 diff --git a/test/Analysis/AliasSet/memtransfer.ll b/test/Analysis/AliasSet/memtransfer.ll index ba22cbe2e04..0883db024f2 100644 --- a/test/Analysis/AliasSet/memtransfer.ll +++ b/test/Analysis/AliasSet/memtransfer.ll @@ -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 diff --git a/test/Analysis/AliasSet/saturation.ll b/test/Analysis/AliasSet/saturation.ll index 32d2008109e..58af27b9b65 100644 --- a/test/Analysis/AliasSet/saturation.ll +++ b/test/Analysis/AliasSet/saturation.ll @@ -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)) diff --git a/test/Analysis/BasicAA/empty.ll b/test/Analysis/BasicAA/empty.ll index c317e973105..01eeb1c4193 100644 --- a/test/Analysis/BasicAA/empty.ll +++ b/test/Analysis/BasicAA/empty.ll @@ -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" diff --git a/test/Analysis/BasicAA/gep-and-alias.ll b/test/Analysis/BasicAA/gep-and-alias.ll index 806c8e7937d..f99d6daeb61 100644 --- a/test/Analysis/BasicAA/gep-and-alias.ll +++ b/test/Analysis/BasicAA/gep-and-alias.ll @@ -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" diff --git a/test/Analysis/BasicAA/phi-loop.ll b/test/Analysis/BasicAA/phi-loop.ll index 44f57de0eb5..db3023c6560 100644 --- a/test/Analysis/BasicAA/phi-loop.ll +++ b/test/Analysis/BasicAA/phi-loop.ll @@ -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. diff --git a/test/Analysis/Delinearization/gcd_multiply_expr.ll b/test/Analysis/Delinearization/gcd_multiply_expr.ll index c30a672b840..7ebc6c39d3f 100644 --- a/test/Analysis/Delinearization/gcd_multiply_expr.ll +++ b/test/Analysis/Delinearization/gcd_multiply_expr.ll @@ -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; diff --git a/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll b/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll index 59dfc6071e7..6df3d588323 100644 --- a/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll +++ b/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll @@ -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" diff --git a/test/Analysis/DependenceAnalysis/AA.ll b/test/Analysis/DependenceAnalysis/AA.ll index 6f9c828798c..ac04378b8a8 100644 --- a/test/Analysis/DependenceAnalysis/AA.ll +++ b/test/Analysis/DependenceAnalysis/AA.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" \ ; 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! diff --git a/test/Analysis/DependenceAnalysis/Banerjee.ll b/test/Analysis/DependenceAnalysis/Banerjee.ll index 5dda3a9030f..06fa7ad0698 100644 --- a/test/Analysis/DependenceAnalysis/Banerjee.ll +++ b/test/Analysis/DependenceAnalysis/Banerjee.ll @@ -1,9 +1,9 @@ ; RUN: opt < %s -disable-output -da-delinearize=false "-passes=print" \ ; 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" -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" diff --git a/test/Analysis/DependenceAnalysis/BasePtrBug.ll b/test/Analysis/DependenceAnalysis/BasePtrBug.ll index 694e26afa09..7d1e8e22b95 100644 --- a/test/Analysis/DependenceAnalysis/BasePtrBug.ll +++ b/test/Analysis/DependenceAnalysis/BasePtrBug.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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. diff --git a/test/Analysis/DependenceAnalysis/Constraints.ll b/test/Analysis/DependenceAnalysis/Constraints.ll index 2fbee702e8e..d086bf37bb8 100644 --- a/test/Analysis/DependenceAnalysis/Constraints.ll +++ b/test/Analysis/DependenceAnalysis/Constraints.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/Coupled.ll b/test/Analysis/DependenceAnalysis/Coupled.ll index 0480087145b..4e81589d3bd 100644 --- a/test/Analysis/DependenceAnalysis/Coupled.ll +++ b/test/Analysis/DependenceAnalysis/Coupled.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/DADelin.ll b/test/Analysis/DependenceAnalysis/DADelin.ll index 5c706240685..40054aa2187 100644 --- a/test/Analysis/DependenceAnalysis/DADelin.ll +++ b/test/Analysis/DependenceAnalysis/DADelin.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/ExactRDIV.ll b/test/Analysis/DependenceAnalysis/ExactRDIV.ll index 44b399cb191..40e12a784b1 100644 --- a/test/Analysis/DependenceAnalysis/ExactRDIV.ll +++ b/test/Analysis/DependenceAnalysis/ExactRDIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/ExactSIV.ll b/test/Analysis/DependenceAnalysis/ExactSIV.ll index f3fba8258bd..720d4166ed1 100644 --- a/test/Analysis/DependenceAnalysis/ExactSIV.ll +++ b/test/Analysis/DependenceAnalysis/ExactSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/GCD.ll b/test/Analysis/DependenceAnalysis/GCD.ll index 5f734b70f5c..a3564b7f895 100644 --- a/test/Analysis/DependenceAnalysis/GCD.ll +++ b/test/Analysis/DependenceAnalysis/GCD.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/Invariant.ll b/test/Analysis/DependenceAnalysis/Invariant.ll index 6835582ac4c..5aaa3868cf9 100644 --- a/test/Analysis/DependenceAnalysis/Invariant.ll +++ b/test/Analysis/DependenceAnalysis/Invariant.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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. diff --git a/test/Analysis/DependenceAnalysis/MIVCheckConst.ll b/test/Analysis/DependenceAnalysis/MIVCheckConst.ll index 9a3692d6127..e222755dd8e 100644 --- a/test/Analysis/DependenceAnalysis/MIVCheckConst.ll +++ b/test/Analysis/DependenceAnalysis/MIVCheckConst.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -analyze -basicaa -da +; RUN: opt < %s -analyze -basic-aa -da ; RUN: opt < %s -passes="print" ; Test that the dependence analysis pass does seg-fault due to a null pointer diff --git a/test/Analysis/DependenceAnalysis/NonAffineExpr.ll b/test/Analysis/DependenceAnalysis/NonAffineExpr.ll index 801b3f6dd6f..2561df50391 100644 --- a/test/Analysis/DependenceAnalysis/NonAffineExpr.ll +++ b/test/Analysis/DependenceAnalysis/NonAffineExpr.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -disable-output "-passes=print" -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! diff --git a/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll b/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll index 2105023dfc4..d1df4ef63b5 100644 --- a/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll +++ b/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/PR21585.ll b/test/Analysis/DependenceAnalysis/PR21585.ll index ff42ba96b23..6dd1403cd13 100644 --- a/test/Analysis/DependenceAnalysis/PR21585.ll +++ b/test/Analysis/DependenceAnalysis/PR21585.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" \ ; 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 diff --git a/test/Analysis/DependenceAnalysis/Preliminary.ll b/test/Analysis/DependenceAnalysis/Preliminary.ll index 2c7e5dd0db3..05848a61a73 100644 --- a/test/Analysis/DependenceAnalysis/Preliminary.ll +++ b/test/Analysis/DependenceAnalysis/Preliminary.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/Propagating.ll b/test/Analysis/DependenceAnalysis/Propagating.ll index 64d6a9cfae0..41640a0b4b6 100644 --- a/test/Analysis/DependenceAnalysis/Propagating.ll +++ b/test/Analysis/DependenceAnalysis/Propagating.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/Separability.ll b/test/Analysis/DependenceAnalysis/Separability.ll index b6004b8d5ee..bbbc0db4a60 100644 --- a/test/Analysis/DependenceAnalysis/Separability.ll +++ b/test/Analysis/DependenceAnalysis/Separability.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/StrongSIV.ll b/test/Analysis/DependenceAnalysis/StrongSIV.ll index f7528a52316..397ef8a2d3a 100644 --- a/test/Analysis/DependenceAnalysis/StrongSIV.ll +++ b/test/Analysis/DependenceAnalysis/StrongSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll b/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll index 34c1415aeb5..0151c7c7840 100644 --- a/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll +++ b/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/SymbolicSIV.ll b/test/Analysis/DependenceAnalysis/SymbolicSIV.ll index b24547f7380..7a37107baf9 100644 --- a/test/Analysis/DependenceAnalysis/SymbolicSIV.ll +++ b/test/Analysis/DependenceAnalysis/SymbolicSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/UsefulGEP.ll b/test/Analysis/DependenceAnalysis/UsefulGEP.ll index 283fd2ce2e7..c2d7765b032 100644 --- a/test/Analysis/DependenceAnalysis/UsefulGEP.ll +++ b/test/Analysis/DependenceAnalysis/UsefulGEP.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll b/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll index 119ae98bb53..449cffc7cd0 100644 --- a/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll +++ b/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll b/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll index 37c912ca716..af9c0bd8f2b 100644 --- a/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll +++ b/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll b/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll index 602a79194e9..70612a4b5c1 100644 --- a/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll +++ b/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/DependenceAnalysis/ZIV.ll b/test/Analysis/DependenceAnalysis/ZIV.ll index c2049a62977..4e1ea0834e9 100644 --- a/test/Analysis/DependenceAnalysis/ZIV.ll +++ b/test/Analysis/DependenceAnalysis/ZIV.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -disable-output "-passes=print" -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" diff --git a/test/Analysis/GlobalsModRef/aliastest.ll b/test/Analysis/GlobalsModRef/aliastest.ll index 3a0eee84e88..e0aa1613751 100644 --- a/test/Analysis/GlobalsModRef/aliastest.ll +++ b/test/Analysis/GlobalsModRef/aliastest.ll @@ -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,function(gvn)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s ; ; Note that this test relies on an unsafe feature of GlobalsModRef. While this diff --git a/test/Analysis/GlobalsModRef/chaining-analysis.ll b/test/Analysis/GlobalsModRef/chaining-analysis.ll index a12d7371524..6f08179917d 100644 --- a/test/Analysis/GlobalsModRef/chaining-analysis.ll +++ b/test/Analysis/GlobalsModRef/chaining-analysis.ll @@ -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). diff --git a/test/Analysis/GlobalsModRef/comdat-ipo.ll b/test/Analysis/GlobalsModRef/comdat-ipo.ll index a9cc821e7af..f251e01ca69 100644 --- a/test/Analysis/GlobalsModRef/comdat-ipo.ll +++ b/test/Analysis/GlobalsModRef/comdat-ipo.ll @@ -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 diff --git a/test/Analysis/GlobalsModRef/indirect-global.ll b/test/Analysis/GlobalsModRef/indirect-global.ll index 39d5260b950..de21fe79a52 100644 --- a/test/Analysis/GlobalsModRef/indirect-global.ll +++ b/test/Analysis/GlobalsModRef/indirect-global.ll @@ -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,function(gvn,instcombine)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s ; ; Note that this test relies on an unsafe feature of GlobalsModRef. While this diff --git a/test/Analysis/GlobalsModRef/modreftest.ll b/test/Analysis/GlobalsModRef/modreftest.ll index 07497705e65..c275d47b0b2 100644 --- a/test/Analysis/GlobalsModRef/modreftest.ll +++ b/test/Analysis/GlobalsModRef/modreftest.ll @@ -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 ; [#uses=2] diff --git a/test/Analysis/GlobalsModRef/no-escape.ll b/test/Analysis/GlobalsModRef/no-escape.ll index a47ffeb537c..9d0f1053902 100644 --- a/test/Analysis/GlobalsModRef/no-escape.ll +++ b/test/Analysis/GlobalsModRef/no-escape.ll @@ -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" diff --git a/test/Analysis/GlobalsModRef/pr12351.ll b/test/Analysis/GlobalsModRef/pr12351.ll index 2aa270a6b6b..2f861cff6e7 100644 --- a/test/Analysis/GlobalsModRef/pr12351.ll +++ b/test/Analysis/GlobalsModRef/pr12351.ll @@ -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) { diff --git a/test/Analysis/GlobalsModRef/volatile-instrs.ll b/test/Analysis/GlobalsModRef/volatile-instrs.ll index 85d2e887e1c..dae1d6f4c7c 100644 --- a/test/Analysis/GlobalsModRef/volatile-instrs.ll +++ b/test/Analysis/GlobalsModRef/volatile-instrs.ll @@ -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" diff --git a/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll b/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll index cb1b7edb3d1..484f2b47b22 100644 --- a/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll +++ b/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll @@ -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" diff --git a/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll b/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll index 94080f05bde..99ba107ed09 100644 --- a/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll +++ b/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll @@ -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,require,require,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s ; For this loop: diff --git a/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll b/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll index 80189940099..2a937cbe62f 100644 --- a/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll +++ b/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll @@ -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,require,require,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: diff --git a/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll b/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll index 705453b65cc..1204e8359a1 100644 --- a/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll +++ b/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll @@ -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,require,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s ; In: diff --git a/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll b/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll index f9d88e891be..dc2232334a7 100644 --- a/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll +++ b/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll @@ -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,require,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s ; This loop: diff --git a/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll b/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll index fa6fccecbf1..4c058b190d6 100644 --- a/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll +++ b/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll @@ -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,require,require,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 diff --git a/test/Analysis/MemoryDependenceAnalysis/memdep-block-scan-limit.ll b/test/Analysis/MemoryDependenceAnalysis/memdep-block-scan-limit.ll index 20ca31456fd..ab602bf1ea0 100644 --- a/test/Analysis/MemoryDependenceAnalysis/memdep-block-scan-limit.ll +++ b/test/Analysis/MemoryDependenceAnalysis/memdep-block-scan-limit.ll @@ -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 diff --git a/test/Analysis/MemorySSA/assume.ll b/test/Analysis/MemorySSA/assume.ll index d771c78eb1c..12d24df6267 100644 --- a/test/Analysis/MemorySSA/assume.ll +++ b/test/Analysis/MemorySSA/assume.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that assumes are treated as not reading or writing memory. diff --git a/test/Analysis/MemorySSA/atomic-clobber.ll b/test/Analysis/MemorySSA/atomic-clobber.ll index acd819a8935..79a9392d143 100644 --- a/test/Analysis/MemorySSA/atomic-clobber.ll +++ b/test/Analysis/MemorySSA/atomic-clobber.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that atomic loads count as MemoryDefs diff --git a/test/Analysis/MemorySSA/basicaa-memcpy.ll b/test/Analysis/MemorySSA/basicaa-memcpy.ll index 28af1e5238c..e33169ae195 100644 --- a/test/Analysis/MemorySSA/basicaa-memcpy.ll +++ b/test/Analysis/MemorySSA/basicaa-memcpy.ll @@ -1,4 +1,4 @@ -; RUN: opt -disable-output -basicaa -print-memoryssa %s 2>&1 | FileCheck %s +; RUN: opt -disable-output -basic-aa -print-memoryssa %s 2>&1 | FileCheck %s declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind diff --git a/test/Analysis/MemorySSA/constant-memory.ll b/test/Analysis/MemorySSA/constant-memory.ll index bc970e72fc4..4c255137829 100644 --- a/test/Analysis/MemorySSA/constant-memory.ll +++ b/test/Analysis/MemorySSA/constant-memory.ll @@ -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 ; ; Things that BasicAA can prove points to constant memory should be ; liveOnEntry, as well. diff --git a/test/Analysis/MemorySSA/cyclicphi.ll b/test/Analysis/MemorySSA/cyclicphi.ll index 9db19685197..36d34eff449 100644 --- a/test/Analysis/MemorySSA/cyclicphi.ll +++ b/test/Analysis/MemorySSA/cyclicphi.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s %struct.hoge = type { i32, %struct.widget } diff --git a/test/Analysis/MemorySSA/function-clobber.ll b/test/Analysis/MemorySSA/function-clobber.ll index a01893a5b95..b9b16bd6e33 100644 --- a/test/Analysis/MemorySSA/function-clobber.ll +++ b/test/Analysis/MemorySSA/function-clobber.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensuring that external functions without attributes are MemoryDefs diff --git a/test/Analysis/MemorySSA/function-mem-attrs.ll b/test/Analysis/MemorySSA/function-mem-attrs.ll index 11383771a41..7860576bc47 100644 --- a/test/Analysis/MemorySSA/function-mem-attrs.ll +++ b/test/Analysis/MemorySSA/function-mem-attrs.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Test that various function attributes give us sane results. diff --git a/test/Analysis/MemorySSA/invariant-groups.ll b/test/Analysis/MemorySSA/invariant-groups.ll index 6d26829944b..45580200982 100644 --- a/test/Analysis/MemorySSA/invariant-groups.ll +++ b/test/Analysis/MemorySSA/invariant-groups.ll @@ -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 ; ; Currently, MemorySSA doesn't support invariant groups. So, we should ignore ; launder.invariant.group intrinsics entirely. We'll need to pay attention to diff --git a/test/Analysis/MemorySSA/lifetime-simple.ll b/test/Analysis/MemorySSA/lifetime-simple.ll index f1db15cc577..ef274c98094 100644 --- a/test/Analysis/MemorySSA/lifetime-simple.ll +++ b/test/Analysis/MemorySSA/lifetime-simple.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; This test checks a number of things: ; First, the lifetime markers should not clobber any uses of Q or P. diff --git a/test/Analysis/MemorySSA/load-invariant.ll b/test/Analysis/MemorySSA/load-invariant.ll index defb74641ea..13751226d02 100644 --- a/test/Analysis/MemorySSA/load-invariant.ll +++ b/test/Analysis/MemorySSA/load-invariant.ll @@ -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' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s ; ; Invariant loads should be considered live on entry, because, once the diff --git a/test/Analysis/MemorySSA/many-dom-backedge.ll b/test/Analysis/MemorySSA/many-dom-backedge.ll index 3d76f4af2d6..73f9eb2ec84 100644 --- a/test/Analysis/MemorySSA/many-dom-backedge.ll +++ b/test/Analysis/MemorySSA/many-dom-backedge.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; many-dom.ll, with an added back-edge back into the switch. diff --git a/test/Analysis/MemorySSA/many-doms.ll b/test/Analysis/MemorySSA/many-doms.ll index d2e6c6fa1e4..1a2422c8fd5 100644 --- a/test/Analysis/MemorySSA/many-doms.ll +++ b/test/Analysis/MemorySSA/many-doms.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Testing many dominators, specifically from a switch statement in C. diff --git a/test/Analysis/MemorySSA/multi-edges.ll b/test/Analysis/MemorySSA/multi-edges.ll index c13fc016b2c..f8b573f1653 100644 --- a/test/Analysis/MemorySSA/multi-edges.ll +++ b/test/Analysis/MemorySSA/multi-edges.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Makes sure we have a sane model if both successors of some block is the same diff --git a/test/Analysis/MemorySSA/multiple-backedges-hal.ll b/test/Analysis/MemorySSA/multiple-backedges-hal.ll index 473b3685801..6d1f92aca0d 100644 --- a/test/Analysis/MemorySSA/multiple-backedges-hal.ll +++ b/test/Analysis/MemorySSA/multiple-backedges-hal.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; hfinkel's case diff --git a/test/Analysis/MemorySSA/multiple-locations.ll b/test/Analysis/MemorySSA/multiple-locations.ll index 9a3e87e4ab6..32a6a209af9 100644 --- a/test/Analysis/MemorySSA/multiple-locations.ll +++ b/test/Analysis/MemorySSA/multiple-locations.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Checks that basicAA is doing some amount of disambiguation for us diff --git a/test/Analysis/MemorySSA/no-disconnected.ll b/test/Analysis/MemorySSA/no-disconnected.ll index d1dcb15893a..d3b2db8bc00 100644 --- a/test/Analysis/MemorySSA/no-disconnected.ll +++ b/test/Analysis/MemorySSA/no-disconnected.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; This test ensures we don't end up with multiple reaching defs for a single diff --git a/test/Analysis/MemorySSA/optimize-use.ll b/test/Analysis/MemorySSA/optimize-use.ll index 949c1aaa445..4acb59e601c 100644 --- a/test/Analysis/MemorySSA/optimize-use.ll +++ b/test/Analysis/MemorySSA/optimize-use.ll @@ -1,5 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT -; RUN: opt -memssa-check-limit=0 -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT +; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT +; RUN: opt -memssa-check-limit=0 -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT ; RUN: opt -aa-pipeline=basic-aa -passes='print,verify' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT ; RUN: opt -memssa-check-limit=0 -aa-pipeline=basic-aa -passes='print,verify' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT diff --git a/test/Analysis/MemorySSA/phi-translation.ll b/test/Analysis/MemorySSA/phi-translation.ll index 588b018fdd0..c39ccd31d24 100644 --- a/test/Analysis/MemorySSA/phi-translation.ll +++ b/test/Analysis/MemorySSA/phi-translation.ll @@ -1,5 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT -; RUN: opt -memssa-check-limit=0 -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT +; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT +; RUN: opt -memssa-check-limit=0 -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT ; RUN: opt -aa-pipeline=basic-aa -passes='print,verify' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT ; RUN: opt -memssa-check-limit=0 -aa-pipeline=basic-aa -passes='print,verify' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT diff --git a/test/Analysis/MemorySSA/pr28880.ll b/test/Analysis/MemorySSA/pr28880.ll index 80c0440f8a9..850ac04ec3b 100644 --- a/test/Analysis/MemorySSA/pr28880.ll +++ b/test/Analysis/MemorySSA/pr28880.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; This testcase is reduced from SingleSource/Benchmarks/Misc/fbench.c diff --git a/test/Analysis/MemorySSA/pr36883.ll b/test/Analysis/MemorySSA/pr36883.ll index 8411b0c228b..7493df47f31 100644 --- a/test/Analysis/MemorySSA/pr36883.ll +++ b/test/Analysis/MemorySSA/pr36883.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 -S | FileCheck %s +; RUN: opt -basic-aa -memoryssa -analyze < %s 2>&1 -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='print,verify' -S < %s 2>&1 | FileCheck %s ; ; We weren't properly considering the args in callsites in equality or hashing. diff --git a/test/Analysis/MemorySSA/ptr-const-mem.ll b/test/Analysis/MemorySSA/ptr-const-mem.ll index a326d8d717a..47581e3f296 100644 --- a/test/Analysis/MemorySSA/ptr-const-mem.ll +++ b/test/Analysis/MemorySSA/ptr-const-mem.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze -memssa-check-limit=0 < %s 2>&1 | FileCheck %s +; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze -memssa-check-limit=0 < %s 2>&1 | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='print' -verify-memoryssa -disable-output -memssa-check-limit=0 < %s 2>&1 | FileCheck %s target datalayout = "e-p:32:32-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64" target triple = "amdgcn" diff --git a/test/Analysis/MemorySSA/scalable-vec.ll b/test/Analysis/MemorySSA/scalable-vec.ll index 23072876a2d..4efbf48c209 100644 --- a/test/Analysis/MemorySSA/scalable-vec.ll +++ b/test/Analysis/MemorySSA/scalable-vec.ll @@ -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' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s ; CHECK-LABEL: define @f( diff --git a/test/Analysis/MemorySSA/volatile-clobber.ll b/test/Analysis/MemorySSA/volatile-clobber.ll index 5b71950d33e..be46af7b9df 100644 --- a/test/Analysis/MemorySSA/volatile-clobber.ll +++ b/test/Analysis/MemorySSA/volatile-clobber.ll @@ -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,verify' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that volatile stores/loads count as MemoryDefs diff --git a/test/Analysis/ScalarEvolution/2012-03-26-LoadConstant.ll b/test/Analysis/ScalarEvolution/2012-03-26-LoadConstant.ll index 33fcbab9291..eba59687cf8 100644 --- a/test/Analysis/ScalarEvolution/2012-03-26-LoadConstant.ll +++ b/test/Analysis/ScalarEvolution/2012-03-26-LoadConstant.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -globalopt -instcombine -loop-rotate -licm -instcombine -indvars -loop-deletion -constmerge -S | FileCheck %s +; RUN: opt < %s -basic-aa -globalopt -instcombine -loop-rotate -licm -instcombine -indvars -loop-deletion -constmerge -S | FileCheck %s ; PR11882: ComputeLoadConstantCompareExitLimit crash. ; ; for.body is deleted leaving a loop-invariant load. diff --git a/test/Analysis/ScalarEvolution/scev-aa.ll b/test/Analysis/ScalarEvolution/scev-aa.ll index 682bd2134af..63d1a0dce71 100644 --- a/test/Analysis/ScalarEvolution/scev-aa.ll +++ b/test/Analysis/ScalarEvolution/scev-aa.ll @@ -3,7 +3,7 @@ ; 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, -basic-aa misses the example of the form ; A[i+(j+1)] != A[i+j], which can arise from multi-dimensional array references, ; and the example of the form A[0] != A[i+1], where i+1 is known to be positive. diff --git a/test/Analysis/ScopedNoAliasAA/basic-domains.ll b/test/Analysis/ScopedNoAliasAA/basic-domains.ll index 2fea2ba068a..5c66f03b870 100644 --- a/test/Analysis/ScopedNoAliasAA/basic-domains.ll +++ b/test/Analysis/ScopedNoAliasAA/basic-domains.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -basic-aa -scoped-noalias -aa-eval -evaluate-aa-metadata -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-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Analysis/ScopedNoAliasAA/basic.ll b/test/Analysis/ScopedNoAliasAA/basic.ll index 69e088e8976..9ca06a6826b 100644 --- a/test/Analysis/ScopedNoAliasAA/basic.ll +++ b/test/Analysis/ScopedNoAliasAA/basic.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -basic-aa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa,scoped-noalias-aa -passes=aa-eval -evaluate-aa-metadata -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-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Analysis/ScopedNoAliasAA/basic2.ll b/test/Analysis/ScopedNoAliasAA/basic2.ll index a8a17e5f90b..e0c16b19911 100644 --- a/test/Analysis/ScopedNoAliasAA/basic2.ll +++ b/test/Analysis/ScopedNoAliasAA/basic2.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -basic-aa -scoped-noalias -aa-eval -evaluate-aa-metadata -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-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Analysis/TypeBasedAliasAnalysis/aggregates.ll b/test/Analysis/TypeBasedAliasAnalysis/aggregates.ll index 120a1d52f27..bf6fddb4909 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/aggregates.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/aggregates.ll @@ -1,7 +1,7 @@ -; RUN: opt < %s -tbaa -basicaa -aa-eval -evaluate-aa-metadata \ +; RUN: opt < %s -tbaa -basic-aa -aa-eval -evaluate-aa-metadata \ ; RUN: -print-no-aliases -print-may-aliases -disable-output 2>&1 | \ ; RUN: FileCheck %s -; RUN: opt < %s -tbaa -basicaa -gvn -S | FileCheck %s --check-prefix=OPT +; RUN: opt < %s -tbaa -basic-aa -gvn -S | FileCheck %s --check-prefix=OPT ; ; Check that TBAA handles access tags with aggregate final access types ; correctly. diff --git a/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll b/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll index 3bdd9d8a2ef..b50d9e8bd41 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -tbaa -basicaa -gvn -S | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -gvn -S | FileCheck %s ; Test that basic alias queries work. diff --git a/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll index a7987f7d7f0..f0d07bff382 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -tbaa -basicaa -argpromotion -mem2reg -S | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -argpromotion -mem2reg -S | FileCheck %s target datalayout = "E-p:64:64:64" diff --git a/test/Analysis/TypeBasedAliasAnalysis/dse.ll b/test/Analysis/TypeBasedAliasAnalysis/dse.ll index 8c51e99e310..de7b11efc2b 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/dse.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/dse.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -tbaa -basicaa -dse -S | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -dse -S | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" ; DSE should make use of TBAA. diff --git a/test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll b/test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll index 8ac6301f931..a7de205d943 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll @@ -1,4 +1,4 @@ -; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s +; RUN: opt -tbaa -basic-aa -gvn -S < %s | FileCheck %s ; PR9971 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" diff --git a/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll b/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll index 28dc4342dd8..ba893fedee2 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -tbaa -basicaa -functionattrs -S | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -functionattrs -S | FileCheck %s ; FunctionAttrs should make use of TBAA. diff --git a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll index 1b541a52843..f8856c0c8cb 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll @@ -1,4 +1,4 @@ -; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s +; RUN: opt -tbaa -basic-aa -gvn -S < %s | FileCheck %s target datalayout = "e-p:64:64:64" diff --git a/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll b/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll index 61b92b5bd12..648fcf707f9 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll @@ -1,4 +1,4 @@ -; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s +; RUN: opt -tbaa -basic-aa -gvn -S < %s | FileCheck %s target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32" diff --git a/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll b/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll index c1f6f18f629..c24a7216972 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -S -tbaa -basicaa -memcpyopt -instcombine < %s | FileCheck %s +; RUN: opt -S -tbaa -basic-aa -memcpyopt -instcombine < %s | FileCheck %s target datalayout = "e-p:64:64:64" diff --git a/test/Analysis/TypeBasedAliasAnalysis/placement-tbaa.ll b/test/Analysis/TypeBasedAliasAnalysis/placement-tbaa.ll index 54d57133b99..16cb3b74130 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/placement-tbaa.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/placement-tbaa.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -tbaa -basicaa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s ; RUN: opt < %s -aa-pipeline=type-based-aa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s ; Generated with "clang -cc1 -disable-llvm-optzns -O1 -emit-llvm" diff --git a/test/Analysis/TypeBasedAliasAnalysis/tbaa-path-new.ll b/test/Analysis/TypeBasedAliasAnalysis/tbaa-path-new.ll index 94fc12a8b4c..3f933c24e33 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/tbaa-path-new.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/tbaa-path-new.ll @@ -1,5 +1,5 @@ -; RUN: opt < %s -tbaa -basicaa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s -; RUN: opt < %s -tbaa -basicaa -gvn -S | FileCheck %s --check-prefix=OPT +; RUN: opt < %s -tbaa -basic-aa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -gvn -S | FileCheck %s --check-prefix=OPT ; Generated from clang/test/CodeGen/tbaa.cpp with "-O1 -new-struct-path-tbaa". %struct.StructA = type { i16, i32, i16, i32 } diff --git a/test/Analysis/TypeBasedAliasAnalysis/tbaa-path.ll b/test/Analysis/TypeBasedAliasAnalysis/tbaa-path.ll index 0b6e8245e0e..b28867248e3 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/tbaa-path.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/tbaa-path.ll @@ -1,5 +1,5 @@ -; RUN: opt < %s -tbaa -basicaa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s -; RUN: opt < %s -tbaa -basicaa -gvn -S | FileCheck %s --check-prefix=OPT +; RUN: opt < %s -tbaa -basic-aa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s +; RUN: opt < %s -tbaa -basic-aa -gvn -S | FileCheck %s --check-prefix=OPT ; Generated from clang/test/CodeGen/tbaa.cpp with "-O1 -struct-path-tbaa -disable-llvm-optzns". %struct.StructA = type { i16, i32, i16, i32 } diff --git a/test/CodeGen/AMDGPU/amdgpu-unroll-threshold.ll b/test/CodeGen/AMDGPU/amdgpu-unroll-threshold.ll index 4da11ca7795..edc93455ef7 100644 --- a/test/CodeGen/AMDGPU/amdgpu-unroll-threshold.ll +++ b/test/CodeGen/AMDGPU/amdgpu-unroll-threshold.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -mtriple=amdgcn-- -basicaa -loop-unroll | FileCheck %s +; RUN: opt < %s -S -mtriple=amdgcn-- -basic-aa -loop-unroll | FileCheck %s ; Check that the loop in unroll_default is not fully unrolled using the default ; unroll threshold diff --git a/test/CodeGen/AMDGPU/loop-idiom.ll b/test/CodeGen/AMDGPU/loop-idiom.ll index d79a35ff6a6..68abd5c692f 100644 --- a/test/CodeGen/AMDGPU/loop-idiom.ll +++ b/test/CodeGen/AMDGPU/loop-idiom.ll @@ -1,6 +1,6 @@ -; RUN: opt -basicaa -loop-idiom -S < %s -march=r600 -mcpu=redwood | FileCheck --check-prefix=R600 --check-prefix=FUNC %s -; RUN: opt -basicaa -loop-idiom -S < %s -march=amdgcn -mcpu=tahiti -verify-machineinstrs| FileCheck --check-prefix=SI --check-prefix=FUNC %s -; RUN: opt -basicaa -loop-idiom -S < %s -march=amdgcn -mcpu=tonga -verify-machineinstrs| FileCheck --check-prefix=SI --check-prefix=FUNC %s +; RUN: opt -basic-aa -loop-idiom -S < %s -march=r600 -mcpu=redwood | FileCheck --check-prefix=R600 --check-prefix=FUNC %s +; RUN: opt -basic-aa -loop-idiom -S < %s -march=amdgcn -mcpu=tahiti -verify-machineinstrs| FileCheck --check-prefix=SI --check-prefix=FUNC %s +; RUN: opt -basic-aa -loop-idiom -S < %s -march=amdgcn -mcpu=tonga -verify-machineinstrs| FileCheck --check-prefix=SI --check-prefix=FUNC %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove1.ll b/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove1.ll index db850950fd5..b2cf9ec44dd 100644 --- a/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove1.ll +++ b/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove1.ll @@ -1,5 +1,5 @@ ; Check for recognizing the "memmove" idiom. -; RUN: opt -basicaa -hexagon-loop-idiom -S -mtriple hexagon-unknown-elf < %s \ +; RUN: opt -basic-aa -hexagon-loop-idiom -S -mtriple hexagon-unknown-elf < %s \ ; RUN: | FileCheck %s ; CHECK: call void @llvm.memmove diff --git a/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove2.ll b/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove2.ll index b9747a887a5..5a47fd7ba46 100644 --- a/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove2.ll +++ b/test/CodeGen/Hexagon/loop-idiom/hexagon-memmove2.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -hexagon-loop-idiom -S -mtriple hexagon-unknown-elf < %s \ +; RUN: opt -basic-aa -hexagon-loop-idiom -S -mtriple hexagon-unknown-elf < %s \ ; RUN: | FileCheck %s define void @PR14241(i32* %s, i64 %size) #0 { diff --git a/test/CodeGen/Hexagon/loop-idiom/nullptr-crash.ll b/test/CodeGen/Hexagon/loop-idiom/nullptr-crash.ll index 59168329198..e9e6f61e224 100644 --- a/test/CodeGen/Hexagon/loop-idiom/nullptr-crash.ll +++ b/test/CodeGen/Hexagon/loop-idiom/nullptr-crash.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -hexagon-loop-idiom -mtriple hexagon-unknown-elf < %s +; RUN: opt -basic-aa -hexagon-loop-idiom -mtriple hexagon-unknown-elf < %s ; REQUIRES: asserts target triple = "hexagon" diff --git a/test/DebugInfo/Generic/licm-hoist-debug-loc.ll b/test/DebugInfo/Generic/licm-hoist-debug-loc.ll index 04429d81e95..0a13e9604f0 100644 --- a/test/DebugInfo/Generic/licm-hoist-debug-loc.ll +++ b/test/DebugInfo/Generic/licm-hoist-debug-loc.ll @@ -5,7 +5,7 @@ ; Generated with ; clang -O0 -S -emit-llvm test.cpp -g -gline-tables-only -o t.ll ; opt -S -sroa -adce -simplifycfg -reassociate -domtree -loops \ -; -loop-simplify -lcssa -basicaa -aa -scalar-evolution -loop-rotate t.ll > test.ll +; -loop-simplify -lcssa -basic-aa -aa -scalar-evolution -loop-rotate t.ll > test.ll ; ; void bar(int *); ; void foo(int k, int p) diff --git a/test/Feature/OperandBundles/basic-aa-argmemonly.ll b/test/Feature/OperandBundles/basic-aa-argmemonly.ll index aa944588606..61f514324aa 100644 --- a/test/Feature/OperandBundles/basic-aa-argmemonly.ll +++ b/test/Feature/OperandBundles/basic-aa-argmemonly.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -gvn < %s | FileCheck %s +; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s declare void @argmemonly_function(i32 *) argmemonly diff --git a/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll b/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll index 1d0897f2d0c..f9cfa7af19f 100644 --- a/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll +++ b/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -gvn -asan -asan-module -S | FileCheck %s +; RUN: opt < %s -basic-aa -gvn -asan -asan-module -S | FileCheck %s ; ASAN conflicts with load widening iff the widened load accesses data out of bounds ; (while the original unwidened loads do not). ; https://github.com/google/sanitizers/issues/20#issuecomment-136381262 diff --git a/test/Instrumentation/ThreadSanitizer/tsan-vs-gvn.ll b/test/Instrumentation/ThreadSanitizer/tsan-vs-gvn.ll index df7608dd449..a0a9370b629 100644 --- a/test/Instrumentation/ThreadSanitizer/tsan-vs-gvn.ll +++ b/test/Instrumentation/ThreadSanitizer/tsan-vs-gvn.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -gvn -tsan -S | FileCheck %s +; RUN: opt < %s -basic-aa -gvn -tsan -S | FileCheck %s ; TSAN conflicts with load widening. Make sure the load widening is off with -tsan. ; 32-bit little endian target. diff --git a/test/Other/lint.ll b/test/Other/lint.ll index db8d53a14f5..45c8bd55fa0 100644 --- a/test/Other/lint.ll +++ b/test/Other/lint.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -lint -disable-output < %s 2>&1 | FileCheck %s +; RUN: opt -basic-aa -lint -disable-output < %s 2>&1 | FileCheck %s target datalayout = "e-p:64:64:64" declare fastcc void @bar() diff --git a/test/Transforms/ArgumentPromotion/basictest.ll b/test/Transforms/ArgumentPromotion/basictest.ll index 13cbd77812c..43f27b9208e 100644 --- a/test/Transforms/ArgumentPromotion/basictest.ll +++ b/test/Transforms/ArgumentPromotion/basictest.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes -; RUN: opt < %s -basicaa -argpromotion -mem2reg -S | FileCheck %s +; RUN: opt < %s -basic-aa -argpromotion -mem2reg -S | FileCheck %s target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" define internal i32 @test(i32* %X, i32* %Y) { diff --git a/test/Transforms/EarlyCSE/AArch64/intrinsics.ll b/test/Transforms/EarlyCSE/AArch64/intrinsics.ll index bec6a7539ae..698d5d1e61c 100644 --- a/test/Transforms/EarlyCSE/AArch64/intrinsics.ll +++ b/test/Transforms/EarlyCSE/AArch64/intrinsics.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S -mtriple=aarch64-none-linux-gnu -mattr=+neon -early-cse | FileCheck %s -; RUN: opt < %s -S -mtriple=aarch64-none-linux-gnu -mattr=+neon -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -mtriple=aarch64-none-linux-gnu -mattr=+neon -basic-aa -early-cse-memssa | FileCheck %s ; RUN: opt < %s -S -mtriple=aarch64-none-linux-gnu -mattr=+neon -passes=early-cse | FileCheck %s ; RUN: opt < %s -S -mtriple=aarch64-none-linux-gnu -mattr=+neon -aa-pipeline=basic-aa -passes=early-cse-memssa | FileCheck %s diff --git a/test/Transforms/EarlyCSE/AArch64/ldstN.ll b/test/Transforms/EarlyCSE/AArch64/ldstN.ll index e3c6c8d9417..1a11fa17dd4 100644 --- a/test/Transforms/EarlyCSE/AArch64/ldstN.ll +++ b/test/Transforms/EarlyCSE/AArch64/ldstN.ll @@ -1,5 +1,5 @@ ; RUN: opt -S -early-cse < %s | FileCheck %s -; RUN: opt -S -basicaa -early-cse-memssa < %s | FileCheck %s +; RUN: opt -S -basic-aa -early-cse-memssa < %s | FileCheck %s target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" target triple = "aarch64--linux-gnu" diff --git a/test/Transforms/EarlyCSE/PowerPC/read-reg.ll b/test/Transforms/EarlyCSE/PowerPC/read-reg.ll index 25f5f8019e1..95dd9d515cd 100644 --- a/test/Transforms/EarlyCSE/PowerPC/read-reg.ll +++ b/test/Transforms/EarlyCSE/PowerPC/read-reg.ll @@ -1,5 +1,5 @@ ; RUN: opt -S -early-cse < %s | FileCheck %s -; RUN: opt -S -basicaa -early-cse-memssa < %s | FileCheck %s +; RUN: opt -S -basic-aa -early-cse-memssa < %s | FileCheck %s target datalayout = "E-m:e-i64:64-n32:64" target triple = "powerpc64-unknown-linux-gnu" diff --git a/test/Transforms/EarlyCSE/and_or.ll b/test/Transforms/EarlyCSE/and_or.ll index f9b88fea402..28161ddfb3c 100644 --- a/test/Transforms/EarlyCSE/and_or.ll +++ b/test/Transforms/EarlyCSE/and_or.ll @@ -1,6 +1,6 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -early-cse -S < %s | FileCheck %s -; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s define i32 @test_01(i32 %a, i32 %b) { ; CHECK-LABEL: @test_01( diff --git a/test/Transforms/EarlyCSE/atomics.ll b/test/Transforms/EarlyCSE/atomics.ll index 7881be7bd9e..4284265d0ae 100644 --- a/test/Transforms/EarlyCSE/atomics.ll +++ b/test/Transforms/EarlyCSE/atomics.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S -early-cse | FileCheck %s -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s ; CHECK-LABEL: @test12( define i32 @test12(i1 %B, i32* %P1, i32* %P2) { diff --git a/test/Transforms/EarlyCSE/basic.ll b/test/Transforms/EarlyCSE/basic.ll index 25d2dc3fd9b..f69a8168602 100644 --- a/test/Transforms/EarlyCSE/basic.ll +++ b/test/Transforms/EarlyCSE/basic.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S -early-cse | FileCheck %s -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s ; RUN: opt < %s -S -passes=early-cse | FileCheck %s declare void @llvm.assume(i1) nounwind diff --git a/test/Transforms/EarlyCSE/commute.ll b/test/Transforms/EarlyCSE/commute.ll index 6fdb0af0d7e..b569393dbda 100644 --- a/test/Transforms/EarlyCSE/commute.ll +++ b/test/Transforms/EarlyCSE/commute.ll @@ -1,6 +1,6 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -S -early-cse -earlycse-debug-hash | FileCheck %s -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s define void @test1(float %A, float %B, float* %PA, float* %PB) { ; CHECK-LABEL: @test1( diff --git a/test/Transforms/EarlyCSE/conditional.ll b/test/Transforms/EarlyCSE/conditional.ll index d2bab4c9aca..ff0acac5a35 100644 --- a/test/Transforms/EarlyCSE/conditional.ll +++ b/test/Transforms/EarlyCSE/conditional.ll @@ -1,5 +1,5 @@ ; RUN: opt -early-cse -S < %s | FileCheck %s -; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s ; Can we CSE a known condition to a constant? define i1 @test(i8* %p) { diff --git a/test/Transforms/EarlyCSE/edge.ll b/test/Transforms/EarlyCSE/edge.ll index dd8c1b7671f..88bd05d4ec3 100644 --- a/test/Transforms/EarlyCSE/edge.ll +++ b/test/Transforms/EarlyCSE/edge.ll @@ -1,5 +1,5 @@ ; RUN: opt -early-cse -S < %s | FileCheck %s -; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s ; Same as GVN/edge.ll, but updated to reflect EarlyCSE's less powerful ; implementation. EarlyCSE currently doesn't exploit equality comparisons ; against constants. diff --git a/test/Transforms/EarlyCSE/fence.ll b/test/Transforms/EarlyCSE/fence.ll index 5eefe82cd49..0f53edc332b 100644 --- a/test/Transforms/EarlyCSE/fence.ll +++ b/test/Transforms/EarlyCSE/fence.ll @@ -1,5 +1,5 @@ ; RUN: opt -S -early-cse < %s | FileCheck %s -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s ; NOTE: This file is testing the current implementation. Some of ; the transforms used as negative tests below would be legal, but ; only if reached through a chain of logic which EarlyCSE is incapable diff --git a/test/Transforms/EarlyCSE/flags.ll b/test/Transforms/EarlyCSE/flags.ll index 41ad20cf57c..c3e74df6242 100644 --- a/test/Transforms/EarlyCSE/flags.ll +++ b/test/Transforms/EarlyCSE/flags.ll @@ -1,5 +1,5 @@ ; RUN: opt -early-cse -S < %s | FileCheck %s -; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s declare void @use(i1) diff --git a/test/Transforms/EarlyCSE/floatingpoint.ll b/test/Transforms/EarlyCSE/floatingpoint.ll index 998f86dff75..a4c56bf0059 100644 --- a/test/Transforms/EarlyCSE/floatingpoint.ll +++ b/test/Transforms/EarlyCSE/floatingpoint.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S -early-cse | FileCheck %s -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s ; Ensure we don't simplify away additions vectors of +0.0's (same as scalars). define <4 x float> @fV( <4 x float> %a) { diff --git a/test/Transforms/EarlyCSE/guards.ll b/test/Transforms/EarlyCSE/guards.ll index a64f9612957..55ec46b186c 100644 --- a/test/Transforms/EarlyCSE/guards.ll +++ b/test/Transforms/EarlyCSE/guards.ll @@ -1,7 +1,7 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -early-cse < %s | FileCheck %s --check-prefixes=CHECK,NO_ASSUME -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s --check-prefixes=CHECK,NO_ASSUME -; RUN: opt < %s -S -basicaa -early-cse-memssa --enable-knowledge-retention | FileCheck %s --check-prefixes=CHECK,USE_ASSUME +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s --check-prefixes=CHECK,NO_ASSUME +; RUN: opt < %s -S -basic-aa -early-cse-memssa --enable-knowledge-retention | FileCheck %s --check-prefixes=CHECK,USE_ASSUME declare void @llvm.experimental.guard(i1,...) diff --git a/test/Transforms/EarlyCSE/instsimplify-dom.ll b/test/Transforms/EarlyCSE/instsimplify-dom.ll index f41ce27a87e..e9ba93a1852 100644 --- a/test/Transforms/EarlyCSE/instsimplify-dom.ll +++ b/test/Transforms/EarlyCSE/instsimplify-dom.ll @@ -1,5 +1,5 @@ ; RUN: opt -early-cse -S < %s | FileCheck %s -; RUN: opt -basicaa -early-cse-memssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s ; PR12231 declare i32 @f() diff --git a/test/Transforms/EarlyCSE/invariant-loads.ll b/test/Transforms/EarlyCSE/invariant-loads.ll index 12e3048e45e..c5246009b42 100644 --- a/test/Transforms/EarlyCSE/invariant-loads.ll +++ b/test/Transforms/EarlyCSE/invariant-loads.ll @@ -1,7 +1,7 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -early-cse < %s | FileCheck %s --check-prefixes=CHECK,NO_ASSUME -; RUN: opt -S -basicaa -early-cse-memssa < %s | FileCheck %s --check-prefixes=CHECK,NO_ASSUME -; RUN: opt -S -basicaa -early-cse-memssa --enable-knowledge-retention < %s | FileCheck %s --check-prefixes=CHECK,USE_ASSUME +; RUN: opt -S -basic-aa -early-cse-memssa < %s | FileCheck %s --check-prefixes=CHECK,NO_ASSUME +; RUN: opt -S -basic-aa -early-cse-memssa --enable-knowledge-retention < %s | FileCheck %s --check-prefixes=CHECK,USE_ASSUME declare void @clobber_and_use(i32) diff --git a/test/Transforms/EarlyCSE/memoryssa.ll b/test/Transforms/EarlyCSE/memoryssa.ll index 41e8d488ab4..5d33ed49bb1 100644 --- a/test/Transforms/EarlyCSE/memoryssa.ll +++ b/test/Transforms/EarlyCSE/memoryssa.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S -early-cse | FileCheck %s --check-prefix=CHECK-NOMEMSSA -; RUN: opt < %s -S -basicaa -early-cse-memssa | FileCheck %s +; RUN: opt < %s -S -basic-aa -early-cse-memssa | FileCheck %s ; RUN: opt < %s -S -passes='early-cse' | FileCheck %s --check-prefix=CHECK-NOMEMSSA ; RUN: opt < %s -S -aa-pipeline=basic-aa -passes='early-cse-memssa' | FileCheck %s diff --git a/test/Transforms/FunctionAttrs/2008-09-03-ReadNone.ll b/test/Transforms/FunctionAttrs/2008-09-03-ReadNone.ll index d747fe727fa..b3035a67aba 100644 --- a/test/Transforms/FunctionAttrs/2008-09-03-ReadNone.ll +++ b/test/Transforms/FunctionAttrs/2008-09-03-ReadNone.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s +; RUN: opt < %s -basic-aa -functionattrs -S | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa -passes=function-attrs -S | FileCheck %s @x = global i32 0 diff --git a/test/Transforms/FunctionAttrs/2008-09-03-ReadOnly.ll b/test/Transforms/FunctionAttrs/2008-09-03-ReadOnly.ll index 35cb5342d8d..1df26459e89 100644 --- a/test/Transforms/FunctionAttrs/2008-09-03-ReadOnly.ll +++ b/test/Transforms/FunctionAttrs/2008-09-03-ReadOnly.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s +; RUN: opt < %s -basic-aa -functionattrs -S | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa -passes=function-attrs -S | FileCheck %s ; CHECK: define i32 @f() #0 diff --git a/test/Transforms/FunctionAttrs/2008-12-29-Constant.ll b/test/Transforms/FunctionAttrs/2008-12-29-Constant.ll index ee1a8caa20e..69ff6cc0a6e 100644 --- a/test/Transforms/FunctionAttrs/2008-12-29-Constant.ll +++ b/test/Transforms/FunctionAttrs/2008-12-29-Constant.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s +; RUN: opt < %s -basic-aa -functionattrs -S | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa -passes=function-attrs -S | FileCheck %s @s = external constant i8 ; [#uses=1] diff --git a/test/Transforms/FunctionAttrs/atomic.ll b/test/Transforms/FunctionAttrs/atomic.ll index 35de0ce800d..a0a08890cb6 100644 --- a/test/Transforms/FunctionAttrs/atomic.ll +++ b/test/Transforms/FunctionAttrs/atomic.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -functionattrs -S < %s | FileCheck %s +; RUN: opt -basic-aa -functionattrs -S < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes=function-attrs -S < %s | FileCheck %s ; Atomic load/store to local doesn't affect whether a function is diff --git a/test/Transforms/FunctionAttrs/norecurse.ll b/test/Transforms/FunctionAttrs/norecurse.ll index b780bb7b718..ad03694c328 100644 --- a/test/Transforms/FunctionAttrs/norecurse.ll +++ b/test/Transforms/FunctionAttrs/norecurse.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -functionattrs -rpo-functionattrs -S | FileCheck %s +; RUN: opt < %s -basic-aa -functionattrs -rpo-functionattrs -S | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa -passes='cgscc(function-attrs),rpo-functionattrs' -S | FileCheck %s ; CHECK: Function Attrs diff --git a/test/Transforms/Inline/byval-tail-call.ll b/test/Transforms/Inline/byval-tail-call.ll index be495f1bcd3..1a3cdc558e6 100644 --- a/test/Transforms/Inline/byval-tail-call.ll +++ b/test/Transforms/Inline/byval-tail-call.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -tailcallelim -inline -instcombine -dse -S | FileCheck %s +; RUN: opt < %s -basic-aa -tailcallelim -inline -instcombine -dse -S | FileCheck %s ; RUN: opt < %s -aa-pipeline=basic-aa -passes='function(tailcallelim),cgscc(inline,function(instcombine,dse))' -S | FileCheck %s ; PR7272 diff --git a/test/Transforms/Inline/devirtualize-3.ll b/test/Transforms/Inline/devirtualize-3.ll index 2a0a6d7f65a..e7d1073c69b 100644 --- a/test/Transforms/Inline/devirtualize-3.ll +++ b/test/Transforms/Inline/devirtualize-3.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -inline -S -sroa -gvn -instcombine < %s | FileCheck %s +; RUN: opt -basic-aa -inline -S -sroa -gvn -instcombine < %s | FileCheck %s ; PR5009 ; CHECK: define i32 @main() diff --git a/test/Transforms/Inline/gvn-inline-iteration.ll b/test/Transforms/Inline/gvn-inline-iteration.ll index b87c0609ea2..e0f59af15ca 100644 --- a/test/Transforms/Inline/gvn-inline-iteration.ll +++ b/test/Transforms/Inline/gvn-inline-iteration.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -inline -gvn -S -max-cg-scc-iterations=1 < %s | FileCheck %s +; RUN: opt -basic-aa -inline -gvn -S -max-cg-scc-iterations=1 < %s | FileCheck %s ; rdar://6295824 and PR6724 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" diff --git a/test/Transforms/Inline/noalias-calls.ll b/test/Transforms/Inline/noalias-calls.ll index 965f5ce9236..d93a6acbe4b 100644 --- a/test/Transforms/Inline/noalias-calls.ll +++ b/test/Transforms/Inline/noalias-calls.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -inline -enable-noalias-to-md-conversion -S < %s | FileCheck %s +; RUN: opt -basic-aa -inline -enable-noalias-to-md-conversion -S < %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-unknown-linux-gnu" diff --git a/test/Transforms/InstCombine/load_combine_aa.ll b/test/Transforms/InstCombine/load_combine_aa.ll index b84b81ddd5d..5b1a609e2a7 100644 --- a/test/Transforms/InstCombine/load_combine_aa.ll +++ b/test/Transforms/InstCombine/load_combine_aa.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -instcombine -S < %s | FileCheck %s +; RUN: opt -basic-aa -instcombine -S < %s | FileCheck %s ; CHECK-LABEL: @test_load_combine_aa( ; CHECK: %[[V:.*]] = load i32, i32* %0 diff --git a/test/Transforms/InstMerge/exceptions.ll b/test/Transforms/InstMerge/exceptions.ll index 54c39960f01..d4e2b7e3ea5 100644 --- a/test/Transforms/InstMerge/exceptions.ll +++ b/test/Transforms/InstMerge/exceptions.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require',mldst-motion \ ; RUN: -S < %s | FileCheck %s diff --git a/test/Transforms/InstMerge/st_sink_barrier_call.ll b/test/Transforms/InstMerge/st_sink_barrier_call.ll index cdcc34624d5..155a77ea69c 100644 --- a/test/Transforms/InstMerge/st_sink_barrier_call.ll +++ b/test/Transforms/InstMerge/st_sink_barrier_call.ll @@ -1,6 +1,6 @@ ; Test to make sure that a function call that needs to be a barrier to sinking stores is indeed a barrier. ; Stores sunks into the footer. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/InstMerge/st_sink_no_barrier_call.ll b/test/Transforms/InstMerge/st_sink_no_barrier_call.ll index c2da0f3d0ec..d625c241048 100644 --- a/test/Transforms/InstMerge/st_sink_no_barrier_call.ll +++ b/test/Transforms/InstMerge/st_sink_no_barrier_call.ll @@ -1,6 +1,6 @@ ; Test to make sure that stores in a diamond get merged with a non barrier function call after the store instruction ; Stores sunks into the footer. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/InstMerge/st_sink_no_barrier_load.ll b/test/Transforms/InstMerge/st_sink_no_barrier_load.ll index b7236e4c6a0..889942f86a3 100644 --- a/test/Transforms/InstMerge/st_sink_no_barrier_load.ll +++ b/test/Transforms/InstMerge/st_sink_no_barrier_load.ll @@ -1,6 +1,6 @@ ; Test to make sure that stores in a diamond get merged with a non barrier load after the store instruction ; Stores sunks into the footer. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/InstMerge/st_sink_no_barrier_store.ll b/test/Transforms/InstMerge/st_sink_no_barrier_store.ll index e13f28aa5e1..f10a64ca4a4 100644 --- a/test/Transforms/InstMerge/st_sink_no_barrier_store.ll +++ b/test/Transforms/InstMerge/st_sink_no_barrier_store.ll @@ -1,6 +1,6 @@ ; Test to make sure that stores in a diamond get merged with a non barrier store after the store instruction to be sunk ; Stores sunks into the footer. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/InstMerge/st_sink_split_bb.ll b/test/Transforms/InstMerge/st_sink_split_bb.ll index ee4d5647ddc..dfa22f6e03d 100644 --- a/test/Transforms/InstMerge/st_sink_split_bb.ll +++ b/test/Transforms/InstMerge/st_sink_split_bb.ll @@ -1,7 +1,7 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; Test to make sure that a new block is inserted if we ; have more than 2 predecessors for the block we're going to sink to. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s --check-prefix=CHECK-NO +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s --check-prefix=CHECK-NO ; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require,mldst-motion' -S < %s 2>&1 | FileCheck %s --check-prefixes=CHECK-NO,CHECK-INV-NO ; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require,mldst-motion' -S < %s 2>&1 | FileCheck %s --check-prefixes=CHECK-YES,CHECK-INV-YES target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" diff --git a/test/Transforms/InstMerge/st_sink_two_stores.ll b/test/Transforms/InstMerge/st_sink_two_stores.ll index 5b5582f438c..82a12e3497f 100644 --- a/test/Transforms/InstMerge/st_sink_two_stores.ll +++ b/test/Transforms/InstMerge/st_sink_two_stores.ll @@ -1,6 +1,6 @@ ; Test to make sure that stores in a diamond get merged ; Stores sunks into the footer. -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/InstMerge/st_sink_with_barrier.ll b/test/Transforms/InstMerge/st_sink_with_barrier.ll index a05ae88e384..03276c70868 100644 --- a/test/Transforms/InstMerge/st_sink_with_barrier.ll +++ b/test/Transforms/InstMerge/st_sink_with_barrier.ll @@ -1,5 +1,5 @@ ; Test to make sure that load from the same address as a store and appears after the store prevents the store from being sunk -; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s +; RUN: opt -basic-aa -memdep -mldst-motion -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" %struct.node = type { i32, %struct.node*, %struct.node*, %struct.node*, i32, i32, i32, i32 } diff --git a/test/Transforms/LICM/2003-02-26-LoopExitNotDominated.ll b/test/Transforms/LICM/2003-02-26-LoopExitNotDominated.ll index 1b50a6c87af..ffb738cb9de 100644 --- a/test/Transforms/LICM/2003-02-26-LoopExitNotDominated.ll +++ b/test/Transforms/LICM/2003-02-26-LoopExitNotDominated.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -disable-output +; RUN: opt < %s -basic-aa -licm -disable-output ;%MoveArray = external global [64 x ulong] diff --git a/test/Transforms/LICM/2008-07-22-LoadGlobalConstant.ll b/test/Transforms/LICM/2008-07-22-LoadGlobalConstant.ll index a715af032a9..c7b5f65dde8 100644 --- a/test/Transforms/LICM/2008-07-22-LoadGlobalConstant.ll +++ b/test/Transforms/LICM/2008-07-22-LoadGlobalConstant.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s @a = external constant float* diff --git a/test/Transforms/LICM/2011-04-06-HoistMissedASTUpdate.ll b/test/Transforms/LICM/2011-04-06-HoistMissedASTUpdate.ll index b462885e5fb..fb0fbbdc694 100644 --- a/test/Transforms/LICM/2011-04-06-HoistMissedASTUpdate.ll +++ b/test/Transforms/LICM/2011-04-06-HoistMissedASTUpdate.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s ; PR9630 @g_39 = external global i16, align 2 diff --git a/test/Transforms/LICM/PR21582.ll b/test/Transforms/LICM/PR21582.ll index 5664f2e2b6e..2fbbc66e574 100644 --- a/test/Transforms/LICM/PR21582.ll +++ b/test/Transforms/LICM/PR21582.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s @b = external global i32, align 4 @fn3.i = external global i32, align 4 diff --git a/test/Transforms/LICM/argmemonly-call.ll b/test/Transforms/LICM/argmemonly-call.ll index 5050253859b..b726dc1c761 100644 --- a/test/Transforms/LICM/argmemonly-call.ll +++ b/test/Transforms/LICM/argmemonly-call.ll @@ -1,6 +1,6 @@ -; RUN: opt -S -basicaa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=false %s | FileCheck %s -; RUN: opt -S -basicaa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=true -verify-memoryssa %s | FileCheck %s --check-prefix=ALIAS-N2 -; RUN: opt -licm -basicaa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 +; RUN: opt -S -basic-aa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=false %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=true -verify-memoryssa %s | FileCheck %s --check-prefix=ALIAS-N2 +; RUN: opt -licm -basic-aa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=0 -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=0 -passes='require,require,require,require,loop-mssa(licm)' < %s -S | FileCheck %s --check-prefix=ALIAS-N2 diff --git a/test/Transforms/LICM/assume.ll b/test/Transforms/LICM/assume.ll index 30faf7dee9d..8c3abb5f8b2 100644 --- a/test/Transforms/LICM/assume.ll +++ b/test/Transforms/LICM/assume.ll @@ -1,4 +1,4 @@ -; RUN: opt -licm -basicaa < %s -S | FileCheck %s +; RUN: opt -licm -basic-aa < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s define void @f_0(i1 %p) nounwind ssp { diff --git a/test/Transforms/LICM/atomics.ll b/test/Transforms/LICM/atomics.ll index 214078e6fd6..3ef6b1194a7 100644 --- a/test/Transforms/LICM/atomics.ll +++ b/test/Transforms/LICM/atomics.ll @@ -1,5 +1,5 @@ -; RUN: opt < %s -S -basicaa -licm -enable-mssa-loop-dependency=false | FileCheck -check-prefixes=CHECK,AST %s -; RUN: opt < %s -S -basicaa -licm -enable-mssa-loop-dependency=true | FileCheck -check-prefixes=CHECK,MSSA %s +; RUN: opt < %s -S -basic-aa -licm -enable-mssa-loop-dependency=false | FileCheck -check-prefixes=CHECK,AST %s +; RUN: opt < %s -S -basic-aa -licm -enable-mssa-loop-dependency=true | FileCheck -check-prefixes=CHECK,MSSA %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(licm)' < %s -S | FileCheck -check-prefixes=CHECK,AST %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop-mssa(licm)' < %s -S | FileCheck -check-prefixes=CHECK,MSSA %s diff --git a/test/Transforms/LICM/call-hoisting.ll b/test/Transforms/LICM/call-hoisting.ll index 9e29af3039a..170f4ac535b 100644 --- a/test/Transforms/LICM/call-hoisting.ll +++ b/test/Transforms/LICM/call-hoisting.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -licm %s | FileCheck %s +; RUN: opt -S -basic-aa -licm %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s declare i32 @load(i32* %p) argmemonly readonly nounwind diff --git a/test/Transforms/LICM/constexpr.ll b/test/Transforms/LICM/constexpr.ll index 488821ac8fd..02a37feca24 100644 --- a/test/Transforms/LICM/constexpr.ll +++ b/test/Transforms/LICM/constexpr.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -licm | FileCheck %s +; RUN: opt < %s -S -basic-aa -licm | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(licm)' < %s -S | FileCheck %s ; This fixes PR22460 diff --git a/test/Transforms/LICM/debug-value.ll b/test/Transforms/LICM/debug-value.ll index 64bb9c65a8f..db566cc022e 100644 --- a/test/Transforms/LICM/debug-value.ll +++ b/test/Transforms/LICM/debug-value.ll @@ -1,4 +1,4 @@ -; RUN: opt -licm -basicaa < %s -S | FileCheck %s +; RUN: opt -licm -basic-aa < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s define void @dgefa() nounwind ssp { diff --git a/test/Transforms/LICM/explicit_guards.ll b/test/Transforms/LICM/explicit_guards.ll index a684ebe9d88..d51a1e24db4 100644 --- a/test/Transforms/LICM/explicit_guards.ll +++ b/test/Transforms/LICM/explicit_guards.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -S -make-guards-explicit -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -make-guards-explicit -basic-aa -licm < %s | FileCheck %s ; RUN: opt -S -aa-pipeline=basic-aa -passes='require,make-guards-explicit,loop(licm)' < %s | FileCheck %s declare void @llvm.experimental.guard(i1,...) diff --git a/test/Transforms/LICM/fence.ll b/test/Transforms/LICM/fence.ll index f1dfe9e3511..7df9e21039b 100644 --- a/test/Transforms/LICM/fence.ll +++ b/test/Transforms/LICM/fence.ll @@ -1,4 +1,4 @@ -; RUN: opt -licm -basicaa < %s -S | FileCheck %s +; RUN: opt -licm -basic-aa < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s define void @test1(i64 %n) { diff --git a/test/Transforms/LICM/guards.ll b/test/Transforms/LICM/guards.ll index e17e5ff859a..e4dad88e499 100644 --- a/test/Transforms/LICM/guards.ll +++ b/test/Transforms/LICM/guards.ll @@ -1,7 +1,7 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; REQUIRES: asserts -; RUN: opt -licm -basicaa -enable-mssa-loop-dependency=false -ipt-expensive-asserts=true < %s -S | FileCheck %s -; RUN: opt -licm -basicaa -enable-mssa-loop-dependency=true -ipt-expensive-asserts=true < %s -S | FileCheck %s --check-prefixes=CHECK,MSSA +; RUN: opt -licm -basic-aa -enable-mssa-loop-dependency=false -ipt-expensive-asserts=true < %s -S | FileCheck %s +; RUN: opt -licm -basic-aa -enable-mssa-loop-dependency=true -ipt-expensive-asserts=true < %s -S | FileCheck %s --check-prefixes=CHECK,MSSA ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' -ipt-expensive-asserts=true < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop-mssa(licm)' -ipt-expensive-asserts=true < %s -S | FileCheck %s --check-prefixes=CHECK,MSSA diff --git a/test/Transforms/LICM/hoist-bitcast-load.ll b/test/Transforms/LICM/hoist-bitcast-load.ll index fcd6d08f2b4..1406ae5cba4 100644 --- a/test/Transforms/LICM/hoist-bitcast-load.ll +++ b/test/Transforms/LICM/hoist-bitcast-load.ll @@ -1,6 +1,6 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(simplify-cfg,licm)' -S < %s | FileCheck %s -; RUN: opt -S -basicaa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LICM/hoist-deref-load.ll b/test/Transforms/LICM/hoist-deref-load.ll index dd4d8821955..2f1ae0518f3 100644 --- a/test/Transforms/LICM/hoist-deref-load.ll +++ b/test/Transforms/LICM/hoist-deref-load.ll @@ -1,6 +1,6 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(simplify-cfg,licm)' -S < %s | FileCheck %s -; RUN: opt -S -basicaa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop-mssa(simplify-cfg,licm)' -verify-memoryssa -S < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LICM/hoist-mustexec.ll b/test/Transforms/LICM/hoist-mustexec.ll index 59184eb542c..25ccaa07362 100644 --- a/test/Transforms/LICM/hoist-mustexec.ll +++ b/test/Transforms/LICM/hoist-mustexec.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt -S -basicaa -licm -ipt-expensive-asserts=true < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -ipt-expensive-asserts=true < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(licm)' -ipt-expensive-asserts=true -S %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LICM/hoist-nounwind.ll b/test/Transforms/LICM/hoist-nounwind.ll index a582173a156..e74bf59bc36 100644 --- a/test/Transforms/LICM/hoist-nounwind.ll +++ b/test/Transforms/LICM/hoist-nounwind.ll @@ -1,6 +1,6 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(licm)' -S %s | FileCheck %s -; RUN: opt -S -basicaa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LICM/infinite_loops.ll b/test/Transforms/LICM/infinite_loops.ll index 6189bdb1a97..3f27d3563c1 100644 --- a/test/Transforms/LICM/infinite_loops.ll +++ b/test/Transforms/LICM/infinite_loops.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,loop(licm)' -S %s | FileCheck %s ; Make sure we don't hoist the unsafe division to some executable block. diff --git a/test/Transforms/LICM/invariant.start.ll b/test/Transforms/LICM/invariant.start.ll index d5d44757c40..73e23f0effb 100644 --- a/test/Transforms/LICM/invariant.start.ll +++ b/test/Transforms/LICM/invariant.start.ll @@ -1,5 +1,5 @@ -; RUN: opt -licm -basicaa -licm-n2-threshold=0 < %s -S | FileCheck %s -; RUN: opt -licm -basicaa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 +; RUN: opt -licm -basic-aa -licm-n2-threshold=0 < %s -S | FileCheck %s +; RUN: opt -licm -basic-aa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=0 -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=200 -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s --check-prefix=ALIAS-N2 diff --git a/test/Transforms/LICM/lcssa-ssa-promoter.ll b/test/Transforms/LICM/lcssa-ssa-promoter.ll index 0644a627f71..39e70748fb5 100644 --- a/test/Transforms/LICM/lcssa-ssa-promoter.ll +++ b/test/Transforms/LICM/lcssa-ssa-promoter.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' -S %s| FileCheck %s ; ; Manually validate LCSSA form is preserved even after SSAUpdater is used to diff --git a/test/Transforms/LICM/pr26843.ll b/test/Transforms/LICM/pr26843.ll index e72821d7fdb..0301f2793e3 100644 --- a/test/Transforms/LICM/pr26843.ll +++ b/test/Transforms/LICM/pr26843.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" target triple = "i686-pc-windows-msvc18.0.0" diff --git a/test/Transforms/LICM/pr27262.ll b/test/Transforms/LICM/pr27262.ll index 0245ec2ca8b..9ba42d5dd79 100644 --- a/test/Transforms/LICM/pr27262.ll +++ b/test/Transforms/LICM/pr27262.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" target triple = "i686-pc-windows-msvc18.0.0" diff --git a/test/Transforms/LICM/pragma-licm-disable.ll b/test/Transforms/LICM/pragma-licm-disable.ll index cba109943e3..16c0125ebe8 100644 --- a/test/Transforms/LICM/pragma-licm-disable.ll +++ b/test/Transforms/LICM/pragma-licm-disable.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -licm | FileCheck %s +; RUN: opt < %s -S -basic-aa -licm | FileCheck %s ; Check that the LICM pass does not operate on a loop which has the ; llvm.licm.disable metadata. diff --git a/test/Transforms/LICM/promote-order.ll b/test/Transforms/LICM/promote-order.ll index e187404f391..1a46f95386a 100644 --- a/test/Transforms/LICM/promote-order.ll +++ b/test/Transforms/LICM/promote-order.ll @@ -1,5 +1,5 @@ -; RUN: opt -tbaa -basicaa -licm -enable-mssa-loop-dependency=false -S < %s | FileCheck %s --check-prefixes=CHECK,AST -; RUN: opt -tbaa -basicaa -licm -enable-mssa-loop-dependency=true -S < %s | FileCheck %s --check-prefixes=CHECK,MSSA +; RUN: opt -tbaa -basic-aa -licm -enable-mssa-loop-dependency=false -S < %s | FileCheck %s --check-prefixes=CHECK,AST +; RUN: opt -tbaa -basic-aa -licm -enable-mssa-loop-dependency=true -S < %s | FileCheck %s --check-prefixes=CHECK,MSSA ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='require,require,require,require,loop(licm)' -S %s | FileCheck %s --check-prefixes=CHECK,AST ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='require,require,require,require,loop-mssa(licm)' -S %s | FileCheck %s --check-prefixes=CHECK,MSSA diff --git a/test/Transforms/LICM/promote-tls.ll b/test/Transforms/LICM/promote-tls.ll index db4d4c31201..ccd73733f62 100644 --- a/test/Transforms/LICM/promote-tls.ll +++ b/test/Transforms/LICM/promote-tls.ll @@ -1,4 +1,4 @@ -; RUN: opt -tbaa -basicaa -licm -S < %s | FileCheck %s +; RUN: opt -tbaa -basic-aa -licm -S < %s | FileCheck %s ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='require,require,require,require,loop(licm)' -S %s | FileCheck %s ; If we can prove a local is thread local, we can insert stores during diff --git a/test/Transforms/LICM/read-only-calls.ll b/test/Transforms/LICM/read-only-calls.ll index 19e9a118cfe..91a26446244 100644 --- a/test/Transforms/LICM/read-only-calls.ll +++ b/test/Transforms/LICM/read-only-calls.ll @@ -1,6 +1,6 @@ -; RUN: opt -S -basicaa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=false %s | FileCheck %s -; RUN: opt -S -basicaa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=true %s | FileCheck %s --check-prefix=ALIAS-N2 -; RUN: opt -licm -basicaa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 +; RUN: opt -S -basic-aa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=false %s | FileCheck %s +; RUN: opt -S -basic-aa -licm -licm-n2-threshold=0 -enable-mssa-loop-dependency=true %s | FileCheck %s --check-prefix=ALIAS-N2 +; RUN: opt -licm -basic-aa -licm-n2-threshold=200 < %s -S | FileCheck %s --check-prefix=ALIAS-N2 ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=0 -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -licm-n2-threshold=0 -passes='require,require,require,require,loop-mssa(licm)' < %s -S | FileCheck %s --check-prefix=ALIAS-N2 diff --git a/test/Transforms/LICM/scalar-promote-memmodel.ll b/test/Transforms/LICM/scalar-promote-memmodel.ll index c09c2b361e0..92724cf9733 100644 --- a/test/Transforms/LICM/scalar-promote-memmodel.ll +++ b/test/Transforms/LICM/scalar-promote-memmodel.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='require,require,require,require,loop(licm)' -S %s | FileCheck %s ; Make sure we don't hoist a conditionally-executed store out of the loop; diff --git a/test/Transforms/LICM/scalar-promote-unwind.ll b/test/Transforms/LICM/scalar-promote-unwind.ll index 5de6ae9c277..6bcea9953aa 100644 --- a/test/Transforms/LICM/scalar-promote-unwind.ll +++ b/test/Transforms/LICM/scalar-promote-unwind.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' -S %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LICM/scalar-promote.ll b/test/Transforms/LICM/scalar-promote.ll index b719c1e6cb4..c0fc153e872 100644 --- a/test/Transforms/LICM/scalar-promote.ll +++ b/test/Transforms/LICM/scalar-promote.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -tbaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -tbaa -licm -S | FileCheck %s ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='require,require,require,require,loop(licm)' -S %s | FileCheck %s target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" diff --git a/test/Transforms/LICM/sink-promote.ll b/test/Transforms/LICM/sink-promote.ll index 45024c46da9..ac05af5a640 100644 --- a/test/Transforms/LICM/sink-promote.ll +++ b/test/Transforms/LICM/sink-promote.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s ; Test moved from sinking.ll, as it tests sinking of a store who alone touches ; a memory location in a loop. diff --git a/test/Transforms/LICM/sinking.ll b/test/Transforms/LICM/sinking.ll index cc30494a518..a3a7487a1b2 100644 --- a/test/Transforms/LICM/sinking.ll +++ b/test/Transforms/LICM/sinking.ll @@ -1,6 +1,6 @@ -; RUN: opt < %s -basicaa -licm -S | FileCheck %s -; RUN: opt < %s -debugify -basicaa -licm -S | FileCheck %s -check-prefix=DEBUGIFY -; RUN: opt < %s -basicaa -licm -S -enable-mssa-loop-dependency=true -verify-memoryssa | FileCheck %s +; RUN: opt < %s -basic-aa -licm -S | FileCheck %s +; RUN: opt < %s -debugify -basic-aa -licm -S | FileCheck %s -check-prefix=DEBUGIFY +; RUN: opt < %s -basic-aa -licm -S -enable-mssa-loop-dependency=true -verify-memoryssa | FileCheck %s declare i32 @strlen(i8*) readonly nounwind diff --git a/test/Transforms/LICM/store-hoisting.ll b/test/Transforms/LICM/store-hoisting.ll index c1df6efdcb7..b66098aef97 100644 --- a/test/Transforms/LICM/store-hoisting.ll +++ b/test/Transforms/LICM/store-hoisting.ll @@ -1,5 +1,5 @@ -; RUN: opt -S -basicaa -licm -enable-mssa-loop-dependency=false %s | FileCheck -check-prefixes=CHECK,AST %s -; RUN: opt -S -basicaa -licm -enable-mssa-loop-dependency=true %s | FileCheck -check-prefixes=CHECK,MSSA %s +; RUN: opt -S -basic-aa -licm -enable-mssa-loop-dependency=false %s | FileCheck -check-prefixes=CHECK,AST %s +; RUN: opt -S -basic-aa -licm -enable-mssa-loop-dependency=true %s | FileCheck -check-prefixes=CHECK,MSSA %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' < %s -S | FileCheck -check-prefixes=CHECK,AST %s ; RUN: opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop-mssa(licm)' < %s -S | FileCheck -check-prefixes=CHECK,MSSA %s diff --git a/test/Transforms/LICM/strlen.ll b/test/Transforms/LICM/strlen.ll index 82b3374184d..230385e42ed 100644 --- a/test/Transforms/LICM/strlen.ll +++ b/test/Transforms/LICM/strlen.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -inferattrs -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -inferattrs -basic-aa -licm < %s | FileCheck %s define void @test(i64* noalias %loc, i8* noalias %a) { ; CHECK-LABEL: @test diff --git a/test/Transforms/LICM/unrolled-deeply-nested.ll b/test/Transforms/LICM/unrolled-deeply-nested.ll index fad3e8f0c0e..84e0ee9a027 100644 --- a/test/Transforms/LICM/unrolled-deeply-nested.ll +++ b/test/Transforms/LICM/unrolled-deeply-nested.ll @@ -4,7 +4,7 @@ ; loop. ; ; RUN: opt -S -aa-pipeline=basic-aa -passes='require,loop(licm)' < %s | FileCheck %s -; RUN: opt -S -basicaa -licm < %s | FileCheck %s +; RUN: opt -S -basic-aa -licm < %s | FileCheck %s define i32 @test(i32* %a, i64 %n.0, i64 %n.0.0, i64 %n.0.0.0, i64 %n.0.0.0.0) nounwind uwtable readonly { ; CHECK-LABEL: define i32 @test diff --git a/test/Transforms/LICM/volatile-alias.ll b/test/Transforms/LICM/volatile-alias.ll index 605720a3b84..be310e398c0 100644 --- a/test/Transforms/LICM/volatile-alias.ll +++ b/test/Transforms/LICM/volatile-alias.ll @@ -1,6 +1,6 @@ -; RUN: opt -basicaa -sroa -loop-rotate -licm -S < %s | FileCheck %s -; RUN: opt -basicaa -sroa -loop-rotate %s | opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' -S | FileCheck %s -; RUN: opt -basicaa -sroa -loop-rotate -licm -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s | FileCheck %s +; RUN: opt -basic-aa -sroa -loop-rotate -licm -S < %s | FileCheck %s +; RUN: opt -basic-aa -sroa -loop-rotate %s | opt -aa-pipeline=basic-aa -passes='require,require,require,require,loop(licm)' -S | FileCheck %s +; RUN: opt -basic-aa -sroa -loop-rotate -licm -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s | FileCheck %s ; The objects *p and *q are aliased to each other, but even though *q is ; volatile, *p can be considered invariant in the loop. Check if it is moved ; out of the loop. diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/aa-metadata.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/aa-metadata.ll index d2834be18b0..8a0641ffe0d 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/aa-metadata.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/aa-metadata.ll @@ -1,5 +1,5 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -scoped-noalias -load-store-vectorizer -S -o - %s | FileCheck -check-prefix=SCOPE -check-prefix=ALL %s -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck -check-prefix=NOSCOPE -check-prefix=ALL %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -scoped-noalias -load-store-vectorizer -S -o - %s | FileCheck -check-prefix=SCOPE -check-prefix=ALL %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck -check-prefix=NOSCOPE -check-prefix=ALL %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/complex-index.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/complex-index.ll index cd1c7fdc521..ac3da6a9b16 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/complex-index.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/complex-index.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/extended-index.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/extended-index.ll index b8e95a6793e..9f3618f4f9d 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/extended-index.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/extended-index.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/insertion-point.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/insertion-point.ll index 35836f80456..1b4acd1698e 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/insertion-point.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/insertion-point.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/interleaved-mayalias-store.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/interleaved-mayalias-store.ll index 81ebb712e33..e24dbf7c635 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/interleaved-mayalias-store.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/interleaved-mayalias-store.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/invariant-load.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/invariant-load.ll index 15c47716aaf..b432b7e6187 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/invariant-load.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/invariant-load.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/merge-vectors.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/merge-vectors.ll index bcf2265f310..6e401b1fac8 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/merge-vectors.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/merge-vectors.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/multiple_tails.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/multiple_tails.ll index ffd651b2c65..410212e81e0 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/multiple_tails.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/multiple_tails.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoadStoreVectorizer/AMDGPU/pointer-elements.ll b/test/Transforms/LoadStoreVectorizer/AMDGPU/pointer-elements.ll index 9290749bb89..8a6dafe0750 100644 --- a/test/Transforms/LoadStoreVectorizer/AMDGPU/pointer-elements.ll +++ b/test/Transforms/LoadStoreVectorizer/AMDGPU/pointer-elements.ll @@ -1,4 +1,4 @@ -; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s +; RUN: opt -mtriple=amdgcn-amd-amdhsa -basic-aa -load-store-vectorizer -S -o - %s | FileCheck %s target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" diff --git a/test/Transforms/LoopDistribute/basic-with-memchecks.ll b/test/Transforms/LoopDistribute/basic-with-memchecks.ll index 51a4fe8f60e..5f72b8d49b5 100644 --- a/test/Transforms/LoopDistribute/basic-with-memchecks.ll +++ b/test/Transforms/LoopDistribute/basic-with-memchecks.ll @@ -1,11 +1,11 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ ; RUN: < %s | FileCheck %s -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 \ ; RUN: -verify-loop-info -verify-dom-info -S < %s | \ ; RUN: FileCheck --check-prefix=VECTORIZE %s -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info \ ; RUN: -loop-accesses -analyze < %s | FileCheck %s --check-prefix=ANALYSIS ; The memcheck version of basic.ll. We should distribute and vectorize the diff --git a/test/Transforms/LoopDistribute/basic.ll b/test/Transforms/LoopDistribute/basic.ll index 0d7b6f21824..d696c0cf3a4 100644 --- a/test/Transforms/LoopDistribute/basic.ll +++ b/test/Transforms/LoopDistribute/basic.ll @@ -1,10 +1,10 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ ; RUN: < %s | FileCheck %s -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info \ ; RUN: -loop-accesses -analyze < %s | FileCheck %s --check-prefix=ANALYSIS -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 -S \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 -S \ ; RUN: < %s | FileCheck %s --check-prefix=VECTORIZE ; We should distribute this loop into a safe (2nd statement) and unsafe loop diff --git a/test/Transforms/LoopDistribute/bounds-expansion-bug.ll b/test/Transforms/LoopDistribute/bounds-expansion-bug.ll index 673b2942bad..c6226181085 100644 --- a/test/Transforms/LoopDistribute/bounds-expansion-bug.ll +++ b/test/Transforms/LoopDistribute/bounds-expansion-bug.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -S < %s | FileCheck %s ; When emitting the memchecks for: ; diff --git a/test/Transforms/LoopDistribute/convergent-no-cross-partition-checks.ll b/test/Transforms/LoopDistribute/convergent-no-cross-partition-checks.ll index 1ea5b71aeac..e825d1f7211 100644 --- a/test/Transforms/LoopDistribute/convergent-no-cross-partition-checks.ll +++ b/test/Transforms/LoopDistribute/convergent-no-cross-partition-checks.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute \ ; RUN: -verify-loop-info -verify-dom-info -S < %s | FileCheck %s ; Derived from crash-in-memcheck-generation.ll diff --git a/test/Transforms/LoopDistribute/crash-in-memcheck-generation.ll b/test/Transforms/LoopDistribute/crash-in-memcheck-generation.ll index 4ac3ad173ab..f804b72e4af 100644 --- a/test/Transforms/LoopDistribute/crash-in-memcheck-generation.ll +++ b/test/Transforms/LoopDistribute/crash-in-memcheck-generation.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -loop-vectorize -force-vector-width=4 \ ; RUN: -verify-loop-info -verify-dom-info -S < %s | FileCheck %s ; If only A and B can alias here, we don't need memchecks to distribute since diff --git a/test/Transforms/LoopDistribute/followup.ll b/test/Transforms/LoopDistribute/followup.ll index a70a6d4fb9e..35ae5e73b57 100644 --- a/test/Transforms/LoopDistribute/followup.ll +++ b/test/Transforms/LoopDistribute/followup.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-distribute -S < %s | FileCheck %s ; ; Check that followup loop-attributes are applied to the loops after ; loop distribution. diff --git a/test/Transforms/LoopDistribute/metadata.ll b/test/Transforms/LoopDistribute/metadata.ll index 6c99340f7d0..e906b48077c 100644 --- a/test/Transforms/LoopDistribute/metadata.ll +++ b/test/Transforms/LoopDistribute/metadata.ll @@ -1,5 +1,5 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute=0 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=EXPLICIT --check-prefix=DEFAULT_OFF -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute=1 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=EXPLICIT --check-prefix=DEFAULT_ON +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute=0 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=EXPLICIT --check-prefix=DEFAULT_OFF +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute=1 -S < %s | FileCheck %s --check-prefix=CHECK --check-prefix=EXPLICIT --check-prefix=DEFAULT_ON ; Same loop as in basic.ll. Check that distribution is enabled/disabled ; properly according to -enable-loop-distribute=0/1 and the diff --git a/test/Transforms/LoopDistribute/no-if-convert.ll b/test/Transforms/LoopDistribute/no-if-convert.ll index 81901972f37..a458b3cca6b 100644 --- a/test/Transforms/LoopDistribute/no-if-convert.ll +++ b/test/Transforms/LoopDistribute/no-if-convert.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S < %s \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S < %s \ ; RUN: | FileCheck %s ; We should distribute this loop along === but not along ---. The last diff --git a/test/Transforms/LoopDistribute/pr28443.ll b/test/Transforms/LoopDistribute/pr28443.ll index 1048c1a4c59..ecb3ff81333 100644 --- a/test/Transforms/LoopDistribute/pr28443.ll +++ b/test/Transforms/LoopDistribute/pr28443.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \ ; RUN: < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll b/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll index 8ad19cb4707..caa39623b00 100644 --- a/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll +++ b/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -S -enable-mem-access-versioning=0 < %s | FileCheck %s +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -S -enable-mem-access-versioning=0 < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopDistribute/symbolic-stride.ll b/test/Transforms/LoopDistribute/symbolic-stride.ll index e760af35867..6992c88799f 100644 --- a/test/Transforms/LoopDistribute/symbolic-stride.ll +++ b/test/Transforms/LoopDistribute/symbolic-stride.ll @@ -1,7 +1,7 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -S < %s | \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -S < %s | \ ; RUN: FileCheck %s --check-prefix=ALL --check-prefix=STRIDE_SPEC -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -S -enable-mem-access-versioning=0 < %s | \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -S -enable-mem-access-versioning=0 < %s | \ ; RUN: FileCheck %s --check-prefix=ALL --check-prefix=NO_STRIDE_SPEC ; If we don't speculate stride for 1 we can't distribute along the line diff --git a/test/Transforms/LoopDistribute/unknown-bounds-for-memchecks.ll b/test/Transforms/LoopDistribute/unknown-bounds-for-memchecks.ll index d8d91da8a66..c4f67a98b87 100644 --- a/test/Transforms/LoopDistribute/unknown-bounds-for-memchecks.ll +++ b/test/Transforms/LoopDistribute/unknown-bounds-for-memchecks.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -S < %s | FileCheck %s ; If we can't find the bounds for one of the arrays in order to generate the ; memchecks (e.g., C[i * i] below), loop shold not get distributed. diff --git a/test/Transforms/LoopIdiom/X86/unordered-atomic-memcpy.ll b/test/Transforms/LoopIdiom/X86/unordered-atomic-memcpy.ll index 04a13d34673..c810b782bec 100644 --- a/test/Transforms/LoopIdiom/X86/unordered-atomic-memcpy.ll +++ b/test/Transforms/LoopIdiom/X86/unordered-atomic-memcpy.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopIdiom/basic-address-space.ll b/test/Transforms/LoopIdiom/basic-address-space.ll index c709b9acd58..936f314e368 100644 --- a/test/Transforms/LoopIdiom/basic-address-space.ll +++ b/test/Transforms/LoopIdiom/basic-address-space.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -S | FileCheck %s target datalayout = "e-p:32:32:32-p1:64:64:64-p2:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-n8:16:32:64" target triple = "x86_64-apple-darwin10.0.0" diff --git a/test/Transforms/LoopIdiom/basic.ll b/test/Transforms/LoopIdiom/basic.ll index 89d8dab0d68..5a305a61ad9 100644 --- a/test/Transforms/LoopIdiom/basic.ll +++ b/test/Transforms/LoopIdiom/basic.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" ; For @test11_pattern diff --git a/test/Transforms/LoopIdiom/crash.ll b/test/Transforms/LoopIdiom/crash.ll index c964aacd00c..6022745b437 100644 --- a/test/Transforms/LoopIdiom/crash.ll +++ b/test/Transforms/LoopIdiom/crash.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom -S < %s +; RUN: opt -basic-aa -loop-idiom -S < %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" diff --git a/test/Transforms/LoopIdiom/lir-heurs-multi-block-loop.ll b/test/Transforms/LoopIdiom/lir-heurs-multi-block-loop.ll index e1e07a06d69..ed4e0c11c88 100644 --- a/test/Transforms/LoopIdiom/lir-heurs-multi-block-loop.ll +++ b/test/Transforms/LoopIdiom/lir-heurs-multi-block-loop.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom -use-lir-code-size-heurs=true < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom -use-lir-code-size-heurs=true < %s -S | FileCheck %s ; When compiling for codesize we avoid idiom recognition for a ; multi-block loop unless it is one of diff --git a/test/Transforms/LoopIdiom/memcpy-debugify-remarks.ll b/test/Transforms/LoopIdiom/memcpy-debugify-remarks.ll index f66af1b5e3c..3578540cc4d 100644 --- a/test/Transforms/LoopIdiom/memcpy-debugify-remarks.ll +++ b/test/Transforms/LoopIdiom/memcpy-debugify-remarks.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -debugify -loop-idiom -pass-remarks=loop-idiom -pass-remarks-analysis=loop-idiom -verify -verify-each -verify-dom-info -verify-loop-info < %s -S 2>&1 | FileCheck %s +; RUN: opt -basic-aa -debugify -loop-idiom -pass-remarks=loop-idiom -pass-remarks-analysis=loop-idiom -verify -verify-each -verify-dom-info -verify-loop-info < %s -S 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopIdiom/memset-debugify-remarks.ll b/test/Transforms/LoopIdiom/memset-debugify-remarks.ll index cfd1075d4d7..06e17fecec6 100644 --- a/test/Transforms/LoopIdiom/memset-debugify-remarks.ll +++ b/test/Transforms/LoopIdiom/memset-debugify-remarks.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -debugify -loop-idiom -pass-remarks=loop-idiom -pass-remarks-analysis=loop-idiom -verify -verify-each -verify-dom-info -verify-loop-info < %s -S 2>&1 | FileCheck %s +; RUN: opt -basic-aa -debugify -loop-idiom -pass-remarks=loop-idiom -pass-remarks-analysis=loop-idiom -verify -verify-each -verify-dom-info -verify-loop-info < %s -S 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopIdiom/non-integral-pointers.ll b/test/Transforms/LoopIdiom/non-integral-pointers.ll index 7646d5ac72d..6846e882539 100644 --- a/test/Transforms/LoopIdiom/non-integral-pointers.ll +++ b/test/Transforms/LoopIdiom/non-integral-pointers.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -loop-idiom < %s | FileCheck %s +; RUN: opt -S -basic-aa -loop-idiom < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopIdiom/struct-custom-dl.ll b/test/Transforms/LoopIdiom/struct-custom-dl.ll index f2330b636f4..a295e45be50 100644 --- a/test/Transforms/LoopIdiom/struct-custom-dl.ll +++ b/test/Transforms/LoopIdiom/struct-custom-dl.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -S | FileCheck %s target datalayout = "e-p:40:64:64:32-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" %struct.foo = type { i32, i32 } diff --git a/test/Transforms/LoopIdiom/struct.ll b/test/Transforms/LoopIdiom/struct.ll index 2828024952e..5f7e1d96a85 100644 --- a/test/Transforms/LoopIdiom/struct.ll +++ b/test/Transforms/LoopIdiom/struct.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" target triple = "x86_64-apple-darwin10.0.0" diff --git a/test/Transforms/LoopIdiom/struct_pattern.ll b/test/Transforms/LoopIdiom/struct_pattern.ll index d7809b746b1..91cda98d50c 100644 --- a/test/Transforms/LoopIdiom/struct_pattern.ll +++ b/test/Transforms/LoopIdiom/struct_pattern.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" ; CHECK: @.memset_pattern = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16 diff --git a/test/Transforms/LoopIdiom/unordered-atomic-memcpy-noarch.ll b/test/Transforms/LoopIdiom/unordered-atomic-memcpy-noarch.ll index 341a7a0baeb..65127c95a51 100644 --- a/test/Transforms/LoopIdiom/unordered-atomic-memcpy-noarch.ll +++ b/test/Transforms/LoopIdiom/unordered-atomic-memcpy-noarch.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" ;; memcpy.atomic formation (atomic load & store) -- element size 2 diff --git a/test/Transforms/LoopIdiom/unroll-custom-dl.ll b/test/Transforms/LoopIdiom/unroll-custom-dl.ll index fb09fd952ad..94f52f6e0f2 100644 --- a/test/Transforms/LoopIdiom/unroll-custom-dl.ll +++ b/test/Transforms/LoopIdiom/unroll-custom-dl.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -S | FileCheck %s target datalayout = "e-p:64:64:64:32-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" ; CHECK: @.memset_pattern = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16 diff --git a/test/Transforms/LoopIdiom/unroll.ll b/test/Transforms/LoopIdiom/unroll.ll index 5981c3e4492..e9fe719ca1b 100644 --- a/test/Transforms/LoopIdiom/unroll.ll +++ b/test/Transforms/LoopIdiom/unroll.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-idiom < %s -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" ; CHECK: @.memset_pattern = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16 diff --git a/test/Transforms/LoopInterchange/call-instructions.ll b/test/Transforms/LoopInterchange/call-instructions.ll index 31676e034bf..d945fe6d720 100644 --- a/test/Transforms/LoopInterchange/call-instructions.ll +++ b/test/Transforms/LoopInterchange/call-instructions.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ ; RUN: -verify-dom-info -verify-loop-info -stats 2>&1 | FileCheck -check-prefix=STATS %s ; RUN: FileCheck --input-file=%t %s diff --git a/test/Transforms/LoopInterchange/currentLimitation.ll b/test/Transforms/LoopInterchange/currentLimitation.ll index 4f20bdc1e2e..768dd3bb2e2 100644 --- a/test/Transforms/LoopInterchange/currentLimitation.ll +++ b/test/Transforms/LoopInterchange/currentLimitation.ll @@ -1,8 +1,8 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' \ ; RUN: -pass-remarks-output=%t -verify-loop-info -verify-dom-info -S | FileCheck -check-prefix=IR %s ; RUN: FileCheck --input-file=%t %s -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' \ ; RUN: -da-disable-delinearization-checks -pass-remarks-output=%t \ ; RUN: -verify-loop-info -verify-dom-info -S | FileCheck -check-prefix=IR %s ; RUN: FileCheck --check-prefix=DELIN --input-file=%t %s diff --git a/test/Transforms/LoopInterchange/debuginfo.ll b/test/Transforms/LoopInterchange/debuginfo.ll index c35fda0c9bb..e2187b93281 100644 --- a/test/Transforms/LoopInterchange/debuginfo.ll +++ b/test/Transforms/LoopInterchange/debuginfo.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks='loop-interchange' -pass-remarks-output=%t -S \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks='loop-interchange' -pass-remarks-output=%t -S \ ; RUN: -verify-dom-info -verify-loop-info | FileCheck %s ; RUN: FileCheck -check-prefix=REMARK --input-file=%t %s diff --git a/test/Transforms/LoopInterchange/inner-only-reductions.ll b/test/Transforms/LoopInterchange/inner-only-reductions.ll index 7c77b10dd8e..d0eac6d65e8 100644 --- a/test/Transforms/LoopInterchange/inner-only-reductions.ll +++ b/test/Transforms/LoopInterchange/inner-only-reductions.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ ; RUN: -verify-dom-info -verify-loop-info -verify-loop-lcssa 2>&1 | FileCheck -check-prefix=IR %s ; RUN: FileCheck --input-file=%t %s diff --git a/test/Transforms/LoopInterchange/interchange-flow-dep-outer.ll b/test/Transforms/LoopInterchange/interchange-flow-dep-outer.ll index 02a30f4c1f7..096eda0da1b 100644 --- a/test/Transforms/LoopInterchange/interchange-flow-dep-outer.ll +++ b/test/Transforms/LoopInterchange/interchange-flow-dep-outer.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -S -debug 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll b/test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll index 6653f0779e9..fa2f112e711 100644 --- a/test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll +++ b/test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -S -pass-remarks=loop-interchange 2>&1 | FileCheck %s @A10 = local_unnamed_addr global [3 x [3 x i32]] zeroinitializer, align 16 diff --git a/test/Transforms/LoopInterchange/interchangeable.ll b/test/Transforms/LoopInterchange/interchangeable.ll index 3dc6bdc43fb..9bfa8333374 100644 --- a/test/Transforms/LoopInterchange/interchangeable.ll +++ b/test/Transforms/LoopInterchange/interchangeable.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info -verify-scev -verify-loop-lcssa -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info -verify-scev -verify-loop-lcssa -S | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopInterchange/lcssa-preheader.ll b/test/Transforms/LoopInterchange/lcssa-preheader.ll index 9e6a06489b1..3d2b532d65a 100644 --- a/test/Transforms/LoopInterchange/lcssa-preheader.ll +++ b/test/Transforms/LoopInterchange/lcssa-preheader.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -verify-loop-lcssa -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -verify-loop-lcssa -S | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/lcssa.ll b/test/Transforms/LoopInterchange/lcssa.ll index edc9800ecd7..d7b6fdc148d 100644 --- a/test/Transforms/LoopInterchange/lcssa.ll +++ b/test/Transforms/LoopInterchange/lcssa.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -verify-loop-lcssa -pass-remarks-output=%t -S +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -verify-loop-lcssa -pass-remarks-output=%t -S ; RUN: FileCheck --input-file %t --check-prefix REMARK %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll b/test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll index 8aaf7c7e97c..fb66c86a347 100644 --- a/test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll +++ b/test/Transforms/LoopInterchange/loop-interchange-optimization-remarks.ll @@ -1,11 +1,11 @@ ; Test optimization remarks generated by the LoopInterchange pass. ; -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -pass-remarks-output=%t -pass-remarks-missed='loop-interchange' \ ; RUN: -pass-remarks='loop-interchange' -S ; RUN: cat %t | FileCheck %s -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -pass-remarks-output=%t -pass-remarks-missed='loop-interchange' \ ; RUN: -pass-remarks='loop-interchange' -S -da-disable-delinearization-checks ; RUN: cat %t | FileCheck --check-prefix=DELIN %s diff --git a/test/Transforms/LoopInterchange/not-interchanged-dependencies-1.ll b/test/Transforms/LoopInterchange/not-interchanged-dependencies-1.ll index 11010039f08..3bf1e214cfe 100644 --- a/test/Transforms/LoopInterchange/not-interchanged-dependencies-1.ll +++ b/test/Transforms/LoopInterchange/not-interchanged-dependencies-1.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -S -debug 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/not-interchanged-loop-nest-3.ll b/test/Transforms/LoopInterchange/not-interchanged-loop-nest-3.ll index 7dfbe119537..2c169f6e56a 100644 --- a/test/Transforms/LoopInterchange/not-interchanged-loop-nest-3.ll +++ b/test/Transforms/LoopInterchange/not-interchanged-loop-nest-3.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -S -debug 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/not-interchanged-tightly-nested.ll b/test/Transforms/LoopInterchange/not-interchanged-tightly-nested.ll index 13f6e38914c..167d4bfdc8b 100644 --- a/test/Transforms/LoopInterchange/not-interchanged-tightly-nested.ll +++ b/test/Transforms/LoopInterchange/not-interchanged-tightly-nested.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -basicaa -loop-interchange -verify-dom-info -verify-loop-info \ +; RUN: opt < %s -basic-aa -loop-interchange -verify-dom-info -verify-loop-info \ ; RUN: -S -debug 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopInterchange/outer-only-reductions.ll b/test/Transforms/LoopInterchange/outer-only-reductions.ll index c58e7d3d272..7e9db5a4d4e 100644 --- a/test/Transforms/LoopInterchange/outer-only-reductions.ll +++ b/test/Transforms/LoopInterchange/outer-only-reductions.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ ; RUN: -verify-dom-info -verify-loop-info -verify-loop-lcssa 2>&1 | FileCheck -check-prefix=IR %s ; RUN: FileCheck --input-file=%t %s diff --git a/test/Transforms/LoopInterchange/reductions-across-inner-and-outer-loop.ll b/test/Transforms/LoopInterchange/reductions-across-inner-and-outer-loop.ll index deff8ccc4f2..24c5184a415 100644 --- a/test/Transforms/LoopInterchange/reductions-across-inner-and-outer-loop.ll +++ b/test/Transforms/LoopInterchange/reductions-across-inner-and-outer-loop.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ +; RUN: opt < %s -basic-aa -loop-interchange -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \ ; RUN: -verify-dom-info -verify-loop-info -verify-loop-lcssa -stats 2>&1 | FileCheck %s ; RUN: FileCheck --input-file=%t --check-prefix=REMARKS %s diff --git a/test/Transforms/LoopLoadElim/multiple-stores-same-block.ll b/test/Transforms/LoopLoadElim/multiple-stores-same-block.ll index b0c0f3dee86..b3c9b7720ed 100644 --- a/test/Transforms/LoopLoadElim/multiple-stores-same-block.ll +++ b/test/Transforms/LoopLoadElim/multiple-stores-same-block.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-load-elim -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-load-elim -S < %s | FileCheck %s ; In this case the later store forward to the load: ; diff --git a/test/Transforms/LoopLoadElim/opt-size.ll b/test/Transforms/LoopLoadElim/opt-size.ll index f9d82fec2a2..d9fc6bdc9dd 100644 --- a/test/Transforms/LoopLoadElim/opt-size.ll +++ b/test/Transforms/LoopLoadElim/opt-size.ll @@ -1,6 +1,6 @@ -; RUN: opt -basicaa -loop-load-elim -S < %s | FileCheck %s -; RUN: opt -basicaa -loop-load-elim -pgso -S < %s | FileCheck %s -check-prefix=PGSO -; RUN: opt -basicaa -loop-load-elim -pgso=false -S < %s | FileCheck %s -check-prefix=NPGSO +; RUN: opt -basic-aa -loop-load-elim -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-load-elim -pgso -S < %s | FileCheck %s -check-prefix=PGSO +; RUN: opt -basic-aa -loop-load-elim -pgso=false -S < %s | FileCheck %s -check-prefix=NPGSO ; When optimizing for size don't eliminate in this loop because the loop would ; have to be versioned first because A and C may alias. diff --git a/test/Transforms/LoopLoadElim/unknown-dep.ll b/test/Transforms/LoopLoadElim/unknown-dep.ll index d2df718ca4c..58d3308f147 100644 --- a/test/Transforms/LoopLoadElim/unknown-dep.ll +++ b/test/Transforms/LoopLoadElim/unknown-dep.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-load-elim -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-load-elim -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopPredication/invariant_load.ll b/test/Transforms/LoopPredication/invariant_load.ll index ffdc38274ef..1002d970818 100644 --- a/test/Transforms/LoopPredication/invariant_load.ll +++ b/test/Transforms/LoopPredication/invariant_load.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -S -basicaa -loop-predication < %s 2>&1 | FileCheck %s +; RUN: opt -S -basic-aa -loop-predication < %s 2>&1 | FileCheck %s ; RUN: opt -S -aa-pipeline=basic-aa -passes='require,require,loop(loop-predication)' < %s 2>&1 | FileCheck %s declare void @llvm.experimental.guard(i1, ...) diff --git a/test/Transforms/LoopSimplify/ashr-crash.ll b/test/Transforms/LoopSimplify/ashr-crash.ll index b5cc1449cec..00f65684542 100644 --- a/test/Transforms/LoopSimplify/ashr-crash.ll +++ b/test/Transforms/LoopSimplify/ashr-crash.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-rotate -licm -instcombine -indvars -loop-unroll -S %s | FileCheck %s +; RUN: opt -basic-aa -loop-rotate -licm -instcombine -indvars -loop-unroll -S %s | FileCheck %s ; ; PR18361: ScalarEvolution::getAddRecExpr(): ; Assertion `isLoopInvariant(Operands[i],... diff --git a/test/Transforms/LoopUnrollAndJam/dependencies.ll b/test/Transforms/LoopUnrollAndJam/dependencies.ll index 21e49b8f65f..ec3ec1e874e 100644 --- a/test/Transforms/LoopUnrollAndJam/dependencies.ll +++ b/test/Transforms/LoopUnrollAndJam/dependencies.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=basic-aa -passes='loop-unroll-and-jam' -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" diff --git a/test/Transforms/LoopUnrollAndJam/dependencies_multidims.ll b/test/Transforms/LoopUnrollAndJam/dependencies_multidims.ll index 1220352f668..f8f33e97598 100644 --- a/test/Transforms/LoopUnrollAndJam/dependencies_multidims.ll +++ b/test/Transforms/LoopUnrollAndJam/dependencies_multidims.ll @@ -1,4 +1,4 @@ -; RUN: opt -da-disable-delinearization-checks -basicaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s +; RUN: opt -da-disable-delinearization-checks -basic-aa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s ; RUN: opt -da-disable-delinearization-checks -aa-pipeline=basic-aa -passes='loop-unroll-and-jam' -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" diff --git a/test/Transforms/LoopUnrollAndJam/followup.ll b/test/Transforms/LoopUnrollAndJam/followup.ll index 1c0975b1ce8..ca1c218f7c0 100644 --- a/test/Transforms/LoopUnrollAndJam/followup.ll +++ b/test/Transforms/LoopUnrollAndJam/followup.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -tbaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 -unroll-remainder < %s -S | FileCheck %s +; RUN: opt -basic-aa -tbaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 -unroll-remainder < %s -S | FileCheck %s ; ; Check that followup attributes are set in the new loops. ; diff --git a/test/Transforms/LoopUnrollAndJam/unroll-and-jam.ll b/test/Transforms/LoopUnrollAndJam/unroll-and-jam.ll index 8767f8ecfea..82f7bdf8ffc 100644 --- a/test/Transforms/LoopUnrollAndJam/unroll-and-jam.ll +++ b/test/Transforms/LoopUnrollAndJam/unroll-and-jam.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -tbaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 -unroll-remainder < %s -S | FileCheck %s +; RUN: opt -basic-aa -tbaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 -unroll-remainder < %s -S | FileCheck %s ; RUN: opt -aa-pipeline=type-based-aa,basic-aa -passes='loop-unroll-and-jam' -allow-unroll-and-jam -unroll-and-jam-count=4 -unroll-remainder < %s -S | FileCheck %s target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" diff --git a/test/Transforms/LoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll b/test/Transforms/LoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll index 2c1847a545b..67742fcab46 100644 --- a/test/Transforms/LoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll +++ b/test/Transforms/LoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -instcombine -inline -functionattrs -licm -loop-unswitch -gvn -verify +; RUN: opt < %s -basic-aa -instcombine -inline -functionattrs -licm -loop-unswitch -gvn -verify ; PR12573 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.7.0" diff --git a/test/Transforms/LoopVectorize/AArch64/loop-vectorization-factors.ll b/test/Transforms/LoopVectorize/AArch64/loop-vectorization-factors.ll index 1149afe7b9f..619cb4f4ab7 100644 --- a/test/Transforms/LoopVectorize/AArch64/loop-vectorization-factors.ll +++ b/test/Transforms/LoopVectorize/AArch64/loop-vectorization-factors.ll @@ -1,4 +1,4 @@ -; RUN: opt -S < %s -basicaa -loop-vectorize -force-vector-interleave=1 2>&1 | FileCheck %s +; RUN: opt -S < %s -basic-aa -loop-vectorize -force-vector-interleave=1 2>&1 | FileCheck %s target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" target triple = "aarch64" diff --git a/test/Transforms/LoopVectorize/PowerPC/agg-interleave-a2.ll b/test/Transforms/LoopVectorize/PowerPC/agg-interleave-a2.ll index 3491e08bbaa..9fdfb6f90e7 100644 --- a/test/Transforms/LoopVectorize/PowerPC/agg-interleave-a2.ll +++ b/test/Transforms/LoopVectorize/PowerPC/agg-interleave-a2.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -loop-vectorize < %s | FileCheck %s +; RUN: opt -S -basic-aa -loop-vectorize < %s | FileCheck %s target datalayout = "E-m:e-i64:64-n32:64" target triple = "powerpc64-unknown-linux-gnu" diff --git a/test/Transforms/LoopVectorize/PowerPC/stride-vectorization.ll b/test/Transforms/LoopVectorize/PowerPC/stride-vectorization.ll index f6f2609e8fb..42eefcb5378 100644 --- a/test/Transforms/LoopVectorize/PowerPC/stride-vectorization.ll +++ b/test/Transforms/LoopVectorize/PowerPC/stride-vectorization.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -loop-vectorize < %s | FileCheck %s +; RUN: opt -S -basic-aa -loop-vectorize < %s | FileCheck %s target datalayout = "E-m:e-i64:64-n32:64" target triple = "powerpc64-unknown-linux-gnu" diff --git a/test/Transforms/LoopVectorize/X86/max-mstore.ll b/test/Transforms/LoopVectorize/X86/max-mstore.ll index a9ac04d4560..3195c6bac49 100644 --- a/test/Transforms/LoopVectorize/X86/max-mstore.ll +++ b/test/Transforms/LoopVectorize/X86/max-mstore.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-vectorize -force-vector-interleave=1 -S -mcpu=core-avx2 +; RUN: opt -basic-aa -loop-vectorize -force-vector-interleave=1 -S -mcpu=core-avx2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/LoopVectorize/X86/small-size.ll b/test/Transforms/LoopVectorize/X86/small-size.ll index 23fcf8e8baf..af582002127 100644 --- a/test/Transforms/LoopVectorize/X86/small-size.ll +++ b/test/Transforms/LoopVectorize/X86/small-size.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -loop-vectorize-with-block-frequency -dce -instcombine -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -loop-vectorize-with-block-frequency -dce -instcombine -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" diff --git a/test/Transforms/LoopVectorize/X86/uniform_load.ll b/test/Transforms/LoopVectorize/X86/uniform_load.ll index e71292265c2..1dbfa6dcd88 100644 --- a/test/Transforms/LoopVectorize/X86/uniform_load.ll +++ b/test/Transforms/LoopVectorize/X86/uniform_load.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-vectorize -S -mcpu=core-avx2 < %s | FileCheck %s +; RUN: opt -basic-aa -loop-vectorize -S -mcpu=core-avx2 < %s | FileCheck %s ;float inc = 0.5; ;void foo(float *A, unsigned N) { diff --git a/test/Transforms/LoopVectorize/X86/vector_ptr_load_store.ll b/test/Transforms/LoopVectorize/X86/vector_ptr_load_store.ll index cca829b9457..acb5d6839f5 100644 --- a/test/Transforms/LoopVectorize/X86/vector_ptr_load_store.ll +++ b/test/Transforms/LoopVectorize/X86/vector_ptr_load_store.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-vectorize -mcpu=corei7-avx -debug -S < %s 2>&1 | FileCheck %s +; RUN: opt -basic-aa -loop-vectorize -mcpu=corei7-avx -debug -S < %s 2>&1 | FileCheck %s ; REQUIRES: asserts 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" diff --git a/test/Transforms/LoopVectorize/X86/vectorize-only-for-real.ll b/test/Transforms/LoopVectorize/X86/vectorize-only-for-real.ll index d1473552c98..10b82d14696 100644 --- a/test/Transforms/LoopVectorize/X86/vectorize-only-for-real.ll +++ b/test/Transforms/LoopVectorize/X86/vectorize-only-for-real.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -loop-vectorize < %s | FileCheck %s +; RUN: opt -S -basic-aa -loop-vectorize < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-apple-macosx10.11.0" diff --git a/test/Transforms/LoopVectorize/calloc.ll b/test/Transforms/LoopVectorize/calloc.ll index 14fae33589b..4543fa23728 100644 --- a/test/Transforms/LoopVectorize/calloc.ll +++ b/test/Transforms/LoopVectorize/calloc.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -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" diff --git a/test/Transforms/LoopVectorize/gcc-examples.ll b/test/Transforms/LoopVectorize/gcc-examples.ll index 96a266dd5ba..4bf3787dcb4 100644 --- a/test/Transforms/LoopVectorize/gcc-examples.ll +++ b/test/Transforms/LoopVectorize/gcc-examples.ll @@ -1,5 +1,5 @@ -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-width=4 -force-vector-interleave=1 -dce -instcombine -S | FileCheck %s -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-width=4 -force-vector-interleave=4 -dce -instcombine -S | FileCheck %s -check-prefix=UNROLL +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-width=4 -force-vector-interleave=1 -dce -instcombine -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-width=4 -force-vector-interleave=4 -dce -instcombine -S | FileCheck %s -check-prefix=UNROLL 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" diff --git a/test/Transforms/LoopVectorize/multiple-address-spaces.ll b/test/Transforms/LoopVectorize/multiple-address-spaces.ll index 84e533ee71e..c083feab8b7 100644 --- a/test/Transforms/LoopVectorize/multiple-address-spaces.ll +++ b/test/Transforms/LoopVectorize/multiple-address-spaces.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S | FileCheck %s ; From a simple program with two address spaces: ; char Y[4*10000] __attribute__((address_space(1))); diff --git a/test/Transforms/LoopVectorize/noalias-md-licm.ll b/test/Transforms/LoopVectorize/noalias-md-licm.ll index 233d530dc10..d54a9aefe73 100644 --- a/test/Transforms/LoopVectorize/noalias-md-licm.ll +++ b/test/Transforms/LoopVectorize/noalias-md-licm.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -scoped-noalias -loop-vectorize -licm -force-vector-width=2 \ +; RUN: opt -basic-aa -scoped-noalias -loop-vectorize -licm -force-vector-width=2 \ ; RUN: -force-vector-interleave=1 -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopVectorize/noalias-md.ll b/test/Transforms/LoopVectorize/noalias-md.ll index 787ea88f945..b141998163a 100644 --- a/test/Transforms/LoopVectorize/noalias-md.ll +++ b/test/Transforms/LoopVectorize/noalias-md.ll @@ -1,7 +1,7 @@ -; RUN: opt -basicaa -loop-vectorize -force-vector-width=2 \ +; RUN: opt -basic-aa -loop-vectorize -force-vector-width=2 \ ; RUN: -force-vector-interleave=1 -S < %s \ ; RUN: | FileCheck %s -check-prefix=BOTH -check-prefix=LV -; RUN: opt -basicaa -scoped-noalias -loop-vectorize -dse -force-vector-width=2 \ +; RUN: opt -basic-aa -scoped-noalias -loop-vectorize -dse -force-vector-width=2 \ ; RUN: -force-vector-interleave=1 -S < %s \ ; RUN: | FileCheck %s -check-prefix=BOTH -check-prefix=DSE diff --git a/test/Transforms/LoopVectorize/ptr_loops.ll b/test/Transforms/LoopVectorize/ptr_loops.ll index c374b006147..c8c928b0863 100644 --- a/test/Transforms/LoopVectorize/ptr_loops.ll +++ b/test/Transforms/LoopVectorize/ptr_loops.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S -enable-if-conversion | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S -enable-if-conversion | 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" diff --git a/test/Transforms/LoopVectorize/runtime-check-address-space.ll b/test/Transforms/LoopVectorize/runtime-check-address-space.ll index b97cd43e3bf..8f09dde0812 100644 --- a/test/Transforms/LoopVectorize/runtime-check-address-space.ll +++ b/test/Transforms/LoopVectorize/runtime-check-address-space.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -march=r600 -mcpu=cayman -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine < %s | FileCheck %s +; RUN: opt -S -march=r600 -mcpu=cayman -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine < %s | FileCheck %s ; Check vectorization that would ordinarily require a runtime bounds ; check on the pointers when mixing address spaces. For now we cannot diff --git a/test/Transforms/LoopVectorize/store-shuffle-bug.ll b/test/Transforms/LoopVectorize/store-shuffle-bug.ll index 62b148e2c79..414a026fcf9 100644 --- a/test/Transforms/LoopVectorize/store-shuffle-bug.ll +++ b/test/Transforms/LoopVectorize/store-shuffle-bug.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine < %s | FileCheck %s +; RUN: opt -S -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine < %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" diff --git a/test/Transforms/LoopVectorize/tbaa-nodep.ll b/test/Transforms/LoopVectorize/tbaa-nodep.ll index d02f9285450..af89f6e5f06 100644 --- a/test/Transforms/LoopVectorize/tbaa-nodep.ll +++ b/test/Transforms/LoopVectorize/tbaa-nodep.ll @@ -1,5 +1,5 @@ -; RUN: opt < %s -tbaa -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -simplifycfg -S | FileCheck %s -; RUN: opt < %s -basicaa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -simplifycfg -S | FileCheck %s --check-prefix=CHECK-NOTBAA +; RUN: opt < %s -tbaa -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -simplifycfg -S | FileCheck %s +; RUN: opt < %s -basic-aa -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -simplifycfg -S | FileCheck %s --check-prefix=CHECK-NOTBAA target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" ; Function Attrs: nounwind uwtable diff --git a/test/Transforms/LoopVectorize/version-mem-access.ll b/test/Transforms/LoopVectorize/version-mem-access.ll index 774b6f26859..fdb64659461 100644 --- a/test/Transforms/LoopVectorize/version-mem-access.ll +++ b/test/Transforms/LoopVectorize/version-mem-access.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-vectorize -enable-mem-access-versioning -force-vector-width=2 -force-vector-interleave=1 < %s -S | FileCheck %s +; RUN: opt -basic-aa -loop-vectorize -enable-mem-access-versioning -force-vector-width=2 -force-vector-interleave=1 < %s -S | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopVersioning/basic.ll b/test/Transforms/LoopVersioning/basic.ll index f59caecadae..bcd5e8c875c 100644 --- a/test/Transforms/LoopVersioning/basic.ll +++ b/test/Transforms/LoopVersioning/basic.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-versioning -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-versioning -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopVersioning/convergent.ll b/test/Transforms/LoopVersioning/convergent.ll index 48c2725a765..57517520596 100644 --- a/test/Transforms/LoopVersioning/convergent.ll +++ b/test/Transforms/LoopVersioning/convergent.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-versioning -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-versioning -S < %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/LoopVersioning/lcssa.ll b/test/Transforms/LoopVersioning/lcssa.ll index 01178a5931e..f507b43ea2b 100644 --- a/test/Transforms/LoopVersioning/lcssa.ll +++ b/test/Transforms/LoopVersioning/lcssa.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-versioning -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-versioning -S < %s | FileCheck %s target triple = "x86_64-unknown-linux-gnu" define void @fill(i8** %ls1.20, i8** %ls2.21, i8* %cse3.22) { diff --git a/test/Transforms/LoopVersioning/noalias-version-twice.ll b/test/Transforms/LoopVersioning/noalias-version-twice.ll index c53dc858c5c..89e898a90c1 100644 --- a/test/Transforms/LoopVersioning/noalias-version-twice.ll +++ b/test/Transforms/LoopVersioning/noalias-version-twice.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-distribute -enable-loop-distribute -loop-simplify -scoped-noalias \ +; RUN: opt -basic-aa -loop-distribute -enable-loop-distribute -loop-simplify -scoped-noalias \ ; RUN: -loop-versioning -S < %s | FileCheck %s ; Test the metadata generated when versioning an already versioned loop. Here diff --git a/test/Transforms/LoopVersioning/noalias.ll b/test/Transforms/LoopVersioning/noalias.ll index c2539726db4..dac875fa60e 100644 --- a/test/Transforms/LoopVersioning/noalias.ll +++ b/test/Transforms/LoopVersioning/noalias.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -loop-versioning -S < %s | FileCheck %s +; RUN: opt -basic-aa -loop-versioning -S < %s | FileCheck %s ; A very simple case. After versioning the %loadA and %loadB can't alias with ; the store. diff --git a/test/Transforms/MemCpyOpt/2008-02-24-MultipleUseofSRet.ll b/test/Transforms/MemCpyOpt/2008-02-24-MultipleUseofSRet.ll index 7ff149f6f77..237b8fec4f6 100644 --- a/test/Transforms/MemCpyOpt/2008-02-24-MultipleUseofSRet.ll +++ b/test/Transforms/MemCpyOpt/2008-02-24-MultipleUseofSRet.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -dse -S | grep "call.*initialize" | not grep memtmp +; RUN: opt < %s -basic-aa -memcpyopt -dse -S | grep "call.*initialize" | not grep memtmp ; PR2077 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32" diff --git a/test/Transforms/MemCpyOpt/2008-03-13-ReturnSlotBitcast.ll b/test/Transforms/MemCpyOpt/2008-03-13-ReturnSlotBitcast.ll index 26c221d6786..a0f34b9baa6 100644 --- a/test/Transforms/MemCpyOpt/2008-03-13-ReturnSlotBitcast.ll +++ b/test/Transforms/MemCpyOpt/2008-03-13-ReturnSlotBitcast.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | not grep "call.*memcpy." +; RUN: opt < %s -basic-aa -memcpyopt -S | not grep "call.*memcpy." target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64" %a = type { i32 } diff --git a/test/Transforms/MemCpyOpt/2011-06-02-CallSlotOverwritten.ll b/test/Transforms/MemCpyOpt/2011-06-02-CallSlotOverwritten.ll index 8e4a0230d7f..8ba8df4d8b3 100644 --- a/test/Transforms/MemCpyOpt/2011-06-02-CallSlotOverwritten.ll +++ b/test/Transforms/MemCpyOpt/2011-06-02-CallSlotOverwritten.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s +; RUN: opt < %s -basic-aa -memcpyopt -S | FileCheck %s ; PR10067 ; Make sure the call+copy isn't optimized in such a way that ; %ret ends up with the wrong value. diff --git a/test/Transforms/MemCpyOpt/align.ll b/test/Transforms/MemCpyOpt/align.ll index 738928bac62..2e683bfa91f 100644 --- a/test/Transforms/MemCpyOpt/align.ll +++ b/test/Transforms/MemCpyOpt/align.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -memcpyopt | FileCheck %s +; RUN: opt < %s -S -basic-aa -memcpyopt | FileCheck %s target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64" declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind diff --git a/test/Transforms/MemCpyOpt/atomic.ll b/test/Transforms/MemCpyOpt/atomic.ll index f8fc39faa58..65f6c925e20 100644 --- a/test/Transforms/MemCpyOpt/atomic.ll +++ b/test/Transforms/MemCpyOpt/atomic.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -memcpyopt -S < %s | FileCheck %s +; RUN: opt -basic-aa -memcpyopt -S < %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" target triple = "x86_64-apple-macosx10.7.0" diff --git a/test/Transforms/MemCpyOpt/callslot_aa.ll b/test/Transforms/MemCpyOpt/callslot_aa.ll index d840b726a9a..1d45cbe9e5c 100644 --- a/test/Transforms/MemCpyOpt/callslot_aa.ll +++ b/test/Transforms/MemCpyOpt/callslot_aa.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -memcpyopt | FileCheck %s +; RUN: opt < %s -S -basic-aa -memcpyopt | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" %T = type { i64, i64 } diff --git a/test/Transforms/MemCpyOpt/callslot_deref.ll b/test/Transforms/MemCpyOpt/callslot_deref.ll index a1ba2bae79e..ad578be711c 100644 --- a/test/Transforms/MemCpyOpt/callslot_deref.ll +++ b/test/Transforms/MemCpyOpt/callslot_deref.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -memcpyopt | FileCheck %s +; RUN: opt < %s -S -basic-aa -memcpyopt | FileCheck %s target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1) unnamed_addr nounwind diff --git a/test/Transforms/MemCpyOpt/capturing-func.ll b/test/Transforms/MemCpyOpt/capturing-func.ll index 2671a9aad81..0ea889a6649 100644 --- a/test/Transforms/MemCpyOpt/capturing-func.ll +++ b/test/Transforms/MemCpyOpt/capturing-func.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s +; RUN: opt < %s -basic-aa -memcpyopt -S | FileCheck %s target datalayout = "e" diff --git a/test/Transforms/MemCpyOpt/crash.ll b/test/Transforms/MemCpyOpt/crash.ll index 464a261e4e4..1fd4d0deae6 100644 --- a/test/Transforms/MemCpyOpt/crash.ll +++ b/test/Transforms/MemCpyOpt/crash.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -disable-output +; RUN: opt < %s -basic-aa -memcpyopt -disable-output target datalayout = "e-p:32:32:32-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" target triple = "armv7-eabi" diff --git a/test/Transforms/MemCpyOpt/invariant.start.ll b/test/Transforms/MemCpyOpt/invariant.start.ll index 4842114b584..b7e3160c7da 100644 --- a/test/Transforms/MemCpyOpt/invariant.start.ll +++ b/test/Transforms/MemCpyOpt/invariant.start.ll @@ -1,5 +1,5 @@ ; MemCpy optimizations should take place even in presence of invariant.start -; RUN: opt < %s -basicaa -memcpyopt -dse -S | FileCheck %s +; RUN: opt < %s -basic-aa -memcpyopt -dse -S | FileCheck %s target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" diff --git a/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll b/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll index 7eca765c8a0..81043d4f46d 100644 --- a/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll +++ b/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -scoped-noalias -memcpyopt -S %s | FileCheck %s +; RUN: opt -basic-aa -scoped-noalias -memcpyopt -S %s | FileCheck %s %T = type { i8, i32 } diff --git a/test/Transforms/MemCpyOpt/loadstore-sret.ll b/test/Transforms/MemCpyOpt/loadstore-sret.ll index 4c6136cf625..0f8a70a5511 100644 --- a/test/Transforms/MemCpyOpt/loadstore-sret.ll +++ b/test/Transforms/MemCpyOpt/loadstore-sret.ll @@ -1,4 +1,4 @@ -; RUN: opt -S < %s -basicaa -memcpyopt | FileCheck %s +; RUN: opt -S < %s -basic-aa -memcpyopt | 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" diff --git a/test/Transforms/MemCpyOpt/memcpy-to-memset-with-lifetimes.ll b/test/Transforms/MemCpyOpt/memcpy-to-memset-with-lifetimes.ll index ee2f6adb431..6affd8c7949 100644 --- a/test/Transforms/MemCpyOpt/memcpy-to-memset-with-lifetimes.ll +++ b/test/Transforms/MemCpyOpt/memcpy-to-memset-with-lifetimes.ll @@ -1,5 +1,5 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -memcpyopt -instcombine -S < %s | FileCheck %s +; RUN: opt -basic-aa -memcpyopt -instcombine -S < %s | FileCheck %s target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" diff --git a/test/Transforms/MemCpyOpt/memcpy-undef.ll b/test/Transforms/MemCpyOpt/memcpy-undef.ll index 9cf4f91e6aa..5cdd1a27258 100644 --- a/test/Transforms/MemCpyOpt/memcpy-undef.ll +++ b/test/Transforms/MemCpyOpt/memcpy-undef.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s +; RUN: opt < %s -basic-aa -memcpyopt -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" diff --git a/test/Transforms/MemCpyOpt/memcpy.ll b/test/Transforms/MemCpyOpt/memcpy.ll index 23b13760889..1741da030c2 100644 --- a/test/Transforms/MemCpyOpt/memcpy.ll +++ b/test/Transforms/MemCpyOpt/memcpy.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -dse -S | FileCheck -enable-var-scope %s +; RUN: opt < %s -basic-aa -memcpyopt -dse -S | FileCheck -enable-var-scope %s target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target triple = "i686-apple-darwin9" diff --git a/test/Transforms/MemCpyOpt/memmove.ll b/test/Transforms/MemCpyOpt/memmove.ll index 91f2851ab78..d152cfb63f2 100644 --- a/test/Transforms/MemCpyOpt/memmove.ll +++ b/test/Transforms/MemCpyOpt/memmove.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s +; RUN: opt < %s -basic-aa -memcpyopt -S | FileCheck %s ; These memmoves should get optimized to memcpys. 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" diff --git a/test/Transforms/MemCpyOpt/memset-memcpy-redundant-memset.ll b/test/Transforms/MemCpyOpt/memset-memcpy-redundant-memset.ll index a3ca96c3ab5..651ac3194a1 100644 --- a/test/Transforms/MemCpyOpt/memset-memcpy-redundant-memset.ll +++ b/test/Transforms/MemCpyOpt/memset-memcpy-redundant-memset.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -memcpyopt -S %s | FileCheck %s +; RUN: opt -basic-aa -memcpyopt -S %s | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" diff --git a/test/Transforms/MemCpyOpt/sret.ll b/test/Transforms/MemCpyOpt/sret.ll index a99b52d5d6e..af625127f56 100644 --- a/test/Transforms/MemCpyOpt/sret.ll +++ b/test/Transforms/MemCpyOpt/sret.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -memcpyopt -S | not grep "call.*memcpy" +; RUN: opt < %s -basic-aa -memcpyopt -S | not grep "call.*memcpy" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target triple = "i686-apple-darwin9" diff --git a/test/Transforms/ObjCARC/basic.ll b/test/Transforms/ObjCARC/basic.ll index 5c4f1d143fa..cc1120b74b6 100644 --- a/test/Transforms/ObjCARC/basic.ll +++ b/test/Transforms/ObjCARC/basic.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -objc-arc -S < %s | FileCheck %s +; RUN: opt -basic-aa -objc-arc -S < %s | FileCheck %s target datalayout = "e-p:64:64:64" diff --git a/test/Transforms/ObjCARC/gvn.ll b/test/Transforms/ObjCARC/gvn.ll index f2977d0c513..fb9a71f1472 100644 --- a/test/Transforms/ObjCARC/gvn.ll +++ b/test/Transforms/ObjCARC/gvn.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -objc-arc-aa -gvn < %s | FileCheck %s +; RUN: opt -S -basic-aa -objc-arc-aa -gvn < %s | FileCheck %s @x = common global i8* null, align 8 diff --git a/test/Transforms/ObjCARC/inlined-autorelease-return-value.ll b/test/Transforms/ObjCARC/inlined-autorelease-return-value.ll index 84d33193ece..2b153914c38 100644 --- a/test/Transforms/ObjCARC/inlined-autorelease-return-value.ll +++ b/test/Transforms/ObjCARC/inlined-autorelease-return-value.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -objc-arc -S < %s | FileCheck %s +; RUN: opt -basic-aa -objc-arc -S < %s | FileCheck %s target datalayout = "e-p:64:64:64" diff --git a/test/Transforms/ObjCARC/intrinsic-use.ll b/test/Transforms/ObjCARC/intrinsic-use.ll index 8a4ac52d2a6..6f3815113d6 100644 --- a/test/Transforms/ObjCARC/intrinsic-use.ll +++ b/test/Transforms/ObjCARC/intrinsic-use.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa -objc-arc -S < %s | FileCheck %s +; RUN: opt -basic-aa -objc-arc -S < %s | FileCheck %s target datalayout = "e-p:64:64:64" diff --git a/test/Transforms/ObjCARC/retain-block-side-effects.ll b/test/Transforms/ObjCARC/retain-block-side-effects.ll index a980ffd63a3..1ef59c7c89f 100644 --- a/test/Transforms/ObjCARC/retain-block-side-effects.ll +++ b/test/Transforms/ObjCARC/retain-block-side-effects.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -objc-arc-aa -basicaa -gvn < %s | FileCheck %s +; RUN: opt -S -objc-arc-aa -basic-aa -gvn < %s | FileCheck %s ; rdar://10050579 ; objc_retainBlock stores into %repeater so the load from after the diff --git a/test/Transforms/ObjCARC/rle-s2l.ll b/test/Transforms/ObjCARC/rle-s2l.ll index 5bf63f20aa0..f3b2db4ff4b 100644 --- a/test/Transforms/ObjCARC/rle-s2l.ll +++ b/test/Transforms/ObjCARC/rle-s2l.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -objc-arc < %s | FileCheck %s +; RUN: opt -S -basic-aa -objc-arc < %s | FileCheck %s declare i8* @llvm.objc.loadWeak(i8**) declare i8* @llvm.objc.loadWeakRetained(i8**) diff --git a/test/Transforms/ObjCARC/weak-copies.ll b/test/Transforms/ObjCARC/weak-copies.ll index 440f3fb2bb3..906c2fc9fc2 100644 --- a/test/Transforms/ObjCARC/weak-copies.ll +++ b/test/Transforms/ObjCARC/weak-copies.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -objc-arc < %s | FileCheck %s +; RUN: opt -S -basic-aa -objc-arc < %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" target triple = "x86_64-apple-darwin11.0.0" diff --git a/test/Transforms/ObjCARC/weak-dce.ll b/test/Transforms/ObjCARC/weak-dce.ll index e499ac13cf9..b0ebbc52d79 100644 --- a/test/Transforms/ObjCARC/weak-dce.ll +++ b/test/Transforms/ObjCARC/weak-dce.ll @@ -1,4 +1,4 @@ -; RUN: opt -S -basicaa -objc-arc < %s | FileCheck %s +; RUN: opt -S -basic-aa -objc-arc < %s | FileCheck %s ; rdar://11434915 ; Delete the weak calls and replace them with just the net retain. diff --git a/test/Transforms/Reassociate/pr12245.ll b/test/Transforms/Reassociate/pr12245.ll index 0e7152e2a17..898222edf3a 100644 --- a/test/Transforms/Reassociate/pr12245.ll +++ b/test/Transforms/Reassociate/pr12245.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -inline -instcombine -reassociate -dse -disable-output +; RUN: opt < %s -basic-aa -inline -instcombine -reassociate -dse -disable-output ; PR12245 @a = common global i32 0, align 4 diff --git a/test/Transforms/SimpleLoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll b/test/Transforms/SimpleLoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll index 8f05e58b8eb..c9837c5cc14 100644 --- a/test/Transforms/SimpleLoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll +++ b/test/Transforms/SimpleLoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -instcombine -inline -functionattrs -licm -simple-loop-unswitch -gvn -verify +; RUN: opt < %s -basic-aa -instcombine -inline -functionattrs -licm -simple-loop-unswitch -gvn -verify ; PR12573 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.7.0" diff --git a/test/Transforms/Sink/badloadsink.ll b/test/Transforms/Sink/badloadsink.ll index eb2b0fae482..e43fd08a6ec 100644 --- a/test/Transforms/Sink/badloadsink.ll +++ b/test/Transforms/Sink/badloadsink.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -sink -S | FileCheck %s +; RUN: opt < %s -basic-aa -sink -S | FileCheck %s declare void @foo(i64 *) declare i8* @llvm.load.relative.i32(i8* %ptr, i32 %offset) argmemonly nounwind readonly define i64 @sinkload(i1 %cmp, i8* %ptr, i32 %off) { diff --git a/test/Transforms/Sink/basic.ll b/test/Transforms/Sink/basic.ll index 8ff41262014..2a514897119 100644 --- a/test/Transforms/Sink/basic.ll +++ b/test/Transforms/Sink/basic.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -sink -S | FileCheck %s +; RUN: opt < %s -basic-aa -sink -S | FileCheck %s ; RUN: opt < %s -aa-pipeline='basic-aa' -passes='sink' -S | FileCheck %s @A = external global i32 diff --git a/test/Transforms/Sink/call.ll b/test/Transforms/Sink/call.ll index 5aaad4499f5..5d5e1e0164f 100644 --- a/test/Transforms/Sink/call.ll +++ b/test/Transforms/Sink/call.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -sink -S | FileCheck %s +; RUN: opt < %s -basic-aa -sink -S | FileCheck %s declare i32 @f_load_global() nounwind readonly declare i32 @f_load_arg(i32*) nounwind readonly argmemonly diff --git a/test/Transforms/Util/combine-alias-scope-metadata.ll b/test/Transforms/Util/combine-alias-scope-metadata.ll index f58e4f783b0..cb6ff700edc 100644 --- a/test/Transforms/Util/combine-alias-scope-metadata.ll +++ b/test/Transforms/Util/combine-alias-scope-metadata.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -S -basicaa -memcpyopt | FileCheck %s +; RUN: opt < %s -S -basic-aa -memcpyopt | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" define void @test(i8* noalias dereferenceable(1) %in, i8* noalias dereferenceable(1) %out) {