RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-11-29 22:50:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

New testcase that tests for array pointer analysis type stuff

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3615 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-09-08 18:08:36 +00:00
parent 72846c2dcd
commit e4f318c7fc
2 changed files with 84 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
test/Analysis/BasicAA/featuretest.ll Normal file
View File

@ -0,0 +1,42 @@
; This testcase tests for various features the basicaa test should be able to
; determine, as noted in the comments.
; RUN: if as < %s | opt -basicaa -load-vn -gcse -instcombine -dce | dis | grep REMOVE
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi
; Array test: Test that operations on one local array do not invalidate
; operations on another array. Important for scientific codes.
;
int %different_array_test(uint %A, uint %B) {
%Array1 = alloca int, uint 100
%Array2 = alloca int, uint 200
%pointer = getelementptr int* %Array1, uint %A
%val = load int* %pointer
%pointer2 = getelementptr int* %Array2, uint %B
store int 7, int* %pointer2
%REMOVE = load int* %pointer ; redundant with above load
%retval = sub int %REMOVE, %val
ret int %retval
}
; Constant index test: Constant indexes into the same array should not
; interfere with each other. Again, important for scientific codes.
;
int %constant_array_index_test() {
%Array = alloca int, uint 100
%P1 = getelementptr int* %Array, uint 7
%P2 = getelementptr int* %Array, uint 6
%A = load int* %P1
store int 1, int* %P2 ; Should not invalidate load
%BREMOVE = load int* %P1
%Val = sub int %A, %BREMOVE
ret int %Val
}

42
test/Transforms/BasicAA/featuretest.ll Normal file
View File

@ -0,0 +1,42 @@
; This testcase tests for various features the basicaa test should be able to
; determine, as noted in the comments.
; RUN: if as < %s | opt -basicaa -load-vn -gcse -instcombine -dce | dis | grep REMOVE
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi
; Array test: Test that operations on one local array do not invalidate
; operations on another array. Important for scientific codes.
;
int %different_array_test(uint %A, uint %B) {
%Array1 = alloca int, uint 100
%Array2 = alloca int, uint 200
%pointer = getelementptr int* %Array1, uint %A
%val = load int* %pointer
%pointer2 = getelementptr int* %Array2, uint %B
store int 7, int* %pointer2
%REMOVE = load int* %pointer ; redundant with above load
%retval = sub int %REMOVE, %val
ret int %retval
}
; Constant index test: Constant indexes into the same array should not
; interfere with each other. Again, important for scientific codes.
;
int %constant_array_index_test() {
%Array = alloca int, uint 100
%P1 = getelementptr int* %Array, uint 7
%P2 = getelementptr int* %Array, uint 6
%A = load int* %P1
store int 1, int* %P2 ; Should not invalidate load
%BREMOVE = load int* %P1
%Val = sub int %A, %BREMOVE
ret int %Val
}