Fix a README item: have functionattrs look through selects and

[oota-llvm.git] / test / Transforms / FunctionAttrs / 2008-10-04-LocalMemory.ll

diff --git a/test/Transforms/FunctionAttrs/2008-10-04-LocalMemory.ll b/test/Transforms/FunctionAttrs/2008-10-04-LocalMemory.ll
index 460780d8ea56fd8fb22a280d4446cc925ce57660..c6c2e13e33e12c3e24f1d578426a6cd4a7236ec2 100644 (file)
--- a/test/Transforms/FunctionAttrs/2008-10-04-LocalMemory.ll
+++ b/test/Transforms/FunctionAttrs/2008-10-04-LocalMemory.ll
@@ -1,10 +1,11 @@
-; RUN: opt < %s -functionattrs -S | grep readonly | count 3
+; RUN: opt < %s -functionattrs -S | FileCheck %s

 
 %struct.X = type { i32*, i32* }
 
 
 %struct.X = type { i32*, i32* }
 

-declare i32 @g(i32*) readonly
+declare i32 @g(i32*) readnone

 
 define i32 @f() {
 
 define i32 @f() {

+; CHECK: @f() readnone

        %x = alloca i32         ; <i32*> [#uses=2]
        store i32 0, i32* %x
        %y = call i32 @g(i32* %x)               ; <i32> [#uses=1]
        %x = alloca i32         ; <i32*> [#uses=2]
        store i32 0, i32* %x
        %y = call i32 @g(i32* %x)               ; <i32> [#uses=1]


@@ -12,6 +13,7 @@ define i32 @f() {
 }
 
 define i32 @foo() nounwind {
 }
 
 define i32 @foo() nounwind {

+; CHECK: @foo() nounwind readonly

 entry:
   %y = alloca %struct.X                           ; <%struct.X*> [#uses=2]
   %x = alloca %struct.X                           ; <%struct.X*> [#uses=2]
 entry:
   %y = alloca %struct.X                           ; <%struct.X*> [#uses=2]
   %x = alloca %struct.X                           ; <%struct.X*> [#uses=2]


@@ -36,4 +38,27 @@ return:                                           ; preds = %entry
   ret i32 %4
 }
 
   ret i32 %4
 }
 

+define i32 @t(i32 %a, i32 %b, i32 %c) nounwind {
+; CHECK: @t(i32 %a, i32 %b, i32 %c) nounwind readnone
+entry:
+  %a.addr = alloca i32                            ; <i32*> [#uses=3]
+  %c.addr = alloca i32                            ; <i32*> [#uses=2]
+  store i32 %a, i32* %a.addr
+  store i32 %c, i32* %c.addr
+  %tmp = load i32* %a.addr                        ; <i32> [#uses=1]
+  %tobool = icmp ne i32 %tmp, 0                   ; <i1> [#uses=1]
+  br i1 %tobool, label %if.then, label %if.else
+
+if.then:                                          ; preds = %entry
+  br label %if.end
+
+if.else:                                          ; preds = %entry
+  br label %if.end
+
+if.end:                                           ; preds = %if.else, %if.then
+  %p.0 = phi i32* [ %a.addr, %if.then ], [ %c.addr, %if.else ] ; <i32*> [#uses=1]
+  %tmp2 = load i32* %p.0                          ; <i32> [#uses=1]
+  ret i32 %tmp2
+}
+

 declare void @llvm.memcpy.i64(i8* nocapture, i8* nocapture, i64, i32) nounwind
 declare void @llvm.memcpy.i64(i8* nocapture, i8* nocapture, i64, i32) nounwind