forked from OSchip/llvm-project
[BasicAA] Rename deprecated -basicaa to -basic-aa
Follow-up to D82607 Revert an accidental change (empty.ll) of D82683
This commit is contained in:
parent
d94526bb5f
commit
f31811f2dc
|
@ -65,16 +65,16 @@
|
|||
using namespace llvm;
|
||||
|
||||
/// Enable analysis of recursive PHI nodes.
|
||||
static cl::opt<bool> EnableRecPhiAnalysis("basicaa-recphi", cl::Hidden,
|
||||
static cl::opt<bool> EnableRecPhiAnalysis("basic-aa-recphi", cl::Hidden,
|
||||
cl::init(false));
|
||||
|
||||
/// By default, even on 32-bit architectures we use 64-bit integers for
|
||||
/// calculations. This will allow us to more-aggressively decompose indexing
|
||||
/// expressions calculated using i64 values (e.g., long long in C) which is
|
||||
/// common enough to worry about.
|
||||
static cl::opt<bool> ForceAtLeast64Bits("basicaa-force-at-least-64b",
|
||||
static cl::opt<bool> ForceAtLeast64Bits("basic-aa-force-at-least-64b",
|
||||
cl::Hidden, cl::init(true));
|
||||
static cl::opt<bool> DoubleCalcBits("basicaa-double-calc-bits",
|
||||
static cl::opt<bool> DoubleCalcBits("basic-aa-double-calc-bits",
|
||||
cl::Hidden, cl::init(false));
|
||||
|
||||
/// SearchLimitReached / SearchTimes shows how often the limit of
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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':
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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))
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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;
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" \
|
||||
; RUN: "-aa-pipeline=basic-aa,type-based-aa" 2>&1 | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -tbaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -tbaa -da | FileCheck %s
|
||||
|
||||
; CHECK-LABEL: 'Dependence Analysis' for function 'test_no_noalias'
|
||||
; CHECK: da analyze - none!
|
||||
|
|
|
@ -1,9 +1,9 @@
|
|||
; RUN: opt < %s -disable-output -da-delinearize=false "-passes=print<da>" \
|
||||
; RUN: -aa-pipeline=basic-aa 2>&1 | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da -da-delinearize=false | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da -da-delinearize=false | FileCheck %s
|
||||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; Test that the dependence analysis generates the correct results when using
|
||||
; an aliased object that points to a different element in the same array.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
|
||||
; RUN: opt < %s -analyze -basicaa -da
|
||||
; RUN: opt < %s -analyze -basic-aa -da
|
||||
;; Check that this code doesn't abort. Test case is reduced version of lnt Polybench benchmark test case dynprog.
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
||||
target triple = "thumbv8m.main-arm-none-eabi"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'ExactRDIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; Test for a bug, which caused an assert when an invalid
|
||||
; SCEVAddRecExpr is created in addToCoefficient.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -analyze -basicaa -da
|
||||
; RUN: opt < %s -analyze -basic-aa -da
|
||||
; RUN: opt < %s -passes="print<da>"
|
||||
|
||||
; Test that the dependence analysis pass does seg-fault due to a null pointer
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
|
||||
; RUN: opt < %s -analyze -basicaa -da
|
||||
; RUN: opt < %s -analyze -basic-aa -da
|
||||
;
|
||||
; CHECK: da analyze - consistent input [S S]!
|
||||
; CHECK: da analyze - confused!
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s -check-prefix=DELIN
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s -check-prefix=DELIN
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" \
|
||||
; RUN: "-aa-pipeline=basic-aa,globals-aa" 2>&1 | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -globals-aa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -globals-aa -da | FileCheck %s
|
||||
define void @i32_subscript(i32* %a) {
|
||||
entry:
|
||||
br label %for.body
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'SymbolicRDIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-apple-macosx10.6.0"
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1
|
||||
; RUN: opt < %s -analyze -basicaa -da
|
||||
; RUN: opt < %s -analyze -basic-aa -da
|
||||
;; Check this doesn't crash.
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-unknown-linux-gnu"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'WeakCrossingSIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'WeakZeroDstSIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'WeakZeroSrcSIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
|
||||
; RUN: | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
|
||||
; RUN: opt < %s -analyze -basic-aa -da | FileCheck %s
|
||||
|
||||
; ModuleID = 'ZIV.bc'
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -basicaa -globals-aa -gvn -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
; RUN: opt < %s -basic-aa -globals-aa -gvn -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes="require<globals-aa>,function(gvn)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
;
|
||||
; Note that this test relies on an unsafe feature of GlobalsModRef. While this
|
||||
|
|
|
@ -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).
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -basicaa -globals-aa -gvn -instcombine -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
; RUN: opt < %s -basic-aa -globals-aa -gvn -instcombine -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes="require<globals-aa>,function(gvn,instcombine)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s
|
||||
;
|
||||
; Note that this test relies on an unsafe feature of GlobalsModRef. While this
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -basicaa -globals-aa -gvn -S | FileCheck %s
|
||||
; RUN: opt < %s -basic-aa -globals-aa -gvn -S | FileCheck %s
|
||||
|
||||
@X = internal global i32 4 ; <i32*> [#uses=2]
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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) {
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; For this loop:
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; If the arrays don't alias this loop is safe with no memchecks:
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; In:
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s
|
||||
; RUN: opt -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; This loop:
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s -check-prefix=LAA
|
||||
; RUN: opt -basic-aa -loop-accesses -analyze < %s | FileCheck %s -check-prefix=LAA
|
||||
; RUN: opt -passes='require<aa>,require<scalar-evolution>,require<aa>,loop(print-access-info)' -aa-pipeline='basic-aa' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=LAA
|
||||
; RUN: opt -loop-versioning -S < %s | FileCheck %s -check-prefix=LV
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Ensures that assumes are treated as not reading or writing memory.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Ensures that atomic loads count as MemoryDefs
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
%struct.hoge = type { i32, %struct.widget }
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Ensuring that external functions without attributes are MemoryDefs
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Test that various function attributes give us sane results.
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
; This test checks a number of things:
|
||||
; First, the lifetime markers should not clobber any uses of Q or P.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Invariant loads should be considered live on entry, because, once the
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; many-dom.ll, with an added back-edge back into the switch.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Testing many dominators, specifically from a switch statement in C.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Makes sure we have a sane model if both successors of some block is the same
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; hfinkel's case
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Checks that basicAA is doing some amount of disambiguation for us
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; This test ensures we don't end up with multiple reaching defs for a single
|
||||
|
|
|
@ -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<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT
|
||||
; RUN: opt -memssa-check-limit=0 -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT
|
||||
|
||||
|
|
|
@ -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<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,NOLIMIT
|
||||
; RUN: opt -memssa-check-limit=0 -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s --check-prefixes=CHECK,LIMIT
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; This testcase is reduced from SingleSource/Benchmarks/Misc/fbench.c
|
||||
|
|
|
@ -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<memoryssa>,verify<memoryssa>' -S < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; We weren't properly considering the args in callsites in equality or hashing.
|
||||
|
|
|
@ -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<memoryssa>' -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"
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s
|
||||
|
||||
; CHECK-LABEL: define <vscale x 4 x i32> @f(
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -basic-aa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s
|
||||
;
|
||||
; Ensures that volatile stores/loads count as MemoryDefs
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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.
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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.
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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.
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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 }
|
||||
|
|
|
@ -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 }
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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 {
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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)
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue