Mercurial > hg > CbC > CbC_llvm
diff test/Analysis/BasicAA/2003-09-19-LocalArgument.ll @ 0:95c75e76d11b LLVM3.4
LLVM 3.4
| author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 12 Dec 2013 13:56:28 +0900 |
| parents | |
| children | afa8332a0e37 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll Thu Dec 12 13:56:28 2013 +0900 @@ -0,0 +1,15 @@ +; In this test, a local alloca cannot alias an incoming argument. + +; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s + +; CHECK: define i32 @test +; CHECK-NEXT: ret i32 0 + +define i32 @test(i32* %P) { + %X = alloca i32 + %V1 = load i32* %P + store i32 0, i32* %X + %V2 = load i32* %P + %Diff = sub i32 %V1, %V2 + ret i32 %Diff +}