RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 20:23:11 +01:00
Code Issues Projects Releases Wiki Activity

[NewPM][BasicAA] basicaa -> basic-aa in Analysis/BasicAA

Browse Source 
Following https://reviews.llvm.org/D82607.

Reviewed By: ychen

Differential Revision: https://reviews.llvm.org/D82683
This commit is contained in:
Arthur Eubanks 2020-06-26 14:58:01 -07:00
parent fe432a7db2
commit 7a90a95ac2
86 changed files with 90 additions and 90 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Analysis/BasicAA/128-bit-ptr.ll
View File

@ -1,7 +1,7 @@
; This testcase consists of alias relations on 128-bit pointers that
; should be completely resolvable by basicaa.
; RUN: opt < %s -basicaa -aa-eval -print-no-aliases -print-may-aliases -print-must-aliases -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-no-aliases -print-may-aliases -print-must-aliases -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-i128:128:128-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-p100:128:64:64-p101:128:64:64"

2
test/Analysis/BasicAA/2003-02-26-AccessSizeTest.ll
View File

@ -2,7 +2,7 @@
; is performed. It is not legal to delete the second load instruction because
; the value computed by the first load instruction is changed by the store.
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
define i32 @test() {
; CHECK: %Y.DONOTREMOVE = load i32, i32* %A

2
test/Analysis/BasicAA/2003-03-04-GEPCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>/dev/null
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>/dev/null
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
define void @test({[2 x i32],[2 x i32]}* %A, i64 %X, i64 %Y) {
%P1 = getelementptr {[2 x i32],[2 x i32]}, {[2 x i32],[2 x i32]}* %A, i64 0, i32 0, i64 %X

2
test/Analysis/BasicAA/2003-04-22-GEPProblem.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!

2
test/Analysis/BasicAA/2003-04-25-GEPCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>/dev/null
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>/dev/null
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
define void @test([17 x i16]* %mask_bits) {
%P1 = getelementptr [17 x i16], [17 x i16]* %mask_bits, i64 0, i64 0

2
test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -licm -disable-output
; RUN: opt < %s -basic-aa -licm -disable-output
%struct..apr_array_header_t = type { i32*, i32, i32, i32, i8* }
%struct..apr_table_t = type { %struct..apr_array_header_t, i32, [32 x i32], [32 x i32] }

2
test/Analysis/BasicAA/2003-06-01-AliasCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>/dev/null
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>/dev/null
define i32 @MTConcat([3 x i32]* %a.1) {
%tmp.961 = getelementptr [3 x i32], [3 x i32]* %a.1, i64 0, i64 4

2
test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>/dev/null
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>/dev/null
%struct..RefPoint = type { i32, { i32, i8, i8 } }
%struct..RefRect = type { %struct..RefPoint, %struct..RefPoint }

2
test/Analysis/BasicAA/2003-09-19-LocalArgument.ll
View File

@ -1,6 +1,6 @@
; In this test, a local alloca cannot alias an incoming argument.
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
; CHECK: define i32 @test
; CHECK-NEXT: ret i32 0

2
test/Analysis/BasicAA/2003-11-04-SimpleCases.ll
View File

@ -1,7 +1,7 @@
; This testcase consists of alias relations which should be completely
; resolvable by basicaa.
; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll
View File

@ -1,7 +1,7 @@
; This testcase consists of alias relations which should be completely
; resolvable by basicaa, but require analysis of getelementptr constant exprs.
; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/2004-07-28-MustAliasbug.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -dse -S | FileCheck %s
; RUN: opt < %s -basic-aa -dse -S | FileCheck %s
define void @test({i32,i32 }* %P) {
; CHECK: store i32 0, i32* %X

2
test/Analysis/BasicAA/2006-03-03-BadArraySubscript.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>&1 | FileCheck %s
; TEST that A[1][0] may alias A[0][i].
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"

2
test/Analysis/BasicAA/2006-11-03-BasicAAVectorCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -licm -disable-output
; RUN: opt < %s -basic-aa -licm -disable-output
target datalayout = "E-p:32:32"
target triple = "powerpc-unknown-linux-gnu"

2
test/Analysis/BasicAA/2007-01-13-BasePointerBadNoAlias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
; PR1109
target datalayout = "e-p:32:32"

2
test/Analysis/BasicAA/2007-08-01-NoAliasAndCalls.ll
View File

@ -1,4 +1,4 @@
; 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
; CHECK: Function: foo
; CHECK: MayAlias: i32* %x, i32* %y

2
test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/2007-08-05-GetOverloadedModRef.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
; PR1600
declare i16 @llvm.cttz.i16(i16, i1)

2
test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -dce -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -dce -S | FileCheck %s
%struct.A = type { i32 }
%struct.B = type { %struct.A }

2
test/Analysis/BasicAA/2007-11-05-SizeCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -disable-output
; RUN: opt < %s -basic-aa -gvn -disable-output
; PR1774
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"

2
test/Analysis/BasicAA/2007-12-08-OutOfBoundsCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -disable-output
; RUN: opt < %s -basic-aa -gvn -disable-output
; PR1782
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"

2
test/Analysis/BasicAA/2008-06-02-GEPTailCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -disable-output
; RUN: opt < %s -basic-aa -gvn -disable-output
; PR2395
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"

2
test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -disable-output 2>&1 | FileCheck %s
declare noalias i32* @_Znwj(i32 %x) nounwind

2
test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
declare noalias i32* @noalias()

2
test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -instcombine -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -instcombine -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"
define i8 @foo(i8* %ptr) {

2
test/Analysis/BasicAA/2009-10-13-GEP-BaseNoAlias.ll
View File

@ -1,4 +1,4 @@
; 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
; If GEP base doesn't alias Z, then GEP doesn't alias Z.
; rdar://7282591

2
test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll
View File

@ -1,4 +1,4 @@
; 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
; PR7959
target datalayout = "e-p:32:32:32"

2
test/Analysis/BasicAA/2014-03-18-Maxlookup-reached.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; PR15967
; BasicAA claims no alias when there is (due to a problem when the MaxLookup

2
test/Analysis/BasicAA/aligned-overread.ll
View File

@ -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"

2
test/Analysis/BasicAA/args-rets-allocas-loads.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
declare void @callee(double* %callee_arg)
declare void @nocap_callee(double* nocapture %nocap_callee_arg)

2
test/Analysis/BasicAA/assume-index-positive.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -aa-eval -print-all-alias-modref-info %s 2>&1 | FileCheck %s
; %col.ptr.1 and %col.ptr.2 do not alias, if we know that %skip >= 0, because
; the distance between %col.ptr.1 and %col.ptr.2 is %skip + 6 and we load 6

2
test/Analysis/BasicAA/assume.ll
View File

@ -1,4 +1,4 @@
; 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: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"
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) #0

2
test/Analysis/BasicAA/bug.23540.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

2
test/Analysis/BasicAA/bug.23626.ll
View File

@ -1,4 +1,4 @@
; 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-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-darwin13.4.0"

2
test/Analysis/BasicAA/byval.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -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"
target triple = "i686-apple-darwin8"
%struct.x = type { i32, i32, i32, i32 }

2
test/Analysis/BasicAA/call-attrs.ll
View File

@ -1,4 +1,4 @@
; 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
declare void @readonly_attr(i8* readonly nocapture)
declare void @writeonly_attr(i8* writeonly nocapture)

2
test/Analysis/BasicAA/cas.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
@flag0 = internal global i32 zeroinitializer
@turn = internal global i32 zeroinitializer

2
test/Analysis/BasicAA/constant-over-index.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; PR4267
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/cs-cs-arm.ll
View File

@ -1,4 +1,4 @@
; 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
; REQUIRES: arm
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"

2
test/Analysis/BasicAA/cs-cs.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -S 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -S 2>&1 | 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"
target triple = "arm-apple-ios"

2
test/Analysis/BasicAA/dag.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info 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"

2
test/Analysis/BasicAA/dereferenceable.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -print-all-alias-modref-info -aa-eval -analyze < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -print-all-alias-modref-info -aa-eval -analyze < %s 2>&1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/empty.ll
View File

@ -1,4 +1,4 @@
; 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
; 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"

2
test/Analysis/BasicAA/fallback-mayalias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
; Check that BasicAA falls back to MayAlias (instead of PartialAlias) when none
; of its little tricks are applicable.

4
test/Analysis/BasicAA/featuretest.ll
View File

@ -2,8 +2,8 @@
; This testcase tests for various features the basicaa test should be able to
; determine, as noted in the comments.
; RUN: opt < %s -basicaa -gvn -instcombine -dce -S | FileCheck %s --check-prefixes=CHECK,NO_ASSUME
; RUN: opt < %s -basicaa -gvn -instcombine -dce --enable-knowledge-retention -S | FileCheck %s --check-prefixes=CHECK,USE_ASSUME
; RUN: opt < %s -basic-aa -gvn -instcombine -dce -S | FileCheck %s --check-prefixes=CHECK,NO_ASSUME
; RUN: opt < %s -basic-aa -gvn -instcombine -dce --enable-knowledge-retention -S | FileCheck %s --check-prefixes=CHECK,USE_ASSUME
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"
@Global = external global { i32 }

2
test/Analysis/BasicAA/full-store-partial-alias.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -tbaa -gvn < %s | FileCheck -check-prefix=BASICAA %s
; RUN: opt -S -tbaa -disable-basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -tbaa -disable-basic-aa -gvn < %s | FileCheck %s
; rdar://8875631, rdar://8875069
; BasicAA should notice that the store stores to the entire %u object,

2
test/Analysis/BasicAA/gcsetest.ll
View File

@ -2,7 +2,7 @@
; disambiguating some obvious cases. All loads should be removable in
; this testcase.
; RUN: opt < %s -basicaa -gvn -instcombine -dce -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -dce -S | FileCheck %s
@A = global i32 7
@B = global i32 8

2
test/Analysis/BasicAA/gep-alias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S 2>&1 | FileCheck %s
target datalayout = "e-p:32:32:32-p1:16:16:16-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"

2
test/Analysis/BasicAA/gep-and-alias-64.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
target datalayout = "e-m:o-p:64:64-f64:32:64-f80:128-n8:16:32-S128"
target triple = "x86_64-apple-macosx10.6.0"

4
test/Analysis/BasicAA/gep-and-alias.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basicaa -gvn -basicaa-force-at-least-64b=0 < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -basicaa-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"

2
test/Analysis/BasicAA/getmodrefinfo-cs-cs.ll
View File

@ -1,4 +1,4 @@
; 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
; CHECK: Just Ref: call void @ro() <-> call void @f0()

2
test/Analysis/BasicAA/global-size.ll
View File

@ -1,7 +1,7 @@
; A store or load cannot alias a global if the accessed amount is larger then
; the global.
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
target datalayout = "E-p:64:64:64-p1:16:16:16-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"
@B = global i16 8

2
test/Analysis/BasicAA/guards.ll
View File

@ -1,4 +1,4 @@
; 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: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"
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) #0

2
test/Analysis/BasicAA/intrinsics-arm.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S < %s | FileCheck %s
; REQUIRES: arm
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"

2
test/Analysis/BasicAA/intrinsics.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -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"

4
test/Analysis/BasicAA/invariant_group.ll
View File

@ -1,5 +1,5 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basicaa -gvn -S | FileCheck -check-prefix=CHECK-GVN %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck -check-prefix=CHECK-GVN %s
; The input *.ll had been adapted from bug 37458:
;

2
test/Analysis/BasicAA/invariant_load.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; The input *.ll is obtained by manually annotating "invariant.load" to the
; two loads. With "invariant.load" metadata, the second load is redundant.

2
test/Analysis/BasicAA/memset_pattern.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
; PR10872
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"

2
test/Analysis/BasicAA/modref.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -dse -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -dse -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"
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)

2
test/Analysis/BasicAA/must-and-partial.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; When merging MustAlias and PartialAlias, merge to PartialAlias
; instead of MayAlias.

2
test/Analysis/BasicAA/negoffset.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
target triple = "i386-unknown-linux-gnu"

2
test/Analysis/BasicAA/no-escape-call.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
; PR2436
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 = "i386-apple-darwin8"

2
test/Analysis/BasicAA/noalias-bugs.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -dse < %s | FileCheck %s
; RUN: opt -S -basic-aa -dse < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

2
test/Analysis/BasicAA/noalias-geps.ll
View File

@ -1,4 +1,4 @@
; 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: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"

2
test/Analysis/BasicAA/noalias-param.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
declare i32* @captures(i32* %cap) nounwind readonly

2
test/Analysis/BasicAA/noalias-wraparound-bug.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn < %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"

2
test/Analysis/BasicAA/nocapture.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
declare i32* @test(i32* nocapture)

2
test/Analysis/BasicAA/phi-aa.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -phi-values -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -phi-values -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa -passes='require<phi-values>,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-S128"
target triple = "x86_64-unknown-linux-gnu"

2
test/Analysis/BasicAA/phi-and-select.ll
View File

@ -1,4 +1,4 @@
; 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
; BasicAA should detect NoAliases in PHIs and Selects.

2
test/Analysis/BasicAA/phi-loop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -basicaa-recphi=1 -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -basicaa-recphi=1 -gvn -S | FileCheck %s
;
; Check that section->word_ofs doesn't get reloaded in every iteration of the
; for loop.

2
test/Analysis/BasicAA/phi-spec-order.ll
View File

@ -1,6 +1,6 @@
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-f128:128:128-v128:128:128-n32:64"
target triple = "powerpc64-bgq-linux"
; 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
@X = external global [16000 x double], align 32
@Y = external global [16000 x double], align 32

2
test/Analysis/BasicAA/phi-speculation.ll
View File

@ -1,7 +1,7 @@
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"
; 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
; ptr_phi and ptr2_phi do not alias.
; CHECK: test_noalias_1

2
test/Analysis/BasicAA/pr31761.ll
View File

@ -1,4 +1,4 @@
; 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-m:o-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/ptrmask.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -print-no-aliases -disable-output %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -aa-eval -print-no-aliases -disable-output %s 2>&1 | FileCheck %s
%struct = type <{ [20 x i64] }>

2
test/Analysis/BasicAA/pure-const-dce.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
@g = global i32 0

2
test/Analysis/BasicAA/q.bad.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "thumbv7--linux-gnueabi"

2
test/Analysis/BasicAA/returned.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/sequential-gep.ll
View File

@ -1,4 +1,4 @@
; 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
; CHECK: Function: t1
; CHECK: NoAlias: i32* %gep1, i32* %gep2

4
test/Analysis/BasicAA/store-promote.ll
View File

@ -2,8 +2,8 @@
; disambiguating some obvious cases. If LICM is able to disambiguate the
; two pointers, then the load should be hoisted, and the store sunk.
; RUN: opt < %s -basicaa -licm -enable-mssa-loop-dependency=false -S | FileCheck %s -check-prefixes=CHECK,AST
; RUN: opt < %s -basicaa -licm -enable-mssa-loop-dependency=true -S | FileCheck %s -check-prefixes=CHECK,MSSA
; RUN: opt < %s -basic-aa -licm -enable-mssa-loop-dependency=false -S | FileCheck %s -check-prefixes=CHECK,AST
; RUN: opt < %s -basic-aa -licm -enable-mssa-loop-dependency=true -S | FileCheck %s -check-prefixes=CHECK,MSSA
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"
@A = global i32 7 ; <i32*> [#uses=3]

2
test/Analysis/BasicAA/struct-geps.ll
View File

@ -1,4 +1,4 @@
; 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-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
test/Analysis/BasicAA/tail-byval.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
; RUN: opt -basic-aa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
declare void @takebyval(i32* byval %p)

2
test/Analysis/BasicAA/tailcall-modref.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -instcombine -S | FileCheck %s
define i32 @test() {
; CHECK: ret i32 0

2
test/Analysis/BasicAA/underlying-value.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -licm -S < %s
; RUN: opt -basic-aa -licm -S < %s
; PR9931
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"

2
test/Analysis/BasicAA/unreachable-block.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -aa-eval -disable-output < %s > /dev/null 2>&1
; RUN: opt -basic-aa -aa-eval -disable-output < %s > /dev/null 2>&1
; BasicAA shouldn't infinitely recurse on the use-def cycles in
; unreachable code.

2
test/Analysis/BasicAA/vscale.ll
View File

@ -1,4 +1,4 @@
; 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
; getelementptr

2
test/Analysis/BasicAA/zext.ll
View File

@ -1,4 +1,4 @@
; 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-S128"
target triple = "x86_64-unknown-linux-gnu"