Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 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{{.*}} |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 7 | // CHECK: call void @objc_storeStrong{{.*}} !dbg ![[RET1:[0-9]+]] |
| 8 | // CHECK: ret {{.*}} !dbg ![[RET1]] |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 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{{.*}} |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 24 | // CHECK: call void @objc_storeStrong{{.*}} !dbg ![[RET5:[0-9]+]] |
| 25 | // CHECK: ret {{.*}} !dbg ![[RET5]] |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 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 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 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 | |
| 41 | typedef signed char BOOL; |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 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 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 57 | // CHECK: ![[TESTNOSIDEEFFECT:.*]] = !MDSubprogram(name: "-[AppDelegate testNoSideEffect:]" |
| 58 | // CHECK-SAME: line: [[@LINE+2]] |
| 59 | // CHECK-SAME: isLocal: true, isDefinition: true |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 60 | - (int)testNoSideEffect:(NSString *)foo { |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 61 | int x = 1; |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 62 | return 1; // Return expression |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 63 | // CHECK: ![[RET1]] = !MDLocation(line: [[@LINE+1]], scope: ![[TESTNOSIDEEFFECT]]) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 64 | } // Cleanup + Ret |
| 65 | |
| 66 | - (int)testNoCleanup { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 67 | // CHECK: ![[RET2]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 68 | return 1; |
| 69 | } |
| 70 | |
| 71 | - (int)testSideEffect:(NSString *)foo { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 72 | // CHECK: ![[MSG3]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 73 | return [self testNoSideEffect :foo]; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 74 | // CHECK: ![[RET3]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 75 | } |
| 76 | |
| 77 | - (int)testMultiline:(NSString *)foo { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 78 | // CHECK: ![[MSG4]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 79 | int r = [self testSideEffect :foo]; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 80 | // CHECK: ![[EXP4]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 81 | return r; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 82 | // CHECK: ![[RET4]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 83 | } |
| 84 | |
| 85 | - (void)testVoid:(NSString *)foo { |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 86 | return; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 87 | // CHECK: ![[RET5]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | - (void)testVoidNoReturn:(NSString *)foo { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 91 | // CHECK: ![[MSG6]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 92 | [self testVoid :foo]; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 93 | // CHECK: ![[RET6]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | - (int)testNoCleanupSideEffect { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 97 | // CHECK: ![[MSG7]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 98 | [self testVoid :@"foo"]; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 99 | // CHECK: ![[RET7]] = !MDLocation(line: [[@LINE+1]], scope: !{{.*}}) |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 100 | return 1; |
| 101 | } |
| 102 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 103 | - (void)testCleanupVoid:(BOOL)skip withDelegate: (AppDelegate *) delegate { |
| 104 | static BOOL skip_all; |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 105 | // CHECK: ![[SKIP1]] = !MDLocation(line: [[@LINE+1]], scope: |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 106 | if (!skip_all) { |
| 107 | if (!skip) { |
| 108 | return; |
| 109 | } |
| 110 | NSString *s = @"bar"; |
| 111 | if (!skip) { |
| 112 | [delegate testVoid :s]; |
| 113 | } |
| 114 | } |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 115 | // CHECK: ![[RET8]] = !MDLocation(line: [[@LINE+2]], scope: |
| 116 | // CHECK: ![[ARC8]] = !MDLocation(line: [[@LINE+1]], scope: |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 117 | } |
| 118 | |
Adrian Prantl | fa6b079 | 2013-05-02 17:30:20 +0000 | [diff] [blame] | 119 | |
| 120 | @end |
| 121 | |
| 122 | |
| 123 | int main(int argc, const char** argv) { |
| 124 | AppDelegate *o = [[AppDelegate alloc] init]; |
| 125 | return [o testMultiline :@"foo"]; |
| 126 | } |