aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/BasicAA/gcsetest.ll
blob: f6f7db933d39213e074024465b50294fdd4c372d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
}