diff options
| author | Duncan Sands <baldrick@free.fr> | 2008-09-19 09:20:05 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2008-09-19 09:20:05 +0000 |
| commit | a01febbcc0c93796b2fd8562de0f53586e908ec8 (patch) | |
| tree | 2d05c57adb73849d607fe3f5d5aba16f6f850d53 | |
| parent | 0cb5b37de9002a644f73531dbfec8b4665976bcf (diff) | |
Add test for improvement of readonly to readnone,
and non-demotion of readnone to readonly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56344 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll b/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll index 3271902004..3c7b32d9d4 100644 --- a/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll +++ b/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll @@ -1,9 +1,18 @@ -; RUN: llvm-as < %s | opt -addreadattrs | llvm-dis | grep readnone | count 2 +; RUN: llvm-as < %s | opt -addreadattrs | llvm-dis | grep readnone | count 4 +@x = global i32 0 + +declare i32 @e() readnone define i32 @f() { -entry: %tmp = call i32 @e( ) ; <i32> [#uses=1] ret i32 %tmp } -declare i32 @e() readnone +define i32 @g() readonly { + ret i32 0 +} + +define i32 @h() readnone { + %tmp = load i32* @x ; <i32> [#uses=1] + ret i32 %tmp +} |