projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Teach basicaa that x|c == x+c when the c bits of x are clear. This
[oota-llvm.git]
/
test
/
Analysis
/
BasicAA
/
2009-03-04-GEPNoalias.ll
1
; RUN: opt < %s -basicaa -gvn -S | grep load
2
3
declare noalias i32* @noalias()
4
5
define i32 @test(i32 %x) {
6
%a = call i32* @noalias()
7
store i32 1, i32* %a
8
%b = getelementptr i32* %a, i32 %x
9
store i32 2, i32* %b
10
11
%c = load i32* %a
12
ret i32 %c
13
}