clang/test/Modules/pr59780.cppm

   1 // https://github.com/llvm/llvm-project/issues/59780
   2 //
   3 // RUN: rm -rf %t
   4 // RUN: mkdir %t
   5 // RUN: split-file %s %t
   6 //
   7 // RUN: %clang_cc1 -std=c++20 %t/a.cppm -triple %itanium_abi_triple -emit-module-interface -o %t/a.pcm
   8 // RUN: %clang_cc1 -std=c++20 %t/use.cpp -fprebuilt-module-path=%t -S \
   9 // RUN:     -triple %itanium_abi_triple -emit-llvm -o - | FileCheck %t/use.cpp
  10 // RUN: %clang_cc1 -std=c++20 %t/a.pcm -triple %itanium_abi_triple -emit-llvm -o - | FileCheck %t/a.cppm
  11
  12 //--- a.cppm
  13 export module a;
  14
  15 export template<typename T>
  16 int x = 0;
  17
  18 export template<>
  19 int x<int> = 0;
  20
  21 export template<typename T>
  22 struct Y {
  23     static int value;
  24 };
  25
  26 template <typename T>
  27 int Y<T>::value = 0;
  28
  29 export template<>
  30 struct Y<int> {
  31     static int value;
  32 };
  33
  34 int Y<int>::value = 0;
  35
  36 // CHECK-NOT: @_ZW1a1xIiE = {{.*}}external{{.*}}global
  37 // CHECK-NOT: @_ZNW1a1YIiE5valueE = {{.*}}external{{.*}}global
  38
  39 //--- use.cpp
  40 import a;
  41 int foo() {
  42     return x<int> + Y<int>::value;
  43 }
  44
  45 // CHECK: @_ZW1a1xIiE = {{.*}}external{{.*}}global
  46 // CHECK: @_ZNW1a1YIiE5valueE = {{.*}}external{{.*}}global