[clang][AIX] add option -mdefault-visibility-export-mapping

[daltenty]

Summary

The option -mdefault-visibility-export-mapping is created to allow
mapping default visibility to an explicit shared library export
(e.g. dllexport). Exactly how and if this is manifested is target
dependent (since it depends on how they map dllexport in the IR).

Three values are provided for the option:

• none: the default and exisiting behavior without the option, no additional export linkage information is created.
• explicit: add the export for entities with explict default visibility from the source, including RTTI
• all: add the export for all entities with default visibility

This option is useful for targets which do not export symbols as part of
their usual default linkage behaviour (e.g. AIX), such targets
traditionally specified such information in external files (e.g. export
lists), but this mapping allows them to use the visibility information
typically used for this purpose on other (e.g. ELF) platforms.

[MaskRay]

clang/lib/Driver/ToolChains/Clang.cpp

5969

I believe this should be AIX specific.

You may use err_drv_unsupported_opt_for_target instead of adding a new diagnostic.

clang/test/CodeGen/mpublic-visibility-export-mapping.c

1 ↗

(On Diff #431818)

Use an AIX triple.

You can add a linux triple test that this option gives a warning.

No need for another test file mpublic-visibility-export-mapping-ms.cpp

[daltenty]

clang/lib/Driver/ToolChains/Clang.cpp

5969

I believe this should be AIX specific.

There are definitely other target's which could make use of this, but I think it's fine to let them opt-in as you suggest. I'll update the guard.

clang/test/CodeGen/mpublic-visibility-export-mapping.c

1 ↗

(On Diff #431818)

Sounds good. I'll leave the original error in as an assert though, in case this ever get's turned on for this ABI, as we've only handled the itanium cases.

[daltenty]

Address review comments:

• Remove the error on ms abi and replace it with an assert
  • Rename tests and adjust triple
  • Make the option only available on AIX

[MaskRay]

docs/ClangCommandLineReference.rst is generated from HelpText. Use UsersManual.rst if you want to provide additional information. Please ensure --help has sufficient information about the allowed values.

[clang] add option mdefault-visibility-export-mapping

Don't omit - in -mdefault-visibility-export-mapping.

clang/lib/Driver/ToolChains/Clang.cpp

5972

Search render(Args, CmdArgs) in the file.

clang/test/CodeGen/mdefault-visibility-export-mapping.c

20

This checks that UNSPECIFIED has dllexport but doesn't check that the other command does not have dllexport.
I'd suggest you just check define void @func() for on configuration and define dllexport void @func() for the other, instead of leaving CHECKs spanning across multiple lines.

[daltenty]

clang/test/CodeGen/mdefault-visibility-export-mapping.c

20

This checks that UNSPECIFIED has dllexport but doesn't check that the other command does not have dllexport.

The --implicit-check-not dllexport ensures that dllexport doesn't appear anywhere it's not explicitly expected in the test. Now that we're using a specific triple I guess we can simplify as you suggest since it will improve the readability of the test.

[daltenty]

docs/ClangCommandLineReference.rst is generated from HelpText

Thanks for that tip. When does this usually get regenerated? I see it is already out of sync with some option changes.

[daltenty]

Address review comments:

• Simplify tests
• Reorganize docs

[daltenty]

Remove now extraneous header include

[MaskRay]

clang/test/CodeGenCXX/mdefault-visibility-export-mapping-rtti.cpp

95

For the std::nullptr_t block, placing FUND-DEF together, FUND-HID together, etc may be clearer than interleaving.

clang/test/CodeGenCXX/mdefault-visibility-export-mapping.cpp

81

ditto elsewhere

[daltenty]

• There is a late reset of dllexport storage class in codegen, added in https://github.com/llvm/llvm-project/commit/0a20f5417c9d241f4774a49da6c7ca8123686671. Avoid this if we added it for these option.
• Add an alias test for -mconstructor-aliases
• Re-sort RTTI testcases and add parens as per review comments

[probinson]

Ping @bd1976llvm

[daltenty]

Fix copy paste error in test introduce in last update

[daltenty]

git-clang-format to make the precommit checks happy

[nikic]

It looks like this causes a major compile-time regression in the clang frontend: http://llvm-compile-time-tracker.com/compare.php?from=6232a8f3d61e5856c17e7b314385e9ea8068cdc1&to=8c8a2679a20f621994fa904bcfc68775e7345edc&stat=instructions For example, tramp3d-v4 is up 5% in -O0 builds.

Not familiar with this area, but my first guess would be that getLinkageAndVisibility() is actually expensive and you're introducing a ton of calls to it?

[daltenty]

In D126340#3552645, @nikic wrote:

It looks like this causes a major compile-time regression in the clang frontend: http://llvm-compile-time-tracker.com/compare.php?from=6232a8f3d61e5856c17e7b314385e9ea8068cdc1&to=8c8a2679a20f621994fa904bcfc68775e7345edc&stat=instructions For example, tramp3d-v4 is up 5% in -O0 builds.

Not familiar with this area, but my first guess would be that getLinkageAndVisibility() is actually expensive and you're introducing a ton of calls to it?

@nikic thanks for catching this! Looking into it now, I'll put in a revert if I can't get things sorted shortly

[hans]

We're hitting an assertion in Chromium due to this:

llvm/clang/lib/AST/Decl.cpp:1510: clang::LinkageInfo clang::LinkageComputer::getLVForDecl(const clang::NamedDecl *, clang::LVComputationKind): Assertion `D->getCachedLinkage() == LV.getLinkage()' failed.

See https://bugs.chromium.org/p/chromium/issues/detail?id=1331274#c2 for a reproducer.

I've reverted this in d42fe9aa84203a8f51b43a901d72fdc39eea69f7 in the meantime.

[thakis]

When you reland this, please reland 4463bd0f89181234e0cef982e21de2e96038f873 at the same time. Else, this breaks tests in some build configurations.

[MaskRay]

clang/lib/CodeGen/CodeGenModule.cpp

1228

Restrict this to AIX/XCOFF.

Really other binary format users will not need this.

[daltenty]

• Don't try to export internal linkage RTTI types
• Make shouldMapVisibilityToDLLExport inline and provide a short-circuit evaluation in the case where no mapping is in effect. This should hopefully solve the compile time issues and asserts we are seeing on other platforms, as if the option isn't in effect we don't try to do any additional linkage computations over what we would normally do. Tested via profiling building tramp3d-v4 and our calls to the linkage computer fall back to what we were getting before this patch.

[daltenty]

clang/lib/CodeGen/CodeGenModule.cpp

1228

I believe this is now done, via us now doing an early check on the setting of the LangOpt (which will always be None on non-AIX). No need for an extra check on the binary format.

clang/docs/ClangCommandLineReference.rst

 .. option:: -mwavefrontsize64, -mno-wavefrontsize64
 
 Specify wavefront size 64 mode (AMDGPU only)
 
 .. option:: -mwindows<arg>
 
 .. option:: -mx32
 
+.. option:: -mdefault-visibility-export-mapping=\[none,explicit,all\]
+
+Map default visibility to an explicit shared library export (e.g. dllexport).
+Exactly how and if this is manifested is target dependent. Three values are
+provided for the option:
+
+* none: the default and behavior without the option, no additional export linkage information is created.
+* explicit: add the export for entities with explict default visibility from the source, including RTTI
+* all: add the export for all entities with default visibility
+
 AARCH64
 -------
 .. option:: -fcall-saved-x10
 
 Make the x10 register call-saved (AArch64 only)
 
 .. option:: -fcall-saved-x11
 

clang/include/clang/Basic/LangOptions.h

public:
 
   enum class GPUDefaultStreamKind {
     /// Legacy default stream
     Legacy,
     /// Per-thread default stream
     PerThread,
   };
 
+  enum class DefaultVisiblityExportMapping {
+    None,
+    /// map only explicit public visibilities to exported
+    Explicit,
+    /// map all public visibilities to exported
+    All,
+  };
+
 public:
   /// The used language standard.
   LangStandard::Kind LangStd;
 
   /// Set of enabled sanitizers.
   SanitizerSet Sanitize;
   /// Is at least one coverage instrumentation type enabled.
   bool SanitizeCoverage = false;
#include "clang/Basic/LangOptions.def"
   }
 
   bool hasWasmExceptions() const {
     return getExceptionHandling() == ExceptionHandlingKind::Wasm;
   }
 
   bool isSYCL() const { return SYCLIsDevice || SYCLIsHost; }
 
+  bool isExplicitDefaultVisibilityExportMapping() const {
+    return getDefaultVisibilityExportMapping() ==
+           DefaultVisiblityExportMapping::Explicit;
+  }
+
+  bool isAllDefaultVisibilityExportMapping() const {
+    return getDefaultVisibilityExportMapping() ==
+           DefaultVisiblityExportMapping::All;
+  }
+
   /// Remap path prefix according to -fmacro-prefix-path option.
   void remapPathPrefix(SmallVectorImpl<char> &Path) const;
 };
 
 /// Floating point control options
 class FPOptionsOverride;
 class FPOptions {
 public:

clang/include/clang/Basic/LangOptions.def

 BENIGN_LANGOPT(ElideConstructors , 1, 1, "C++ copy constructor elision")
 BENIGN_LANGOPT(DumpRecordLayouts , 1, 0, "dumping the layout of IRgen'd records")
 BENIGN_LANGOPT(DumpRecordLayoutsSimple , 1, 0, "dumping the layout of IRgen'd records in a simple form")
 BENIGN_LANGOPT(DumpRecordLayoutsCanonical , 1, 0, "dumping the AST layout of records using canonical field types")
 BENIGN_LANGOPT(DumpRecordLayoutsComplete , 1, 0, "dumping the AST layout of all complete records")
 BENIGN_LANGOPT(DumpVTableLayouts , 1, 0, "dumping the layouts of emitted vtables")
 LANGOPT(NoConstantCFStrings , 1, 0, "no constant CoreFoundation strings")
 BENIGN_LANGOPT(InlineVisibilityHidden , 1, 0, "hidden visibility for inline C++ methods")
+BENIGN_ENUM_LANGOPT(DefaultVisibilityExportMapping, DefaultVisiblityExportMapping, 2, DefaultVisiblityExportMapping::None, "controls mapping of public visibility to dllexport")
 BENIGN_LANGOPT(IgnoreXCOFFVisibility, 1, 0, "All the visibility attributes that are specified in the source code are ignored in aix XCOFF.")
 BENIGN_LANGOPT(VisibilityInlinesHiddenStaticLocalVar, 1, 0,
                "hidden visibility for static local variables in inline C++ "
                "methods when -fvisibility-inlines hidden is enabled")
 LANGOPT(GlobalAllocationFunctionVisibilityHidden , 1, 0, "hidden visibility for global operator new and delete declaration")
 LANGOPT(NewInfallible , 1, 0, "Treats throwing global C++ operator new as always returning valid memory (annotates with __attribute__((returns_nonnull)) and throw()). This is detectable in source.")
 BENIGN_LANGOPT(ParseUnknownAnytype, 1, 0, "__unknown_anytype")
 BENIGN_LANGOPT(DebuggerSupport , 1, 0, "debugger support")

clang/include/clang/Driver/Options.td

   NegFlag<SetFalse, [], "Disables -fvisibility-inlines-hidden-static-local-var"
          " (this is the default on non-darwin targets)">, BothFlags<[CC1Option]>>;
 def fvisibility_ms_compat : Flag<["-"], "fvisibility-ms-compat">, Group<f_Group>,
   HelpText<"Give global types 'default' visibility and global functions and "
            "variables 'hidden' visibility by default">;
 def fvisibility_global_new_delete_hidden : Flag<["-"], "fvisibility-global-new-delete-hidden">, Group<f_Group>,
   HelpText<"Give global C++ operator new and delete declarations hidden visibility">, Flags<[CC1Option]>,
   MarshallingInfoFlag<LangOpts<"GlobalAllocationFunctionVisibilityHidden">>;
+def mdefault_visibility_export_mapping_EQ : Joined<["-"], "mdefault-visibility-export-mapping=">,
+  Values<"none,explicit,all">,
+  NormalizedValuesScope<"LangOptions::DefaultVisiblityExportMapping">,
+  NormalizedValues<["None", "Explicit", "All"]>,
+  HelpText<"Mapping between default visibility and export">,
+  Group<m_Group>, Flags<[CC1Option]>,
+  MarshallingInfoEnum<LangOpts<"DefaultVisibilityExportMapping">,"None">;
 defm new_infallible : BoolFOption<"new-infallible",
   LangOpts<"NewInfallible">, DefaultFalse,
   PosFlag<SetTrue, [], "Enable">, NegFlag<SetFalse, [], "Disable">,
   BothFlags<[CC1Option], " treating throwing global C++ operator new as always returning valid memory "
   "(annotates with __attribute__((returns_nonnull)) and throw()). This is detectable in source.">>;
 defm whole_program_vtables : BoolFOption<"whole-program-vtables",
   CodeGenOpts<"WholeProgramVTables">, DefaultFalse,
   PosFlag<SetTrue, [CC1Option], "Enables whole-program vtable optimization. Requires -flto">,

clang/lib/CodeGen/CodeGenModule.h

public:
   /// Emit the given number of characters as a value of type size_t.
   llvm::ConstantInt *getSize(CharUnits numChars);
 
   /// Set the visibility for the given LLVM GlobalValue.
   void setGlobalVisibility(llvm::GlobalValue *GV, const NamedDecl *D) const;
 
   void setDSOLocal(llvm::GlobalValue *GV) const;
 
+  bool shouldMapVisibilityToDLLExport(const NamedDecl *D) const;
   void setDLLImportDLLExport(llvm::GlobalValue *GV, GlobalDecl D) const;
   void setDLLImportDLLExport(llvm::GlobalValue *GV, const NamedDecl *D) const;
   /// Set visibility, dllimport/dllexport and dso_local.
   /// This must be called after dllimport/dllexport is set.
   void setGVProperties(llvm::GlobalValue *GV, GlobalDecl GD) const;
   void setGVProperties(llvm::GlobalValue *GV, const NamedDecl *D) const;
 
   void setGVPropertiesAux(llvm::GlobalValue *GV, const NamedDecl *D) const;

clang/lib/CodeGen/CodeGenModule.cpp

   // C++ destructors have a few C++ ABI specific special cases.
   if (const auto *Dtor = dyn_cast_or_null<CXXDestructorDecl>(D)) {
     getCXXABI().setCXXDestructorDLLStorage(GV, Dtor, GD.getDtorType());
     return;
   }
   setDLLImportDLLExport(GV, D);
 }
 
+bool CodeGenModule::shouldMapVisibilityToDLLExport(const NamedDecl *D) const {
+  return (D->getLinkageAndVisibility().getVisibility() == DefaultVisibility) &&
+         ((D->getLinkageAndVisibility().isVisibilityExplicit() &&
+           getLangOpts().isExplicitDefaultVisibilityExportMapping()) ||
+          getLangOpts().isAllDefaultVisibilityExportMapping());
+}
+
 void CodeGenModule::setDLLImportDLLExport(llvm::GlobalValue *GV,
                                           const NamedDecl *D) const {
   if (D && D->isExternallyVisible()) {
     if (D->hasAttr<DLLImportAttr>())
       GV->setDLLStorageClass(llvm::GlobalVariable::DLLImportStorageClass);
-    else if (D->hasAttr<DLLExportAttr>() && !GV->isDeclarationForLinker())
+    else if ((D->hasAttr<DLLExportAttr>() ||
+              shouldMapVisibilityToDLLExport(D)) &&
+             !GV->isDeclarationForLinker())
       GV->setDLLStorageClass(llvm::GlobalVariable::DLLExportStorageClass);
   }
 }
 
 void CodeGenModule::setGVProperties(llvm::GlobalValue *GV,
                                     GlobalDecl GD) const {
   setDLLImportDLLExport(GV, GD);
   setGVPropertiesAux(GV, dyn_cast<NamedDecl>(GD.getDecl()));

clang/lib/CodeGen/ItaniumCXXABI.cpp

   else if (CXXABI.classifyRTTIUniqueness(Ty, Linkage) ==
            ItaniumCXXABI::RUK_NonUniqueHidden)
     llvmVisibility = llvm::GlobalValue::HiddenVisibility;
   else
     llvmVisibility = CodeGenModule::GetLLVMVisibility(Ty->getVisibility());
 
   llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass =
       llvm::GlobalValue::DefaultStorageClass;
-  if (CGM.getTriple().isWindowsItaniumEnvironment()) {
-    auto RD = Ty->getAsCXXRecordDecl();
-    if (RD && RD->hasAttr<DLLExportAttr>())
+  if (auto RD = Ty->getAsCXXRecordDecl()) {
+    if ((CGM.getTriple().isWindowsItaniumEnvironment() &&
+         RD->hasAttr<DLLExportAttr>()) ||
+        CGM.shouldMapVisibilityToDLLExport(RD))
       DLLStorageClass = llvm::GlobalValue::DLLExportStorageClass;
   }
-
   return BuildTypeInfo(Ty, Linkage, llvmVisibility, DLLStorageClass);
 }
 
 llvm::Constant *ItaniumRTTIBuilder::BuildTypeInfo(
       QualType Ty,
       llvm::GlobalVariable::LinkageTypes Linkage,
       llvm::GlobalValue::VisibilityTypes Visibility,
       llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass) {

       getContext().UnsignedLongLongTy, getContext().Int128Ty,
       getContext().UnsignedInt128Ty,   getContext().HalfTy,
       getContext().FloatTy,            getContext().DoubleTy,
       getContext().LongDoubleTy,       getContext().Float128Ty,
       getContext().Char8Ty,            getContext().Char16Ty,
       getContext().Char32Ty
   };
   llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass =
-      RD->hasAttr<DLLExportAttr>()
+      RD->hasAttr<DLLExportAttr>() || CGM.shouldMapVisibilityToDLLExport(RD)
       ? llvm::GlobalValue::DLLExportStorageClass
       : llvm::GlobalValue::DefaultStorageClass;
   llvm::GlobalValue::VisibilityTypes Visibility =
       CodeGenModule::GetLLVMVisibility(RD->getVisibility());
   for (const QualType &FundamentalType : FundamentalTypes) {
     QualType PointerType = getContext().getPointerType(FundamentalType);
     QualType PointerTypeConst = getContext().getPointerType(
         FundamentalType.withConst());

clang/lib/CodeGen/MicrosoftCXXABI.cpp

 #include "TargetInfo.h"
 #include "clang/AST/Attr.h"
 #include "clang/AST/CXXInheritance.h"
 #include "clang/AST/Decl.h"
 #include "clang/AST/DeclCXX.h"
 #include "clang/AST/StmtCXX.h"
 #include "clang/AST/VTableBuilder.h"
 #include "clang/CodeGen/ConstantInitBuilder.h"
+#include "clang/Frontend/FrontendDiagnostic.h"
 #include "llvm/ADT/StringExtras.h"
 #include "llvm/ADT/StringSet.h"
 #include "llvm/IR/Intrinsics.h"
 
 using namespace clang;
 using namespace CodeGen;
 
 namespace {
 
 /// Holds all the vbtable globals for a given class.
 struct VBTableGlobals {
   const VPtrInfoVector *VBTables;
   SmallVector<llvm::GlobalVariable *, 2> Globals;
 };
 
 class MicrosoftCXXABI : public CGCXXABI {
 public:
   MicrosoftCXXABI(CodeGenModule &CGM)
       : CGCXXABI(CGM), BaseClassDescriptorType(nullptr),
         ClassHierarchyDescriptorType(nullptr),
         CompleteObjectLocatorType(nullptr), CatchableTypeType(nullptr),
-        ThrowInfoType(nullptr) {}
+        ThrowInfoType(nullptr) {
+    assert(!(CGM.getLangOpts().isExplicitDefaultVisibilityExportMapping() ||
+             CGM.getLangOpts().isAllDefaultVisibilityExportMapping()) &&
+           "visibility export mapping option unimplemented in this ABI");
+  }
 
   bool HasThisReturn(GlobalDecl GD) const override;
   bool hasMostDerivedReturn(GlobalDecl GD) const override;
 
   bool classifyReturnType(CGFunctionInfo &FI) const override;
 
   RecordArgABI getRecordArgABI(const CXXRecordDecl *RD) const override;
 

clang/lib/Driver/ToolChains/Clang.cpp

   if (const Arg *A = Args.getLastArg(options::OPT_mignore_xcoff_visibility)) {
     if (Triple.isOSAIX())
       CmdArgs.push_back("-mignore-xcoff-visibility");
     else
       D.Diag(diag::err_drv_unsupported_opt_for_target)
           << A->getAsString(Args) << TripleStr;
   }
 
+  if (const Arg *A =
+          Args.getLastArg(options::OPT_mdefault_visibility_export_mapping_EQ)) {
+    if (Triple.isOSAIX())
+      CmdArgs.push_back(Args.MakeArgString(
+          "-mdefault-visibility-export-mapping=" + Twine(A->getValue(0))));
+    else
+      D.Diag(diag::err_drv_unsupported_opt_for_target)
+          << A->getAsString(Args) << TripleStr;
+  }
 
   if (Args.hasFlag(options::OPT_fvisibility_inlines_hidden,
                     options::OPT_fno_visibility_inlines_hidden, false))
     CmdArgs.push_back("-fvisibility-inlines-hidden");
 
   Args.AddLastArg(CmdArgs, options::OPT_fvisibility_inlines_hidden_static_local_var,
                            options::OPT_fno_visibility_inlines_hidden_static_local_var);
   Args.AddLastArg(CmdArgs, options::OPT_fvisibility_global_new_delete_hidden);

clang/test/CodeGen/mdefault-visibility-export-mapping.c

+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=none -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=explicit -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT,PRAGMA --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=all -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,UNSPECIFIED,EXPLICIT,PRAGMA --implicit-check-not dllexport %s
+// RUN: %clang -target powerpc-ibm-aix %s -mdefault-visibility-export-mapping=all -fvisibility=hidden -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT,PRAGMA --implicit-check-not dllexport %s
+
+// RUN: not %clang -mdefault-visibility-export-mapping=explicit -target powerpc-unknown-linux %s 2>&1 | \
+// RUN: FileCheck -check-prefix=ERROR %s
+// ERROR: unsupported option '-mdefault-visibility-export-mapping=explicit' for target 'powerpc-unknown-linux'
+
+// CHECK: define hidden void @hiddenfunc()
+void __attribute__((visibility("hidden"))) hiddenfunc() {}
+
+// CHECK: define
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @func()
+void func() {}
+
+#pragma GCC visibility push(default)
+// CHECK: define
+// PRAGMA-SAME: dllexport
+// CHECK-SAME: void @pragmafunc()
+void pragmafunc() {}
+#pragma GCC visibility pop
+
+// CHECK: define
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @explicitfunc()
+void __attribute__((visibility("default"))) explicitfunc() {}

clang/test/CodeGenCXX/mdefault-visibility-export-mapping-rtti.cpp

+// RUN: %clang_cc1 -triple powerpc64-ibm-aix %s -internal-isystem %S -mdefault-visibility-export-mapping=none -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc64-ibm-aix %s -internal-isystem %S -mdefault-visibility-export-mapping=explicit -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc64-ibm-aix %s -internal-isystem %S -mdefault-visibility-export-mapping=explicit -DFUNDAMENTAL_IS_EXPLICIT -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT,EXPORTED_FUNDAMENTAL --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc64-ibm-aix %s -internal-isystem %S -mdefault-visibility-export-mapping=all -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,UNSPECIFIED,EXPLICIT,EXPORTED_FUNDAMENTAL --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc64-ibm-aix %s -internal-isystem %S -mdefault-visibility-export-mapping=all -fvisibility hidden -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT --implicit-check-not dllexport %s
+
+#include <typeinfo>
+
+// unspecified visibility RTTI & vtable
+struct s {
+  virtual void foo();
+};
+void s::foo() {}
+// CHECK: @_ZTV1s =
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: unnamed_addr constant
+// CHECK: @_ZTS1s =
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTI1s =
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: constant
+
+// explicit default visibility RTTI & vtable
+struct __attribute__((type_visibility("default"))) t {
+  virtual void foo();
+};
+void t::foo() {}
+// CHECK: @_ZTV1t =
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: unnamed_addr constant
+// CHECK: @_ZTS1t =
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTI1t =
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: constant
+
+#ifdef FUNDAMENTAL_IS_EXPLICIT
+#define TYPE_VIS __attribute__((type_visibility("default")))
+#else
+#define TYPE_VIS
+#endif
+
+// Invoke the compiler magic to emit RTTI for fundamental types.
+namespace __cxxabiv1 {
+class TYPE_VIS __fundamental_type_info {
+  __attribute__((visibility("hidden"))) virtual ~__fundamental_type_info();
+};
+
+__fundamental_type_info::~__fundamental_type_info() {}
+
+} // namespace __cxxabiv1
+
+// __cxxabiv1::__fundamental_type_info
+// CHECK: @_ZTVN10__cxxabiv123__fundamental_type_infoE
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSN10__cxxabiv123__fundamental_type_infoE
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIN10__cxxabiv123__fundamental_type_infoE
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// void
+// CHECK: @_ZTSv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKv
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// std::nullptr_t
+// CHECK: @_ZTSDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKDn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// bool
+// CHECK: @_ZTSb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKb
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// wchar_t
+// CHECK: @_ZTSw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKw
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// char
+// CHECK: @_ZTSc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKc
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned char
+// CHECK: @_ZTSh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// signed char
+// CHECK: @_ZTSa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKa
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// short
+// CHECK: @_ZTSs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned short
+// CHECK: @_ZTSt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKt
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// int
+// CHECK: @_ZTSi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned int
+// CHECK: @_ZTSj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKj
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// long
+// CHECK: @_ZTSl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKl
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned long
+// CHECK: @_ZTSm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKm
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// long long
+// CHECK: @_ZTSx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKx
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned long long
+// CHECK: @_ZTSy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKy
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// __int128
+// CHECK: @_ZTSn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKn
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// unsigned __int128
+// CHECK: @_ZTSo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKo
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// half
+// CHECK: @_ZTSDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKDh
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// float
+// CHECK: @_ZTSf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKf
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// double
+// CHECK: @_ZTSd
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTId
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPd
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPd
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKd
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKd
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// long double
+// CHECK: @_ZTSe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKe
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// __ieee128
+// CHECK: @_ZTSu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKu9__ieee128
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// char8_t
+// CHECK: @_ZTSDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKDu
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// char16_t
+// CHECK: @_ZTSDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKDs
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+
+// char32_t
+// CHECK: @_ZTSDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTSPKDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant
+// CHECK: @_ZTIPKDi
+// EXPORTED_FUNDAMENTAL-SAME: dllexport
+// CHECK-SAME: constant

clang/test/CodeGenCXX/mdefault-visibility-export-mapping.cpp

+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=none -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=explicit -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,EXPLICIT --implicit-check-not dllexport %s
+// RUN: %clang_cc1 -triple powerpc-ibm-aix %s -mdefault-visibility-export-mapping=all -S -emit-llvm -o - | \
+// RUN:   FileCheck -check-prefixes=CHECK,UNSPECIFIED,EXPLICIT --implicit-check-not dllexport %s
+
+struct A {};
+
+template <class T>
+class B {
+public:
+  T x;
+  B(T _x) : x(_x) {}
+  ~B() {}
+  void func(T x) {}
+};
+
+template <class T>
+class __attribute__((visibility("default"))) C {
+public:
+  T x;
+  C(T _x) : x(_x) {}
+  ~C() {}
+  void func(T x) {}
+};
+
+extern template class B<int>;
+extern template class C<int>;
+
+// CHECK: define
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: @_Z4funcv
+void func() {
+  B<A> x({});
+  C<A> y({});
+  x.func({}); y.func({});
+  B<int> xi(0);
+  C<int> yi(0);
+  xi.func(0); yi.func(0);
+}
+
+// B<A>::B(A) (complete object constructor)
+// CHECK: define linkonce_odr
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @_ZN1BI1AEC1ES0_
+
+// C<A>::C(A) (complete object constructor)
+// CHECK: define linkonce_odr
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @_ZN1CI1AEC1ES0_
+
+// B<A>::func(A)
+// CHECK: define linkonce_odr
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @_ZN1BI1AE4funcES0_
+
+// C<A>::func(A)
+// CHECK: define linkonce_odr
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @_ZN1CI1AE4funcES0_
+
+// B<int>::B(int) (complete object constructor)
+// CHECK: declare void @_ZN1BIiEC1Ei
+
+// C<int>::C(int) (complete object constructor)
+// CHECK: declare void @_ZN1CIiEC1Ei
+
+// B<int>::func(int)
+// CHECK: declare void @_ZN1BIiE4funcEi
+
+// C<int>::func(int)
+// CHECK: declare void @_ZN1CIiE4funcEi
+
+// C<int>::~C() (complete object destructor)
+// CHECK: declare void @_ZN1CIiED1Ev
+
+// B<int>::~B() (complete object destructor)
+// CHECK: declare void @_ZN1BIiED1Ev
+
+// C<A>::~c() (complete object destructor)
+// CHECK: define linkonce_odr
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @_ZN1CI1AED1Ev
+
+// B<A>::~B() (complete object destructor)
+// CHECK: define linkonce_odr
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @_ZN1BI1AED1Ev
+
+// B<A>::B(A) (base object constructor)
+// CHECK: define linkonce_odr
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @_ZN1BI1AEC2ES0_
+
+// B<A>::~B() (base object destructor)
+// CHECK: define linkonce_odr
+// UNSPECIFIED-SAME: dllexport
+// CHECK-SAME: void @_ZN1BI1AED2Ev
+
+// C<A>::C(A) (base object constructor)
+// CHECK: define linkonce_odr
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @_ZN1CI1AEC2ES0_
+
+// C<A>::~C() (base object destructor)
+// CHECK: define linkonce_odr
+// EXPLICIT-SAME: dllexport
+// CHECK-SAME: void @_ZN1CI1AED2Ev