b3d99ac2cd
Use the DataLayout-aware TargetFolder instead of ConstantFolder in Clang's CGBuilder. The primary impact of this change is that GEP constant expressions are now emitted in canonical `getelementptr i8` form. This is in preparation for the migration to ptradd, which requires this form. Part of the test updates were performed by Claude Code and reviewed by me.
405 lines
21 KiB
C++
405 lines
21 KiB
C++
// RUN: %clang_cc1 -no-enable-noundef-analysis -std=c++11 -triple i386-linux -emit-llvm -o - %s | FileCheck %s --check-prefix=ITANIUM
|
|
// RUN: %clang_cc1 -no-enable-noundef-analysis -std=c++11 -triple x86_64-darwin -emit-llvm -o - %s | FileCheck %s --check-prefix=ITANIUM
|
|
// RUN: %clang_cc1 -no-enable-noundef-analysis -std=c++11 -triple arm64-ehabi -emit-llvm -o - %s | FileCheck %s --check-prefix=ITANIUM
|
|
// RUN: %clang_cc1 -no-enable-noundef-analysis -std=c++11 -triple i386-windows -emit-llvm -o - %s | FileCheck %s --check-prefix=MSABI --check-prefix=WIN32
|
|
// RUN: %clang_cc1 -no-enable-noundef-analysis -std=c++11 -triple x86_64-windows -emit-llvm -o - %s | FileCheck %s --check-prefix=MSABI --check-prefix=WIN64
|
|
|
|
// PR63618: make sure we generate definitions for all the globals defined in the test
|
|
// MSABI: @"?b@@3UB@@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?d@@3UD@@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@noninline_nonvirt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@noninline_nonvirt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@noninline_virt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@noninline_virt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@inalloca_nonvirt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@inalloca_nonvirt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@inalloca_virt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@inalloca_virt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@inline_nonvirt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@inline_nonvirt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?b@inline_virt@@3UB@1@A" = {{.*}} zeroinitializer
|
|
// MSABI: @"?c@inline_virt@@3UC@1@A" = {{.*}} zeroinitializer
|
|
|
|
// MSABI-NOT: @this
|
|
|
|
// PR12219
|
|
struct A { A(int); virtual ~A(); };
|
|
struct B : A { using A::A; ~B(); };
|
|
B::~B() {}
|
|
|
|
B b(123);
|
|
|
|
struct C { template<typename T> C(T); };
|
|
struct D : C { using C::C; };
|
|
D d(123);
|
|
|
|
// ITANIUM-LABEL: define{{.*}} void @_ZN1BD2Ev
|
|
// ITANIUM-LABEL: define{{.*}} void @_ZN1BD1Ev
|
|
// ITANIUM-LABEL: define{{.*}} void @_ZN1BD0Ev
|
|
// WIN32-LABEL: define {{.*}}void @"??1B@@UAE@XZ"
|
|
// WIN64-LABEL: define {{.*}}void @"??1B@@UEAA@XZ"
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN1BCI11AEi(
|
|
// ITANIUM: call void @_ZN1BCI21AEi(
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN1DCI11CIiEET_(
|
|
// ITANIUM: call void @_ZN1DCI21CIiEET_(
|
|
|
|
// WIN32-LABEL: define internal {{.*}} @"??0B@@QAE@H@Z"(
|
|
// WIN32: call {{.*}} @"??0A@@QAE@H@Z"(
|
|
// WIN64-LABEL: define internal {{.*}} @"??0B@@QEAA@H@Z"(
|
|
// WIN64: call {{.*}} @"??0A@@QEAA@H@Z"(
|
|
|
|
// WIN32-LABEL: define internal {{.*}} @"??0D@@QAE@H@Z"(
|
|
// WIN32: call {{.*}} @"??$?0H@C@@QAE@H@Z"
|
|
// WIN64-LABEL: define internal {{.*}} @"??0D@@QEAA@H@Z"(
|
|
// WIN64: call {{.*}} @"??$?0H@C@@QEAA@H@Z"
|
|
|
|
struct Q { Q(int); Q(const Q&); ~Q(); };
|
|
struct Z { Z(); Z(int); ~Z(); int n; };
|
|
|
|
namespace noninline_nonvirt {
|
|
struct A { A(int, Q&&, void *__attribute__((pass_object_size(0)))); int n; };
|
|
struct B : Z, A { Z z; using A::A; };
|
|
B b(1, 2, &b);
|
|
// ITANIUM-LABEL: define {{.*}} @__cxx_global_var_init
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}} %[[TMP:.*]], i32 2)
|
|
// ITANIUM: call void @_ZN17noninline_nonvirt1BCI1NS_1AEEiO1QPvU17pass_object_size0({{.*}} @_ZN17noninline_nonvirt1bE, i32 1, {{.*}} %[[TMP]], ptr @_ZN17noninline_nonvirt1bE{{.*}}, i{{32|64}} 12)
|
|
// ITANIUM: call void @_ZN1QD1Ev({{.*}} %[[TMP]])
|
|
// ITANIUM: call i32 @__cxa_atexit(
|
|
|
|
// Complete object ctor for B delegates to base object ctor.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN17noninline_nonvirt1BCI1NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN17noninline_nonvirt1BCI2NS_1AEEiO1QPvU17pass_object_size0({{.*}}, i32 {{.*}}, ptr {{.*}}, ptr {{.*}}, i{{32|64}} {{.*}})
|
|
|
|
// In MSABI, we don't have ctor variants. B ctor forwards to A ctor.
|
|
// MSABI-LABEL: define internal {{.*}} @"??0B@noninline_nonvirt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
// MSABI: call {{.*}} @"??0Z@@Q{{AE|EAA}}@XZ"(
|
|
// MSABI: call {{.*}} @"??0A@noninline_nonvirt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
// MSABI: call {{.*}} @"??0Z@@Q{{AE|EAA}}@XZ"(
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, &c);
|
|
// Complete object ctor for C delegates.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN17noninline_nonvirt1CCI1NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN17noninline_nonvirt1CCI2NS_1AEEiO1QPvU17pass_object_size0({{.*}}, i32 {{.*}}, ptr {{.*}}, ptr {{.*}}, i{{32|64}} {{.*}})
|
|
|
|
// MSABI-LABEL: define internal {{.*}} @"??0C@noninline_nonvirt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
// MSABI: call {{.*}} @"??0B@noninline_nonvirt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
}
|
|
|
|
namespace noninline_virt {
|
|
struct A { A(int, Q&&, void *__attribute__((pass_object_size(0)))); int n; };
|
|
struct B : Z, virtual A { Z z; using A::A; };
|
|
B b(1, 2, &b);
|
|
// Complete object ctor forwards to A ctor then constructs Zs.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN14noninline_virt1BCI1NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN14noninline_virt1AC2EiO1QPvU17pass_object_size0({{.*}} %{{.*}}, i32 %{{.*}}, ptr {{.*}}, ptr {{.*}}, i{{32|64}} %{{.*}}
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM: store {{.*}} @_ZTVN14noninline_virt1BE
|
|
// ITANIUM: call void @_ZN1ZC1Ev(
|
|
|
|
// MSABI-LABEL: define internal {{.*}} @"??0B@noninline_virt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}}, i32 %{{.*}})
|
|
// MSABI: %[[COMPLETE:.*]] = icmp ne
|
|
// MSABI: br i1 %[[COMPLETE]],
|
|
// MSABI: call {{.*}} @"??0A@noninline_virt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
// MSABI: br
|
|
// MSABI: call {{.*}} @"??0Z@@Q{{AE|EAA}}@XZ"(
|
|
// MSABI: call {{.*}} @"??0Z@@Q{{AE|EAA}}@XZ"(
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, &c);
|
|
// Complete object ctor forwards to A ctor, then calls B's base inheriting
|
|
// constructor, which takes no arguments other than the this pointer and VTT.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN14noninline_virt1CCI1NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN14noninline_virt1AC2EiO1QPvU17pass_object_size0({{.*}} %{{.*}}, i32 %{{.*}}, ptr {{.*}}, ptr %{{.*}}, i{{32|64}} %{{.*}})
|
|
// ITANIUM: call void @_ZN14noninline_virt1BCI2NS_1AEEiO1QPvU17pass_object_size0(ptr {{[^,]*}} %{{.*}}, ptr getelementptr inbounds nuw (i8, ptr @_ZTTN14noninline_virt1CE, i{{32|64}} {{4|8}}))
|
|
// ITANIUM: store {{.*}} @_ZTVN14noninline_virt1CE
|
|
|
|
// C constructor forwards to B constructor and A constructor. We pass the args
|
|
// to both. FIXME: Can we pass undef here instead, for the base object
|
|
// constructor call?
|
|
// MSABI-LABEL: define internal {{.*}} @"??0C@noninline_virt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}}, i32 %{{.*}})
|
|
// MSABI: %[[COMPLETE:.*]] = icmp ne
|
|
// MSABI: br i1 %[[COMPLETE]],
|
|
// MSABI: call {{.*}} @"??0A@noninline_virt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}})
|
|
// MSABI: br
|
|
// MSABI: call {{.*}} @"??0B@noninline_virt@@Q{{AE|EAA}}@H$$Q{{E?}}AUQ@@P{{E?}}AXW4__pass_object_size0@__clang@@@Z"(ptr{{.*}}, i32{{.*}}, ptr{{.*}}, ptr{{.*}}, i{{32|64}}{{.*}}, i32 0)
|
|
}
|
|
|
|
// For MSABI only, check that inalloca arguments result in inlining.
|
|
namespace inalloca_nonvirt {
|
|
struct A { A(Q, int, Q, Q&&); int n; };
|
|
struct B : Z, A { Z z; using A::A; };
|
|
B b(1, 2, 3, 4);
|
|
// No inlining implied for Itanium.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN16inalloca_nonvirt1BCI1NS_1AEE1QiS1_OS1_(
|
|
// ITANIUM: call void @_ZN16inalloca_nonvirt1BCI2NS_1AEE1QiS1_OS1_(
|
|
|
|
// MSABI-LABEL: define internal void @"??__Eb@inalloca_nonvirt@@YAXXZ"(
|
|
|
|
// On Win32, the inalloca call can't be forwarded so we force inlining.
|
|
// WIN32: %[[TMP:.*]] = alloca
|
|
// WIN32: call ptr @llvm.stacksave.p0()
|
|
// WIN32: %[[ARGMEM:.*]] = alloca inalloca
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN32: %[[ARG3:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store i32 2, ptr %[[ARG2]]
|
|
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store ptr %[[TMP]], ptr %[[ARG4]]
|
|
// WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(ptr{{[^,]*}}, ptr inalloca(<{{.*}}>) %[[ARGMEM]])
|
|
// WIN32: call void @llvm.stackrestore.p0(
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
|
|
|
|
// On Win64, the Q arguments would be destroyed in the callee. We don't yet
|
|
// support that in the non-inlined case, so we force inlining.
|
|
// WIN64: %[[TMP:.*]] = alloca
|
|
// WIN64: %[[ARG3:.*]] = alloca
|
|
// WIN64: %[[ARG1:.*]] = alloca
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call {{.*}} @"??0A@inalloca_nonvirt@@QEAA@UQ@@H0$$QEAU2@@Z"(ptr{{.*}}, ptr dead_on_return %[[ARG1]], i32 2, ptr dead_on_return %[[ARG3]], ptr{{.*}} %[[TMP]])
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call void @"??1Q@@QEAA@XZ"(ptr {{[^,]*}} %[[TMP]])
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, 3, 4);
|
|
// MSABI-LABEL: define internal void @"??__Ec@inalloca_nonvirt@@YAXXZ"(
|
|
|
|
// On Win32, the inalloca call can't be forwarded so we force inlining.
|
|
// WIN32: %[[TMP:.*]] = alloca
|
|
// WIN32: call ptr @llvm.stacksave.p0()
|
|
// WIN32: %[[ARGMEM:.*]] = alloca inalloca
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN32: %[[ARG3:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store i32 2, ptr %[[ARG2]]
|
|
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store ptr %[[TMP]], ptr %[[ARG4]]
|
|
// WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(ptr{{[^,]*}}, ptr inalloca(<{{.*}}>) %[[ARGMEM]])
|
|
// WIN32: call void @llvm.stackrestore.p0(
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
|
|
|
|
// On Win64, the Q arguments would be destroyed in the callee. We don't yet
|
|
// support that in the non-inlined case, so we force inlining.
|
|
// WIN64: %[[TMP:.*]] = alloca
|
|
// WIN64: %[[ARG3:.*]] = alloca
|
|
// WIN64: %[[ARG1:.*]] = alloca
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call {{.*}} @"??0A@inalloca_nonvirt@@QEAA@UQ@@H0$$QEAU2@@Z"(ptr{{.*}}, ptr dead_on_return %[[ARG1]], i32 2, ptr dead_on_return %[[ARG3]], ptr{{.*}} %[[TMP]])
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call void @"??1Q@@QEAA@XZ"(ptr {{[^,]*}} %[[TMP]])
|
|
}
|
|
|
|
namespace inalloca_virt {
|
|
struct A { A(Q, int, Q, Q&&); int n; };
|
|
struct B : Z, virtual A { Z z; using A::A; };
|
|
B b(1, 2, 3, 4);
|
|
|
|
// MSABI-LABEL: define internal void @"??__Eb@inalloca_virt@@YAXXZ"(
|
|
|
|
// On Win32, the inalloca call can't be forwarded so we force inlining.
|
|
// WIN32: %[[TMP:.*]] = alloca
|
|
// WIN32: call ptr @llvm.stacksave.p0()
|
|
// WIN32: %[[ARGMEM:.*]] = alloca inalloca
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN32: %[[ARG3:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// FIXME: It's dumb to round-trip this though memory and generate a branch.
|
|
// WIN32: store i32 1, ptr %[[IS_MOST_DERIVED_ADDR:.*]]
|
|
// WIN32: %[[IS_MOST_DERIVED:.*]] = load i32, ptr %[[IS_MOST_DERIVED_ADDR]]
|
|
// WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0
|
|
// WIN32: br i1 %[[IS_MOST_DERIVED_i1]]
|
|
//
|
|
// WIN32: store {{.*}} @"??_8B@inalloca_virt@@7B@"
|
|
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store i32 2, ptr %[[ARG2]]
|
|
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store ptr %[[TMP]], ptr %[[ARG4]]
|
|
// WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(ptr{{[^,]*}}, ptr inalloca(<{{.*}}>) %[[ARGMEM]])
|
|
// WIN32: call void @llvm.stackrestore.p0(
|
|
// WIN32: br
|
|
//
|
|
// Note that if we jumped directly to here we would fail to stackrestore and
|
|
// destroy the parameters, but that's not actually possible.
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
|
|
|
|
// On Win64, the Q arguments would be destroyed in the callee. We don't yet
|
|
// support that in the non-inlined case, so we force inlining.
|
|
// WIN64: %[[TMP:.*]] = alloca
|
|
// WIN64: %[[ARG3:.*]] = alloca
|
|
// WIN64: %[[ARG1:.*]] = alloca
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN64: br i1
|
|
// WIN64: call {{.*}} @"??0A@inalloca_virt@@QEAA@UQ@@H0$$QEAU2@@Z"(ptr{{.*}}, ptr dead_on_return %[[ARG1]], i32 2, ptr dead_on_return %[[ARG3]], ptr{{.*}} %[[TMP]])
|
|
// WIN64: br
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call void @"??1Q@@QEAA@XZ"(ptr {{[^,]*}} %[[TMP]])
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, 3, 4);
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN13inalloca_virt1CD1Ev(
|
|
|
|
// MSABI-LABEL: define internal void @"??__Ec@inalloca_virt@@YAXXZ"(
|
|
|
|
// On Win32, the inalloca call can't be forwarded so we force inlining.
|
|
// WIN32: %[[TMP:.*]] = alloca
|
|
// WIN32: call ptr @llvm.stacksave.p0()
|
|
// WIN32: %[[ARGMEM:.*]] = alloca inalloca
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN32: %[[ARG3:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN32: store i32 1, ptr %[[IS_MOST_DERIVED_ADDR:.*]]
|
|
// WIN32: %[[IS_MOST_DERIVED:.*]] = load i32, ptr %[[IS_MOST_DERIVED_ADDR]]
|
|
// WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0
|
|
// WIN32: br i1 %[[IS_MOST_DERIVED_i1]]
|
|
//
|
|
// WIN32: store {{.*}} @"??_8C@inalloca_virt@@7B@"
|
|
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store i32 2, ptr %[[ARG2]]
|
|
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
|
|
// WIN32: store ptr %[[TMP]], ptr %[[ARG4]]
|
|
// WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(ptr{{[^,]*}}, ptr inalloca(<{{.*}}>) %[[ARGMEM]])
|
|
// WIN32: call void @llvm.stackrestore.p0(
|
|
// WIN32: br
|
|
//
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
|
|
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
|
|
|
|
// On Win64, the Q arguments would be destroyed in the callee. We don't yet
|
|
// support that in the non-inlined case, so we force inlining.
|
|
// WIN64: %[[TMP:.*]] = alloca
|
|
// WIN64: %[[ARG3:.*]] = alloca
|
|
// WIN64: %[[ARG1:.*]] = alloca
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[TMP]], i32 4)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG3]], i32 3)
|
|
// WIN64: call {{.*}} @"??0Q@@QEAA@H@Z"(ptr {{[^,]*}} %[[ARG1]], i32 1)
|
|
// WIN64: br i1
|
|
// WIN64: store {{.*}} @"??_8C@inalloca_virt@@7B@"
|
|
// WIN64: call {{.*}} @"??0A@inalloca_virt@@QEAA@UQ@@H0$$QEAU2@@Z"(ptr{{.*}}, ptr dead_on_return %[[ARG1]], i32 2, ptr dead_on_return %[[ARG3]], ptr{{.*}} %[[TMP]])
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call {{.*}} @"??0Z@@QEAA@XZ"(
|
|
// WIN64: call void @"??1Q@@QEAA@XZ"(ptr {{[^,]*}} %[[TMP]])
|
|
}
|
|
|
|
namespace inline_nonvirt {
|
|
struct A { A(Q, int, Q, Q&&, ...); int n; };
|
|
struct B : Z, A { Z z; using A::A; };
|
|
B b(1, 2, 3, 4, 5, 6);
|
|
// Inlined all the way down to the A ctor.
|
|
// ITANIUM-LABEL: define {{.*}} @__cxx_global_var_init
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 1)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 3)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 4)
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM: %[[A:.*]] = getelementptr {{.*}}, i{{32|64}} 4
|
|
// ITANIUM: call void ({{.*}}, ...) @_ZN14inline_nonvirt1AC2E1QiS1_OS1_z(ptr {{[^,]*}} %[[A]], {{.*}}, i32 2, {{.*}}, {{.*}}, i32 5, i32 6)
|
|
// ITANIUM: %[[Z_MEMBER:.*]] = getelementptr {{.*}}, i32 0, i32 2
|
|
// ITANIUM: call void @_ZN1ZC1Ev({{.*}} %[[Z_MEMBER]])
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, 3, 4, 5, 6);
|
|
// Inlined all the way down to the A ctor.
|
|
// ITANIUM-LABEL: define {{.*}} @__cxx_global_var_init
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 1)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 3)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 4)
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM: %[[A:.*]] = getelementptr {{.*}}, i{{32|64}} 4
|
|
// ITANIUM: call void ({{.*}}, ...) @_ZN14inline_nonvirt1AC2E1QiS1_OS1_z(ptr {{[^,]*}} %[[A]], {{.*}}, i32 2, {{.*}}, {{.*}}, i32 5, i32 6)
|
|
// ITANIUM: %[[Z_MEMBER:.*]] = getelementptr {{.*}} %{{.*}}, i32 0, i32 2
|
|
// ITANIUM: call void @_ZN1ZC1Ev({{.*}} %[[Z_MEMBER]])
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
}
|
|
|
|
namespace inline_virt {
|
|
struct A { A(Q, int, Q, Q&&, ...); int n; };
|
|
struct B : Z, virtual A { Z z; using A::A; };
|
|
B b(1, 2, 3, 4, 5, 6);
|
|
// Inlined all the way down to the A ctor.
|
|
// ITANIUM-LABEL: define {{.*}} @__cxx_global_var_init
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 1)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 3)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 4)
|
|
// ITANIUM: %[[A:.*]] = getelementptr {{.*}}, i{{32|64}} {{12|16}}
|
|
// ITANIUM: call void ({{.*}}, ...) @_ZN11inline_virt1AC2E1QiS1_OS1_z(ptr {{[^,]*}} %[[A]], {{.*}}, i32 2, {{.*}}, {{.*}}, i32 5, i32 6)
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM: call void @_ZN1ZC1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
|
|
struct C : B { using B::B; };
|
|
C c(1, 2, 3, 4, 5, 6);
|
|
// Inlined all the way down to the A ctor, except that we can just call the
|
|
// B base inheriting constructor to construct that portion (it doesn't need
|
|
// the forwarded arguments).
|
|
// ITANIUM-LABEL: define {{.*}} @__cxx_global_var_init
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 1)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 3)
|
|
// ITANIUM: call void @_ZN1QC1Ei({{.*}}, i32 4)
|
|
// ITANIUM: %[[A:.*]] = getelementptr {{.*}}, i{{32|64}} {{12|16}}
|
|
// ITANIUM: call void ({{.*}}, ...) @_ZN11inline_virt1AC2E1QiS1_OS1_z(ptr {{[^,]*}} %[[A]], {{.*}}, i32 2, {{.*}}, {{.*}}, i32 5, i32 6)
|
|
// ITANIUM: call void @_ZN11inline_virt1BCI2NS_1AEE1QiS1_OS1_z({{[^,]*}}, ptr getelementptr inbounds nuw (i8, ptr @_ZTTN11inline_virt1CE, i{{32|64}} {{4|8}}))
|
|
// ITANIUM: store {{.*}} @_ZTVN11inline_virt1CE
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
// ITANIUM: call void @_ZN1QD1Ev(
|
|
|
|
// B base object inheriting constructor does not get passed arguments.
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN11inline_virt1BCI2NS_1AEE1QiS1_OS1_z(
|
|
// ITANIUM-NOT: call
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM-NOT: call
|
|
// VTT -> vtable
|
|
// ITANIUM: store
|
|
// ITANIUM-NOT: call
|
|
// ITANIUM: call void @_ZN1ZC1Ev(
|
|
// ITANIUM-NOT: call
|
|
// ITANIUM: }
|
|
}
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN1BCI21AEi(
|
|
// ITANIUM: call void @_ZN1AC2Ei(
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN1DCI21CIiEET_(
|
|
// ITANIUM: call void @_ZN1CC2IiEET_(
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN17noninline_nonvirt1BCI2NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN1ZC2Ev(
|
|
// ITANIUM: call void @_ZN17noninline_nonvirt1AC2EiO1QPvU17pass_object_size0(
|
|
|
|
// ITANIUM-LABEL: define linkonce_odr void @_ZN17noninline_nonvirt1CCI2NS_1AEEiO1QPvU17pass_object_size0(
|
|
// ITANIUM: call void @_ZN17noninline_nonvirt1BCI2NS_1AEEiO1QPvU17pass_object_size0(
|