Home | History | Annotate | Download | only in CodeGenCXX
      1 // RUN: %clang -S -emit-llvm -target x86_64-unknown_unknown -g %s -o - -std=c++11 | FileCheck %s
      2 
      3 // CHECK: !DICompileUnit(
      4 // CHECK-SAME:           retainedTypes: [[RETAIN:![0-9]*]]
      5 // CHECK: [[EMPTY:![0-9]*]] = !{}
      6 // CHECK: [[RETAIN]] = !{!{{[0-9]]*}}, [[FOO:![0-9]*]],
      7 
      8 
      9 // CHECK: [[TC:![0-9]*]] = !DICompositeType(tag: DW_TAG_structure_type, name: "TC<unsigned int, 2, &glb, &foo::e, &foo::f, &foo::g, 1, 2, 3>"
     10 // CHECK-SAME:                              templateParams: [[TCARGS:![0-9]*]]
     11 // CHECK: [[TCARGS]] = !{[[TCARG1:![0-9]*]], [[TCARG2:![0-9]*]], [[TCARG3:![0-9]*]], [[TCARG4:![0-9]*]], [[TCARG5:![0-9]*]], [[TCARG6:![0-9]*]], [[TCARG7:![0-9]*]]}
     12 //
     13 // CHECK: [[TCARG1]] = !DITemplateTypeParameter(name: "T", type: [[UINT:![0-9]*]])
     14 // CHECK: [[UINT:![0-9]*]] = !DIBasicType(name: "unsigned int"
     15 // CHECK: [[TCARG2]] = !DITemplateValueParameter(type: [[UINT]], value: i32 2)
     16 // CHECK: [[TCARG3]] = !DITemplateValueParameter(name: "x", type: [[CINTPTR:![0-9]*]], value: i32* @glb)
     17 // CHECK: [[CINTPTR]] = !DIDerivedType(tag: DW_TAG_pointer_type, {{.*}}baseType: [[CINT:![0-9]+]]
     18 // CHECK: [[CINT]] = !DIDerivedType(tag: DW_TAG_const_type, {{.*}}baseType: [[INT:![0-9]+]]
     19 // CHECK: [[INT]] = !DIBasicType(name: "int"
     20 // CHECK: [[TCARG4]] = !DITemplateValueParameter(name: "a", type: [[MEMINTPTR:![0-9]*]], value: i64 8)
     21 // CHECK: [[MEMINTPTR]] = !DIDerivedType(tag: DW_TAG_ptr_to_member_type, {{.*}}baseType: [[INT]], {{.*}}extraData: !"_ZTS3foo")
     22 //
     23 // Currently Clang emits the pointer-to-member-function value, but LLVM doesn't
     24 // use it (GCC doesn't emit a value for pointers to member functions either - so
     25 // it's not clear what, if any, format would be acceptable to GDB)
     26 //
     27 // CHECK: [[TCARG5]] = !DITemplateValueParameter(name: "b", type: [[MEMFUNPTR:![0-9]*]], value: { i64, i64 } { i64 ptrtoint (void (%struct.foo*)* @_ZN3foo1fEv to i64), i64 0 })
     28 // CHECK: [[MEMFUNPTR]] = !DIDerivedType(tag: DW_TAG_ptr_to_member_type, {{.*}}baseType: [[FTYPE:![0-9]*]], {{.*}}extraData: !"_ZTS3foo")
     29 // CHECK: [[FTYPE]] = !DISubroutineType(types: [[FARGS:![0-9]*]])
     30 // CHECK: [[FARGS]] = !{null, [[FARG1:![0-9]*]]}
     31 // CHECK: [[FARG1]] = !DIDerivedType(tag: DW_TAG_pointer_type,
     32 // CHECK-SAME:                       baseType: !"_ZTS3foo"
     33 // CHECK-NOT:                        line:
     34 // CHECK-SAME:                       size: 64, align: 64
     35 // CHECK-NOT:                        offset: 0
     36 // CHECK-SAME:                       DIFlagArtificial
     37 //
     38 // CHECK: [[TCARG6]] = !DITemplateValueParameter(name: "f", type: [[FUNPTR:![0-9]*]], value: void ()* @_ZN3foo1gEv)
     39 // CHECK: [[FUNPTR]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[FUNTYPE:![0-9]*]]
     40 // CHECK: [[FUNTYPE]] = !DISubroutineType(types: [[FUNARGS:![0-9]*]])
     41 // CHECK: [[FUNARGS]] = !{null}
     42 // CHECK: [[TCARG7]] = !DITemplateValueParameter(tag: DW_TAG_GNU_template_parameter_pack, name: "Is", value: [[TCARG7_VALS:![0-9]*]])
     43 // CHECK: [[TCARG7_VALS]] = !{[[TCARG7_1:![0-9]*]], [[TCARG7_2:![0-9]*]], [[TCARG7_3:![0-9]*]]}
     44 // CHECK: [[TCARG7_1]] = !DITemplateValueParameter(type: [[INT]], value: i32 1)
     45 // CHECK: [[TCARG7_2]] = !DITemplateValueParameter(type: [[INT]], value: i32 2)
     46 // CHECK: [[TCARG7_3]] = !DITemplateValueParameter(type: [[INT]], value: i32 3)
     47 //
     48 // We could just emit a declaration of 'foo' here, rather than the entire
     49 // definition (same goes for any time we emit a member (function or data)
     50 // pointer type)
     51 // CHECK: [[FOO]] = !DICompositeType(tag: DW_TAG_structure_type, name: "foo", {{.*}}identifier: "_ZTS3foo")
     52 // CHECK: !DISubprogram(name: "f", linkageName: "_ZN3foo1fEv", {{.*}}type: [[FTYPE:![0-9]*]]
     53 //
     54 
     55 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "nested",
     56 // CHECK-SAME:             scope: !"_ZTS2TCIjLj2EXadL_Z3glbEEXadL_ZN3foo1eEEEXadL_ZNS0_1fEvEEXadL_ZNS0_1gEvEEJLi1ELi2ELi3EEE"
     57 // CHECK-SAME:             identifier: "[[TCNESTED:.*]]")
     58 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "TC<int, -3, nullptr, nullptr, nullptr, nullptr>"
     59 // CHECK-SAME:             templateParams: [[TCNARGS:![0-9]*]]
     60 // CHECK-SAME:             identifier: "[[TCNT:.*]]")
     61 // CHECK: [[TCNARGS]] = !{[[TCNARG1:![0-9]*]], [[TCNARG2:![0-9]*]], [[TCNARG3:![0-9]*]], [[TCNARG4:![0-9]*]], [[TCNARG5:![0-9]*]], [[TCNARG6:![0-9]*]], [[TCNARG7:![0-9]*]]}
     62 // CHECK: [[TCNARG1]] = !DITemplateTypeParameter(name: "T", type: [[INT]])
     63 // CHECK: [[TCNARG2]] = !DITemplateValueParameter(type: [[INT]], value: i32 -3)
     64 // CHECK: [[TCNARG3]] = !DITemplateValueParameter(name: "x", type: [[CINTPTR]], value: i8 0)
     65 
     66 // The interesting null pointer: -1 for member data pointers (since they are
     67 // just an offset in an object, they can be zero and non-null for the first
     68 // member)
     69 
     70 // CHECK: [[TCNARG4]] = !DITemplateValueParameter(name: "a", type: [[MEMINTPTR]], value: i64 -1)
     71 //
     72 // In some future iteration we could possibly emit the value of a null member
     73 // function pointer as '{ i64, i64 } zeroinitializer' as it may be handled
     74 // naturally from the LLVM CodeGen side once we decide how to handle non-null
     75 // member function pointers. For now, it's simpler just to emit the 'i8 0'.
     76 //
     77 // CHECK: [[TCNARG5]] = !DITemplateValueParameter(name: "b", type: [[MEMFUNPTR]], value: i8 0)
     78 // CHECK: [[TCNARG6]] = !DITemplateValueParameter(name: "f", type: [[FUNPTR]], value: i8 0)
     79 // CHECK: [[TCNARG7]] = !DITemplateValueParameter(tag: DW_TAG_GNU_template_parameter_pack, name: "Is", value: [[EMPTY]])
     80 
     81 // FIXME: these parameters should probably be rendered as 'glb' rather than
     82 // '&glb', since they're references, not pointers.
     83 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "NN<tmpl_impl, &glb, &glb>",
     84 // CHECK-SAME:             templateParams: [[NNARGS:![0-9]*]]
     85 // CHECK-SAME:             identifier: "[[NNT:.*]]")
     86 // CHECK: [[NNARGS]] = !{[[NNARG1:![0-9]*]], [[NNARG2:![0-9]*]], [[NNARG3:![0-9]*]]}
     87 // CHECK: [[NNARG1]] = !DITemplateValueParameter(tag: DW_TAG_GNU_template_template_param, name: "tmpl", value: !"tmpl_impl")
     88 // CHECK: [[NNARG2]] = !DITemplateValueParameter(name: "lvr", type: [[INTLVR:![0-9]*]], value: i32* @glb)
     89 // CHECK: [[INTLVR]] = !DIDerivedType(tag: DW_TAG_reference_type, baseType: [[INT]]
     90 // CHECK: [[NNARG3]] = !DITemplateValueParameter(name: "rvr", type: [[INTRVR:![0-9]*]], value: i32* @glb)
     91 // CHECK: [[INTRVR]] = !DIDerivedType(tag: DW_TAG_rvalue_reference_type, baseType: [[INT]]
     92 
     93 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "PaddingAtEndTemplate<&PaddedObj>"
     94 // CHECK-SAME:             templateParams: [[PTOARGS:![0-9]*]]
     95 // CHECK: [[PTOARGS]] = !{[[PTOARG1:![0-9]*]]}
     96 // CHECK: [[PTOARG1]] = !DITemplateValueParameter(type: [[CONST_PADDINGATEND_PTR:![0-9]*]], value: %struct.PaddingAtEnd* @PaddedObj)
     97 // CHECK: [[CONST_PADDINGATEND_PTR]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !"_ZTS12PaddingAtEnd", size: 64, align: 64)
     98 
     99 // CHECK: !DIGlobalVariable(name: "tci",
    100 // CHECK-SAME:              type: !"[[TCNESTED]]"
    101 // CHECK-SAME:              variable: %"struct.TC<unsigned int, 2, &glb, &foo::e, &foo::f, &foo::g, 1, 2, 3>::nested"* @tci
    102 
    103 // CHECK: !DIGlobalVariable(name: "tcn"
    104 // CHECK-SAME:              type: !"[[TCNT]]"
    105 // CHECK-SAME:              variable: %struct.TC* @tcn
    106 
    107 // CHECK: !DIGlobalVariable(name: "nn"
    108 // CHECK-SAME:              type: !"[[NNT]]"
    109 // CHECK-SAME:              variable: %struct.NN* @nn
    110 struct foo {
    111   char pad[8]; // make the member pointer to 'e' a bit more interesting (nonzero)
    112   int e;
    113   void f();
    114   static void g();
    115 };
    116 
    117 typedef int foo::*foo_mem;
    118 
    119 template<typename T, T, const int *x, foo_mem a, void (foo::*b)(), void (*f)(), int ...Is>
    120 struct TC {
    121   struct nested {
    122   };
    123 };
    124 
    125 int glb;
    126 void func();
    127 
    128 TC<unsigned, 2, &glb, &foo::e, &foo::f, &foo::g, 1, 2, 3>::nested tci;
    129 TC<int, -3, nullptr, nullptr, nullptr, nullptr> tcn;
    130 
    131 template<typename>
    132 struct tmpl_impl {
    133 };
    134 
    135 template <template <typename> class tmpl, int &lvr, int &&rvr>
    136 struct NN {
    137 };
    138 
    139 NN<tmpl_impl, glb, glb> nn;
    140 
    141 struct PaddingAtEnd {
    142   int i;
    143   char c;
    144 };
    145 
    146 PaddingAtEnd PaddedObj = {};
    147 
    148 template <PaddingAtEnd *>
    149 struct PaddingAtEndTemplate {
    150 };
    151 
    152 PaddingAtEndTemplate<&PaddedObj> PaddedTemplateObj;
    153