RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 02:52:53 +02:00
Code Issues Projects Releases Wiki Activity

Use the llvm-upgrade program to upgrade llvm assembly.

Browse Source 
llvm-svn: 32115
This commit is contained in:
Reid Spencer 2006-12-02 04:23:10 +00:00
parent 9120a12f23
commit 7f5ef2d7a5
1199 changed files with 1680 additions and 1674 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Feature/alignment.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

3
test/Feature/basictest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll
@ -30,4 +30,3 @@ begin
Startup:
ret int 0
end

2
test/Feature/callingconventions.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/calltest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

18
test/Feature/casttest.ll
View File

@ -1,23 +1,7 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll
void "NewCasts" (short %x) {
%a = zext short %x to int
%b = sext short %x to uint
%c = trunc short %x to ubyte
%d = uitofp short %x to float
%e = sitofp short %x to double
%f = fptoui float %d to short
%g = fptosi double %e to short
%i = fpext float %d to double
%j = fptrunc double %i to float
%k = bitcast int %a to float
%l = inttoptr short %x to int*
%m = ptrtoint int* %l to long
ret void
}
short "FunFunc"(long %x, sbyte %z)
begin
bb0: ;;<label>

2
test/Feature/cfgstructures.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/constexpr.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/constpointer.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/escaped_label.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/float.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > Output/t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > Output/t1.ll
; RUN: llvm-as Output/t1.ll -o - | llvm-dis > Output/t2.ll
; RUN: diff Output/t1.ll Output/t2.ll

2
test/Feature/forwardreftest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/global_section.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/globalredefinition.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/globalvars.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/indirectcall.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/indirectcall2.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

4
test/Feature/inlineasm.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as %s -o /dev/null -f &&
; RUN: llvm-as %s -o - | llvm-dis > Output/t1.ll &&
; RUN: llvm-upgrade %s -o - | llvm-as -o /dev/null -f &&
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > Output/t1.ll &&
; RUN: llvm-as Output/t1.ll -o - | llvm-dis > Output/t2.ll &&
; RUN: diff Output/t1.ll Output/t2.ll

2
test/Feature/instructions.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/intrinsics.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

21
test/Feature/newcasts.ll Normal file
View File

@ -0,0 +1,21 @@
; RUN: llvm-as < %s | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll
void "NewCasts" (short %x) {
%a = zext short %x to int
%b = sext short %x to uint
%c = trunc short %x to ubyte
%d = uitofp short %x to float
%e = sitofp short %x to double
%f = fptoui float %d to short
%g = fptosi double %e to short
%i = fpext float %d to double
%j = fptrunc double %i to float
%k = bitcast int %a to float
%l = inttoptr short %x to int*
%m = ptrtoint int* %l to long
ret void
}

2
test/Feature/opaquetypes.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/packed.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/properties.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/prototype.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/recursivetype.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/simplecalltest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/small.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/smallest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testalloca.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testconstants.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testlogical.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testmemory.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testswitch.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/testvarargs.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/undefined.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/unreachable.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

23
test/Feature/varargs.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll
@ -6,18 +6,19 @@
; the va_arg instruction.
implementation
declare sbyte* %llvm.va_start()
declare sbyte* %llvm.va_copy(sbyte*)
declare void %llvm.va_end(sbyte*)
declare void %llvm.va_start(sbyte** %ap)
declare void %llvm.va_copy(sbyte** %aq, sbyte** %ap)
declare void %llvm.va_end(sbyte** %ap)
int %test(int %X, ...) {
%ap = call sbyte* %llvm.va_start()
%aq = call sbyte* %llvm.va_copy(sbyte* %ap)
call void %llvm.va_end(sbyte* %aq)
%tmp = vaarg sbyte* %ap, int
%ap2 = vanext sbyte* %ap, int
%ap = alloca sbyte*
call void %llvm.va_start(sbyte** %ap)
%tmp = va_arg sbyte** %ap, int
call void %llvm.va_end(sbyte* %ap2)
%aq = alloca sbyte*
call void %llvm.va_copy(sbyte** %aq, sbyte** %ap)
call void %llvm.va_end(sbyte** %aq)
call void %llvm.va_end(sbyte** %ap)
ret int %tmp
}

