[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / FunctionAttrs / 2008-09-03-Mutual.ll
blob6bbd99951adfcf0b25fac88f18780807e39ab967
1 ; RUN: opt < %s -functionattrs -S | FileCheck %s
2 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
4 ; CHECK: Function Attrs
5 ; CHECK-SAME: readnone
6 ; CHECK-NEXT: define i32 @a
7 define i32 @a() {
8         %tmp = call i32 @b( )           ; <i32> [#uses=1]
9         ret i32 %tmp
12 ; CHECK: Function Attrs
13 ; CHECK-SAME: readnone
14 ; CHECK-NEXT: define i32 @b
15 define i32 @b() {
16         %tmp = call i32 @a( )           ; <i32> [#uses=1]
17         ret i32 %tmp