1*ae4dce86SNathan Sidwell// RUN: %clang_cc1 -std=c++20 %s -triple %itanium_abi_triple -emit-llvm -o - | FileCheck %s 2*ae4dce86SNathan Sidwell 3*ae4dce86SNathan Sidwellexport module FOO; 4*ae4dce86SNathan Sidwell 5*ae4dce86SNathan Sidwellclass One; 6*ae4dce86SNathan Sidwellclass Two; 7*ae4dce86SNathan Sidwell 8*ae4dce86SNathan Sidwellexport template<typename T> struct TPL 9*ae4dce86SNathan Sidwell{ 10*ae4dce86SNathan Sidwellvoid M (T *); 11*ae4dce86SNathan Sidwelltemplate<typename U> void N (T *, U*); 12*ae4dce86SNathan Sidwell}; 13*ae4dce86SNathan Sidwell 14*ae4dce86SNathan Sidwelltemplate<typename T> 15*ae4dce86SNathan Sidwellvoid TPL<T>::M (T *) {} 16*ae4dce86SNathan Sidwell 17*ae4dce86SNathan Sidwelltemplate<typename T> template<typename U> void TPL<T>::N (T *, U*) {} 18*ae4dce86SNathan Sidwell 19*ae4dce86SNathan Sidwell// CHECK-DAG: void @_ZNW3FOO3TPLIS_3OneE1MEPS1_( 20*ae4dce86SNathan Sidwelltemplate void TPL<One>::M (One *); 21*ae4dce86SNathan Sidwell// CHECK-DAG: void @_ZNW3FOO3TPLIS_3OneE1NIS_3TwoEEvPS1_PT_( 22*ae4dce86SNathan Sidwelltemplate void TPL<One>::N<Two> (One *, Two *); 23*ae4dce86SNathan Sidwell 24*ae4dce86SNathan Sidwellnamespace NMS { 25*ae4dce86SNathan Sidwellclass One; 26*ae4dce86SNathan Sidwellclass Two; 27*ae4dce86SNathan Sidwell 28*ae4dce86SNathan Sidwellexport template<typename T> struct TPL 29*ae4dce86SNathan Sidwell{ 30*ae4dce86SNathan Sidwellvoid M (T *); 31*ae4dce86SNathan Sidwelltemplate<typename U> void N (T *, U*); 32*ae4dce86SNathan Sidwell}; 33*ae4dce86SNathan Sidwell 34*ae4dce86SNathan Sidwelltemplate<typename T> 35*ae4dce86SNathan Sidwellvoid TPL<T>::M (T *) {} 36*ae4dce86SNathan Sidwell 37*ae4dce86SNathan Sidwelltemplate<typename T> template<typename U> void TPL<T>::N (T *, U*) {} 38*ae4dce86SNathan Sidwell 39*ae4dce86SNathan Sidwell// CHECK-DAG: void @_ZN3NMSW3FOO3TPLINS_S0_3OneEE1MEPS2_( 40*ae4dce86SNathan Sidwelltemplate void TPL<One>::M (One *); 41*ae4dce86SNathan Sidwell// CHECK-DAG: void @_ZN3NMSW3FOO3TPLINS_S0_3OneEE1NINS_S0_3TwoEEEvPS2_PT_ 42*ae4dce86SNathan Sidwelltemplate void TPL<One>::N<Two> (One *, Two *); 43*ae4dce86SNathan Sidwell} 44