| // RUN: %clang_cc1 -fno-rtti -emit-llvm %s -o - -mconstructor-aliases -triple=i386-pc-win32 | 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-LABEL: define dso_local void @"?call_left_no_override |
| // CHECK: %[[CHILD:.*]] = load ptr |
| |
| child->left(); |
| // Only need to cast 'this' to Left*. |
| // CHECK: %[[VFTABLE:.*]] = load ptr, ptr %[[CHILD]] |
| // CHECK: %[[VFUN:.*]] = getelementptr inbounds ptr, ptr %[[VFTABLE]], i64 0 |
| // CHECK: %[[VFUN_VALUE:.*]] = load ptr, ptr %[[VFUN]] |
| // CHECK: call x86_thiscallcc void %[[VFUN_VALUE]](ptr {{[^,]*}} %[[CHILD]]) |
| // CHECK: ret |
| } |
| |
| void ChildOverride::left() { |
| // CHECK-LABEL: define dso_local x86_thiscallcc void @"?left@ChildOverride@@UAEXXZ" |
| // CHECK-SAME: (ptr {{[^,]*}} %[[THIS:.*]]) |
| // |
| // No need to adjust 'this' as the ChildOverride's layout begins with Left. |
| // CHECK: %[[THIS_ADDR:.*]] = alloca ptr, align 4 |
| // CHECK: store ptr %[[THIS]], ptr %[[THIS_ADDR]], align 4 |
| |
| foo(this); |
| // CHECK: %[[THIS:.*]] = load ptr, ptr %[[THIS_ADDR]] |
| // CHECK: call void @foo(ptr noundef %[[THIS]]) |
| // CHECK: ret |
| } |
| |
| void call_left_override(ChildOverride *child) { |
| // CHECK-LABEL: define dso_local void @"?call_left_override |
| // CHECK: %[[CHILD:.*]] = load ptr |
| |
| child->left(); |
| // CHECK: %[[VFTABLE:.*]] = load ptr, ptr %[[CHILD]] |
| // CHECK: %[[VFUN:.*]] = getelementptr inbounds ptr, ptr %[[VFTABLE]], i64 0 |
| // CHECK: %[[VFUN_VALUE:.*]] = load ptr, ptr %[[VFUN]] |
| // |
| // CHECK: call x86_thiscallcc void %[[VFUN_VALUE]](ptr {{[^,]*}} %[[CHILD]]) |
| // CHECK: ret |
| } |
| |
| void call_right_no_override(ChildNoOverride *child) { |
| // CHECK-LABEL: define dso_local void @"?call_right_no_override |
| // CHECK: %[[CHILD:.*]] = load ptr |
| |
| 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 |
| // CHECK: %[[VFUN_VALUE:.*]] = load ptr, ptr %[[VFUN]] |
| // CHECK: call x86_thiscallcc void %[[VFUN_VALUE]](ptr {{[^,]*}} %[[RIGHT_i8]]) |
| // CHECK: ret |
| } |
| |
| void ChildOverride::right() { |
| // CHECK-LABEL: define dso_local x86_thiscallcc void @"?right@ChildOverride@@UAEXXZ"(ptr |
| // |
| // ChildOverride::right gets 'this' cast to Right* in ECX (i.e. this+4) so we |
| // need to adjust 'this' before use. |
| // |
| // CHECK: %[[THIS_ADDR:.*]] = alloca ptr, align 4 |
| // CHECK: store ptr %[[ECX:.*]], ptr %[[THIS_ADDR]], align 4 |
| // CHECK: %[[THIS_RELOAD:.*]] = load ptr, ptr %[[THIS_ADDR]] |
| // CHECK: %[[THIS_ADJUSTED:.*]] = getelementptr inbounds i8, ptr %[[THIS_RELOAD]], i32 -4 |
| |
| foo(this); |
| // CHECK: call void @foo(ptr noundef %[[THIS_ADJUSTED]]) |
| // CHECK: ret |
| } |
| |
| void call_right_override(ChildOverride *child) { |
| // CHECK-LABEL: define dso_local void @"?call_right_override |
| // CHECK: %[[CHILD:.*]] = load ptr |
| |
| child->right(); |
| // When calling a right child's virtual method, one needs to adjust 'this' at |
| // the caller site. |
| // |
| // CHECK: %[[RIGHT:.*]] = getelementptr inbounds i8, ptr %[[CHILD]], i32 4 |
| // |
| // CHECK: %[[VFPTR_i8:.*]] = getelementptr inbounds i8, ptr %[[CHILD]], i32 4 |
| // CHECK: %[[VFTABLE:.*]] = load ptr, ptr %[[VFPTR_i8]] |
| // CHECK: %[[VFUN:.*]] = getelementptr inbounds ptr, ptr %[[VFTABLE]], i64 0 |
| // CHECK: %[[VFUN_VALUE:.*]] = load ptr, ptr %[[VFUN]] |
| // |
| // CHECK: call x86_thiscallcc void %[[VFUN_VALUE]](ptr noundef %[[RIGHT]]) |
| // CHECK: ret |
| } |
| |
| struct GrandchildOverride : ChildOverride { |
| virtual void right(); |
| }; |
| |
| void GrandchildOverride::right() { |
| // CHECK-LABEL: define dso_local x86_thiscallcc void @"?right@GrandchildOverride@@UAEXXZ"(ptr |
| // |
| // CHECK: %[[THIS_ADDR:.*]] = alloca ptr, align 4 |
| // CHECK: store ptr %[[ECX:.*]], ptr %[[THIS_ADDR]], align 4 |
| // CHECK: %[[THIS_RELOAD:.*]] = load ptr, ptr %[[THIS_ADDR]] |
| // CHECK: %[[THIS_ADJUSTED:.*]] = getelementptr inbounds i8, ptr %[[THIS_RELOAD]], i32 -4 |
| |
| foo(this); |
| // CHECK: call void @foo(ptr noundef %[[THIS_ADJUSTED]]) |
| // CHECK: ret |
| } |
| |
| void call_grandchild_right(GrandchildOverride *obj) { |
| // Just make sure we don't crash. |
| obj->right(); |
| } |
| |
| void emit_ctors() { |
| Left l; |
| // CHECK-LABEL: define {{.*}} @"??0Left@@QAE@XZ" |
| // CHECK-NOT: getelementptr |
| // CHECK: store ptr @"??_7Left@@6B@" |
| // CHECK: ret |
| |
| Right r; |
| // CHECK-LABEL: define {{.*}} @"??0Right@@QAE@XZ" |
| // CHECK-NOT: getelementptr |
| // CHECK: store ptr @"??_7Right@@6B@" |
| // CHECK: ret |
| |
| ChildOverride co; |
| // CHECK-LABEL: define {{.*}} @"??0ChildOverride@@QAE@XZ" |
| // CHECK: %[[THIS:.*]] = load ptr, ptr |
| // CHECK: store ptr @"??_7ChildOverride@@6BLeft@@@", ptr %[[THIS]] |
| // CHECK: %[[VFPTR_i8:.*]] = getelementptr inbounds i8, ptr %[[THIS]], i32 4 |
| // CHECK: store ptr @"??_7ChildOverride@@6BRight@@@", ptr %[[VFPTR_i8]] |
| // CHECK: ret |
| |
| GrandchildOverride gc; |
| // CHECK-LABEL: define {{.*}} @"??0GrandchildOverride@@QAE@XZ" |
| // CHECK: %[[THIS:.*]] = load ptr, ptr |
| // CHECK: store ptr @"??_7GrandchildOverride@@6BLeft@@@", ptr %[[THIS]] |
| // CHECK: %[[VFPTR_i8:.*]] = getelementptr inbounds i8, ptr %[[THIS]], i32 4 |
| // CHECK: store ptr @"??_7GrandchildOverride@@6BRight@@@", ptr %[[VFPTR_i8]] |
| // CHECK: ret |
| } |
| |
| struct LeftWithNonVirtualDtor { |
| virtual void left(); |
| ~LeftWithNonVirtualDtor(); |
| }; |
| |
| struct AsymmetricChild : LeftWithNonVirtualDtor, Right { |
| virtual ~AsymmetricChild(); |
| }; |
| |
| void call_asymmetric_child_complete_dtor() { |
| // CHECK-LABEL: define dso_local void @"?call_asymmetric_child_complete_dtor@@YAXXZ" |
| AsymmetricChild obj; |
| // CHECK: call x86_thiscallcc noundef ptr @"??0AsymmetricChild@@QAE@XZ"(ptr {{[^,]*}} %[[OBJ:.*]]) |
| // CHECK-NOT: getelementptr |
| // CHECK: call x86_thiscallcc void @"??1AsymmetricChild@@UAE@XZ"(ptr {{[^,]*}} %[[OBJ]]) |
| // CHECK: ret |
| } |