Merge pull request #12346 from adrian-prantl/18296829

Revert

Author: shahmishal

include/swift/AST/Decl.h

@@ -2209,9 +2209,6 @@ class ValueDecl : public Decl {
     return result;
   }
 
-  /// Determine whether this Decl has either Private or FilePrivate access.
-  bool isOutermostPrivateOrFilePrivateScope() const;
-
   /// Returns the outermost DeclContext from which this declaration can be
   /// accessed, or null if the declaration is public.
   ///

lib/AST/ASTMangler.cpp

@@ -533,6 +533,25 @@ void ASTMangler::appendSymbolKind(SymbolKind SKind) {
   }
 }
 
+/// Returns true if one of the ancestor DeclContexts of \p D is either marked
+/// private or is a local context.
+static bool isInPrivateOrLocalContext(const ValueDecl *D) {
+  const DeclContext *DC = D->getDeclContext();
+  if (!DC->isTypeContext()) {
+    assert((DC->isModuleScopeContext() || DC->isLocalContext()) &&
+           "unexpected context kind");
+    return DC->isLocalContext();
+  }
+
+  auto *nominal = DC->getAsNominalTypeOrNominalTypeExtensionContext();
+  if (nominal == nullptr)
+    return false;
+
+  if (nominal->getFormalAccess() <= AccessLevel::FilePrivate)
+    return true;
+  return isInPrivateOrLocalContext(nominal);
+}
+
 static bool getUnnamedParamIndex(const ParameterList *ParamList,
                                  const ParamDecl *D,
                                  unsigned &UnnamedIndex) {
@@ -574,8 +593,11 @@ static unsigned getUnnamedParamIndex(const ParamDecl *D) {
 }
 
 static StringRef getPrivateDiscriminatorIfNecessary(const ValueDecl *decl) {
-  if (!decl->isOutermostPrivateOrFilePrivateScope())
+  if (!decl->hasAccess() ||
+      decl->getFormalAccess() > AccessLevel::FilePrivate ||
+      isInPrivateOrLocalContext(decl)) {
     return StringRef();
+  }
 
   // Mangle non-local private declarations with a textual discriminator
   // based on their enclosing file.

lib/AST/Decl.cpp

@@ -1433,34 +1433,6 @@ AbstractStorageDecl::getAccessStrategy(AccessSemantics semantics,
   llvm_unreachable("bad access semantics");
 }
 
-static bool hasPrivateOrFilePrivateFormalAccess(const ValueDecl *D) {
-  return D->hasAccess() && D->getFormalAccess() <= AccessLevel::FilePrivate;
-}
-
-/// Returns true if one of the ancestor DeclContexts of this ValueDecl is either
-/// marked private or fileprivate or is a local context.
-static bool isInPrivateOrLocalContext(const ValueDecl *D) {
-  const DeclContext *DC = D->getDeclContext();
-  if (!DC->isTypeContext()) {
-    assert((DC->isModuleScopeContext() || DC->isLocalContext()) &&
-           "unexpected context kind");
-    return DC->isLocalContext();
-  }
-
-  auto *nominal = DC->getAsNominalTypeOrNominalTypeExtensionContext();
-  if (nominal == nullptr)
-    return false;
-
-  if (hasPrivateOrFilePrivateFormalAccess(nominal))
-    return true;
-  return isInPrivateOrLocalContext(nominal);
-}
-
-bool ValueDecl::isOutermostPrivateOrFilePrivateScope() const {
-  return hasPrivateOrFilePrivateFormalAccess(this) &&
-         !isInPrivateOrLocalContext(this);
-}
-
 bool AbstractStorageDecl::hasFixedLayout() const {
   // If we're in a nominal type, just query the type.
   auto *dc = getDeclContext();

lib/IRGen/IRGenDebugInfo.cpp

@@ -1395,19 +1395,6 @@ class IRGenDebugInfoImpl : public IRGenDebugInfo {
     return nullptr;
   }
 
-  /// The private discriminator is represented as an inline namespace.
-  llvm::DIScope *getFilePrivateScope(llvm::DIScope *Parent, TypeDecl *Decl,
-                                     DeclContext *Context) {
-    // Retrieve the private discriminator.
-    if (auto *SF = Context->getParentSourceFile()) {
-      auto PrivateDiscriminator = SF->getPrivateDiscriminator();
-      if (!PrivateDiscriminator.empty())
-        return DBuilder.createNameSpace(Parent, PrivateDiscriminator.str(),
-                                        /*ExportSymbols=*/true);
-    }
-    llvm_unreachable("unknown private discriminator");
-  }
-
   llvm::DIType *getOrCreateType(DebugTypeInfo DbgTy) {
     // Is this an empty type?
     if (DbgTy.isNull())
@@ -1451,13 +1438,6 @@ class IRGenDebugInfoImpl : public IRGenDebugInfo {
     }
     if (!Scope)
       Scope = getOrCreateContext(Context);
-
-    // Scope outermost fileprivate decls in an inline private discriminator
-    // namespace.
-    if (auto *Decl = DbgTy.getDecl())
-      if (Context && Decl->isOutermostPrivateOrFilePrivateScope())
-        Scope = getFilePrivateScope(Scope, Decl, Context);
-
     llvm::DIType *DITy = createType(DbgTy, MangledName, Scope, getFile(Scope));
 
     // Incrementally build the DIRefMap.
@@ -1538,9 +1518,9 @@ IRGenDebugInfoImpl::IRGenDebugInfoImpl(const IRGenOptions &Opts,
     CU_Nodes->addOperand(*CU);
 
   // Create a module for the current compile unit.
-  auto *MDecl = IGM.getSwiftModule();
   llvm::sys::path::remove_filename(AbsMainFile);
-  MainModule = getOrCreateModule(MDecl, TheCU, Opts.ModuleName, AbsMainFile);
+  MainModule = getOrCreateModule(IGM.getSwiftModule(), TheCU, Opts.ModuleName,
+                                 AbsMainFile);
   DBuilder.createImportedModule(MainFile, MainModule, MainFile, 0);
 
   // Macro definitions that were defined by the user with "-Xcc -D" on the

test/DebugInfo/PrivateDiscriminator.swift

@@ -1,57 +1,25 @@
 // Private discriminators should only be emitted for multi-file projects.
 
-// RUN: %target-swift-frontend -emit-ir %s -g -o - \
-// RUN:   | %FileCheck --check-prefix=SINGLE %s
+// RUN: %target-swift-frontend -emit-ir %s -g -o - | %FileCheck --check-prefix=SINGLE %s
 // SINGLE-NOT: !DICompileUnit({{.*}}-private-discriminator
 
-// RUN: %target-swift-frontend %S/../Inputs/empty.swift -primary-file %s \
-// RUN:   -emit-ir -g | %FileCheck %s
+// RUN: %target-swift-frontend %S/../Inputs/empty.swift -primary-file %s -emit-ir -g | %FileCheck %s
 // CHECK: !DICompileUnit({{.*}}flags: {{[^,]*}}-private-discriminator [[DISCRIMINATOR:_[A-Z0-9]+]]
-// CHECK: ![[MOD:.*]] = !DIModule(scope: null,
-// CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "InA",
-// CHECK-SAME:             scope: ![[A:[0-9]+]],
-// CHECK: ![[A]] = !DICompositeType(tag: DW_TAG_structure_type, name: "A",
-// CHECK-SAME:                      scope: ![[NS:[0-9]+]]
-// CHECK: !DINamespace(name: "[[DISCRIMINATOR]]",
-// CHECK-SAME:         scope: ![[OUTER:[0-9]+]], exportSymbols: true)
-// CHECK: ![[OUTER]] = !DICompositeType(tag: DW_TAG_structure_type,
-// CHECK-SAME:                          name: "Outer",
-// CHECK-SAME:                          scope: ![[MOD]],
 
 func markUsed<T>(_ t: T) {}
 
-public class Outer {
-  fileprivate class A {
-    fileprivate struct InA {
-      let i : Int64
-      init(_ val : Int64) { i = val }
-    }
-    
-    init(val : Int64) { member = InA(val) }
-    fileprivate let member : InA
-    // CHECK: !DISubprogram(name: "getMember"
-    // CHECK-SAME:          linkageName: "{{[^"]*}}[[DISCRIMINATOR]]
-    // CHECK-SAME:          line: [[@LINE+2]]
-    // CHECK-SAME:          isLocal: true, isDefinition: true 
-    fileprivate func getMember() -> Int64 { return member.i }
-  }
+private class A {
+  init(val : Int64) { member = val }
+  private let member : Int64
+  // CHECK: !DISubprogram(name: "getMember"
+  // CHECK-SAME:          linkageName: "{{[^"]*}}[[DISCRIMINATOR]]
+  // CHECK-SAME:          line: [[@LINE+2]]
+  // CHECK-SAME:          isLocal: true, isDefinition: true 
+  private func getMember() -> Int64 { return member }
+  func getVal() -> Int64 { return getMember() }  
 }
 
-// CHECK: ![[G:[0-9]+]] = distinct !DISubprogram(name: "g",
-// CHECK-SAME:                                   scope: ![[MOD]]
-fileprivate func g() -> Int64 {
-  // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "InG",
-  // CHECK-SAME:             scope: ![[G]],
-  struct InG {
-    let i : Int64
-    init(_ val : Int64) { i = val }
-  }
-
-  return InG(42).i
-}
-
-// CHECK: distinct !DISubprogram(name: "f", {{.*}}, scope: ![[MOD]]
-public func f() {
-  let a = Outer.A(val: g())
-  markUsed(a)
+func f() {
+  let a = A(val: 42)
+  markUsed(a.getVal())
 }