| 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-MRC |
|---|
| 2 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-ARC |
|---|
| 3 | |
|---|
| 4 | __attribute__((objc_root_class)) |
|---|
| 5 | @interface Root |
|---|
| 6 | - (instancetype) init; |
|---|
| 7 | @end |
|---|
| 8 | |
|---|
| 9 | @interface Base : Root |
|---|
| 10 | @end |
|---|
| 11 | |
|---|
| 12 | @interface Middle : Base |
|---|
| 13 | + (void) abort __attribute__((noreturn)); |
|---|
| 14 | - (void) fail __attribute__((noreturn)); |
|---|
| 15 | @end |
|---|
| 16 | |
|---|
| 17 | @interface Derived : Middle |
|---|
| 18 | @end |
|---|
| 19 | |
|---|
| 20 | // An arbitrary instance pointer may be null. |
|---|
| 21 | void testInstanceMethod(Derived *x) { |
|---|
| 22 | [x fail]; |
|---|
| 23 | } |
|---|
| 24 | // CHECK-LABEL: @testInstanceMethod |
|---|
| 25 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}){{$}} |
|---|
| 26 | |
|---|
| 27 | // A direct call of a class method will normally never have a null receiver. |
|---|
| 28 | void testClassMethod() { |
|---|
| 29 | [Derived abort]; |
|---|
| 30 | } |
|---|
| 31 | // CHECK-LABEL: @testClassMethod |
|---|
| 32 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}) [[NORETURN:#[0-9]+]] |
|---|
| 33 | |
|---|
| 34 | __attribute__((weak_import)) |
|---|
| 35 | @interface WeakMiddle : Base |
|---|
| 36 | @end |
|---|
| 37 | |
|---|
| 38 | @interface WeakDerived : WeakMiddle |
|---|
| 39 | + (void) abort __attribute__((noreturn)); |
|---|
| 40 | @end |
|---|
| 41 | |
|---|
| 42 | // The class pointer of a weakly-imported class may be null. |
|---|
| 43 | void testWeakImport() { |
|---|
| 44 | [WeakDerived abort]; |
|---|
| 45 | } |
|---|
| 46 | // CHECK-LABEL: @testWeakImport |
|---|
| 47 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}){{$}} |
|---|
| 48 | |
|---|
| 49 | @interface Derived (MyMethods) |
|---|
| 50 | @end |
|---|
| 51 | |
|---|
| 52 | @implementation Derived (MyMethods) |
|---|
| 53 | |
|---|
| 54 | // In general, self can be reassigned, so we can't make stronger assumptions. |
|---|
| 55 | // But ARC makes self const in an ordinary method. |
|---|
| 56 | // TODO: do the analysis to take advantage of the dominant case where |
|---|
| 57 | // self is not reassigned. |
|---|
| 58 | - (void) testSelfInstanceMethod { |
|---|
| 59 | [self fail]; |
|---|
| 60 | } |
|---|
| 61 | // CHECK-LABEL: [Derived(MyMethods) testSelfInstanceMethod] |
|---|
| 62 | // CHECK-MRC: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}){{$}} |
|---|
| 63 | // CHECK-ARC: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}) [[NORETURN]] |
|---|
| 64 | |
|---|
| 65 | // The ARC rule doesn't apply in -init methods. |
|---|
| 66 | - (id) initWhileTestingSelfInstanceMethod { |
|---|
| 67 | self = [super init]; |
|---|
| 68 | [self fail]; |
|---|
| 69 | return self; |
|---|
| 70 | } |
|---|
| 71 | // CHECK-LABEL: [Derived(MyMethods) initWhileTestingSelfInstanceMethod] |
|---|
| 72 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}){{$}} |
|---|
| 73 | |
|---|
| 74 | // Same thing applies to class methods. |
|---|
| 75 | + (void) testSelfClassMethod { |
|---|
| 76 | [self abort]; |
|---|
| 77 | } |
|---|
| 78 | // CHECK-LABEL: [Derived(MyMethods) testSelfClassMethod] |
|---|
| 79 | // CHECK-MRC: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}){{$}} |
|---|
| 80 | // CHECK-ARC: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*)*)(i8* {{.*}}, i8* {{.*}}) [[NORETURN]] |
|---|
| 81 | |
|---|
| 82 | // Super invocations may never be used with a null pointer; this is a |
|---|
| 83 | // constraint on user code when it isn't enforced by the ARC const-self |
|---|
| 84 | // rule. |
|---|
| 85 | - (void) testSuperInstanceMethod { |
|---|
| 86 | [super fail]; |
|---|
| 87 | } |
|---|
| 88 | // CHECK-LABEL: [Derived(MyMethods) testSuperInstanceMethod] |
|---|
| 89 | // CHECK: call void bitcast (i8* ([[SUPER_T:%.*]]*, i8*, ...)* @objc_msgSendSuper2 to void ([[SUPER_T]]*, i8*)*)([[SUPER_T]]* {{.*}}, i8* {{.*}}) [[NORETURN]] |
|---|
| 90 | |
|---|
| 91 | + (void) testSuperClassMethod { |
|---|
| 92 | [super abort]; |
|---|
| 93 | } |
|---|
| 94 | // CHECK-LABEL: [Derived(MyMethods) testSuperClassMethod] |
|---|
| 95 | // CHECK: call void bitcast (i8* ([[SUPER_T]]*, i8*, ...)* @objc_msgSendSuper2 to void ([[SUPER_T]]*, i8*)*)([[SUPER_T]]* {{.*}}, i8* {{.*}}) [[NORETURN]] |
|---|
| 96 | @end |
|---|
| 97 | |
|---|
| 98 | // CHECK: attributes [[NORETURN]] = { noreturn } |
|---|
| 99 | |
|---|