]> granicus.if.org Git - clang/commitdiff
Substitute unscoped template names.
authorAnders Carlsson <andersca@mac.com>
Thu, 17 Sep 2009 04:02:31 +0000 (04:02 +0000)
committerAnders Carlsson <andersca@mac.com>
Thu, 17 Sep 2009 04:02:31 +0000 (04:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@82119 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/Mangle.cpp
test/CodeGenCXX/function-template-specialization.cpp
test/CodeGenCXX/mangle.cpp

index 6429bd7c463f98500b767839474e62074b2a96ec..9b5fd74ad5151f4497821d74eb7c624cda67015d 100644 (file)
@@ -276,7 +276,11 @@ void CXXNameMangler::mangleUnscopedName(const NamedDecl *ND) {
 void CXXNameMangler::mangleUnscopedTemplateName(const FunctionDecl *FD) {
   //     <unscoped-template-name> ::= <unscoped-name>
   //                              ::= <substitution>
+  if (mangleSubstitution(FD))
+    return;
+  
   mangleUnscopedName(FD);
+  addSubstitution(FD);
 }
 
 void CXXNameMangler::mangleCalloffset(int64_t nv, int64_t v) {
index 8dbaf2fe4d433f3b43a5e218e7132ea5420a5c00..677be4cc0f9a9ad386d945469c45ba324190c7c9 100644 (file)
@@ -8,12 +8,10 @@ T* next(T* ptr, const U& diff) {
 }
 
 void test(int *iptr, float *fptr, int diff) {
-  // FIXME: should be "_Z4nextIiiEPT_S1_RKT0_"
-  // CHECK: _Z4nextIiiEPT_S0_RKT0_
+  // CHECK: _Z4nextIiiEPT_S1_RKT0_
   iptr = next(iptr, diff);
-  // FIXME: should be "_Z4nextIfiEPT_S1_RKT0_"
-  // CHECK: _Z4nextIfiEPT_S0_RKT0_
-  
+
+  // CHECK: _Z4nextIfiEPT_S1_RKT0_
   fptr = next(fptr, diff);
 }
 
@@ -22,7 +20,7 @@ T* next(T* ptr, const U& diff);
 
 void test2(int *iptr, double *dptr, int diff) {
   iptr = next(iptr, diff);
-  // FIXME: should be "_Z4nextIdiEPT_S1_RKT0_"
-  // CHECK: _Z4nextIiiEPT_S0_RKT0_
+
+  // CHECK: _Z4nextIdiEPT_S1_RKT0_
   dptr = next(dptr, diff);
 }
index a4c223e73fbfb8a9e41f85ad1597b21b00dba280..65ef0083e41f421e784ff30ea83e532ef795ce1c 100644 (file)
@@ -88,9 +88,14 @@ void f(void (S::*)()) {}
 // CHECK: define void @_Z1fi
 void f(const int) { }
 
-// CHECK: define linkonce_odr void @_Z2tfIidEvT0_T_
-template<typename T, typename U> void tf(U u, T t) { }
+template<typename T, typename U> void ft1(U u, T t) { }
+
+template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { }
 
 void g() {
-  tf<int, double>(1, 0);
+  // CHECK: @_Z3ft1IidEvT0_T_
+  ft1<int, double>(1, 0);
+  
+  // CHECK: @_Z3ft2IcEvT_PFvS0_ES2_
+  ft2<char>(1, 0, 0);
 }