diff options
| author | Dan Gohman <gohman@apple.com> | 2010-04-08 18:11:50 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-04-08 18:11:50 +0000 |
| commit | cb45bd9cb33932e79cceaca3ba560182ba329f72 (patch) | |
| tree | 5faac89e2d19bf64e1075591e93e8441eaef5cc4 /llvm/test/Analysis/BasicAA/empty.ll | |
| parent | 590c3524ac0069b02e2ccfca646b1ba20405ec45 (diff) | |
| download | bcm5719-llvm-cb45bd9cb33932e79cceaca3ba560182ba329f72.tar.gz bcm5719-llvm-cb45bd9cb33932e79cceaca3ba560182ba329f72.zip | |
Pointers to zero-sized objects don't point to overlapping objects.
llvm-svn: 100789
Diffstat (limited to 'llvm/test/Analysis/BasicAA/empty.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/empty.ll | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/test/Analysis/BasicAA/empty.ll b/llvm/test/Analysis/BasicAA/empty.ll new file mode 100644 index 00000000000..689efec26ad --- /dev/null +++ b/llvm/test/Analysis/BasicAA/empty.ll @@ -0,0 +1,10 @@ +; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output \ +; RUN: |& grep {NoAlias: \{\}\\* \[%\]p, \{\}\\* \[%\]q} + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" + +define void @foo({}* %p, {}* %q) { + store {} {}, {}* %p + store {} {}, {}* %q + ret void +} |
