RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[NewPM][BasicAA] basicaa -> basic-aa in Transforms/{New,}GVN

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

Reviewers: ychen

Subscribers: asbirlea, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D82688
This commit is contained in:
Arthur Eubanks 2020-06-26 15:10:30 -07:00
parent 0e1409e029
commit fc1584be52
107 changed files with 113 additions and 113 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Transforms/GVN/2007-07-25-InfiniteLoop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
%struct.INT2 = type { i32, i32 }
@blkshifts = external global %struct.INT2* ; <%struct.INT2**> [#uses=2]

2
test/Transforms/GVN/2007-07-26-InterlockingLoops.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
@last = external global [65 x i32*]

2
test/Transforms/GVN/2007-07-31-NoDomInherit.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
%struct.anon = type { i32 (i32, i32, i32)*, i32, i32, [3 x i32], i8*, i8*, i8* }
@debug = external constant i32 ; <i32*> [#uses=0]

2
test/Transforms/GVN/2007-07-31-RedundantPhi.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
@img_width = external global i16 ; <i16*> [#uses=2]

2
test/Transforms/GVN/2008-07-02-Unreachable.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; PR2503
@g_3 = external global i8 ; <i8*> [#uses=2]

2
test/Transforms/GVN/2010-03-31-RedundantPHIs.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; CHECK-NOT: load
; CHECK-NOT: phi

2
test/Transforms/GVN/2010-11-13-Simplify.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 i32 @foo(i32) readnone

2
test/Transforms/GVN/2011-09-07-TypeIdFor.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
%struct.__fundamental_type_info_pseudo = type { %struct.__type_info_pseudo }
%struct.__type_info_pseudo = type { i8*, i8* }

2
test/Transforms/GVN/2016-08-30-MaskedScatterGather.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 void @llvm.masked.scatter.v2i32.v2p0i32(<2 x i32> , <2 x i32*> , i32 , <2 x i1> )
declare <2 x i32> @llvm.masked.gather.v2i32.v2p0i32(<2 x i32*>, i32, <2 x i1>, <2 x i32>)

2
test/Transforms/GVN/MemdepMiscompile.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: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"

2
test/Transforms/GVN/PRE/2011-06-01-NonLocalMemdepMiscompile.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; This test is checking that (a) this doesn't crash, and (b) we don't
; conclude the value of %tmp17 is available in bb1.bb15_crit_edge.
; rdar://9429882

2
test/Transforms/GVN/PRE/atomic.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: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"

2
test/Transforms/GVN/PRE/invariant-load.ll
View File

@ -1,5 +1,5 @@
; Test if the !invariant.load metadata is maintained by GVN.
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S < %s | FileCheck %s
define i32 @test1(i32* nocapture %p, i8* nocapture %q) {
; CHECK-LABEL: test1

2
test/Transforms/GVN/PRE/load-pre-licm.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-n8:16:32"
target triple = "i386-apple-darwin11.0.0"

2
test/Transforms/GVN/PRE/load-pre-nonlocal.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -o - -basicaa -domtree -gvn %s | FileCheck %s
; RUN: opt -S -o - -basic-aa -domtree -gvn %s | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

2
test/Transforms/GVN/PRE/lpre-call-wrap-2.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -gvn -enable-load-pre < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -enable-load-pre < %s | FileCheck %s
;
; The partially redundant load in bb1 should be hoisted to "bb". This comes
; from this C code (GCC PR 23455):

2
test/Transforms/GVN/PRE/phi-translate.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:64:64:64"

2
test/Transforms/GVN/PRE/pre-gep-load.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa -passes="gvn<load-pre>" -enable-load-pre=false -S | FileCheck %s

2
test/Transforms/GVN/PRE/pre-load-guards.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -enable-load-pre -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"
declare void @llvm.experimental.guard(i1, ...)

2
test/Transforms/GVN/PRE/pre-load-in-loop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -enable-load-in-loop-pre=false -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -enable-load-in-loop-pre=false -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"
;void test1(int N, double *G) {

2
test/Transforms/GVN/PRE/pre-load.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -enable-load-pre -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa -passes="gvn<load-pre>" -enable-load-pre=false -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"

2
test/Transforms/GVN/PRE/preserve-tbaa.ll
View File

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

2
test/Transforms/GVN/PRE/rle-addrspace-cast.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -data-layout="e-p:32:32:32-p1:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-n8:16:32" -basicaa -gvn -S -die | FileCheck %s
; RUN: opt < %s -data-layout="e-p:32:32:32-p1:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-n8:16:32" -basic-aa -gvn -S -die | FileCheck %s
define i8 @coerce_offset0_addrspacecast(i32 %V, i32* %P) {
store i32 %V, i32* %P

2
test/Transforms/GVN/PRE/rle-semidominated.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
define i32 @main(i32* %p, i32 %x, i32 %y) {
block1:

4
test/Transforms/GVN/PRE/rle.ll
View File

@ -1,5 +1,5 @@
; RUN: opt < %s -data-layout="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-n8:16:32" -basicaa -gvn -S -die | FileCheck %s
; RUN: opt < %s -data-layout="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:64:64-n32" -basicaa -gvn -S -die | FileCheck %s
; RUN: opt < %s -data-layout="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-n8:16:32" -basic-aa -gvn -S -die | FileCheck %s
; RUN: opt < %s -data-layout="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:64:64-n32" -basic-aa -gvn -S -die | FileCheck %s
;; Trivial RLE test.
define i32 @test0(i32 %V, i32* %P) {

2
test/Transforms/GVN/PRE/volatile.ll
View File

@ -1,7 +1,7 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Tests that check our handling of volatile instructions encountered
; when scanning for dependencies
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S < %s | FileCheck %s
; Check that we can bypass a volatile load when searching
; for dependencies of a non-volatile load

2
test/Transforms/GVN/basic-undef-test.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S < %s | FileCheck %s
; ModuleID = 'test3.ll'
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

4
test/Transforms/GVN/calloc-load-removal.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basicaa -gvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; Check that loads from calloc are recognized as being zero.
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"

2
test/Transforms/GVN/calls-nonlocal.ll
View File

@ -1,5 +1,5 @@
; Two occurrences of strlen should be zapped.
; 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 = "i386-apple-darwin9"

2
test/Transforms/GVN/calls-readonly.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; Should delete the second call to strlen even though the intervening strchr call exists.
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/Transforms/GVN/cond_br.ll
View File

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

2
test/Transforms/GVN/cond_br2.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: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"
%"class.llvm::SmallVector" = type { %"class.llvm::SmallVectorImpl", [1 x %"union.llvm::SmallVectorBase::U"] }

2
test/Transforms/GVN/condprop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
@a = external global i32 ; <i32*> [#uses=7]

2
test/Transforms/GVN/fence.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
@a = external constant i32
; We can value forward across the fence since we can (semantically)

2
test/Transforms/GVN/funclet.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-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
target triple = "i686-pc-windows-msvc"

2
test/Transforms/GVN/lifetime-simple.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 = "i386-apple-darwin7"

2
test/Transforms/GVN/load-constant-mem.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
; PR4189
@G = external constant [4 x i32]

4
test/Transforms/GVN/malloc-load-removal.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -basicaa -gvn < %s | FileCheck %s
; RUN: opt -S -basicaa -gvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; RUN: opt -S -basic-aa -gvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -gvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; PR13694
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"

2
test/Transforms/GVN/noalias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -scoped-noalias -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -scoped-noalias -basic-aa -gvn -S < %s | FileCheck %s
define i32 @test1(i32* %p, i32* %q) {
; CHECK-LABEL: @test1(i32* %p, i32* %q)

2
test/Transforms/GVN/non-local-offset.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:64:64:64"

2
test/Transforms/GVN/nonescaping-malloc.ll
View File

@ -1,5 +1,5 @@
; REQUIRES: asserts
; RUN: opt < %s -basicaa -gvn -stats -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -stats -disable-output 2>&1 | FileCheck %s
; rdar://7363102
; CHECK: Number of loads deleted

2
test/Transforms/GVN/null-aliases-nothing.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
%t = type { i32 }
declare void @test1f(i8*)

2
test/Transforms/GVN/phi-translate-partial-alias.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: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-f128:128:128-n8:16:32:64"

2
test/Transforms/GVN/pr10820.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: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-f128:128:128-n8:16:32:64"

2
test/Transforms/GVN/pr17852.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn
; RUN: opt < %s -basic-aa -gvn
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"
%struct.S0 = type { [2 x i8], [2 x i8], [4 x i8], [2 x i8], i32, i32, i32, i32 }
define void @fn1(%struct.S0* byval align 8 %p1) {

2
test/Transforms/GVN/pr24397.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -disable-output < %s
; RUN: opt -basic-aa -gvn -disable-output < %s
target triple = "x86_64-unknown-linux-gnu"

2
test/Transforms/GVN/pre-new-inst.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -S %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S %s | FileCheck %s
%MyStruct = type { i32, i32 }
define i8 @foo(i64 %in, i8* %arr) {

2
test/Transforms/GVN/range.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -gvn -S < %s | FileCheck %s
define i32 @test1(i32* %p) {
; CHECK-LABEL: @test1(i32* %p)

2
test/Transforms/GVN/rle-must-alias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
; GVN should eliminate the fully redundant %9 GEP which
; allows DEAD to be removed. This is PR3198.

2
test/Transforms/GVN/rle-nonlocal.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s
define i32 @main(i32** %p, i32 %x, i32 %y) {
block1:

2
test/Transforms/GVN/tbaa.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s
; RUN: opt -tbaa -basic-aa -gvn -S < %s | FileCheck %s
define i32 @test1(i8* %p, i8* %q) {
; CHECK-LABEL: @test1(i8* %p, i8* %q)

2
test/Transforms/GVN/vscale.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S < %s -basicaa -gvn -dce | FileCheck %s
; RUN: opt -S < %s -basic-aa -gvn -dce | FileCheck %s
; Analyze Load from clobbering Load.

2
test/Transforms/NewGVN/2007-07-25-InfiniteLoop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
%struct.INT2 = type { i32, i32 }
@blkshifts = external global %struct.INT2* ; <%struct.INT2**> [#uses=2]

2
test/Transforms/NewGVN/2007-07-26-InterlockingLoops.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
@last = external global [65 x i32*]

2
test/Transforms/NewGVN/2007-07-31-NoDomInherit.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
%struct.anon = type { i32 (i32, i32, i32)*, i32, i32, [3 x i32], i8*, i8*, i8* }
@debug = external constant i32 ; <i32*> [#uses=0]

2
test/Transforms/NewGVN/2007-07-31-RedundantPhi.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
@img_width = external global i16 ; <i16*> [#uses=2]

2
test/Transforms/NewGVN/2008-07-02-Unreachable.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
; PR2503
@g_3 = external global i8 ; <i8*> [#uses=2]

2
test/Transforms/NewGVN/2010-03-31-RedundantPHIs.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
; CHECK-NOT: load
; CHECK-NOT: phi

2
test/Transforms/NewGVN/2010-11-13-Simplify.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
declare i32 @foo(i32) readnone

2
test/Transforms/NewGVN/2011-09-07-TypeIdFor.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
%struct.__fundamental_type_info_pseudo = type { %struct.__type_info_pseudo }
%struct.__type_info_pseudo = type { i8*, i8* }

2
test/Transforms/NewGVN/2016-08-30-MaskedScatterGather.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
declare void @llvm.masked.scatter.v2i32.v2p0i32(<2 x i32> , <2 x i32*> , i32 , <2 x i1> )
declare <2 x i32> @llvm.masked.gather.v2i32.v2p0i32(<2 x i32*>, i32, <2 x i1>, <2 x i32>)

2
test/Transforms/NewGVN/MemdepMiscompile.ll
View File

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

2
test/Transforms/NewGVN/basic-cyclic-opt.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
;; Function Attrs: nounwind ssp uwtable

2
test/Transforms/NewGVN/basic-undef-test.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -newgvn -S < %s | FileCheck %s
; ModuleID = 'test3.ll'
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

4
test/Transforms/NewGVN/calloc-load-removal.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -basicaa -newgvn < %s | FileCheck %s
; RUN: opt -S -basicaa -newgvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; RUN: opt -S -basic-aa -newgvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -newgvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; Check that loads from calloc are recognized as being zero.
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"

2
test/Transforms/NewGVN/calls-nonlocal.ll
View File

@ -2,7 +2,7 @@
;; NewGVN zaps the strlens, but currently takes two iterations to evaluate the conditions, because
;; we prune predicateinfo, and the icmps only become equivalent after the strlens are zapped
; Two occurrences of strlen should be zapped.
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -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 = "i386-apple-darwin9"

2
test/Transforms/NewGVN/calls-readonly.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
; Should delete the second call to strlen even though the intervening strchr call exists.
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/Transforms/NewGVN/completeness.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -enable-phi-of-ops=true -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -enable-phi-of-ops=true -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
define i32 @test1(i32, i8**) {

2
test/Transforms/NewGVN/cond_br.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -newgvn -S < %s | FileCheck %s
@y = external global i32
@z = external global i32

2
test/Transforms/NewGVN/cond_br2.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt -basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -newgvn -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"
%"class.llvm::SmallVector" = type { %"class.llvm::SmallVectorImpl", [1 x %"union.llvm::SmallVectorBase::U"] }

2
test/Transforms/NewGVN/condprop-xfail.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
@a = external global i32 ; <i32*> [#uses=7]

2
test/Transforms/NewGVN/condprop.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
declare void @foo(i1)

2
test/Transforms/NewGVN/cyclic-phi-handling.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
define void @foo(i32 %arg, i32 %arg1, i32 (i32, i32)* %arg2) {

2
test/Transforms/NewGVN/deadstore.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
;; Most of these are borrowed from transforms/DSE/simple.ll
;; NewGVN should be able to eliminate any stores of the same value that are actually redundnat.

2
test/Transforms/NewGVN/equivalent-phi.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
@global = common global [1024 x i32] zeroinitializer, align 16

2
test/Transforms/NewGVN/fence.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt -S -basicaa -newgvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -newgvn < %s | FileCheck %s
@a = external constant i32
; We can value forward across the fence since we can (semantically)

2
test/Transforms/NewGVN/funclet.ll
View File

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

2
test/Transforms/NewGVN/lifetime-simple.ll
View File

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

2
test/Transforms/NewGVN/load-constant-mem.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
; PR4189
@G = external constant [4 x i32]

2
test/Transforms/NewGVN/loadforward.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
%rec11 = type { i16, i16, i16 }

4
test/Transforms/NewGVN/malloc-load-removal.ll
View File

@ -1,5 +1,5 @@
; RUN: opt -S -basicaa -newgvn < %s | FileCheck %s
; RUN: opt -S -basicaa -newgvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; RUN: opt -S -basic-aa -newgvn < %s | FileCheck %s
; RUN: opt -S -basic-aa -newgvn -disable-simplify-libcalls < %s | FileCheck %s -check-prefix=CHECK_NO_LIBCALLS
; PR13694
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"

2
test/Transforms/NewGVN/memory-handling.ll
View File

@ -1,6 +1,6 @@
;; This test is really dependent on propagating a lot of memory info around, but in the end, not
;; screwing up a single add.
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
%struct.Letter = type { i32, i32, i32, i32 }

2
test/Transforms/NewGVN/noalias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -scoped-noalias -basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -scoped-noalias -basic-aa -newgvn -S < %s | FileCheck %s
define i32 @test1(i32* %p, i32* %q) {
; CHECK-LABEL: @test1(i32* %p, i32* %q)

2
test/Transforms/NewGVN/non-local-offset.ll
View File

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

2
test/Transforms/NewGVN/nonescaping-malloc.ll
View File

@ -1,6 +1,6 @@
; XFAIL: *
; REQUIRES: asserts
; RUN: opt < %s -basicaa -newgvn -stats -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -stats -disable-output 2>&1 | FileCheck %s
; rdar://7363102
; CHECK: Number of loads deleted

2
test/Transforms/NewGVN/null-aliases-nothing.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
%t = type { i32 }
declare void @test1f(i8*)

2
test/Transforms/NewGVN/phi-translate-partial-alias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -basic-aa -newgvn -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-f128:128:128-n8:16:32:64"

2
test/Transforms/NewGVN/pr10820.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
; NewGVN fails this due to missing load coercion
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-f128:128:128-n8:16:32:64"

2
test/Transforms/NewGVN/pr14166.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt -disable-basicaa -newgvn -S < %s | FileCheck %s
; RUN: opt -disable-basic-aa -newgvn -S < %s | FileCheck %s
; NewGVN fails this due to missing load coercion
target datalayout = "e-p:32:32:32"
target triple = "i386-pc-linux-gnu"

2
test/Transforms/NewGVN/pr17852.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -basicaa -newgvn
; RUN: opt < %s -basic-aa -newgvn
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"
%struct.S0 = type { [2 x i8], [2 x i8], [4 x i8], [2 x i8], i32, i32, i32, i32 }
define void @fn1(%struct.S0* byval align 8 %p1) {

2
test/Transforms/NewGVN/pr24397.ll
View File

@ -1,4 +1,4 @@
; RUN: opt -basicaa -newgvn -disable-output < %s
; RUN: opt -basic-aa -newgvn -disable-output < %s
target triple = "x86_64-unknown-linux-gnu"

2
test/Transforms/NewGVN/pr31472.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.12.0"

2
test/Transforms/NewGVN/pr31483.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
@global = external hidden unnamed_addr constant [11 x i8], align 1

2
test/Transforms/NewGVN/pr31491.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
;; Test that we do not infinite loop on this testcase, and that we do not try
;; to replace the phi node argument with the result of the phi node.
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

2
test/Transforms/NewGVN/pr31501.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
%struct.foo = type { %struct.wombat.28*, %struct.zot, %struct.wombat.28* }

2
test/Transforms/NewGVN/pr31573.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

2
test/Transforms/NewGVN/pr31594.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

2
test/Transforms/NewGVN/pr31613.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -enable-store-refinement -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -enable-store-refinement -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
;; Both of these tests are tests of phi nodes that end up all equivalent to each other

2
test/Transforms/NewGVN/pr31682.ll
View File

@ -1,5 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
%struct.foo = type { i32, i32, [2 x [4 x [6 x [6 x i16]]]] }

2
test/Transforms/NewGVN/pre-new-inst.ll
View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt -basicaa -newgvn -S %s | FileCheck %s
; RUN: opt -basic-aa -newgvn -S %s | FileCheck %s
%MyStruct = type { i32, i32 }
define i8 @foo(i64 %in, i8* %arr) {

Some files were not shown because too many files have changed in this diff Show More