1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
// RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-freebsd -fobjc-arc -S -emit-llvm -fobjc-runtime=gnustep-2.0 -o - %s | FileCheck %s
typedef struct {
int x[12];
} Big;
@protocol P
- (Big) foo;
- (Big) fooConsuming: (__attribute__((ns_consumed)) id) arg;
- (_Complex float) complex;
@end
@interface SuperClass
- (Big) foo;
@end
@implementation TestClass : SuperClass
// Check that we don't do a nil check when messaging self in ARC
// (which forbids reassigning self)
// CHECK-LABEL: define{{.*}} void @_i_TestClass__test_self_send(
// CHECK-NOT: icmp
// CHECK: @objc_msg_lookup_sender
- (void) test_self_send {
Big big = [self foo];
}
// Check that we don't do a nil test when messaging super.
// CHECK-LABEL: define{{.*}} void @_i_TestClass__test_super_send(
// CHECK-NOT: icmp
// CHECK: @objc_msg_lookup_super
- (void) test_super_send {
Big big = [super foo];
}
@end
// CHECK-LABEL: define{{.*}} void @test_loop_zeroing(
// CHECK: [[P:%.*]] = alloca i8*,
// CHECK: [[BIG:%.*]] = alloca %struct.Big,
// CHECK: br label %for.cond
//
// CHECK: for.cond:
// CHECK-NEXT: [[RECEIVER:%.*]] = load i8*, i8** [[P]],
// CHECK-NEXT: [[ISNIL:%.*]] = icmp eq i8* [[RECEIVER]], null
// CHECK-NEXT: br i1 [[ISNIL]], label %nilReceiverCleanup, label %msgSend
//
// CHECK: msgSend:
// CHECK: @objc_msg_lookup_sender
// CHECK: call void {{%.*}}({{.*}} [[BIG]],
// CHECK: br label %continue
//
// CHECK: nilReceiverCleanup:
// CHECK-NEXT: [[T0:%.*]] = bitcast %struct.Big* [[BIG]] to i8*
// CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 4 [[T0]], i8 0, i64 48, i1 false)
// CHECK-NEXT: br label %continue
//
// CHECK: continue:
// CHECK-NEXT: br label %for.cond
void test_loop_zeroing(id<P> p) {
for (;;) {
Big big = [p foo];
}
}
// CHECK-LABEL: define{{.*}} void @test_zeroing_and_consume(
// CHECK: [[P:%.*]] = alloca i8*,
// CHECK: [[Q:%.*]] = alloca i8*,
// CHECK: [[BIG:%.*]] = alloca %struct.Big,
// CHECK: br label %for.cond
//
// CHECK: for.cond:
// CHECK-NEXT: [[RECEIVER:%.*]] = load i8*, i8** [[P]],
// CHECK-NEXT: [[Q_LOAD:%.*]] = load i8*, i8** [[Q]],
// CHECK-NEXT: [[Q_RETAIN:%.*]] = call i8* @llvm.objc.retain(i8* [[Q_LOAD]])
// CHECK-NEXT: [[ISNIL:%.*]] = icmp eq i8* [[RECEIVER]], null
// CHECK-NEXT: br i1 [[ISNIL]], label %nilReceiverCleanup, label %msgSend
//
// CHECK: msgSend:
// CHECK: @objc_msg_lookup_sender
// CHECK: call void {{%.*}}({{.*}} [[BIG]],
// CHECK: br label %continue
//
// CHECK: nilReceiverCleanup:
// CHECK-NEXT: call void @llvm.objc.release(i8* [[Q_RETAIN]])
// CHECK-NEXT: [[T0:%.*]] = bitcast %struct.Big* [[BIG]] to i8*
// CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 4 [[T0]], i8 0, i64 48, i1 false)
// CHECK-NEXT: br label %continue
//
// CHECK: continue:
// CHECK-NEXT: br label %for.cond
void test_zeroing_and_consume(id<P> p, id q) {
for (;;) {
Big big = [p fooConsuming: q];
}
}
// CHECK-LABEL: define{{.*}} void @test_complex(
// CHECK: [[P:%.*]] = alloca i8*,
// CHECK: [[RECEIVER:%.*]] = load i8*, i8** [[P]],
// CHECK-NEXT: [[ISNIL:%.*]] = icmp eq i8* [[RECEIVER]], null
// CHECK-NEXT: br i1 [[ISNIL]], label %continue, label %msgSend
// CHECK: msgSend:
// CHECK: @objc_msg_lookup_sender
// CHECK: br label %continue
// CHECK: continue:
// CHECK-NEXT: phi float
// CHECK-NEXT: phi float
void test_complex(id<P> p) {
_Complex float f = [p complex];
}
|
