projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
FileCheck-ize these tests. Harden some of them.
[oota-llvm.git]
/
test
/
Analysis
/
BasicAA
/
2003-09-19-LocalArgument.ll
1
; In this test, a local alloca cannot alias an incoming argument.
2
3
; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
4
5
; CHECK: define i32 @test
6
; CHECK-NEXT: ret i32 0
7
8
define i32 @test(i32* %P) {
9
%X = alloca i32
10
%V1 = load i32* %P
11
store i32 0, i32* %X
12
%V2 = load i32* %P
13
%Diff = sub i32 %V1, %V2
14
ret i32 %Diff
15
}