1 // RUN: %clang_cc1 -emit-llvm -fblocks -fobjc-arc -g -triple x86_64-apple-darwin10 %s -o - | FileCheck %s
3 // Legend: EXP = Return expression, RET = ret instruction
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]+]]
10 // CHECK: define {{.*}}testNoCleanup
11 // CHECK: ret {{.*}} !dbg ![[RET2:[0-9]+]]
13 // CHECK: define {{.*}}testSideEffect
14 // CHECK: @objc_msgSend{{.*}} !dbg ![[MSG3:[0-9]+]]
15 // CHECK: ret {{.*}} !dbg ![[RET3:[0-9]+]]
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]+]]
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]+]]
27 // CHECK: define {{.*}}testVoidNoReturn
28 // CHECK: @objc_msgSend{{.*}} !dbg ![[MSG6:[0-9]+]]
29 // CHECK: ret {{.*}} !dbg ![[RET6:[0-9]+]]
31 // CHECK: define {{.*}}testNoCleanupSideEffect
32 // CHECK: @objc_msgSend{{.*}} !dbg ![[MSG7:[0-9]+]]
33 // CHECK: ret {{.*}} !dbg ![[RET7:[0-9]+]]
44 @interface AppDelegate : NSObject
48 @implementation AppDelegate : NSObject
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}
56 - (int)testNoCleanup {
57 // CHECK: ![[RET2]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
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}
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}
72 // CHECK: ![[RET4]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
75 - (void)testVoid:(NSString *)foo {
76 // CHECK: ![[ARC5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
78 // CHECK: ![[RET5]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
81 - (void)testVoidNoReturn:(NSString *)foo {
82 // CHECK: ![[MSG6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
84 // CHECK: ![[RET6]] = metadata !{i32 [[@LINE+1]], i32 0, metadata !{{.*}}, null}
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}
98 int main(int argc, const char** argv) {
99 AppDelegate *o = [[AppDelegate alloc] init];
100 return [o testMultiline :@"foo"];