diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2009-10-13 07:48:38 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2009-10-13 07:48:38 +0000 |
| commit | e2782c7614630e2c5eae5677388784f9b2ae8396 (patch) | |
| tree | 18244cb7a6485078574f145e0bf83ecb8769170e /llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll | |
| parent | 3eb172a02b34c4925dae38eb743571ae7d9f257c (diff) | |
| download | bcm5719-llvm-e2782c7614630e2c5eae5677388784f9b2ae8396.tar.gz bcm5719-llvm-e2782c7614630e2c5eae5677388784f9b2ae8396.zip | |
Teach BasicAA a little something about the atomic intrinsics: they can only
modify through the pointer they're given.
llvm-svn: 83959
Diffstat (limited to 'llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll b/llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll new file mode 100644 index 00000000000..3ccbc2f04f3 --- /dev/null +++ b/llvm/test/Analysis/BasicAA/2009-10-13-AtomicModRef.ll @@ -0,0 +1,16 @@ +; RUN: opt -gvn -S < %s | FileCheck %s + +declare i8 @llvm.atomic.load.add.i8.p0i8(i8*, i8) + +define void @foo(i8* %ptr) { + %P = getelementptr i8* %ptr, i32 0 + %Q = getelementptr i8* %ptr, i32 1 +; CHECK: getelementptr + %X = load i8* %P +; CHECK: = load + %Y = call i8 @llvm.atomic.load.add.i8.p0i8(i8* %Q, i8 1) + %Z = load i8* %P +; CHECK-NOT: = load + ret void +; CHECK: ret void +} |
