mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-09 04:25:37 +00:00
Initial testcases for basicaa alias analysis
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3462 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
ff9a9e5b13
commit
ac39b4ecab
10
test/Analysis/BasicAA/Makefile
Normal file
10
test/Analysis/BasicAA/Makefile
Normal file
@ -0,0 +1,10 @@
|
||||
|
||||
LEVEL = ../../../..
|
||||
include $(LEVEL)/test/Makefile.tests
|
||||
|
||||
TESTS := $(wildcard *.ll)
|
||||
|
||||
all:: $(addprefix Output/, $(TESTS:%.ll=%.ll.out))
|
||||
|
||||
Output/%.ll.out: %.ll Output/.dir $(LOPT)
|
||||
-$(TESTRUNR) $<
|
23
test/Analysis/BasicAA/gcsetest.ll
Normal file
23
test/Analysis/BasicAA/gcsetest.ll
Normal file
@ -0,0 +1,23 @@
|
||||
; Test that GCSE uses basicaa to do alias analysis, which is capable of
|
||||
; disambiguating some obvious cases. All loads should be removable in
|
||||
; this testcase.
|
||||
|
||||
; RUN: if as < %s | opt -basicaa -gcse -instcombine -dce | dis | grep load
|
||||
; RUN: then exit 1
|
||||
; RUN: else exit 0
|
||||
; RUN: fi
|
||||
|
||||
%A = global int 7
|
||||
%B = global int 8
|
||||
implementation
|
||||
|
||||
int %test() {
|
||||
%A1 = load int* %A
|
||||
|
||||
store int 123, int* %B ; Store cannot alias %A
|
||||
|
||||
%A2 = load int* %A
|
||||
%X = sub int %A1, %A2
|
||||
ret int %X
|
||||
}
|
||||
|
10
test/Transforms/BasicAA/Makefile
Normal file
10
test/Transforms/BasicAA/Makefile
Normal file
@ -0,0 +1,10 @@
|
||||
|
||||
LEVEL = ../../../..
|
||||
include $(LEVEL)/test/Makefile.tests
|
||||
|
||||
TESTS := $(wildcard *.ll)
|
||||
|
||||
all:: $(addprefix Output/, $(TESTS:%.ll=%.ll.out))
|
||||
|
||||
Output/%.ll.out: %.ll Output/.dir $(LOPT)
|
||||
-$(TESTRUNR) $<
|
23
test/Transforms/BasicAA/gcsetest.ll
Normal file
23
test/Transforms/BasicAA/gcsetest.ll
Normal file
@ -0,0 +1,23 @@
|
||||
; Test that GCSE uses basicaa to do alias analysis, which is capable of
|
||||
; disambiguating some obvious cases. All loads should be removable in
|
||||
; this testcase.
|
||||
|
||||
; RUN: if as < %s | opt -basicaa -gcse -instcombine -dce | dis | grep load
|
||||
; RUN: then exit 1
|
||||
; RUN: else exit 0
|
||||
; RUN: fi
|
||||
|
||||
%A = global int 7
|
||||
%B = global int 8
|
||||
implementation
|
||||
|
||||
int %test() {
|
||||
%A1 = load int* %A
|
||||
|
||||
store int 123, int* %B ; Store cannot alias %A
|
||||
|
||||
%A2 = load int* %A
|
||||
%X = sub int %A1, %A2
|
||||
ret int %X
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user