From a01febbcc0c93796b2fd8562de0f53586e908ec8 Mon Sep 17 00:00:00 2001 From: Duncan Sands Date: Fri, 19 Sep 2008 09:20:05 +0000 Subject: [PATCH] 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 --- .../AddReadAttrs/2008-09-03-ReadNone.ll | 15 ++++++++++++--- 1 file 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 32719020040..3c7b32d9d49 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( ) ; [#uses=1] ret i32 %tmp } -declare i32 @e() readnone +define i32 @g() readonly { + ret i32 0 +} + +define i32 @h() readnone { + %tmp = load i32* @x ; [#uses=1] + ret i32 %tmp +} -- 2.34.1