]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - test/CodeGenObjC/arc-linetable.m
Vendor import of clang tags/RELEASE_33/final r183502 (effectively, 3.3
[FreeBSD/FreeBSD.git] / test / CodeGenObjC / arc-linetable.m
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
98 int main(int argc, const char** argv) {
99   AppDelegate *o = [[AppDelegate alloc] init];
100   return [o testMultiline :@"foo"];
101 }