diff options
Diffstat (limited to 'test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll')
| -rw-r--r-- | test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll b/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll index f38c03ac..0cf1cb7 100644 --- a/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll +++ b/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll @@ -1,14 +1,23 @@ -; RUN: opt < %s -functionattrs -S | not grep "nocapture *%%q" -; RUN: opt < %s -functionattrs -S | grep "nocapture *%%p" +; RUN: opt < %s -functionattrs -S | FileCheck %s +; CHECK: define i32* @a(i32** nocapture readonly %p) define i32* @a(i32** %p) { %tmp = load i32** %p ret i32* %tmp } +; CHECK: define i32* @b(i32* %q) define i32* @b(i32 *%q) { %mem = alloca i32* store i32* %q, i32** %mem %tmp = call i32* @a(i32** %mem) ret i32* %tmp } + +; CHECK: define i32* @c(i32* readnone %r) +@g = global i32 0 +define i32* @c(i32 *%r) { + %a = icmp eq i32* %r, null + store i32 1, i32* @g + ret i32* %r +} |