| // RUN: %clang_cc1 -std=c++17 -fms-compatibility-version=19.20 -emit-llvm %s -o - -fms-extensions -fdelayed-template-parsing -triple=x86_64-pc-windows-msvc | FileCheck %s |
| |
| struct StructA {}; |
| |
| template<class T> |
| auto AutoT() { return T(); } |
| |
| template<class T> |
| const auto AutoConstT() { return T(); } |
| |
| template<class T> |
| volatile auto AutoVolatileT() { return T(); } |
| |
| template<class T> |
| const volatile auto AutoConstVolatileT() { return T(); } |
| |
| // The qualifiers of the return type should always be emitted even for void types. |
| // Void types usually have their qualifers stripped in the mangled name for MSVC ABI. |
| void test_template_auto_void() { |
| AutoT<void>(); |
| // CHECK: call {{.*}} @"??$AutoT@X@@YA?A_PXZ" |
| |
| AutoT<const void>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CBX@@YA?A_PXZ" |
| |
| AutoT<volatile void>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CCX@@YA?A_PXZ" |
| |
| AutoT<const volatile void>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CDX@@YA?A_PXZ" |
| |
| AutoConstT<void>(); |
| // CHECK: call {{.*}} @"??$AutoConstT@X@@YA?B_PXZ" |
| |
| AutoVolatileT<void>(); |
| // CHECK: call {{.*}} @"??$AutoVolatileT@X@@YA?C_PXZ" |
| |
| AutoConstVolatileT<void>(); |
| // CHECK: call {{.*}} @"??$AutoConstVolatileT@X@@YA?D_PXZ" |
| } |
| |
| void test_template_auto_int() { |
| AutoT<int>(); |
| // CHECK: call {{.*}} @"??$AutoT@H@@YA?A_PXZ" |
| |
| AutoT<const int>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CBH@@YA?A_PXZ" |
| |
| AutoT<volatile int>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CCH@@YA?A_PXZ" |
| |
| AutoT<const volatile int>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CDH@@YA?A_PXZ" |
| |
| AutoConstT<int>(); |
| // CHECK: call {{.*}} @"??$AutoConstT@H@@YA?B_PXZ" |
| |
| AutoVolatileT<int>(); |
| // CHECK: call {{.*}} @"??$AutoVolatileT@H@@YA?C_PXZ" |
| |
| AutoConstVolatileT<int>(); |
| // CHECK: call {{.*}} @"??$AutoConstVolatileT@H@@YA?D_PXZ" |
| } |
| |
| void test_template_auto_struct() { |
| AutoT<StructA>(); |
| // CHECK: call {{.*}} @"??$AutoT@UStructA@@@@YA?A_PXZ" |
| |
| AutoT<const StructA>(); |
| // CHECK: call {{.*}} @"??$AutoT@$$CBUStructA@@@@YA?A_PXZ" |
| |
| AutoConstT<StructA>(); |
| // CHECK: call {{.*}} @"??$AutoConstT@UStructA@@@@YA?B_PXZ" |
| |
| AutoVolatileT<StructA>(); |
| // CHECK: call {{.*}} @"??$AutoVolatileT@UStructA@@@@YA?C_PXZ" |
| |
| AutoConstVolatileT<StructA>(); |
| // CHECK: call {{.*}} @"??$AutoConstVolatileT@UStructA@@@@YA?D_PXZ" |
| } |
| |
| void test_template_auto_ptr() { |
| AutoT<int*>(); |
| // CHECK: call {{.*}} @"??$AutoT@PEAH@@YA?A_PXZ" |
| |
| AutoT<const int*>(); |
| // CHECK: call {{.*}} @"??$AutoT@PEBH@@YA?A_PXZ" |
| |
| AutoT<const int* const>(); |
| // CHECK: call {{.*}} @"??$AutoT@QEBH@@YA?A_PXZ" |
| |
| AutoConstT<int*>(); |
| // CHECK: call {{.*}} @"??$AutoConstT@PEAH@@YA?B_PXZ" |
| |
| AutoVolatileT<int*>(); |
| // CHECK: call {{.*}} @"??$AutoVolatileT@PEAH@@YA?C_PXZ" |
| |
| AutoConstVolatileT<int*>(); |
| // CHECK: call {{.*}} @"??$AutoConstVolatileT@PEAH@@YA?D_PXZ" |
| } |
| |
| template<class T> |
| auto* PtrAutoT() { return T(); } |
| |
| template<class T> |
| const auto* PtrAutoConstT() { return T(); } |
| |
| template<class T> |
| volatile auto* PtrAutoVolatileT() { return T(); } |
| |
| template<class T> |
| const volatile auto* PtrAutoConstVolatileT() { return T(); } |
| |
| void test_template_ptr_auto() { |
| PtrAutoT<int*>(); |
| // CHECK: call {{.*}} @"??$PtrAutoT@PEAH@@YAPEA_PXZ" |
| |
| PtrAutoT<const int*>(); |
| // CHECK: call {{.*}} @"??$PtrAutoT@PEBH@@YAPEA_PXZ" |
| |
| PtrAutoT<const int* const>(); |
| // CHECK: call {{.*}} @"??$PtrAutoT@QEBH@@YAPEA_PXZ" |
| |
| PtrAutoConstT<int*>(); |
| // CHECK: call {{.*}} @"??$PtrAutoConstT@PEAH@@YAPEB_PXZ" |
| |
| PtrAutoVolatileT<int*>(); |
| // CHECK: call {{.*}} @"??$PtrAutoVolatileT@PEAH@@YAPEC_PXZ" |
| |
| PtrAutoConstVolatileT<int*>(); |
| // CHECK: call {{.*}} @"??$PtrAutoConstVolatileT@PEAH@@YAPED_PXZ" |
| } |
| |
| int func_int(); |
| const int func_constint(); |
| void func_void(); |
| int* func_intptr(); |
| |
| template<class T, T v> |
| auto (*FuncPtrAutoT())() { return v; } |
| |
| void test_template_func_ptr_auto() { |
| FuncPtrAutoT<int (*)(), &func_int>(); |
| // CHECK: call {{.*}} @"??$FuncPtrAutoT@P6AHXZ$1?func_int@@YAHXZ@@YAP6A?A_PXZXZ" |
| |
| FuncPtrAutoT<const int (*)(), &func_constint>(); |
| // CHECK: call {{.*}} @"??$FuncPtrAutoT@P6A?BHXZ$1?func_constint@@YA?BHXZ@@YAP6A?A_PXZXZ" |
| |
| FuncPtrAutoT<void (*)(), &func_void>(); |
| // CHECK: call {{.*}} @"??$FuncPtrAutoT@P6AXXZ$1?func_void@@YAXXZ@@YAP6A?A_PXZXZ" |
| |
| FuncPtrAutoT<int * (*)(), &func_intptr>(); |
| // CHECK: call {{.*}} @"??$FuncPtrAutoT@P6APEAHXZ$1?func_intptr@@YAPEAHXZ@@YAP6A?A_PXZXZ" |
| } |
| |
| template<class T> |
| auto& RefAutoT(T& x) { return x; } |
| |
| template<class T> |
| const auto& ConstRefAutoT(T& x) { return x; } |
| |
| template<class T> |
| auto&& RRefAutoT(T& x) { return static_cast<int&&>(x); } |
| |
| void test_template_ref_auto() { |
| int x; |
| |
| RefAutoT(x); |
| // CHECK: call {{.*}} @"??$RefAutoT@H@@YAAEA_PAEAH@Z" |
| |
| ConstRefAutoT(x); |
| // CHECK: call {{.*}} @"??$ConstRefAutoT@H@@YAAEB_PAEAH@Z" |
| |
| RRefAutoT(x); |
| // CHECK: call {{.*}} @"??$RRefAutoT@H@@YA$$QEA_PAEAH@Z" |
| } |
| |
| template<class T> |
| decltype(auto) DecltypeAutoT() { return T(); } |
| |
| template<class T> |
| decltype(auto) DecltypeAutoT2(T& x) { return static_cast<T&&>(x); } |
| |
| void test_template_decltypeauto() { |
| DecltypeAutoT<void>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@X@@YA?A_TXZ" |
| |
| DecltypeAutoT<const void>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CBX@@YA?A_TXZ" |
| |
| DecltypeAutoT<volatile void>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CCX@@YA?A_TXZ" |
| |
| DecltypeAutoT<const volatile void>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CDX@@YA?A_TXZ" |
| |
| DecltypeAutoT<int>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@H@@YA?A_TXZ" |
| |
| DecltypeAutoT<const int>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CBH@@YA?A_TXZ" |
| |
| DecltypeAutoT<volatile int>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CCH@@YA?A_TXZ" |
| |
| DecltypeAutoT<const volatile int>(); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT@$$CDH@@YA?A_TXZ" |
| |
| int x; |
| |
| DecltypeAutoT2(x); |
| // CHECK: call {{.*}} @"??$DecltypeAutoT2@H@@YA?A_TAEAH@Z" |
| } |
| |
| // Still want to use clang's custom mangling for lambdas to keep backwards compatibility until |
| // MSVC lambda name mangling has been deciphered. |
| void test_lambda() { |
| int i = 0; |
| |
| auto lambdaIntRetAuto = []() { return 0; }; |
| lambdaIntRetAuto(); |
| // CHECK: call {{.*}} @"??R<lambda_1>@?0??test_lambda@@YAXXZ@QEBA?A?<auto>@@XZ" |
| |
| auto lambdaIntRet = []() -> int { return 0; }; |
| lambdaIntRet(); |
| // CHECK: call {{.*}} @"??R<lambda_2>@?0??test_lambda@@YAXXZ@QEBA@XZ" |
| |
| auto lambdaGenericIntIntRetAuto = [](auto a) { return a; }; |
| lambdaGenericIntIntRetAuto(0); |
| // CHECK: call {{.*}} @"??$?RH@<lambda_0>@?0??test_lambda@@YAXXZ@QEBA?A?<auto>@@H@Z" |
| |
| auto lambdaRetTrailingAuto = []() -> auto { return 0; }; |
| lambdaRetTrailingAuto(); |
| // CHECK: call {{.*}} @"??R<lambda_3>@?0??test_lambda@@YAXXZ@QEBA?A?<auto>@@XZ" |
| |
| auto lambdaRetTrailingDecltypeAuto = []() -> decltype(auto) { return 0; }; |
| lambdaRetTrailingDecltypeAuto(); |
| // CHECK: call {{.*}} @"??R<lambda_4>@?0??test_lambda@@YAXXZ@QEBA?A?<decltype-auto>@@XZ" |
| |
| auto lambdaRetTrailingRefCollapse = [](int x) -> auto&& { return x; }; |
| lambdaRetTrailingRefCollapse(i); |
| // CHECK: call {{.*}} @"??R<lambda_5>@?0??test_lambda@@YAXXZ@QEBA?A?<auto>@@H@Z" |
| } |
| |
| auto TestTrailingInt() -> int { |
| return 0; |
| } |
| |
| auto TestTrailingConstVolatileVoid() -> const volatile void { |
| } |
| |
| auto TestTrailingStructA() -> StructA { |
| return StructA{}; |
| } |
| |
| void test_trailing_return() { |
| TestTrailingInt(); |
| // CHECK: call {{.*}} @"?TestTrailingInt@@YAHXZ" |
| |
| TestTrailingConstVolatileVoid(); |
| // CHECK: call {{.*}} @"?TestTrailingConstVolatileVoid@@YAXXZ" |
| |
| TestTrailingStructA(); |
| // CHECK: call {{.*}} @"?TestTrailingStructA@@YA?AUStructA@@XZ" |
| } |
| |
| auto TestNonTemplateAutoInt() { |
| return 0; |
| } |
| |
| auto TestNonTemplateAutoVoid() { |
| return; |
| } |
| |
| auto TestNonTemplateAutoStructA() { |
| return StructA{}; |
| } |
| |
| const auto TestNonTemplateConstAutoInt() { |
| return 0; |
| } |
| |
| const auto TestNonTemplateConstAutoVoid() { |
| return; |
| } |
| |
| const auto TestNonTemplateConstAutoStructA() { |
| return StructA{}; |
| } |
| |
| void test_nontemplate_auto() { |
| TestNonTemplateAutoInt(); |
| // CHECK: call {{.*}} @"?TestNonTemplateAutoInt@@YA@XZ" |
| |
| TestNonTemplateAutoVoid(); |
| // CHECK: call {{.*}} @"?TestNonTemplateAutoVoid@@YA@XZ" |
| |
| TestNonTemplateAutoStructA(); |
| // CHECK: call {{.*}} @"?TestNonTemplateAutoStructA@@YA@XZ" |
| |
| TestNonTemplateConstAutoInt(); |
| // CHECK: call {{.*}} @"?TestNonTemplateConstAutoInt@@YA@XZ" |
| |
| TestNonTemplateConstAutoVoid(); |
| // CHECK: call {{.*}} @"?TestNonTemplateConstAutoVoid@@YA@XZ" |
| |
| TestNonTemplateConstAutoStructA(); |
| // CHECK: call {{.*}} @"?TestNonTemplateConstAutoStructA@@YA@XZ" |
| } |
| |
| decltype(auto) TestNonTemplateDecltypeAutoInt() { |
| return 0; |
| } |
| |
| decltype(auto) TestNonTemplateDecltypeAutoVoid() { |
| return; |
| } |
| |
| decltype(auto) TestNonTemplateDecltypeAutoStructA() { |
| return StructA{}; |
| } |
| |
| void test_nontemplate_decltypeauto() { |
| TestNonTemplateDecltypeAutoInt(); |
| // CHECK: call {{.*}} @"?TestNonTemplateDecltypeAutoInt@@YA@XZ" |
| |
| TestNonTemplateDecltypeAutoVoid(); |
| // CHECK: call {{.*}} @"?TestNonTemplateDecltypeAutoVoid@@YA@XZ" |
| |
| TestNonTemplateDecltypeAutoStructA(); |
| // CHECK: call {{.*}} @"?TestNonTemplateDecltypeAutoStructA@@YA@XZ" |
| } |
| |
| struct StructB { |
| int x; |
| }; |
| |
| template<class T> |
| auto StructB::* AutoMemberDataPtrT(T x) { return x; } |
| |
| template<class T> |
| const auto StructB::* AutoConstMemberDataPtrT(T x) { return x; } |
| |
| void test_template_auto_member_data_ptr() { |
| AutoMemberDataPtrT(&StructB::x); |
| // CHECK: call {{.*}} @"??$AutoMemberDataPtrT@PEQStructB@@H@@YAPEQStructB@@_PPEQ0@H@Z" |
| |
| AutoConstMemberDataPtrT(&StructB::x); |
| // CHECK: call {{.*}} @"??$AutoConstMemberDataPtrT@PEQStructB@@H@@YAPERStructB@@_PPEQ0@H@Z" |
| } |
| |
| struct StructC { |
| void test() {} |
| }; |
| |
| struct StructD { |
| const int test() { return 0; } |
| }; |
| |
| template<class T> |
| auto (StructC::*AutoMemberFuncPtrT(T x))() { return x; } |
| |
| template<class T> |
| const auto (StructD::*AutoConstMemberFuncPtrT(T x))() { return x; } |
| |
| void test_template_auto_member_func_ptr() { |
| AutoMemberFuncPtrT(&StructC::test); |
| // CHECK: call {{.*}} @"??$AutoMemberFuncPtrT@P8StructC@@EAAXXZ@@YAP8StructC@@EAA?A_PXZP80@EAAXXZ@Z" |
| |
| AutoConstMemberFuncPtrT(&StructD::test); |
| // CHECK: call {{.*}} @"??$AutoConstMemberFuncPtrT@P8StructD@@EAA?BHXZ@@YAP8StructD@@EAA?B_PXZP80@EAA?BHXZ@Z" |
| } |
| |
| template<class T> |
| auto * __attribute__((address_space(1))) * AutoPtrAddressSpaceT() { |
| T * __attribute__((address_space(1))) * p = nullptr; |
| return p; |
| } |
| |
| void test_template_auto_address_space_ptr() { |
| AutoPtrAddressSpaceT<int>(); |
| // CHECK: call {{.*}} @"??$AutoPtrAddressSpaceT@H@@YA?A?<auto>@@XZ" |
| } |
| |
| template<class T> |
| auto&& AutoReferenceCollapseT(T& x) { return static_cast<T&>(x); } |
| |
| auto&& AutoReferenceCollapse(int& x) { return static_cast<int&>(x); } |
| |
| void test2() { |
| int x = 1; |
| auto&& rref0 = AutoReferenceCollapseT(x); |
| // CHECK: call {{.*}} @"??$AutoReferenceCollapseT@H@@YA$$QEA_PAEAH@Z" |
| |
| auto&& rref1 = AutoReferenceCollapse(x); |
| // CHECK: call {{.*}} @"?AutoReferenceCollapse@@YA@AEAH@Z" |
| } |