clang/test/Modules/pr62705.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 %t/a.cppm -std=c++20 -triple %itanium_abi_triple \
   6 // RUN:     -emit-module-interface -o %t/a.pcm
   7 // RUN: %clang_cc1 %t/b.cppm -std=c++20 -triple %itanium_abi_triple \
   8 // RUN:     -emit-module-interface -o %t/b.pcm \
   9 // RUN:     -fmodule-file=a=%t/a.pcm
  10 // RUN: %clang_cc1 %t/b.pcm -std=c++20 -triple %itanium_abi_triple \
  11 // RUN:     -emit-llvm -o - | FileCheck %t/b.cppm
  12
  13 //--- foo.h
  14 namespace n {
  15
  16 template<typename>
  17 struct s0 {
  18         static int m;
  19 };
  20
  21 template<typename T>
  22 struct s1 {
  23         using type = s0<T>;
  24 };
  25
  26 }
  27
  28 template<typename T>
  29 void require(n::s1<T>) {
  30 }
  31
  32 //--- a.cppm
  33 module;
  34
  35 #include "foo.h"
  36
  37 export module a;
  38
  39 //--- b.cppm
  40 module;
  41
  42 #include "foo.h"
  43
  44 export module b;
  45 import a;
  46
  47 // Check the LLVM IR of module 'b' get generated correctly.
  48 // CHECK: define{{.*}}@_ZGIW1b