1*e772a268SOrlando Cazalet-Hyams // RUN: %clang_cc1 -triple x86_64-unk-unk -o - -emit-llvm -debug-info-kind=standalone -gtemplate-alias %s -gsimple-template-names=simple \ 2*e772a268SOrlando Cazalet-Hyams // RUN: | FileCheck %s 3*e772a268SOrlando Cazalet-Hyams 4*e772a268SOrlando Cazalet-Hyams //// Check that -gtemplate-alias causes DW_TAG_template_alias emission for 5*e772a268SOrlando Cazalet-Hyams //// template aliases with default parameter values. See template-alias.cpp for 6*e772a268SOrlando Cazalet-Hyams //// more template alias tests. 7*e772a268SOrlando Cazalet-Hyams //// FIXME: We currently do not emit defaulted arguments. 8*e772a268SOrlando Cazalet-Hyams 9*e772a268SOrlando Cazalet-Hyams template<typename T> 10*e772a268SOrlando Cazalet-Hyams struct X { 11*e772a268SOrlando Cazalet-Hyams char m; 12*e772a268SOrlando Cazalet-Hyams }; 13*e772a268SOrlando Cazalet-Hyams 14*e772a268SOrlando Cazalet-Hyams template<typename T> 15*e772a268SOrlando Cazalet-Hyams struct Y { 16*e772a268SOrlando Cazalet-Hyams char n; 17*e772a268SOrlando Cazalet-Hyams }; 18*e772a268SOrlando Cazalet-Hyams 19*e772a268SOrlando Cazalet-Hyams template <typename NonDefault, template <typename C> class T = Y, int I = 5, typename... Ts> 20*e772a268SOrlando Cazalet-Hyams using A = X<NonDefault>; 21*e772a268SOrlando Cazalet-Hyams 22*e772a268SOrlando Cazalet-Hyams //// We should be able to emit type alias metadata which describes all the 23*e772a268SOrlando Cazalet-Hyams //// values, including the defaulted parameters and empty parameter pack. 24*e772a268SOrlando Cazalet-Hyams A<int> a; 25*e772a268SOrlando Cazalet-Hyams 26*e772a268SOrlando Cazalet-Hyams // CHECK: !DIDerivedType(tag: DW_TAG_template_alias, name: "A", file: ![[#]], line: [[#]], baseType: ![[baseType:[0-9]+]], extraData: ![[extraData:[0-9]+]]) 27*e772a268SOrlando Cazalet-Hyams // CHECK: ![[baseType]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "X", 28*e772a268SOrlando Cazalet-Hyams // CHECK: ![[int:[0-9]+]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 29*e772a268SOrlando Cazalet-Hyams // CHECK: ![[extraData]] = !{![[NonDefault:[0-9]+]]} 30*e772a268SOrlando Cazalet-Hyams // CHECK: ![[NonDefault]] = !DITemplateTypeParameter(name: "NonDefault", type: ![[int]]) 31*e772a268SOrlando Cazalet-Hyams 32*e772a268SOrlando Cazalet-Hyams //// FIXME: Ideally, we would describe the deafulted args, like this: 33*e772a268SOrlando Cazalet-Hyams // : ![[extraData]] = !{![[NonDefault:[0-9]+]], ![[T:[0-9]+]], ![[I:[0-9]+]], ![[Ts:[0-9]+]]} 34*e772a268SOrlando Cazalet-Hyams // : ![[NonDefault]] = !DITemplateTypeParameter(name: "NonDefault", type: ![[int]]) 35*e772a268SOrlando Cazalet-Hyams // : ![[T]] = !DITemplateValueParameter(tag: DW_TAG_GNU_template_template_param, name: "T", defaulted: true, value: !"Y") 36*e772a268SOrlando Cazalet-Hyams // : ![[I]] = !DITemplateValueParameter(name: "I", type: ![[int]], defaulted: true, value: i32 5) 37*e772a268SOrlando Cazalet-Hyams // : ![[Ts]] = !DITemplateValueParameter(tag: DW_TAG_GNU_template_parameter_pack, name: "Ts", value: ![[types:[0-9]+]]) 38*e772a268SOrlando Cazalet-Hyams // : ![[types]] = !{} 39