blob: e0523f4cf4d1e0abed786f82c54d259d70c7b651 (
plain)
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
|
// RUN: %clang_cc1 -fno-rtti -emit-llvm %s -o - -mconstructor-aliases -triple=i386-pc-win32 | FileCheck %s
// RUN: %clang_cc1 -fno-rtti -emit-llvm %s -o - -mconstructor-aliases -triple=i386-pc-win32 -fno-delete-null-pointer-checks | FileCheck %s
struct Left {
virtual void left();
};
struct Right {
virtual void right();
};
struct ChildNoOverride : Left, Right {
};
struct ChildOverride : Left, Right {
virtual void left();
virtual void right();
};
extern "C" void foo(void *);
void call_left_no_override(ChildNoOverride *child) {
// CHECK: %[[CHILD:.*]] = load ptr
child->left();
}
void ChildOverride::left() {}
void call_right_no_override(ChildNoOverride *child) {
child->right();
// When calling a right base's virtual method, one needs to adjust `this` at the caller site.
//
// CHECK: %[[RIGHT_i8:.*]] = getelementptr inbounds i8, ptr %[[CHILD]], i32 4
//
// CHECK: %[[VFTABLE:.*]] = load ptr, ptr %[[RIGHT_i8]]
// CHECK: %[[VFUN:.*]] = getelementptr inbounds ptr, ptr %[[VFTABLE]], i64 0
}
void ChildOverride::right() {
foo(this);
}
void call_right_override(ChildOverride *child) {
child->right();
// Ensure that `nonnull` and `dereferenceable(N)` are not emitted whether or not null is valid
//
// CHECK: %[[RIGHT:.*]] = getelementptr inbounds i8, ptr %[[CHILD]], i32 4
// CHECK: %[[VFUN_VALUE:.*]] = load ptr, ptr %[[VFUN]]
// CHECK: call x86_thiscallcc void %[[VFUN_VALUE]](ptr noundef %[[RIGHT]])
}
|
