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
This commit is contained in:
Duncan Sands 2008-09-19 09:20:05 +00:00
parent 0cb5b37de9
commit a01febbcc0

View File

@ -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() { define i32 @f() {
entry:
%tmp = call i32 @e( ) ; <i32> [#uses=1] %tmp = call i32 @e( ) ; <i32> [#uses=1]
ret i32 %tmp 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
}