-
Notifications
You must be signed in to change notification settings - Fork 55
/
downcast.d
78 lines (64 loc) · 3.51 KB
/
downcast.d
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
// RUN: %sdc %s -O2 -S --emit-llvm -o - | FileCheck %s
module downcast;
class A {}
class B : A {}
final class C : B {}
auto downcastToA(Object o) {
return cast(A) o;
// CHECK-LABEL: _D8downcast11downcastToAFMC6object6ObjectZC8downcast1A
// CHECK: [[NULL_CMP:%[a-z0-9\.]+]] = icmp eq ptr %arg.o, null
// CHECK: br i1 [[NULL_CMP]], label %[[EXIT:[A-Za-z0-9\._]+]], label %[[DOWNCAST:[A-Za-z0-9\._]+]]
// CHECK: [[DOWNCAST]]:
// CHECK: [[CLASSINFO:%[a-z0-9\.]+]] = load ptr, ptr %arg.o, align 8
// CHECK: [[DEPTH_ADDR:%[a-z0-9\.]+]] = getelementptr inbounds i8, ptr [[CLASSINFO]], i64 8
// CHECK: [[DEPTH:%[a-z0-9\.]+]] = load i64, ptr [[DEPTH_ADDR]], align 8
// CHECK: [[DEPTH_CMP:%[a-z0-9\.]+]] = icmp eq i64 [[DEPTH]], 0
// CHECK: br i1 [[DEPTH_CMP]], label %[[EXIT]], label %[[CONTINUE:[A-Za-z0-9\._]+]]
// CHECK: [[CONTINUE]]:
// CHECK: [[PRIMARIES_ADDR:%[a-z0-9\.]+]] = getelementptr inbounds i8, ptr [[CLASSINFO]], i64 16
// CHECK: [[PRIMARIES:%[a-z0-9\.]+]] = load ptr, ptr [[PRIMARIES_ADDR]], align 8
// CHECK: [[BASE:%[a-z0-9\.]+]] = load ptr, ptr [[PRIMARIES]], align 8
// CHECK: [[BASE_CMP:%[a-z0-9\.]+]] = icmp eq ptr [[BASE]], @C8downcast1A.vtbl
// CHECK: [[SELECT:%[a-z0-9\.]+]] = select i1 [[BASE_CMP]], ptr %arg.o, ptr null
// CHECK: br label %[[EXIT]]
// CHECK: [[EXIT]]:
// CHECK: [[RET:%[a-z0-9\.]+]] = phi ptr [ null, %entry ], [ null, %[[DOWNCAST]] ], [ [[SELECT]], %[[CONTINUE]] ]
// CHECK: ret ptr [[RET]]
}
auto downcastToB(Object o) {
return cast(B) o;
// CHECK-LABEL: _D8downcast11downcastToBFMC6object6ObjectZC8downcast1B
// CHECK: [[NULL_CMP:%[a-z0-9\.]+]] = icmp eq ptr %arg.o, null
// CHECK: br i1 [[NULL_CMP]], label %[[EXIT:[A-Za-z0-9\._]+]], label %[[DOWNCAST:[A-Za-z0-9\._]+]]
// CHECK: [[DOWNCAST]]:
// CHECK: [[CLASSINFO:%[a-z0-9\.]+]] = load ptr, ptr %arg.o, align 8
// CHECK: [[DEPTH_ADDR:%[a-z0-9\.]+]] = getelementptr inbounds i8, ptr [[CLASSINFO]], i64 8
// CHECK: [[DEPTH:%[a-z0-9\.]+]] = load i64, ptr [[DEPTH_ADDR]], align 8
// CHECK: [[DEPTH_CMP:%[a-z0-9\.]+]] = icmp ugt i64 [[DEPTH]], 1
// CHECK: br i1 [[DEPTH_CMP]], label %[[CONTINUE:[A-Za-z0-9\._]+]], label %[[EXIT]]
// CHECK: [[CONTINUE]]:
// CHECK: [[PRIMARIES_ADDR:%[a-z0-9\.]+]] = getelementptr inbounds i8, ptr [[CLASSINFO]], i64 16
// CHECK: [[PRIMARIES:%[a-z0-9\.]+]] = load ptr, ptr [[PRIMARIES_ADDR]], align 8
// CHECK: [[BASE_ADDR:%[a-z0-9\.]+]] = getelementptr inbounds i8, ptr [[PRIMARIES]], i64 8
// CHECK: [[BASE:%[a-z0-9\.]+]] = load ptr, ptr [[BASE_ADDR]], align 8
// CHECK: [[BASE_CMP:%[a-z0-9\.]+]] = icmp eq ptr [[BASE]], @C8downcast1B.vtbl
// CHECK: [[SELECT:%[a-z0-9\.]+]] = select i1 [[BASE_CMP]], ptr %arg.o, ptr null
// CHECK: br label %[[EXIT]]
// CHECK: [[EXIT]]:
// CHECK: [[RET:%[a-z0-9\.]+]] = phi ptr [ null, %entry ], [ null, %[[DOWNCAST]] ], [ [[SELECT]], %[[CONTINUE]] ]
// CHECK: ret ptr [[RET]]
}
auto downcastToC(Object o) {
return cast(C) o;
// CHECK-LABEL: _D8downcast11downcastToCFMC6object6ObjectZC8downcast1C
// CHECK: [[NULL_CMP:%[a-z0-9\.]+]] = icmp eq ptr %arg.o, null
// CHECK: br i1 [[NULL_CMP]], label %[[EXIT:[A-Za-z0-9\._]+]], label %[[DOWNCAST:[A-Za-z0-9\._]+]]
// CHECK: [[DOWNCAST]]:
// CHECK: [[BASE:%[a-z0-9\.]+]] = load ptr, ptr %arg.o, align 8
// CHECK: [[BASE_CMP:%[a-z0-9\.]+]] = icmp eq ptr [[BASE]], @C8downcast1C.vtbl
// CHECK: [[SELECT:%[a-z0-9\.]+]] = select i1 [[BASE_CMP]], ptr %arg.o, ptr null
// CHECK: br label %[[EXIT]]
// CHECK: [[EXIT]]:
// CHECK: [[RET:%[a-z0-9\.]+]] = phi ptr [ null, %entry ], [ [[SELECT]], %[[DOWNCAST]] ]
// CHECK: ret ptr [[RET]]
}