clang/test/Modules/pr60693.cppm

   1 // Address: https://github.com/llvm/llvm-project/issues/60693
   2 //
   3 // RUN: rm -rf %t
   4 // RUN: mkdir -p %t
   5 // RUN: split-file %s %t
   6 //
   7 // RUN: %clang_cc1 -std=c++20 -triple %itanium_abi_triple %t/a.cppm -emit-module-interface -o %t/a.pcm
   8 // RUN: %clang_cc1 -std=c++20 -triple %itanium_abi_triple -fmodule-file=a=%t/a.pcm %t/c.cpp -S -emit-llvm -disable-llvm-passes -o - | FileCheck %t/c.cpp
   9
  10 //--- a.cppm
  11 export module a;
  12
  13 constexpr bool f() {
  14         for (unsigned n = 0; n != 10; ++n) {
  15         }
  16         return true;
  17 }
  18
  19 template <typename T>
  20 struct u {
  21     T unit() {
  22         return T();
  23     }
  24 };
  25
  26 export template<typename T>
  27 struct s {
  28         static constexpr auto a = f();
  29         static constexpr auto b = f();
  30         static constexpr auto c = f();
  31         static constexpr auto d = f();
  32     int foo() {
  33         return 43;
  34     }
  35     int bar() {
  36         return 44;
  37     }
  38     T zoo() {
  39         return u<T>().unit();
  40     }
  41 };
  42
  43 template struct s<int>;
  44 template struct s<long>;
  45
  46 //--- c.cpp
  47 import a;
  48
  49 extern "C" int use() {
  50     s<int> _;
  51     return _.a + _.b + _.c + _.d;
  52 }
  53
  54 extern "C" long use2() {
  55     s<long> _;
  56     return _.foo();
  57 }
  58
  59 extern "C" long use3() {
  60     s<long> _;
  61     return _.zoo();
  62 }
  63
  64 // CHECK: define{{.*}}@use(
  65 // CHECK-NOT: }
  66 // CHECK: ret{{.*}} 4
  67
  68 // CHECK: declare{{.*}}@_ZNW1a1sIlE3fooEv
  69 // CHECK-NOT: _ZNW1a1sIlE3barEv
  70 // CHECK: declare{{.*}}_ZNW1a1sIlE3zooEv