diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-12-15 18:59:22 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-12-15 18:59:22 +0000 |
| commit | 1314f20283f47ef655b16623ce1e8e7266f8342e (patch) | |
| tree | 91df0dd3fb52d3cb9660354dd9caf6b221e3abef /test/Analysis/BasicAA | |
| parent | 464fc5a04462ad09f98f456e8904683e7c34f60e (diff) | |
| download | external_llvm-1314f20283f47ef655b16623ce1e8e7266f8342e.zip external_llvm-1314f20283f47ef655b16623ce1e8e7266f8342e.tar.gz external_llvm-1314f20283f47ef655b16623ce1e8e7266f8342e.tar.bz2 | |
Teach basicaa to use the nocapture attribute when possible. When the
intrinsics are properly marked nocapture, the fixme should be addressed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61040 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA')
| -rw-r--r-- | test/Analysis/BasicAA/nocapture.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/nocapture.ll b/test/Analysis/BasicAA/nocapture.ll new file mode 100644 index 0000000..aa4c7f1 --- /dev/null +++ b/test/Analysis/BasicAA/nocapture.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as < %s | opt -basicaa -gvn -instcombine | llvm-dis | grep {ret i32 0} + +declare i32* @test(i32* nocapture) + +define i32 @test2() { + %P = alloca i32 + %Q = call i32* @test(i32* %P) + %a = load i32* %P + store i32 4, i32* %Q ;; cannot clobber P since it is nocapture. + %b = load i32* %P + %c = sub i32 %a, %b + ret i32 %c +} |