2
test/Feature/varargs_new.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Feature/weirdnames.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

2
test/Regression/Analysis/Andersens/arg-must-alias.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | not grep ARG
; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | not grep ARG
%G = internal constant int* null

2
test/Regression/Analysis/Andersens/basictest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -anders-aa -aa-eval
; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -aa-eval
implementation

2
test/Regression/Analysis/Andersens/external.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | grep store | not grep null
; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -load-vn -gcse -deadargelim | llvm-dis | grep store | not grep null
; Because the 'internal' function is passed to an external function, we don't
; know what the incoming values will alias. As such, we cannot do the

2
test/Regression/Analysis/Andersens/modreftest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret bool true'
; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret bool true'
%G = internal global int* null
declare int *%ext()

2
test/Regression/Analysis/Andersens/trivialtest.ll
View File

@ -1,3 +1,3 @@
; RUN: llvm-as < %s | opt -anders-aa -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -anders-aa -disable-output
void %foo() { ret void }

2
test/Regression/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: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | grep DONOTREMOVE
; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | grep DONOTREMOVE
int %test() {
%A = alloca int

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
void %test({[2 x int],[2 x int]}* %A, long %X, long %Y) {
%P1 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 0, long %X

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | grep sub
; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | grep sub
; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
void %test([17 x ushort]* %mask_bits) {
%P1 = getelementptr [17 x ushort]* %mask_bits, long 0, long 0

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -licm -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -licm -disable-output
%struct..apr_array_header_t = type { int*, int, int, int, sbyte* }
%struct..apr_table_t = type { %struct..apr_array_header_t, uint, [32 x int], [32 x int] }

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output
int %MTConcat([3 x int]* %a.1) {
%tmp.961 = getelementptr [3 x int]* %a.1, long 0, long 4

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output
%struct..RefPoint = type { int, { uint, ushort, ushort } }
%struct..RefRect = type { %struct..RefPoint, %struct..RefPoint }

2
test/Regression/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: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | not grep sub
; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | not grep sub
int %test(int* %P) {
%X = alloca int

2
test/Regression/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: llvm-as < %s | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
; RUN: llvm-upgrade < %s | llvm-as | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
%T = type { uint, [10 x ubyte] }

2
test/Regression/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: llvm-as < %s | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
; RUN: llvm-upgrade < %s | llvm-as | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
%T = type { uint, [10 x ubyte] }

2
test/Regression/Analysis/BasicAA/2004-12-08-BasicAACrash.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -licm
; RUN: llvm-upgrade < %s | llvm-as | opt -licm
"java/lang/Object" = type { %struct.llvm_java_object_base }
"java/lang/StringBuffer" = type { "java/lang/Object", int, { "java/lang/Object", uint, [0 x ushort] }*, bool }

2
test/Regression/Analysis/BasicAA/2004-12-08-BasicAACrash2.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -dse
; RUN: llvm-upgrade < %s | llvm-as | opt -dse
"java/lang/Object" = type { %struct.llvm_java_object_base }
"java/lang/StringBuffer" = type { "java/lang/Object", int, { "java/lang/Object", uint, [0 x ushort] }*, bool }

2
test/Regression/Analysis/BasicAA/2005-03-09-BrokenBasicAA.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | grep 'load int\* %A'
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | grep 'load int\* %A'
declare double* %useit(int*)

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -aa-eval -disable-output 2>&1 | grep '2 no alias respon'
; RUN: llvm-upgrade < %s | llvm-as | opt -aa-eval -disable-output 2>&1 | grep '2 no alias respon'
;; TEST that A[1][0] may alias A[0][i].

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -licm -disable-output
; RUN: llvm-upgrade < %s | llvm-as | opt -licm -disable-output
target endian = big
target pointersize = 32
target triple = "powerpc-apple-darwin8.7.0"

2
test/Regression/Analysis/BasicAA/featuretest.ll
View File

@ -1,7 +1,7 @@
; This testcase tests for various features the basicaa test should be able to
; determine, as noted in the comments.
; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine -dce | llvm-dis | not grep REMOVE
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine -dce | llvm-dis | not grep REMOVE
%Global = external global { int }

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

@ -2,7 +2,7 @@
; disambiguating some obvious cases. All loads should be removable in
; this testcase.
; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine -dce | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine -dce | llvm-dis | not grep load
%A = global int 7
%B = global int 8

2
test/Regression/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: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep load
%B = global short 8

2
test/Regression/Analysis/BasicAA/licmtest.ll
View File

@ -3,7 +3,7 @@
; two pointers, then the load should be hoisted, and the store sunk. Thus
; the loop becomes empty and can be deleted by ADCE.
; RUN: llvm-as < %s | opt -basicaa -licm --adce | llvm-dis | not grep Loop
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -licm --adce | llvm-dis | not grep Loop
%A = global int 7
%B = global int 8

4
test/Regression/Analysis/BasicAA/modref.ll
View File

@ -1,6 +1,6 @@
; A very rudimentary test on AliasAnalysis::getModRefInfo.
; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output &&
; RUN: llvm-as < %s | opt -print-all-alias-modref-info -aa-eval -disable-output 2>&1 | not grep NoModRef
; RUN: llvm-upgrade < %s | llvm-as | opt -print-all-alias-modref-info -aa-eval -disable-output &&
; RUN: llvm-upgrade < %s | llvm-as | opt -print-all-alias-modref-info -aa-eval -disable-output 2>&1 | not grep NoModRef
int %callee() {
%X = alloca { int, int }

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

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | grep 'ret int 0'
; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | grep 'ret int 0'
declare void %foo(int*)
declare void %bar()

2
test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR

2
test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
%T = type { int*, int* }
int %main() {

2
test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll
View File

@ -1,7 +1,7 @@
; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the
; graph checker.
;
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
;
%T = type { int}

2
test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
%G = internal global int 5

2
test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
%X = internal global { int, short, short } { int 1, short 2, short 3 }

2
test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll
View File

@ -1,6 +1,6 @@
; This should cause the global node to collapse!!
; XFAIL: *
; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-check-flags=test:GAU
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-check-flags=test:GAU
%Tree = type { int, %Tree*, %Tree* }
%T5 = external global %Tree

2
test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll
View File

@ -1,7 +1,7 @@
; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the
; graph checker.
;
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
;
%S = type { double, int }

4
test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=Xn:SMR &&
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=X:SMR
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=Xn:SMR &&
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=X:SMR
declare void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint)
declare void %llvm.memmove.i32(sbyte*, sbyte*, uint, uint)

2
test/Regression/Analysis/DSGraph/2004-03-10-ElimLoad.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub
; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub
void %bar(int* %p) {
ret void

2
test/Regression/Analysis/DSGraph/2004-03-10-NoElimLoad.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | grep sub
; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | grep sub
void %bar(int* %p) {
store int 15, int* %p

4
test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=G:GIM -dsgc-dspass=td
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=G:GIM -dsgc-dspass=td
%S = type { double, int }

2
test/Regression/Analysis/DSGraph/2005-03-24-Global-Arg-Alias.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse | llvm-dis | grep 'load int\* %L'
; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse | llvm-dis | grep 'load int\* %L'
%G = internal global int* null

2
test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure
target endian = little
target pointersize = 32

2
test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure
; ModuleID = 'bug3.bc'
target endian = little

2
test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=x:IA
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=x:IA
; ModuleID = 'bug3.bc'
target endian = little

4
test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
%G = internal constant [2 x int*(int*)*] [
int*(int*)* %callee1, int*(int*)* %callee2

2
test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
View File

@ -4,7 +4,7 @@
; -- latter should remain unresolved in main() and copied to GG
; -- globals in GG pointed to by latter should be marked I, but not other nodes
;
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
%Z = internal global int 0
%X = internal global int 0

2
test/Regression/Analysis/DSGraph/HardBUCase.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -budatastructure -dont-print-ds
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -budatastructure -dont-print-ds
%MidFnTy = type void (\2*)

2
test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
View File

@ -1,6 +1,6 @@
; Test to check for support for "physical subtyping"
;
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
;
%S = type { int }
%T = type { int, float, double }

2
test/Regression/Analysis/DSGraph/SCCSimpleExample.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-abort-if-merged=Y,BVal
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-abort-if-merged=Y,BVal
implementation

2
test/Regression/Analysis/DSGraph/buglobals.ll
View File

@ -1,7 +1,7 @@
; This tests to make sure that G ends up in the globals graph of the BU pass.
; If it is not, then %G will get converted to a 'constant' from a 'global'
;
; RUN: llvm-as < %s | opt -ds-opt -globaldce | llvm-dis | grep %G
; RUN: llvm-upgrade < %s | llvm-as | opt -ds-opt -globaldce | llvm-dis | grep %G
%G = internal global int 0 ; <int*> [#uses=2]

2
test/Regression/Analysis/DSGraph/constant_globals.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
; Constant globals should not mark stuff incomplete. This should allow the
; bu pass to resolve the indirect call immediately in "test", allowing %A to
; be marked complete and the store to happen.

2
test/Regression/Analysis/DSGraph/constantize.ll
View File

@ -1,6 +1,6 @@
; Make sure that the ds-opt pass is constantizing globals
;
; RUN: llvm-as < %s | opt -ds-opt | llvm-dis | grep %G | grep constant
; RUN: llvm-upgrade < %s | llvm-as | opt -ds-opt | llvm-dis | grep %G | grep constant
%G = internal global int 0 ; <int*> [#uses=2]

2
test/Regression/Analysis/DSGraph/field-sensitive.ll
View File

@ -1,5 +1,5 @@
; Test that ds-aa can be used for queries that require field sensitive AA.
; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
%Pair = type { int, int }

2
test/Regression/Analysis/DSGraph/gcsetest.ll
View File

@ -1,7 +1,7 @@
; Test that GCSE uses ds-aa to do alias analysis, which is capable of
; disambiguating some cases.
; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse -instcombine -dce | llvm-dis | not grep ELIM
; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse -instcombine -dce | llvm-dis | not grep ELIM
%intpair = type {int*, int*}
implementation

2
test/Regression/Analysis/DSGraph/incompletenode.ll
View File

@ -1,7 +1,7 @@
; This test was failing because the globals X and Y are marked incomplete
; in the TD graph for %test
; XFAIL: *
; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep seteq
; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep seteq
%X = internal global int 20
%Y = internal global int* null

2
test/Regression/Analysis/DSGraph/mustalias.ll
View File

@ -1,6 +1,6 @@
; Test that ds-aa is returning must-alias information when it can.
; XFAIL: *
; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
%X = internal global int 20

2
test/Regression/Analysis/DSGraph/strcpy.ll
View File

@ -3,7 +3,7 @@
; has no defined way to check for this, so DSA can know that strcpy doesn't
; require merging the input arguments.
; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
implementation

2
test/Regression/Analysis/Dominators/2003-05-12-UnreachableCode.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -domset -disable-verify
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -domset -disable-verify
;
int %re_match_2() {
ENTRY:

2
test/Regression/Analysis/Dominators/2006-09-26-PostDominanceFrontier.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -analyze -postdomfrontier -disable-verify
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -postdomfrontier -disable-verify
;
; ModuleID = '2006-09-26-PostDominanceFrontier.bc'
target endian = little

2
test/Regression/Analysis/Dominators/2006-10-02-BreakCritEdges.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -domtree -break-crit-edges -analyze -domtree | grep '3.*%brtrue$'
; RUN: llvm-upgrade < %s | llvm-as | opt -domtree -break-crit-edges -analyze -domtree | grep '3.*%brtrue$'
; PR932
implementation ; Functions:

2
test/Regression/Analysis/GlobalsModRef/aliastest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
%X = internal global int 4
int %test(int *%P) {

2
test/Regression/Analysis/GlobalsModRef/chaining-analysis.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
; This test requires the use of previous analyses to determine that
; doesnotmodX does not modify X (because 'sin' doesn't).

2
test/Regression/Analysis/GlobalsModRef/indirect-global.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret int 0'
; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | grep 'ret int 0'
%G = internal global int* null
implementation

2
test/Regression/Analysis/GlobalsModRef/modreftest.ll
View File

@ -1,4 +1,4 @@
; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
%X = internal global int 4
int %test(int *%P) {

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