clang/test/CodeGenCXX/modules-vtable.cppm

   1 // REQUIRES: !system-windows
   2
   3 // RUN: rm -rf %t
   4 // RUN: split-file %s %t
   5 // RUN: cd %t
   6 //
   7 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -emit-module-interface \
   8 // RUN:     %t/Mod.cppm -o %t/Mod.pcm
   9 //
  10 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 %t/Mod.pcm \
  11 // RUN:     -emit-llvm -o - | FileCheck %t/Mod.cppm
  12 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -fmodule-file=Mod=%t/Mod.pcm \
  13 // RUN:     %t/Use.cpp  -emit-llvm -o - | FileCheck %t/Use.cpp
  14 //
  15 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -emit-module-interface \
  16 // RUN:     %t/Mod.cppm -o %t/Mod.pcm -DKEY_FUNCTION_INLINE
  17 //
  18 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 %t/Mod.pcm \
  19 // RUN:     -emit-llvm -o - | FileCheck %t/Mod.cppm -check-prefix=CHECK-INLINE
  20 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -fmodule-file=Mod=%t/Mod.pcm \
  21 // RUN:     %t/Use.cpp  -emit-llvm -o - | FileCheck %t/Use.cpp -check-prefix=CHECK-INLINE
  22 //
  23 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -emit-module-interface \
  24 // RUN:     %t/M-A.cppm -o %t/M-A.pcm
  25 // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c++20 -fmodule-file=M:A=%t/M-A.pcm \
  26 // RUN:     %t/M-B.cppm  -emit-llvm -o - | FileCheck %t/M-B.cppm
  27
  28 //--- Mod.cppm
  29 export module Mod;
  30
  31 export class Base {
  32 public:
  33     virtual ~Base();
  34 };
  35 #ifdef KEY_FUNCTION_INLINE
  36 inline
  37 #endif
  38 Base::~Base() {}
  39
  40 // CHECK: @_ZTVW3Mod4Base = unnamed_addr constant
  41 // CHECK: @_ZTSW3Mod4Base = constant
  42 // CHECK: @_ZTIW3Mod4Base = constant
  43
  44 // CHECK-INLINE: @_ZTVW3Mod4Base = linkonce_odr {{.*}}unnamed_addr constant
  45 // CHECK-INLINE: @_ZTSW3Mod4Base = linkonce_odr {{.*}}constant
  46 // CHECK-INLINE: @_ZTIW3Mod4Base = linkonce_odr {{.*}}constant
  47
  48 module :private;
  49 int private_use() {
  50     Base base;
  51     return 43;
  52 }
  53
  54 //--- Use.cpp
  55 import Mod;
  56 int use() {
  57     Base* base = new Base();
  58     return 43;
  59 }
  60
  61 // CHECK-NOT: @_ZTSW3Mod4Base = constant
  62 // CHECK-NOT: @_ZTIW3Mod4Base = constant
  63 // CHECK: @_ZTVW3Mod4Base = external unnamed_addr
  64
  65 // CHECK-INLINE: @_ZTVW3Mod4Base = linkonce_odr {{.*}}unnamed_addr constant
  66 // CHECK-INLINE: @_ZTSW3Mod4Base = linkonce_odr {{.*}}constant
  67 // CHECK-INLINE: @_ZTIW3Mod4Base = linkonce_odr {{.*}}constant
  68
  69 // Check the case that the declaration of the key function comes from another
  70 // module unit but the definition of the key function comes from the current
  71 // module unit.
  72
  73 //--- M-A.cppm
  74 export module M:A;
  75 export class C {
  76 public:
  77     virtual ~C();
  78 };
  79
  80 int a_use() {
  81     C c;
  82     return 43;
  83 }
  84
  85 //--- M-B.cppm
  86 export module M:B;
  87 import :A;
  88
  89 C::~C() {}
  90
  91 int b_use() {
  92     C c;
  93     return 43;
  94 }
  95
  96 // CHECK: @_ZTVW1M1C = unnamed_addr constant
  97 // CHECK: @_ZTSW1M1C = constant
  98 // CHECK: @_ZTIW1M1C = constant