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// CHECK: define {{.*}}testCleanupVoid
36// CHECK: icmp ne {{.*}}!dbg ![[SKIP1:[0-9]+]]
37// CHECK: store i32 0, i32* {{.*}}, !dbg ![[RET8:[0-9]+]]
38// CHECK: @objc_storeStrong{{.*}}, !dbg ![[ARC8:[0-9]+]]
39// CHECK: ret {{.*}} !dbg ![[RET8]]
40
41typedef signed char BOOL;
42
43@interface NSObject
44+ (id)alloc;
45- (id)init;
46- (id)retain;
47@end
48
49@class NSString;
50
51@interface AppDelegate : NSObject
52
53@end
54
55@implementation AppDelegate : NSObject
56
57// CHECK: ![[TESTNOSIDEEFFECT:.*]] = {{.*}}[ DW_TAG_subprogram ] [line [[@LINE+1]]] [local] [def] [-[AppDelegate testNoSideEffect:]]
58- (int)testNoSideEffect:(NSString *)foo {
59  int x = 1;
60  // CHECK: ![[ARC1]] = metadata !{i32 [[@LINE+1]], i32 0, metadata ![[TESTNOSIDEEFFECT]], null}
61  return 1; // Return expression
62  // CHECK: ![[RET1]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
63}           // Cleanup + Ret
64
65- (int)testNoCleanup {
66  // CHECK: ![[RET2]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
67  return 1;
68}
69
70- (int)testSideEffect:(NSString *)foo {
71  // CHECK: ![[MSG3]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
72  return [self testNoSideEffect :foo];
73  // CHECK: ![[RET3]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
74}
75
76- (int)testMultiline:(NSString *)foo {
77  // CHECK: ![[MSG4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
78  int r = [self testSideEffect :foo];
79  // CHECK: ![[EXP4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
80  return r;
81  // CHECK: ![[RET4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
82}
83
84- (void)testVoid:(NSString *)foo {
85  // CHECK: ![[ARC5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
86  return;
87  // CHECK: ![[RET5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
88}
89
90- (void)testVoidNoReturn:(NSString *)foo {
91  // CHECK: ![[MSG6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
92  [self testVoid :foo];
93  // CHECK: ![[RET6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
94}
95
96- (int)testNoCleanupSideEffect {
97  // CHECK: ![[MSG7]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
98  [self testVoid :@"foo"];
99  // CHECK: ![[RET7]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
100  return 1;
101}
102
103- (void)testCleanupVoid:(BOOL)skip withDelegate: (AppDelegate *) delegate {
104  static BOOL skip_all;
105  // CHECK: ![[SKIP1]] = metadata !{i32 [[@LINE+1]], i32 0,
106  if (!skip_all) {
107    if (!skip) {
108      return;
109    }
110    NSString *s = @"bar";
111    if (!skip) {
112      [delegate testVoid :s];
113    }
114  }
115  // CHECK: ![[RET8]] = metadata !{i32 [[@LINE+2]], i32 0,
116  // CHECK: ![[ARC8]] = metadata !{i32 [[@LINE+1]], i32 0,
117}
118
119
120@end
121
122
123int main(int argc, const char** argv) {
124  AppDelegate *o = [[AppDelegate alloc] init];
125  return [o testMultiline :@"foo"];
126}
127