| ; RUN: opt < %s -functionattrs -S | FileCheck %s | |
| ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s | |
| ; CHECK: Function Attrs | |
| ; CHECK-SAME: readnone | |
| ; CHECK-NEXT: define i32 @a | |
| define i32 @a() { | |
| %tmp = call i32 @b( ) ; <i32> [#uses=1] | |
| ret i32 %tmp | |
| } | |
| ; CHECK: Function Attrs | |
| ; CHECK-SAME: readnone | |
| ; CHECK-NEXT: define i32 @b | |
| define i32 @b() { | |
| %tmp = call i32 @a( ) ; <i32> [#uses=1] | |
| ret i32 %tmp | |
| } |