1 // Test for DebugInfo for Defaulted parameters for C++ templates 2 // Supported: -O0, standalone DI 3 4 // RUN: %clang_cc1 -emit-llvm %std_cxx11-14 -dwarf-version=5 -triple x86_64 %s -O0 -disable-llvm-passes -debug-info-kind=standalone -o - | FileCheck %s --check-prefixes=CHECK,PRE17 5 // RUN: %clang_cc1 -emit-llvm %std_cxx17- -dwarf-version=5 -triple x86_64 %s -O0 -disable-llvm-passes -debug-info-kind=standalone -o - | FileCheck %s --check-prefixes=CHECK,CXX17 6 // RUN: %clang_cc1 -emit-llvm %std_cxx17- -dwarf-version=4 -triple x86_64 %s -O0 -disable-llvm-passes -debug-info-kind=standalone -o - | FileCheck %s --check-prefixes=CHECK,CXX17 7 // RUN: %clang_cc1 %std_cxx17- -dwarf-version=4 -gstrict-dwarf -triple x86_64 %s -O0 -disable-llvm-passes -debug-info-kind=standalone -emit-obj -o - %s | llvm-dwarfdump --debug-info - | FileCheck %s --check-prefixes=DWARF-DUMP,STRICT 8 // RUN: %clang_cc1 %std_cxx17- -dwarf-version=4 -triple x86_64 %s -O0 -disable-llvm-passes -debug-info-kind=standalone -emit-obj -o - %s | llvm-dwarfdump --debug-info - | FileCheck %s --check-prefixes=DWARF-DUMP,DWARFv4 9 10 // CHECK: DILocalVariable(name: "f1", {{.*}}, type: ![[TEMPLATE_TYPE:[0-9]+]] 11 // CHECK: [[TEMPLATE_TYPE]] = {{.*}}!DICompositeType({{.*}}, templateParams: ![[F1_TYPE:[0-9]+]] 12 // CHECK: [[F1_TYPE]] = !{![[FIRST:[0-9]+]], ![[SECOND:[0-9]+]], ![[THIRD:[0-9]+]], ![[FORTH:[0-9]+]]} 13 // CHECK: [[FIRST]] = !DITemplateTypeParameter(name: "T", type: !{{[0-9]*}}) 14 // CHECK: [[SECOND]] = !DITemplateValueParameter(name: "i", type: !{{[0-9]*}}, value: i32 6) 15 // PRE17: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, value: i8 0) 16 // CXX17: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, value: i1 false) 17 18 // CHECK: DILocalVariable(name: "f2", {{.*}}, type: ![[TEMPLATE_TYPE:[0-9]+]] 19 // CHECK: [[TEMPLATE_TYPE]] = {{.*}}!DICompositeType({{.*}}, templateParams: ![[F2_TYPE:[0-9]+]] 20 // CHECK: [[F2_TYPE]] = !{![[FIRST:[0-9]+]], ![[SECOND:[0-9]+]], ![[THIRD:[0-9]+]], ![[FORTH:[0-9]+]]} 21 // CHECK: [[FIRST]] = !DITemplateTypeParameter(name: "T", type: !{{[0-9]*}}, defaulted: true) 22 // CHECK: [[SECOND]] = !DITemplateValueParameter(name: "i", type: !{{[0-9]*}}, defaulted: true, value: i32 3) 23 // PRE17: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, defaulted: true, value: i8 1) 24 // CXX17: [[THIRD]] = !DITemplateValueParameter(name: "b", type: !{{[0-9]*}}, defaulted: true, value: i1 true) 25 26 // DWARF-DUMP: DW_TAG_class_type 27 // DWARF-DUMP-LABEL: DW_AT_name ("foo<char, 3, true, 1>") 28 // DWARF-DUMP: DW_TAG_template_type_parameter 29 // DWARF-DUMP-DAG: DW_AT_type ({{.*}} "char") 30 // DWARF-DUMP-DAG: DW_AT_name ("T") 31 // DWARFv4-DAG: DW_AT_default_value (true) 32 // STRICT-NOT: DW_AT_default_value 33 // DWARF-DUMP: DW_TAG_template_value_parameter 34 // DWARF-DUMP-DAG: DW_AT_type ({{.*}} "int") 35 // DWARF-DUMP-DAG: DW_AT_name ("i") 36 // DWARFv4-DAG: DW_AT_default_value (true) 37 // STRICT-NOT: DW_AT_default_value (true) 38 // DWARF-DUMP: DW_TAG_template_value_parameter 39 // DWARF-DUMP-DAG: DW_AT_type ({{.*}} "bool") 40 // DWARF-DUMP-DAG: DW_AT_name ("b") 41 // DWARFv4-DAG: DW_AT_default_value (true) 42 // STRICT-NOT: DW_AT_default_value 43 // DWARF-DUMP: {{DW_TAG|NULL}} 44 45 template <typename T = char, int i = 3, bool b = true, int x = sizeof(T)> 46 class foo { 47 }; 48 49 int main() { 50 foo<int, 6, false, 3> f1; 51 foo<> f2; 52 return 0; 53 } 54