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

diff --git a/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll b/test/Transforms/AddReadAttrs/2008-09-03-ReadNone.ll
index 327190200406c6c08690feaa3ad3de92dddb5f95..3c7b32d9d49b50f10b01bd12a4fcde3032babcf6 100644 (file)
--- 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
+}