summaryrefslogtreecommitdiff
path: root/test/Analysis/BasicAA/global-size.ll
blob: 5e752494a54dd43cf2965042235a5656255d1075 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
; A store or load cannot alias a global if the accessed amount is larger then
; the global.

; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep load

%B = global short 8

implementation

short %test(int *%P) {
	%X = load short* %B
	store int 7, int* %P
	%Y = load short* %B
	%Z = sub short %Y, %X
	ret short %Z
}