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 | b3b0fd287826723dd85014b8ce244fd516af4e81 (patch) | |
| tree | 91df0dd3fb52d3cb9660354dd9caf6b221e3abef /test/Analysis/BasicAA | |
| parent | 3a2f507046964a22a7ca8d744a2e3bb2bebf9bf9 (diff) | |
| download | external_llvm-b3b0fd287826723dd85014b8ce244fd516af4e81.zip external_llvm-b3b0fd287826723dd85014b8ce244fd516af4e81.tar.gz external_llvm-b3b0fd287826723dd85014b8ce244fd516af4e81.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 +} |