// RUN: %clang_cc1 -emit-llvm -triple i686-mingw32 %s -o - | FileCheck %s
// RUN: %clang_cc1 -emit-llvm -triple x86_64-w64-mingw32 %s -o - | FileCheck %s
// RUN: %clang_cc1 -emit-llvm -triple i686-pc-cygwin %s -o - | FileCheck %s
// RUN: %clang_cc1 -emit-llvm -triple x86_64-pc-cygwin %s -o - | FileCheck %s

#define JOIN2(x, y) x##y
#define JOIN(x, y) JOIN2(x, y)
#define UNIQ(name) JOIN(name, __LINE__)
#define USEMEMFUNC(class, func) void (class::*UNIQ(use)())() { return &class::func; }

template <class T>
class c {
public:
  c(const c &) {}
  c(c &&) noexcept {}
  void f() {}
};

template class __declspec(dllexport) c<int>;

// CHECK: define {{.*}} dllexport {{.*}} @_ZN1cIiEC1ERKS0_
// CHECK: define {{.*}} dllexport {{.*}} @_ZN1cIiEC1EOS0_
// CHECK: define {{.*}} dllexport {{.*}} @_ZN1cIiE1fEv

extern template class __declspec(dllexport) c<char>;
template class c<char>;

// CHECK: define {{.*}} dllexport {{.*}} @_ZN1cIcE1fEv

extern template class c<double>;
template class __declspec(dllexport) c<double>;

// CHECK-NOT: define {{.*}} dllexport {{.*}} @_ZN1cIdE1fEv

extern template class __declspec(dllimport) c<short>;

// CHECK: declare dllimport {{.*}} @_ZN1cIsEC1ERKS0_
// CHECK: declare dllimport {{.*}} @_ZN1cIsEC1EOS0_
// CHECK: declare dllimport {{.*}} @_ZN1cIsE1fEv

void use_ctors(c<short> &&x) {
  c<short> y{x};
  c<short> z{static_cast<c<short> &&>(x)};
  z.f();
}

template <class T>
struct outer {
  void f();
  struct inner {
    void f();
  };
};

template <class T> void outer<T>::f() {}
template <class T> void outer<T>::inner::f() {}

template class __declspec(dllexport) outer<int>;

// CHECK: define {{.*}} dllexport {{.*}} @_ZN5outerIiE1fEv
// CHECK-NOT: define {{.*}} dllexport {{.*}} @_ZN5outerIiE5inner1fEv

extern template class __declspec(dllimport) outer<char>;
USEMEMFUNC(outer<char>, f)
USEMEMFUNC(outer<char>::inner, f)

// CHECK: declare dllimport {{.*}} @_ZN5outerIcE1fEv
// CHECK: define {{.*}} @_ZN5outerIcE5inner1fEv
