diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2008-11-24 03:41:24 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2008-11-24 03:41:24 +0000 |
| commit | 02ff308aa1c165d37fcf35f618243180ee68eedd (patch) | |
| tree | 063f9163cfe13c002a1c88b27aad8e4e0f493c4f /test | |
| parent | 9f22a4aaaf2bdde843e0b32f85a1951f12f257d5 (diff) | |
| download | llvm-02ff308aa1c165d37fcf35f618243180ee68eedd.tar.gz llvm-02ff308aa1c165d37fcf35f618243180ee68eedd.tar.bz2 llvm-02ff308aa1c165d37fcf35f618243180ee68eedd.tar.xz | |
Extend the 'noalias' attribute to function return values. This is intended to
indicate functions that allocate, such as operator new, or list::insert. The
actual definition is slightly less strict (for now).
No changes to the bitcode reader/writer, asm printer or verifier were needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59934 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll | 12 | ||||
| -rw-r--r-- | test/Feature/noalias-ret.ll | 6 |
2 files changed, 18 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll b/test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll new file mode 100644 index 0000000000..d2e823ee8a --- /dev/null +++ b/test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | opt -aa-eval |& grep {1 no alias response} + +declare noalias i32* @_Znwj(i32 %x) nounwind + +define i32 @foo() { + %A = call i32* @_Znwj(i32 4) + %B = call i32* @_Znwj(i32 4) + store i32 1, i32* %A + store i32 2, i32* %B + %C = load i32* %A + ret i32 %C +} diff --git a/test/Feature/noalias-ret.ll b/test/Feature/noalias-ret.ll new file mode 100644 index 0000000000..d88452b797 --- /dev/null +++ b/test/Feature/noalias-ret.ll @@ -0,0 +1,6 @@ +; RUN: llvm-as < %s + +define noalias i8* @_Znwj(i32 %x) nounwind { + %A = malloc i8, i32 %x + ret i8* %A +} |