| // RUN: %clang -S -emit-llvm -target x86_64-unknown_unknown -g %s -o - -std=c++11 | FileCheck %s |
| |
| // CHECK: [[EMPTY:![0-9]*]] = metadata !{i32 0} |
| |
| // CHECK: [[FUNTYPE:![0-9]*]] = {{.*}}, metadata [[FUNARGS:![0-9]*]], i32 0, i32 0} ; [ DW_TAG_subroutine_type ] |
| // CHECK: [[FUNARGS]] = metadata !{null} |
| |
| // func<...> doesn't have any template arguments listed since we don't support |
| // packs yet. This could be encoded with GNU's |
| // DW_TAG_GNU_template_parameter_pack extension. |
| // CHECK: {{.*}}, metadata [[EMPTY]], i32 {{[0-9]*}}} ; [ DW_TAG_subprogram ] {{.*}} [func<int>] |
| |
| // CHECK: [[INT:![0-9]*]] = {{.*}} ; [ DW_TAG_base_type ] [int] |
| // CHECK: metadata [[TCI:![0-9]*]], i32 0, i32 1, %class.TC* @tci, null} ; [ DW_TAG_variable ] [tci] |
| // CHECK: [[TC:![0-9]*]] = {{.*}}, metadata [[TCARGS:![0-9]*]]} ; [ DW_TAG_class_type ] [TC<unsigned int, 2, &glb, &foo::e, &foo::f, &func>] |
| // CHECK: [[TCARGS]] = metadata !{metadata [[TCARG1:![0-9]*]], metadata [[TCARG2:![0-9]*]], metadata [[TCARG3:![0-9]*]], metadata [[TCARG4:![0-9]*]], metadata [[TCARG5:![0-9]*]], metadata [[TCARG6:![0-9]*]]} |
| // |
| // We seem to be missing file/line/col info on template value parameters - |
| // metadata supports it but it's not populated. GCC doesn't emit it either, |
| // perhaps we should just drop it from the metadata. |
| // |
| // CHECK: [[TCARG1]] = {{.*}}metadata !"T", metadata [[UINT:![0-9]*]], {{.*}} ; [ DW_TAG_template_type_parameter ] |
| // CHECK: [[UINT:![0-9]*]] = {{.*}} ; [ DW_TAG_base_type ] [unsigned int] |
| // CHECK: [[TCARG2]] = {{.*}}metadata !"", metadata [[UINT:![0-9]*]], i32 2, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[TCARG3]] = {{.*}}metadata !"x", metadata [[INTPTR:![0-9]*]], i32* @glb, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[INTPTR]] = {{.*}}, metadata [[INT]]} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int] |
| // CHECK: [[TCARG4]] = {{.*}}metadata !"a", metadata [[MEMINTPTR:![0-9]*]], i64 8, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[MEMINTPTR]] = {{.*}}, metadata [[FOO:![0-9]*]]} ; [ DW_TAG_ptr_to_member_type ] {{.*}}[from int] |
| // |
| // We could just emit a declaration of 'foo' here, rather than the entire |
| // definition (same goes for any time we emit a member (function or data) |
| // pointer type) |
| // CHECK: [[FOO]] = {{.*}} ; [ DW_TAG_structure_type ] [foo] |
| // CHECK: metadata !"f", metadata !"_ZN3foo1fEv", i32 {{[0-9]*}}, metadata [[FTYPE:![0-9]*]], |
| // CHECK: [[FTYPE:![0-9]*]] = {{.*}}, metadata [[FARGS:![0-9]*]], i32 0, i32 0} ; [ DW_TAG_subroutine_type ] |
| // CHECK: [[FARGS]] = metadata !{null, metadata [[FARG1:![0-9]*]]} |
| // CHECK: [[FARG1]] = {{.*}} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [artificial] [from foo] |
| // |
| // Currently Clang emits the pointer-to-member-function value, but LLVM doesn't |
| // use it (GCC doesn't emit a value for pointers to member functions either - so |
| // it's not clear what, if any, format would be acceptable to GDB) |
| // |
| // CHECK: [[TCARG5]] = {{.*}}metadata !"b", metadata [[MEMFUNPTR:![0-9]*]], { i64, i64 } { i64 ptrtoint (void (%struct.foo*)* @_ZN3foo1fEv to i64), i64 0 }, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[MEMFUNPTR]] = {{.*}}, metadata [[FTYPE]], metadata [[FOO]]} ; [ DW_TAG_ptr_to_member_type ] |
| // CHECK: [[TCARG6]] = {{.*}}metadata !"f", metadata [[FUNPTR:![0-9]*]], void ()* @_Z4funcv, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[FUNPTR]] = {{.*}}, metadata [[FUNTYPE]]} ; [ DW_TAG_pointer_type ] |
| |
| |
| // CHECK: metadata [[TCNT:![0-9]*]], i32 0, i32 1, %class.TC.0* @tcn, null} ; [ DW_TAG_variable ] [tcn] |
| // CHECK: [[TCNT:![0-9]*]] = {{.*}}, metadata [[TCNARGS:![0-9]*]]} ; [ DW_TAG_class_type ] [TC<int, -3, nullptr, nullptr, nullptr, nullptr>] |
| // CHECK: [[TCNARGS]] = metadata !{metadata [[TCNARG1:![0-9]*]], metadata [[TCNARG2:![0-9]*]], metadata [[TCNARG3:![0-9]*]], metadata [[TCNARG4:![0-9]*]], metadata [[TCNARG5:![0-9]*]], metadata [[TCNARG6:![0-9]*]]} |
| // CHECK: [[TCNARG1]] = {{.*}}metadata !"T", metadata [[INT]], {{.*}} ; [ DW_TAG_template_type_parameter ] |
| // CHECK: [[TCNARG2]] = {{.*}}metadata !"", metadata [[INT]], i32 -3, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[TCNARG3]] = {{.*}}metadata !"x", metadata [[INTPTR]], i8 0, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| |
| // The interesting null pointer: -1 for member data pointers (since they are |
| // just an offset in an object, they can be zero and non-null for the first |
| // member) |
| |
| // CHECK: [[TCNARG4]] = {{.*}}metadata !"a", metadata [[MEMINTPTR]], i64 -1, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // |
| // In some future iteration we could possibly emit the value of a null member |
| // function pointer as '{ i64, i64 } zeroinitializer' as it may be handled |
| // naturally from the LLVM CodeGen side once we decide how to handle non-null |
| // member function pointers. For now, it's simpler just to emit the 'i8 0'. |
| // |
| // CHECK: [[TCNARG5]] = {{.*}}metadata !"b", metadata [[MEMFUNPTR]], i8 0, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| // CHECK: [[TCNARG6]] = {{.*}}metadata !"f", metadata [[FUNPTR]], i8 0, {{.*}} ; [ DW_TAG_template_value_parameter ] |
| struct foo { |
| char pad[8]; // make the member pointer to 'e' a bit more interesting (nonzero) |
| int e; |
| void f(); |
| }; |
| |
| template<typename T, T, int *x, int foo::*a, void (foo::*b)(), void (*f)()> |
| class TC { |
| }; |
| |
| int glb; |
| void func(); |
| |
| TC<unsigned, 2, &glb, &foo::e, &foo::f, &func> tci; |
| TC<int, -3, nullptr, nullptr, nullptr, nullptr> tcn; |
| |
| template<typename ...Ts> int func() { return 0; } |
| int anchor = func<int>(); |