xref: /llvm-project/clang/test/CodeGenCXX/template-alias.cpp (revision e772a268ef75332b72dd9b9ca0341a6af8b0db72)
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 --check-prefixes=ALIAS-SIMPLE,ALIAS-ALL
3*e772a268SOrlando Cazalet-Hyams 
4*e772a268SOrlando Cazalet-Hyams // RUN: %clang_cc1 -triple x86_64-unk-unk -o - -emit-llvm -debug-info-kind=standalone -gtemplate-alias %s -gsimple-template-names=mangled \
5*e772a268SOrlando Cazalet-Hyams // RUN: | FileCheck %s --check-prefixes=ALIAS-MANGLED,ALIAS-ALL
6*e772a268SOrlando Cazalet-Hyams 
7*e772a268SOrlando Cazalet-Hyams // RUN: %clang_cc1 -triple x86_64-unk-unk -o - -emit-llvm -debug-info-kind=standalone -gtemplate-alias %s  \
8*e772a268SOrlando Cazalet-Hyams // RUN: | FileCheck %s --check-prefixes=ALIAS-FULL,ALIAS-ALL
9*e772a268SOrlando Cazalet-Hyams 
10*e772a268SOrlando Cazalet-Hyams // RUN: %clang_cc1 -triple x86_64-unk-unk -o - -emit-llvm -debug-info-kind=standalone  %s \
11*e772a268SOrlando Cazalet-Hyams // RUN: | FileCheck %s --check-prefixes=TYPEDEF
12*e772a268SOrlando Cazalet-Hyams 
13*e772a268SOrlando Cazalet-Hyams 
14*e772a268SOrlando Cazalet-Hyams //// Check that -gtemplate-alias causes DW_TAG_template_alias emission for
15*e772a268SOrlando Cazalet-Hyams //// template aliases, and that respects gsimple-template-names.
16*e772a268SOrlando Cazalet-Hyams ////
17*e772a268SOrlando Cazalet-Hyams //// Test type and value template parameters.
18*e772a268SOrlando Cazalet-Hyams 
19*e772a268SOrlando Cazalet-Hyams template<typename Y, int Z>
20*e772a268SOrlando Cazalet-Hyams struct X {
21*e772a268SOrlando Cazalet-Hyams   Y m1 = Z;
22*e772a268SOrlando Cazalet-Hyams };
23*e772a268SOrlando Cazalet-Hyams 
24*e772a268SOrlando Cazalet-Hyams template<typename B, int C>
25*e772a268SOrlando Cazalet-Hyams using A = X<B, C>;
26*e772a268SOrlando Cazalet-Hyams 
27*e772a268SOrlando Cazalet-Hyams A<int, 5> a;
28*e772a268SOrlando Cazalet-Hyams 
29*e772a268SOrlando Cazalet-Hyams 
30*e772a268SOrlando Cazalet-Hyams // ALIAS-SIMPLE: !DIDerivedType(tag: DW_TAG_template_alias, name: "A", file: ![[#]], line: [[#]], baseType: ![[baseType:[0-9]+]], extraData: ![[extraData:[0-9]+]])
31*e772a268SOrlando Cazalet-Hyams // ALIAS-SIMPLE: ![[baseType]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "X",
32*e772a268SOrlando Cazalet-Hyams 
33*e772a268SOrlando Cazalet-Hyams // FIXME: Mangled name is wrong (not a regression).
34*e772a268SOrlando Cazalet-Hyams // ALIAS-MANGLED: !DIDerivedType(tag: DW_TAG_template_alias, name: "A<int, 5>", file: ![[#]], line: [[#]], baseType: ![[baseType:[0-9]+]], extraData: ![[extraData:[0-9]+]])
35*e772a268SOrlando Cazalet-Hyams // ALIAS-MANGLED: ![[baseType]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "_STN|X|<int, 5>",
36*e772a268SOrlando Cazalet-Hyams 
37*e772a268SOrlando Cazalet-Hyams // ALIAS-FULL: !DIDerivedType(tag: DW_TAG_template_alias, name: "A<int, 5>", file: ![[#]], line: [[#]], baseType: ![[baseType:[0-9]+]], extraData: ![[extraData:[0-9]+]])
38*e772a268SOrlando Cazalet-Hyams // ALIAS-FULL: ![[baseType]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "X<int, 5>",
39*e772a268SOrlando Cazalet-Hyams 
40*e772a268SOrlando Cazalet-Hyams // ALIAS-ALL: ![[int:[0-9]+]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
41*e772a268SOrlando Cazalet-Hyams // ALIAS-ALL: ![[extraData]] = !{![[B:[0-9]+]], ![[C:[0-9]+]]}
42*e772a268SOrlando Cazalet-Hyams // ALIAS-ALL: ![[B]] = !DITemplateTypeParameter(name: "B", type: ![[int]])
43*e772a268SOrlando Cazalet-Hyams // ALIAS-ALL: ![[C]] = !DITemplateValueParameter(name: "C", type: ![[int]], value: i32 5)
44*e772a268SOrlando Cazalet-Hyams 
45*e772a268SOrlando Cazalet-Hyams // TYPEDEF: !DIDerivedType(tag: DW_TAG_typedef, name: "A<int, 5>", file: ![[#]], line: [[#]], baseType: ![[baseType:[0-9]+]])
46*e772a268SOrlando Cazalet-Hyams // TYPEDEF: ![[baseType]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "X<int, 5>",
47*e772a268SOrlando Cazalet-Hyams // TYPEDEF: ![[int:[0-9]+]] = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
48