diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2008-03-18 22:22:53 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2008-03-18 22:22:53 +0000 |
| commit | d3bf1aef3f1bfba362b71e72f416100a82d5b5db (patch) | |
| tree | 0a360bf443468fe25d7ae978c54a30d5e58a640b /test/Analysis/Andersens | |
| parent | 856ce2da14df1ab3a2375ecc93650757366d7a9f (diff) | |
| download | external_llvm-d3bf1aef3f1bfba362b71e72f416100a82d5b5db.zip external_llvm-d3bf1aef3f1bfba362b71e72f416100a82d5b5db.tar.gz external_llvm-d3bf1aef3f1bfba362b71e72f416100a82d5b5db.tar.bz2 | |
Fix PR 2160 by making sure arguments to external functions get marked as pointing to anything
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48509 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/Andersens')
| -rw-r--r-- | test/Analysis/Andersens/modreftest2.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Analysis/Andersens/modreftest2.ll b/test/Analysis/Andersens/modreftest2.ll new file mode 100644 index 0000000..2bb2167 --- /dev/null +++ b/test/Analysis/Andersens/modreftest2.ll @@ -0,0 +1,14 @@ +; RUN: llvm-as < %s | opt -anders-aa -gvn | llvm-dis \ +; RUN: | not grep {ret i32 undef} + +;; From PR 2160 +declare void @f(i32*) + +define i32 @g() { +entry: + %tmp = alloca i32 ; <i32*> [#uses=2] + call void @f( i32* %tmp ) + %tmp2 = load i32* %tmp ; <i32> [#uses=1] + ret i32 %tmp2 +} + |