1// RUN: %clang_cc1 -emit-llvm -fblocks -fobjc-arc -g -triple x86_64-apple-darwin10 %s -o - | FileCheck %s
2
3// Legend: EXP = Return expression, RET = ret instruction
4
5// CHECK: define {{.*}}testNoSideEffect
6// CHECK: call void @objc_storeStrong{{.*}}
7// CHECK: call void @objc_storeStrong{{.*}} !dbg ![[ARC1:[0-9]+]]
8// CHECK: ret {{.*}} !dbg ![[RET1:[0-9]+]]
9
10// CHECK: define {{.*}}testNoCleanup
11// CHECK: ret {{.*}} !dbg ![[RET2:[0-9]+]]
12
13// CHECK: define {{.*}}testSideEffect
14// CHECK: @objc_msgSend{{.*}} !dbg ![[MSG3:[0-9]+]]
15// CHECK: ret {{.*}} !dbg ![[RET3:[0-9]+]]
16
17// CHECK: define {{.*}}testMultiline
18// CHECK: @objc_msgSend{{.*}} !dbg ![[MSG4:[0-9]+]]
19// CHECK: load{{.*}} !dbg ![[EXP4:[0-9]+]]
20// CHECK: ret {{.*}} !dbg ![[RET4:[0-9]+]]
21
22// CHECK: define {{.*}}testVoid
23// CHECK: call void @objc_storeStrong{{.*}}
24// CHECK: call void @objc_storeStrong{{.*}} !dbg ![[ARC5:[0-9]+]]
25// CHECK: ret {{.*}} !dbg ![[RET5:[0-9]+]]
26
27// CHECK: define {{.*}}testVoidNoReturn
28// CHECK: @objc_msgSend{{.*}} !dbg ![[MSG6:[0-9]+]]
29// CHECK: ret {{.*}} !dbg ![[RET6:[0-9]+]]
30
31// CHECK: define {{.*}}testNoCleanupSideEffect
32// CHECK: @objc_msgSend{{.*}} !dbg ![[MSG7:[0-9]+]]
33// CHECK: ret {{.*}} !dbg ![[RET7:[0-9]+]]
34
35
36@interface NSObject
37+ (id)alloc;
38- (id)init;
39- (id)retain;
40@end
41
42@class NSString;
43
44@interface AppDelegate : NSObject
45
46@end
47
48@implementation AppDelegate : NSObject
49
50- (int)testNoSideEffect:(NSString *)foo {
51  // CHECK: ![[ARC1]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
52  return 1; // Return expression
53  // CHECK: ![[RET1]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
54}           // Cleanup + Ret
55
56- (int)testNoCleanup {
57  // CHECK: ![[RET2]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
58  return 1;
59}
60
61- (int)testSideEffect:(NSString *)foo {
62  // CHECK: ![[MSG3]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
63  return [self testNoSideEffect :foo];
64  // CHECK: ![[RET3]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
65}
66
67- (int)testMultiline:(NSString *)foo {
68  // CHECK: ![[MSG4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
69  int r = [self testSideEffect :foo];
70  // CHECK: ![[EXP4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
71  return r;
72  // CHECK: ![[RET4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
73}
74
75- (void)testVoid:(NSString *)foo {
76  // CHECK: ![[ARC5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
77  return;
78  // CHECK: ![[RET5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
79}
80
81- (void)testVoidNoReturn:(NSString *)foo {
82  // CHECK: ![[MSG6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
83  [self testVoid :foo];
84  // CHECK: ![[RET6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
85}
86
87- (int)testNoCleanupSideEffect {
88  // CHECK: ![[MSG7]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
89  [self testVoid :@"foo"];
90  // CHECK: ![[RET7]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
91  return 1;
92}
93
94
95@end
96
97
98int main(int argc, const char** argv) {
99  AppDelegate *o = [[AppDelegate alloc] init];
100  return [o testMultiline :@"foo"];
101}
102